runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/huge2.cudf.cudf_set.log.runsolver ./gj-paranoid-solver-0.1 /home/misc2010/data/2010/cudf_set//huge2.cudf /home/misc2010/tmp/201012061533/gj-paranoid-solver-0.1/huge2.cudf.cudf_set.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.39 1.31 1.13 5/52 4907
/proc/meminfo: memFree=897036/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) R 4905 4906 2059 34821 2220 4202496 358 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 272 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4906/statm: 644 272 231 194 0 30 0
[pid=4907] ppid=4906 vsize=2576 CPUtime=0
/proc/4907/stat : 4907 (gj-paranoid-sol) R 4906 4906 2059 34821 2220 4202560 0 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 41 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65538 4 65536 0 0 0 17 0 0 0 0
/proc/4907/statm: 644 41 0 194 0 30 0

[startup+0.135521 s]
/proc/loadavg: 1.39 1.31 1.13 5/52 4907
/proc/meminfo: memFree=897036/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=409676 CPUtime=0.14
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 3580 0 1 0 12 2 0 0 25 0 9 0 874480137 419508224 3044 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102419 3044 1729 10 0 96599 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 412252

[startup+0.205533 s]
/proc/loadavg: 1.39 1.31 1.13 5/52 4907
/proc/meminfo: memFree=897036/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=409676 CPUtime=0.21
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 3761 0 1 0 19 2 0 0 25 0 9 0 874480137 419508224 3225 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102419 3225 1729 10 0 96599 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 412252

[startup+0.305558 s]
/proc/loadavg: 1.39 1.31 1.13 5/52 4907
/proc/meminfo: memFree=897036/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410104 CPUtime=0.31
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 4342 0 1 0 29 2 0 0 25 0 9 0 874480137 419946496 3806 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102526 3806 1877 10 0 96706 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 412680

[startup+0.705656 s]
/proc/loadavg: 1.39 1.31 1.13 5/52 4907
/proc/meminfo: memFree=897036/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410236 CPUtime=0.71
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 5449 0 1 0 69 2 0 0 25 0 9 0 874480137 420081664 4906 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102559 4906 1891 10 0 96739 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 412812

[startup+1.50587 s]
/proc/loadavg: 1.52 1.34 1.14 2/61 4916
/proc/meminfo: memFree=883684/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410236 CPUtime=1.5
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 5842 0 1 0 148 2 0 0 25 0 9 0 874480137 420081664 5290 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102559 5290 1933 10 0 96739 0
[pid=4907/tid=4909] ppid=4906 vsize=410236 CPUtime=1.41
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3508 0 1 0 140 1 0 0 25 0 9 0 874480138 420081664 5290 1283457024 134512640 134550932 4291561024 18446744073709551615 4115093382 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410236 CPUtime=0.04
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 1050 0 0 0 4 0 0 0 16 0 9 0 874480138 420081664 5290 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410236 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 22 0 9 0 874480138 420081664 5290 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410236 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 23 0 9 0 874480138 420081664 5290 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410236 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874480140 420081664 5290 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410236 CPUtime=0.03
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 349 0 0 0 3 0 0 0 16 0 9 0 874480140 420081664 5290 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410236 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874480140 420081664 5290 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410236 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 874480140 420081664 5290 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 412812

[startup+3.1062 s]
/proc/loadavg: 1.52 1.34 1.14 3/62 4917
/proc/meminfo: memFree=882932/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=3.11
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 7656 0 1 0 307 4 0 0 25 0 10 0 874480137 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 6920 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=2.97
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3536 0 1 0 296 1 0 0 25 0 10 0 874480138 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4115227187 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.07
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 2802 0 0 0 6 1 0 0 16 0 10 0 874480138 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 378 0 0 0 4 0 0 0 16 0 10 0 874480140 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874480140 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4917] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4917/stat : 4917 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874480307 420413440 6920 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.11
Current children cumulated vsize (KiB) 413136

[startup+6.30703 s]
/proc/loadavg: 1.56 1.35 1.14 2/62 4917
/proc/meminfo: memFree=879840/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=6.31
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 7802 0 1 0 627 4 0 0 25 0 10 0 874480137 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 7066 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=6.13
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3536 0 1 0 612 1 0 0 25 0 10 0 874480138 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4115223832 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.11
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 2947 0 0 0 10 1 0 0 15 0 10 0 874480138 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 379 0 0 0 4 0 0 0 15 0 10 0 874480140 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874480140 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4917] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4917/stat : 4917 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874480307 420413440 7066 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 413136

[startup+12.7086 s]
/proc/loadavg: 1.52 1.34 1.14 2/62 4917
/proc/meminfo: memFree=875500/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=12.7
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 8875 0 1 0 1266 4 0 0 25 0 10 0 874480137 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 8139 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=12.46
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3536 0 1 0 1245 1 0 0 25 0 10 0 874480138 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4115183699 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.17
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 4020 0 0 0 16 1 0 0 15 0 10 0 874480138 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 379 0 0 0 4 0 0 0 15 0 10 0 874480140 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874480140 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4917] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4917/stat : 4917 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874480307 420413440 8139 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 413136

[startup+25.5123 s]
/proc/loadavg: 1.47 1.34 1.14 2/62 4917
/proc/meminfo: memFree=874136/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=25.49
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 9199 0 1 0 2545 4 0 0 25 0 10 0 874480137 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 8463 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=25.14
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3536 0 1 0 2513 1 0 0 25 0 10 0 874480138 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4115183699 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.28
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 4344 0 0 0 27 1 0 0 16 0 10 0 874480138 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 379 0 0 0 4 0 0 0 15 0 10 0 874480140 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) R 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874480140 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4917] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4917/stat : 4917 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874480307 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 413136

Solver just ended. Dumping a history of the last processes samples

[startup+25.6124 s]
/proc/loadavg: 1.47 1.34 1.14 2/62 4917
/proc/meminfo: memFree=874136/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=25.59
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 9199 0 1 0 2555 4 0 0 25 0 10 0 874480137 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 8463 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=25.24
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3536 0 1 0 2523 1 0 0 25 0 10 0 874480138 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4115184468 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.28
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 4344 0 0 0 27 1 0 0 15 0 10 0 874480138 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 379 0 0 0 4 0 0 0 15 0 10 0 874480140 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874480140 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4917] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4917/stat : 4917 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874480307 420413440 8463 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.59
Current children cumulated vsize (KiB) 413136

[startup+28.8133 s]
/proc/loadavg: 1.47 1.34 1.14 2/62 4917
/proc/meminfo: memFree=873516/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=28.79
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 9367 0 1 0 2874 5 0 0 25 0 10 0 874480137 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 8631 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=28.43
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3536 0 1 0 2842 1 0 0 25 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4115226576 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.29
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 4512 0 0 0 27 2 0 0 16 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 379 0 0 0 4 0 0 0 15 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) R 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4917] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4917/stat : 4917 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874480307 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 28.79
Current children cumulated vsize (KiB) 413136

[startup+30.4137 s]
/proc/loadavg: 1.47 1.34 1.14 2/62 4917
/proc/meminfo: memFree=873392/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=30.38
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 9367 0 1 0 3033 5 0 0 25 0 10 0 874480137 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 8631 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=30.02
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3536 0 1 0 3001 1 0 0 25 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4115226680 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.29
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 4512 0 0 0 27 2 0 0 15 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 379 0 0 0 4 0 0 0 15 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4917] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4917/stat : 4917 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874480307 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 30.38
Current children cumulated vsize (KiB) 413136

[startup+31.2138 s]
/proc/loadavg: 1.44 1.33 1.14 2/62 4917
/proc/meminfo: memFree=873392/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=31.18
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 9367 0 1 0 3113 5 0 0 25 0 10 0 874480137 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 8631 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=30.79
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3536 0 1 0 3078 1 0 0 25 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4115264534 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.32
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 4512 0 0 0 30 2 0 0 16 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 379 0 0 0 4 0 0 0 15 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4917] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4917/stat : 4917 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874480307 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.18
Current children cumulated vsize (KiB) 413136

[startup+31.6139 s]
/proc/loadavg: 1.44 1.33 1.14 2/62 4917
/proc/meminfo: memFree=873392/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=31.58
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 9367 0 1 0 3153 5 0 0 25 0 10 0 874480137 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 8631 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=31.19
/proc/4907/task/4909/stat : 4909 (java) R 4906 4906 2059 34821 2220 4202560 3536 0 1 0 3118 1 0 0 25 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4115227830 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.32
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 4512 0 0 0 30 2 0 0 16 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 10 0 874480138 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 379 0 0 0 4 0 0 0 15 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 10 0 874480140 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4917] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4917/stat : 4917 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 25 0 10 0 874480307 420413440 8631 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.58
Current children cumulated vsize (KiB) 413136

[startup+31.8074 s]
/proc/loadavg: 1.44 1.33 1.14 2/62 4917
/proc/meminfo: memFree=873392/1048576 swapFree=2073612/2097144
[pid=4906] ppid=4905 vsize=2576 CPUtime=0
/proc/4906/stat : 4906 (gj-paranoid-sol) S 4905 4906 2059 34821 2220 4202496 376 0 0 0 0 0 0 0 25 0 1 0 874480137 2637824 273 1283457024 134512640 135304128 4290508256 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/4906/statm: 644 273 232 194 0 30 0
[pid=4907] ppid=4906 vsize=410560 CPUtime=31.75
/proc/4907/stat : 4907 (java) S 4906 4906 2059 34821 2220 4202496 9369 0 1 0 3170 5 0 0 25 0 9 0 874480137 420413440 8632 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/4907/statm: 102640 8632 2883 10 0 96820 0
[pid=4907/tid=4909] ppid=4906 vsize=410560 CPUtime=31.36
/proc/4907/task/4909/stat : 4909 (java) S 4906 4906 2059 34821 2220 4202560 3538 0 1 0 3135 1 0 0 25 0 9 0 874480138 420413440 8632 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4910] ppid=4906 vsize=410560 CPUtime=0.32
/proc/4907/task/4910/stat : 4910 (java) S 4906 4906 2059 34821 2220 4202560 4512 0 0 0 30 2 0 0 16 0 9 0 874480138 420413440 8632 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 0 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4911] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4911/stat : 4911 (java) S 4906 4906 2059 34821 2220 4202560 17 0 0 0 0 0 0 0 18 0 9 0 874480138 420413440 8632 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4912] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4912/stat : 4912 (java) S 4906 4906 2059 34821 2220 4202560 5 0 0 0 0 0 0 0 18 0 9 0 874480138 420413440 8632 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4913] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4913/stat : 4913 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874480140 420413440 8632 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4914] ppid=4906 vsize=410560 CPUtime=0.04
/proc/4907/task/4914/stat : 4914 (java) S 4906 4906 2059 34821 2220 4202560 379 0 0 0 4 0 0 0 15 0 9 0 874480140 420413440 8632 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4915] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4915/stat : 4915 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 25 0 9 0 874480140 420413440 8632 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
[pid=4907/tid=4916] ppid=4906 vsize=410560 CPUtime=0
/proc/4907/task/4916/stat : 4916 (java) S 4906 4906 2059 34821 2220 4202560 1 0 0 0 0 0 0 0 15 0 9 0 874480140 420413440 8632 1283457024 134512640 134550932 4291561024 18446744073709551615 4294960130 0 4 0 16800975 18446612132680192128 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 31.75
Current children cumulated vsize (KiB) 413136

Child status: 0
Real time (s): 31.8242
CPU time (s): 31.758
CPU user time (s): 31.706
CPU system time (s): 0.052003
CPU usage (%): 99.7919
Max. virtual memory (cumulated for all children) (KiB): 413136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.706
system time used= 0.052003
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9759
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1475
involuntary context switches= 1759

runsolver used 0 second user time and 0 second system time

The end