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-3732227-1338684771/watcher-3732227-1338684771 -o /tmp/evaluation-result-3732227-1338684771/solver-3732227-1338684771 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3732227-1338684771.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: 3.51 3.76 3.77 4/197 8581
/proc/meminfo: memFree=27675352/32873844 swapFree=7632/7632
[pid=8581] ppid=8579 vsize=20660 CPUtime=0 cores=1,3,5,7
/proc/8581/stat : 8581 (java) R 8579 8581 5561 0 -1 4202496 466 0 0 0 0 0 0 0 20 0 1 0 334601405 21155840 195 33554432000 1073741824 1073778376 140736887983504 140736887972568 209874619059 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/8581/statm: 5809 198 152 9 0 128 0
[startup+0.093425 s]
/proc/loadavg: 3.51 3.76 3.77 4/197 8581
/proc/meminfo: memFree=27675352/32873844 swapFree=7632/7632
[pid=8581] ppid=8579 vsize=11586392 CPUtime=0.07 cores=1,3,5,7
/proc/8581/stat : 8581 (java) S 8579 8581 5561 0 -1 4202496 4789 0 1 0 6 1 0 0 20 0 18 0 334601405 11864465408 13151 33554432000 1073741824 1073778376 140736887983504 140736887974640 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8581/statm: 2896598 13154 1994 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.100236 s]
/proc/loadavg: 3.51 3.76 3.77 4/197 8581
/proc/meminfo: memFree=27675352/32873844 swapFree=7632/7632
[pid=8581] ppid=8579 vsize=11586392 CPUtime=0.09 cores=1,3,5,7
/proc/8581/stat : 8581 (java) S 8579 8581 5561 0 -1 4202496 5260 0 1 0 8 1 0 0 20 0 18 0 334601405 11864465408 13606 33554432000 1073741824 1073778376 140736887983504 140736887974640 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8581/statm: 2896598 13606 2115 9 0 2887285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11586392
[startup+0.300186 s]
/proc/loadavg: 3.51 3.76 3.77 4/197 8581
/proc/meminfo: memFree=27675352/32873844 swapFree=7632/7632
[pid=8581] ppid=8579 vsize=11586392 CPUtime=0.48 cores=1,3,5,7
/proc/8581/stat : 8581 (java) S 8579 8581 5561 0 -1 4202496 6483 0 1 0 46 2 0 0 20 0 18 0 334601405 11864465408 16331 33554432000 1073741824 1073778376 140736887983504 140736887974640 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8581/statm: 2896598 16331 2225 9 0 2887285 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 11586392
[startup+0.700215 s]
/proc/loadavg: 3.51 3.76 3.77 4/197 8581
/proc/meminfo: memFree=27675352/32873844 swapFree=7632/7632
[pid=8581] ppid=8579 vsize=11852648 CPUtime=1.97 cores=1,3,5,7
/proc/8581/stat : 8581 (java) S 8579 8581 5561 0 -1 4202496 14813 0 1 0 192 5 0 0 20 0 19 0 334601405 12137111552 30461 33554432000 1073741824 1073778376 140736887983504 140736887974640 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8581/statm: 2963162 30492 2254 9 0 2953849 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 11852648
[startup+1.50082 s]
/proc/loadavg: 3.47 3.74 3.77 3/216 8606
/proc/meminfo: memFree=27518412/32873844 swapFree=7632/7632
[pid=8581] ppid=8579 vsize=11852648 CPUtime=2.82 cores=1,3,5,7
/proc/8581/stat : 8581 (java) S 8579 8581 5561 0 -1 4202496 15911 0 1 0 273 9 0 0 20 0 22 0 334601405 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 140736887974640 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8581/statm: 2963162 54195 2281 9 0 2953849 0
[pid=8581/tid=8583] ppid=8579 vsize=11852648 CPUtime=0.3 cores=1,3,5,7
/proc/8581/task/8583/stat : 8583 (java) S 8579 8581 5561 0 -1 4202560 3388 0 1 0 28 2 0 0 20 0 22 0 334601406 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139690001347736 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334601408 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689990408616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334601408 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689989356072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334601408 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689988303016 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334601408 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689987250472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 5561 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 334601408 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689834343336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334601408 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689833290792 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 334601408 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689832237736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 334601408 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689831185192 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 5561 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 22 0 334601409 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689818773864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 334601410 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689817720184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8594] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8594/stat : 8594 (java) S 8579 8581 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 334601410 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689816667016 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8595] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8595/stat : 8595 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334601412 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689815615760 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8596] ppid=8579 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/8581/task/8596/stat : 8596 (java) S 8579 8581 5561 0 -1 4202560 4784 0 0 0 64 0 0 0 20 0 22 0 334601412 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689814563640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8597] ppid=8579 vsize=11852648 CPUtime=0.59 cores=1,3,5,7
/proc/8581/task/8597/stat : 8597 (java) S 8579 8581 5561 0 -1 4202560 6311 0 0 0 59 0 0 0 20 0 22 0 334601412 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689813511096 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8581/tid=8598] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8598/stat : 8598 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334601412 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689812458232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8581/tid=8599] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8599/stat : 8599 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 334601412 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689811405896 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8606] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8606/stat : 8606 (java) S 8579 8581 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 334601488 12137111552 54195 33554432000 1073741824 1073778376 140736887983504 139689807193384 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.82
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.70077 s]
/proc/loadavg: 3.47 3.74 3.77 3/216 8606
/proc/meminfo: memFree=27518412/32873844 swapFree=7632/7632
[pid=8581] ppid=8579 vsize=11852648 CPUtime=3.07 cores=1,3,5,7
/proc/8581/stat : 8581 (java) S 8579 8581 5561 0 -1 4202496 15933 0 1 0 296 11 0 0 20 0 19 0 334601405 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 140736887974640 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8581/statm: 2963162 65452 2281 9 0 2953849 0
[pid=8581/tid=8583] ppid=8579 vsize=11852648 CPUtime=0.3 cores=1,3,5,7
/proc/8581/task/8583/stat : 8583 (java) S 8579 8581 5561 0 -1 4202560 3388 0 1 0 28 2 0 0 20 0 19 0 334601406 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139690001347736 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689990408616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689989356072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689988303016 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689987250472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 5561 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689834343336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689833290792 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689832237736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689831185192 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 5561 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 334601409 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689818773864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334601410 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689817720184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8594] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8594/stat : 8594 (java) S 8579 8581 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334601410 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689816667016 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8595] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8595/stat : 8595 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689815615760 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8596] ppid=8579 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/8581/task/8596/stat : 8596 (java) S 8579 8581 5561 0 -1 4202560 4784 0 0 0 64 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689814563640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8597] ppid=8579 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/8581/task/8597/stat : 8597 (java) S 8579 8581 5561 0 -1 4202560 6311 0 0 0 62 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689813511096 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8581/tid=8598] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8598/stat : 8598 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689812458232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8581/tid=8599] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8599/stat : 8599 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689811405896 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8606] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8606/stat : 8606 (java) S 8579 8581 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334601488 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689807193384 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11852648
[startup+1.80067 s]
/proc/loadavg: 3.47 3.74 3.77 3/216 8606
/proc/meminfo: memFree=27518412/32873844 swapFree=7632/7632
[pid=8581] ppid=8579 vsize=11852648 CPUtime=3.07 cores=1,3,5,7
/proc/8581/stat : 8581 (java) S 8579 8581 5561 0 -1 4202496 15933 0 1 0 296 11 0 0 20 0 19 0 334601405 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 140736887974640 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/8581/statm: 2963162 65452 2281 9 0 2953849 0
[pid=8581/tid=8583] ppid=8579 vsize=11852648 CPUtime=0.3 cores=1,3,5,7
/proc/8581/task/8583/stat : 8583 (java) S 8579 8581 5561 0 -1 4202560 3388 0 1 0 28 2 0 0 20 0 19 0 334601406 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139690001347736 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8584] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8584/stat : 8584 (java) S 8579 8581 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689990408616 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8585] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8585/stat : 8585 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689989356072 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8586] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8586/stat : 8586 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689988303016 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8587] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8587/stat : 8587 (java) S 8579 8581 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689987250472 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8588] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8588/stat : 8588 (java) S 8579 8581 5561 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689834343336 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8589] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8589/stat : 8589 (java) S 8579 8581 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689833290792 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8590] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8590/stat : 8590 (java) S 8579 8581 5561 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689832237736 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8581/tid=8591] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8591/stat : 8591 (java) S 8579 8581 5561 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 334601408 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689831185192 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8592] ppid=8579 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/8581/task/8592/stat : 8592 (java) S 8579 8581 5561 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 334601409 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689818773864 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8593] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8593/stat : 8593 (java) S 8579 8581 5561 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 334601410 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689817720184 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8594] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8594/stat : 8594 (java) S 8579 8581 5561 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 334601410 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689816667016 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8595] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8595/stat : 8595 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689815615760 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8581/tid=8596] ppid=8579 vsize=11852648 CPUtime=0.64 cores=1,3,5,7
/proc/8581/task/8596/stat : 8596 (java) S 8579 8581 5561 0 -1 4202560 4784 0 0 0 64 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689814563640 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8581/tid=8597] ppid=8579 vsize=11852648 CPUtime=0.62 cores=1,3,5,7
/proc/8581/task/8597/stat : 8597 (java) S 8579 8581 5561 0 -1 4202560 6311 0 0 0 62 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689813511096 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8581/tid=8598] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8598/stat : 8598 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689812458232 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8581/tid=8599] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8599/stat : 8599 (java) S 8579 8581 5561 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 334601412 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689811405896 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8581/tid=8606] ppid=8579 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/8581/task/8606/stat : 8606 (java) S 8579 8581 5561 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 334601488 12137111552 65452 33554432000 1073741824 1073778376 140736887983504 139689807193384 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 11852648
Child status: 30
Real time (s): 1.85191
CPU time (s): 3.09353
CPU user time (s): 2.95155
CPU system time (s): 0.141978
CPU usage (%): 167.046
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.95155
system time used= 0.141978
maximum resident set size= 263880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15944
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= 403
involuntary context switches= 84
runsolver used 0.013997 second user time and 0.013997 second system time
The end