runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3730057-1338679213/watcher-3730057-1338679213 -o /tmp/evaluation-result-3730057-1338679213/solver-3730057-1338679213 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3730057-1338679213.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.03 1.75 1.48 4/195 30933
/proc/meminfo: memFree=27015280/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/30933/stat : 30933 (java) R 30931 30933 29837 0 -1 4202496 945 0 0 0 0 0 0 0 20 0 1 0 334047461 23793664 672 33554432000 1073741824 1073778376 140733980898464 140733980887528 242158189107 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 5809 685 503 9 0 128 0
[startup+0.0803009 s]
/proc/loadavg: 2.03 1.75 1.48 4/195 30933
/proc/meminfo: memFree=27015280/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=2957856 CPUtime=0.07 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 4625 0 1 0 6 1 0 0 20 0 18 0 334047461 3028844544 6336 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 739464 6338 2054 9 0 729885 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2957856
[startup+0.10024 s]
/proc/loadavg: 2.03 1.75 1.48 4/195 30933
/proc/meminfo: memFree=27015280/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=2957856 CPUtime=0.1 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 4918 0 1 0 9 1 0 0 20 0 18 0 334047461 3028844544 7134 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 739464 7134 2130 9 0 729885 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.30015 s]
/proc/loadavg: 2.03 1.75 1.48 4/195 30933
/proc/meminfo: memFree=27015280/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=2957856 CPUtime=0.46 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 5739 0 1 0 45 1 0 0 20 0 18 0 334047461 3028844544 9325 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 739464 9325 2239 9 0 729885 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 2957856
[startup+0.700169 s]
/proc/loadavg: 2.03 1.75 1.48 4/195 30933
/proc/meminfo: memFree=27015280/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=2957856 CPUtime=1.12 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 8656 0 1 0 108 4 0 0 20 0 18 0 334047461 3028844544 52127 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 739464 52127 2254 9 0 729885 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 2957856
[startup+1.50061 s]
/proc/loadavg: 2.03 1.75 1.48 3/213 30951
/proc/meminfo: memFree=26645100/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=2957856 CPUtime=1.99 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 8823 0 1 0 190 9 0 0 20 0 18 0 334047461 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 739464 114102 2270 9 0 729885 0
[pid=30933/tid=30935] ppid=30931 vsize=2957856 CPUtime=1.45 cores=1,3,5,7
/proc/30933/task/30935/stat : 30935 (java) R 30931 30933 29837 0 -1 4202560 3226 0 1 0 138 7 0 0 20 0 18 0 334047462 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222255332888 242170782989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30933/tid=30936] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30936/stat : 30936 (java) S 30931 30933 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334047462 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222238759336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30933/tid=30937] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30937/stat : 30937 (java) S 30931 30933 29837 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 18 0 334047462 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222237706792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30938] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30938/stat : 30938 (java) S 30931 30933 29837 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 334047462 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222236653736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30939] ppid=30931 vsize=2957856 CPUtime=0.01 cores=1,3,5,7
/proc/30933/task/30939/stat : 30939 (java) S 30931 30933 29837 0 -1 4202560 10 0 0 0 1 0 0 0 20 0 18 0 334047462 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222235601192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30940] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30940/stat : 30940 (java) S 30931 30933 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334047462 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222234549160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30941] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30941/stat : 30941 (java) S 30931 30933 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334047462 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222233496616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30942] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30942/stat : 30942 (java) S 30931 30933 29837 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 18 0 334047462 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222232443560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30943] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30943/stat : 30943 (java) S 30931 30933 29837 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 18 0 334047462 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222231391016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30944] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30944/stat : 30944 (java) S 30931 30933 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334047463 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222100629864 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30945] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30945/stat : 30945 (java) S 30931 30933 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334047464 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222099576184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30946] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30946/stat : 30946 (java) S 30931 30933 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 334047464 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222098523016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30947] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30947/stat : 30947 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047466 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222097471760 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30948] ppid=30931 vsize=2957856 CPUtime=0.19 cores=1,3,5,7
/proc/30933/task/30948/stat : 30948 (java) S 30931 30933 29837 0 -1 4202560 1939 0 0 0 19 0 0 0 20 0 18 0 334047466 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222096419640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30949] ppid=30931 vsize=2957856 CPUtime=0.22 cores=1,3,5,7
/proc/30933/task/30949/stat : 30949 (java) S 30931 30933 29837 0 -1 4202560 2424 0 0 0 22 0 0 0 20 0 18 0 334047466 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222095367096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30950] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30950/stat : 30950 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047466 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140222094314232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30951] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30951/stat : 30951 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047466 3028844544 114102 33554432000 1073741824 1073778376 140733980898464 140221085641800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 2957856
[startup+3.10062 s]
/proc/loadavg: 2.03 1.75 1.48 3/213 30951
/proc/meminfo: memFree=26537772/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=2957856 CPUtime=3.81 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 8919 0 1 0 368 13 0 0 20 0 18 0 334047461 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 739464 126903 2270 9 0 729885 0
[pid=30933/tid=30935] ppid=30931 vsize=2957856 CPUtime=2.97 cores=1,3,5,7
/proc/30933/task/30935/stat : 30935 (java) R 30931 30933 29837 0 -1 4202560 3228 0 1 0 289 8 0 0 20 0 18 0 334047462 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222255325312 140222109566205 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30933/tid=30936] ppid=30931 vsize=2957856 CPUtime=0.04 cores=1,3,5,7
/proc/30933/task/30936/stat : 30936 (java) S 30931 30933 29837 0 -1 4202560 20 0 0 0 4 0 0 0 20 0 18 0 334047462 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222238759336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30937] ppid=30931 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/30933/task/30937/stat : 30937 (java) S 30931 30933 29837 0 -1 4202560 16 0 0 0 2 0 0 0 20 0 18 0 334047462 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222237706792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30938] ppid=30931 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/30933/task/30938/stat : 30938 (java) S 30931 30933 29837 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 18 0 334047462 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222236653736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30939] ppid=30931 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/30933/task/30939/stat : 30939 (java) S 30931 30933 29837 0 -1 4202560 24 0 0 0 5 0 0 0 20 0 18 0 334047462 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222235601192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30940] ppid=30931 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/30933/task/30940/stat : 30940 (java) S 30931 30933 29837 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 334047462 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222234549160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30941] ppid=30931 vsize=2957856 CPUtime=0.05 cores=1,3,5,7
/proc/30933/task/30941/stat : 30941 (java) S 30931 30933 29837 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 18 0 334047462 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222233496616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30942] ppid=30931 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/30933/task/30942/stat : 30942 (java) S 30931 30933 29837 0 -1 4202560 12 0 0 0 2 0 0 0 20 0 18 0 334047462 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222232443560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30943] ppid=30931 vsize=2957856 CPUtime=0.02 cores=1,3,5,7
/proc/30933/task/30943/stat : 30943 (java) S 30931 30933 29837 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 18 0 334047462 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222231391016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30944] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30944/stat : 30944 (java) S 30931 30933 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334047463 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222100629864 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30945] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30945/stat : 30945 (java) S 30931 30933 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334047464 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222099576184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30946] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30946/stat : 30946 (java) S 30931 30933 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 334047464 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222098523016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30947] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30947/stat : 30947 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047466 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222097471760 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30948] ppid=30931 vsize=2957856 CPUtime=0.19 cores=1,3,5,7
/proc/30933/task/30948/stat : 30948 (java) S 30931 30933 29837 0 -1 4202560 1939 0 0 0 19 0 0 0 20 0 18 0 334047466 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222096419640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30949] ppid=30931 vsize=2957856 CPUtime=0.22 cores=1,3,5,7
/proc/30933/task/30949/stat : 30949 (java) S 30931 30933 29837 0 -1 4202560 2424 0 0 0 22 0 0 0 20 0 18 0 334047466 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222095367096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30950] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30950/stat : 30950 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047466 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140222094314232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30951] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30951/stat : 30951 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047466 3028844544 126903 33554432000 1073741824 1073778376 140733980898464 140221085641800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 2957856
[startup+6.30066 s]
/proc/loadavg: 2.03 1.75 1.48 3/213 30951
/proc/meminfo: memFree=26432028/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=2957856 CPUtime=7.93 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 9193 0 1 0 767 26 0 0 20 0 18 0 334047461 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 739464 155755 2270 9 0 729885 0
[pid=30933/tid=30935] ppid=30931 vsize=2957856 CPUtime=5.86 cores=1,3,5,7
/proc/30933/task/30935/stat : 30935 (java) R 30931 30933 29837 0 -1 4202560 3234 0 1 0 577 9 0 0 20 0 18 0 334047462 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222255325424 242170782989 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30933/tid=30936] ppid=30931 vsize=2957856 CPUtime=0.2 cores=1,3,5,7
/proc/30933/task/30936/stat : 30936 (java) S 30931 30933 29837 0 -1 4202560 65 0 0 0 17 3 0 0 20 0 18 0 334047462 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222238759336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30937] ppid=30931 vsize=2957856 CPUtime=0.17 cores=1,3,5,7
/proc/30933/task/30937/stat : 30937 (java) S 30931 30933 29837 0 -1 4202560 57 0 0 0 14 3 0 0 20 0 18 0 334047462 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222237706792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30938] ppid=30931 vsize=2957856 CPUtime=0.2 cores=1,3,5,7
/proc/30933/task/30938/stat : 30938 (java) S 30931 30933 29837 0 -1 4202560 54 0 0 0 17 3 0 0 20 0 18 0 334047462 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222236653736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30939] ppid=30931 vsize=2957856 CPUtime=0.17 cores=1,3,5,7
/proc/30933/task/30939/stat : 30939 (java) S 30931 30933 29837 0 -1 4202560 51 0 0 0 15 2 0 0 20 0 18 0 334047462 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222235601192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30940] ppid=30931 vsize=2957856 CPUtime=0.22 cores=1,3,5,7
/proc/30933/task/30940/stat : 30940 (java) S 30931 30933 29837 0 -1 4202560 46 0 0 0 20 2 0 0 20 0 18 0 334047462 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222234549160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30933/tid=30941] ppid=30931 vsize=2957856 CPUtime=0.25 cores=1,3,5,7
/proc/30933/task/30941/stat : 30941 (java) S 30931 30933 29837 0 -1 4202560 60 0 0 0 22 3 0 0 20 0 18 0 334047462 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222233496616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30942] ppid=30931 vsize=2957856 CPUtime=0.13 cores=1,3,5,7
/proc/30933/task/30942/stat : 30942 (java) S 30931 30933 29837 0 -1 4202560 38 0 0 0 11 2 0 0 20 0 18 0 334047462 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222232443560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30943] ppid=30931 vsize=2957856 CPUtime=0.16 cores=1,3,5,7
/proc/30933/task/30943/stat : 30943 (java) S 30931 30933 29837 0 -1 4202560 41 0 0 0 14 2 0 0 20 0 18 0 334047462 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222231391016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30944] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30944/stat : 30944 (java) S 30931 30933 29837 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 18 0 334047463 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222100629864 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30945] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30945/stat : 30945 (java) S 30931 30933 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 334047464 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222099576184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30946] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30946/stat : 30946 (java) S 30931 30933 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 18 0 334047464 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222098523016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30947] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30947/stat : 30947 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047466 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222097471760 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30948] ppid=30931 vsize=2957856 CPUtime=0.19 cores=1,3,5,7
/proc/30933/task/30948/stat : 30948 (java) S 30931 30933 29837 0 -1 4202560 1939 0 0 0 19 0 0 0 20 0 18 0 334047466 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222096419640 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30949] ppid=30931 vsize=2957856 CPUtime=0.24 cores=1,3,5,7
/proc/30933/task/30949/stat : 30949 (java) S 30931 30933 29837 0 -1 4202560 2424 0 0 0 24 0 0 0 20 0 18 0 334047466 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222095367096 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30950] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30950/stat : 30950 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047466 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140222094314232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30951] ppid=30931 vsize=2957856 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30951/stat : 30951 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 334047466 3028844544 155755 33554432000 1073741824 1073778376 140733980898464 140221085641800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 2957856
[startup+12.7007 s]
/proc/loadavg: 2.03 1.75 1.48 5/213 30951
/proc/meminfo: memFree=26240736/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=3024420 CPUtime=16.34 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 15541 0 1 0 1593 41 0 0 20 0 19 0 334047461 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 756105 202218 2292 9 0 746526 0
[pid=30933/tid=30935] ppid=30931 vsize=3024420 CPUtime=11.69 cores=1,3,5,7
/proc/30933/task/30935/stat : 30935 (java) R 30931 30933 29837 0 -1 4202560 3259 0 1 0 1159 10 0 0 20 0 19 0 334047462 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222255325640 140222109122487 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30933/tid=30936] ppid=30931 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/30933/task/30936/stat : 30936 (java) S 30931 30933 29837 0 -1 4202560 114 0 0 0 42 4 0 0 20 0 19 0 334047462 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222238759336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30937] ppid=30931 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/30933/task/30937/stat : 30937 (java) S 30931 30933 29837 0 -1 4202560 106 0 0 0 37 3 0 0 20 0 19 0 334047462 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222237706792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30938] ppid=30931 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/30933/task/30938/stat : 30938 (java) S 30931 30933 29837 0 -1 4202560 91 0 0 0 40 4 0 0 20 0 19 0 334047462 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222236653736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30939] ppid=30931 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/30933/task/30939/stat : 30939 (java) S 30931 30933 29837 0 -1 4202560 102 0 0 0 40 3 0 0 20 0 19 0 334047462 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222235601192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30940] ppid=30931 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/30933/task/30940/stat : 30940 (java) S 30931 30933 29837 0 -1 4202560 104 0 0 0 47 4 0 0 20 0 19 0 334047462 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222234549160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30941] ppid=30931 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/30933/task/30941/stat : 30941 (java) S 30931 30933 29837 0 -1 4202560 100 0 0 0 50 4 0 0 20 0 19 0 334047462 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222233496616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30942] ppid=30931 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/30933/task/30942/stat : 30942 (java) S 30931 30933 29837 0 -1 4202560 85 0 0 0 33 3 0 0 20 0 19 0 334047462 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222232443560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30943] ppid=30931 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/30933/task/30943/stat : 30943 (java) S 30931 30933 29837 0 -1 4202560 99 0 0 0 51 4 0 0 20 0 19 0 334047462 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222231391016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30944] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30944/stat : 30944 (java) S 30931 30933 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334047463 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222100629864 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30945] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30945/stat : 30945 (java) S 30931 30933 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334047464 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222099576184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30946] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30946/stat : 30946 (java) S 30931 30933 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334047464 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222098523016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30947] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30947/stat : 30947 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047466 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222097471760 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30948] ppid=30931 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/30933/task/30948/stat : 30948 (java) R 30931 30933 29837 0 -1 4202560 3769 0 0 0 36 0 0 0 20 0 19 0 334047466 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222096419640 140222258858606 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30949] ppid=30931 vsize=3024420 CPUtime=0.47 cores=1,3,5,7
/proc/30933/task/30949/stat : 30949 (java) R 30931 30933 29837 0 -1 4202560 6517 0 0 0 45 2 0 0 20 0 19 0 334047466 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222095367096 140222262760208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30950] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30950/stat : 30950 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047466 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140222094314232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30951] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30951/stat : 30951 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047466 3097006080 202218 33554432000 1073741824 1073778376 140733980898464 140221085641800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 16.34
Current children cumulated vsize (KiB) 3024420
Solver just ended. Dumping a history of the last processes samples
[startup+12.8008 s]
/proc/loadavg: 2.03 1.75 1.48 5/213 30951
/proc/meminfo: memFree=26240736/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=3024420 CPUtime=16.63 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 16758 0 1 0 1622 41 0 0 20 0 19 0 334047461 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 756105 202434 2296 9 0 746526 0
[pid=30933/tid=30935] ppid=30931 vsize=3024420 CPUtime=11.79 cores=1,3,5,7
/proc/30933/task/30935/stat : 30935 (java) R 30931 30933 29837 0 -1 4202560 3259 0 1 0 1169 10 0 0 20 0 19 0 334047462 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222255325640 140222109915354 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30933/tid=30936] ppid=30931 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/30933/task/30936/stat : 30936 (java) S 30931 30933 29837 0 -1 4202560 114 0 0 0 42 4 0 0 20 0 19 0 334047462 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222238759336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30937] ppid=30931 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/30933/task/30937/stat : 30937 (java) S 30931 30933 29837 0 -1 4202560 106 0 0 0 37 3 0 0 20 0 19 0 334047462 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222237706792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30938] ppid=30931 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/30933/task/30938/stat : 30938 (java) S 30931 30933 29837 0 -1 4202560 91 0 0 0 40 4 0 0 20 0 19 0 334047462 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222236653736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30939] ppid=30931 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/30933/task/30939/stat : 30939 (java) S 30931 30933 29837 0 -1 4202560 102 0 0 0 40 3 0 0 20 0 19 0 334047462 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222235601192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30940] ppid=30931 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/30933/task/30940/stat : 30940 (java) S 30931 30933 29837 0 -1 4202560 104 0 0 0 47 4 0 0 20 0 19 0 334047462 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222234549160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30941] ppid=30931 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/30933/task/30941/stat : 30941 (java) S 30931 30933 29837 0 -1 4202560 100 0 0 0 50 4 0 0 20 0 19 0 334047462 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222233496616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30942] ppid=30931 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/30933/task/30942/stat : 30942 (java) S 30931 30933 29837 0 -1 4202560 85 0 0 0 33 3 0 0 20 0 19 0 334047462 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222232443560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30943] ppid=30931 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/30933/task/30943/stat : 30943 (java) S 30931 30933 29837 0 -1 4202560 99 0 0 0 51 4 0 0 20 0 19 0 334047462 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222231391016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30944] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30944/stat : 30944 (java) S 30931 30933 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334047463 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222100629864 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30945] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30945/stat : 30945 (java) S 30931 30933 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334047464 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222099576184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30946] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30946/stat : 30946 (java) S 30931 30933 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334047464 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222098523016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30947] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30947/stat : 30947 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047466 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222097471760 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30948] ppid=30931 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/30933/task/30948/stat : 30948 (java) R 30931 30933 29837 0 -1 4202560 4944 0 0 0 46 0 0 0 20 0 19 0 334047466 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222096397712 140222259434494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30949] ppid=30931 vsize=3024420 CPUtime=0.56 cores=1,3,5,7
/proc/30933/task/30949/stat : 30949 (java) R 30931 30933 29837 0 -1 4202560 6559 0 0 0 54 2 0 0 20 0 19 0 334047466 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222095367096 140222262137770 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30950] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30950/stat : 30950 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047466 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140222094314232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30951] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30951/stat : 30951 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047466 3097006080 202434 33554432000 1073741824 1073778376 140733980898464 140221085641800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 16.63
Current children cumulated vsize (KiB) 3024420
[startup+12.9007 s]
/proc/loadavg: 2.03 1.75 1.48 5/213 30951
/proc/meminfo: memFree=26240736/32873648 swapFree=7112/7112
[pid=30933] ppid=30931 vsize=3024420 CPUtime=16.92 cores=1,3,5,7
/proc/30933/stat : 30933 (java) S 30931 30933 29837 0 -1 4202496 17859 0 1 0 1651 41 0 0 20 0 19 0 334047461 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140733980889600 242170757181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30933/statm: 756105 202517 2297 9 0 746526 0
[pid=30933/tid=30935] ppid=30931 vsize=3024420 CPUtime=11.89 cores=1,3,5,7
/proc/30933/task/30935/stat : 30935 (java) R 30931 30933 29837 0 -1 4202560 3259 0 1 0 1179 10 0 0 20 0 19 0 334047462 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222255325640 140222109316192 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30933/tid=30936] ppid=30931 vsize=3024420 CPUtime=0.46 cores=1,3,5,7
/proc/30933/task/30936/stat : 30936 (java) S 30931 30933 29837 0 -1 4202560 114 0 0 0 42 4 0 0 20 0 19 0 334047462 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222238759336 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30937] ppid=30931 vsize=3024420 CPUtime=0.4 cores=1,3,5,7
/proc/30933/task/30937/stat : 30937 (java) S 30931 30933 29837 0 -1 4202560 106 0 0 0 37 3 0 0 20 0 19 0 334047462 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222237706792 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30938] ppid=30931 vsize=3024420 CPUtime=0.44 cores=1,3,5,7
/proc/30933/task/30938/stat : 30938 (java) S 30931 30933 29837 0 -1 4202560 91 0 0 0 40 4 0 0 20 0 19 0 334047462 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222236653736 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30939] ppid=30931 vsize=3024420 CPUtime=0.43 cores=1,3,5,7
/proc/30933/task/30939/stat : 30939 (java) S 30931 30933 29837 0 -1 4202560 102 0 0 0 40 3 0 0 20 0 19 0 334047462 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222235601192 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30940] ppid=30931 vsize=3024420 CPUtime=0.51 cores=1,3,5,7
/proc/30933/task/30940/stat : 30940 (java) S 30931 30933 29837 0 -1 4202560 104 0 0 0 47 4 0 0 20 0 19 0 334047462 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222234549160 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30941] ppid=30931 vsize=3024420 CPUtime=0.54 cores=1,3,5,7
/proc/30933/task/30941/stat : 30941 (java) S 30931 30933 29837 0 -1 4202560 100 0 0 0 50 4 0 0 20 0 19 0 334047462 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222233496616 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30942] ppid=30931 vsize=3024420 CPUtime=0.36 cores=1,3,5,7
/proc/30933/task/30942/stat : 30942 (java) S 30931 30933 29837 0 -1 4202560 85 0 0 0 33 3 0 0 20 0 19 0 334047462 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222232443560 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30943] ppid=30931 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/30933/task/30943/stat : 30943 (java) S 30931 30933 29837 0 -1 4202560 99 0 0 0 51 4 0 0 20 0 19 0 334047462 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222231391016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30944] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30944/stat : 30944 (java) S 30931 30933 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334047463 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222100629864 242170771369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30945] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30945/stat : 30945 (java) S 30931 30933 29837 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334047464 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222099576184 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30946] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30946/stat : 30946 (java) S 30931 30933 29837 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334047464 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222098523016 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30947] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30947/stat : 30947 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047466 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222097471760 242170779424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30948] ppid=30931 vsize=3024420 CPUtime=0.55 cores=1,3,5,7
/proc/30933/task/30948/stat : 30948 (java) R 30931 30933 29837 0 -1 4202560 5058 0 0 0 55 0 0 0 20 0 19 0 334047466 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222096406928 140222257544772 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30933/tid=30949] ppid=30931 vsize=3024420 CPUtime=0.66 cores=1,3,5,7
/proc/30933/task/30949/stat : 30949 (java) R 30931 30933 29837 0 -1 4202560 7546 0 0 0 64 2 0 0 20 0 19 0 334047466 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222095367096 140222259426693 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=30933/tid=30950] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30950/stat : 30950 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047466 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140222094314232 242170770492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30933/tid=30951] ppid=30931 vsize=3024420 CPUtime=0 cores=1,3,5,7
/proc/30933/task/30951/stat : 30951 (java) S 30931 30933 29837 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334047466 3097006080 202517 33554432000 1073741824 1073778376 140733980898464 140221085641800 242170771369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 16.92
Current children cumulated vsize (KiB) 3024420
Child status: 10
Real time (s): 12.9547
CPU time (s): 17.0694
CPU user time (s): 16.5385
CPU system time (s): 0.530919
CPU usage (%): 131.763
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.5385
system time used= 0.530919
maximum resident set size= 812156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17871
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1102
involuntary context switches= 4306
runsolver used 0.040993 second user time and 0.115982 second system time
The end