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-3734497-1338700851/watcher-3734497-1338700851 -o /tmp/evaluation-result-3734497-1338700851/solver-3734497-1338700851 -C 1800 -W 1900 -M 15500 java -server -Xms1600M -Xmx1600M -jar HOME/sat4jPseudoResolution.jar HOME/instance-3734497-1338700851.opb
running on 4 cores: 0,2,4,6
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.08 2.08 2.02 3/195 6436
/proc/meminfo: memFree=28062268/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=96324 CPUtime=0 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 1252 0 0 0 0 0 0 0 20 0 2 0 336210526 98635776 960 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 24081 966 734 9 0 16771 0
[pid=6436/tid=6437] ppid=6434 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 124 0 0 0 0 0 0 0 20 0 2 0 336210526 98570240 972 33554432000 1073741824 1073778376 140736091404464 140533998231080 214537421712 0 0 4096 0 0 0 0 -1 0 0 0 0 0 0
[startup+0.063827 s]
/proc/loadavg: 2.08 2.08 2.02 3/195 6436
/proc/meminfo: memFree=28062268/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=2956804 CPUtime=0.05 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 4115 0 1 0 4 1 0 0 20 0 18 0 336210526 3027767296 5834 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 739201 5834 1781 9 0 729885 0
[pid=6436/tid=6437] ppid=6434 vsize=2956804 CPUtime=0.04 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 2905 0 1 0 3 1 0 0 20 0 18 0 336210526 3027767296 5834 33554432000 1073741824 1073778376 140736091404464 140533998238368 214540805389 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2956804
[startup+0.100305 s]
/proc/loadavg: 2.08 2.08 2.02 3/195 6436
/proc/meminfo: memFree=28062268/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=2957856 CPUtime=0.1 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 4918 0 1 0 9 1 0 0 20 0 18 0 336210526 3028844544 7137 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 739464 7137 2130 9 0 729885 0
[pid=6436/tid=6437] ppid=6434 vsize=2957856 CPUtime=0.08 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 3006 0 1 0 6 2 0 0 20 0 18 0 336210526 3028844544 7137 33554432000 1073741824 1073778376 140736091404464 140533998234312 140533996108142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2957856
[startup+0.300198 s]
/proc/loadavg: 2.08 2.08 2.02 3/195 6436
/proc/meminfo: memFree=28062268/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=3024420 CPUtime=0.51 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 7765 0 1 0 49 2 0 0 20 0 19 0 336210526 3097006080 9034 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 756105 9034 2256 9 0 746526 0
[pid=6436/tid=6437] ppid=6434 vsize=3024420 CPUtime=0.28 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 3038 0 1 0 26 2 0 0 20 0 19 0 336210526 3097006080 9034 33554432000 1073741824 1073778376 140736091404464 140533998236264 140533830161496 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 3024420
[startup+0.700206 s]
/proc/loadavg: 2.08 2.08 2.02 3/195 6436
/proc/meminfo: memFree=28062268/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=3024420 CPUtime=0.98 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 7784 0 1 0 96 2 0 0 20 0 19 0 336210526 3097006080 10586 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 756105 10586 2260 9 0 746526 0
[pid=6436/tid=6437] ppid=6434 vsize=3024420 CPUtime=0.68 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 3041 0 1 0 66 2 0 0 20 0 19 0 336210526 3097006080 10586 33554432000 1073741824 1073778376 140736091404464 140533998236072 140533830158816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 3024420
[startup+1.5007 s]
/proc/loadavg: 2.08 2.08 2.02 3/214 6456
/proc/meminfo: memFree=28024500/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=3024420 CPUtime=1.78 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 7790 0 1 0 176 2 0 0 20 0 19 0 336210526 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 756105 12635 2260 9 0 746526 0
[pid=6436/tid=6437] ppid=6434 vsize=3024420 CPUtime=1.48 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 3046 0 1 0 146 2 0 0 20 0 19 0 336210526 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533998234064 140533830152906 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6439/stat : 6439 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533981661736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6440] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6440/stat : 6440 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533980608936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6441] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6441/stat : 6441 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533979556136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6442] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6442/stat : 6442 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533978503336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6443] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6443/stat : 6443 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533977451560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6444] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6444/stat : 6444 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533976398760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6445] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6445/stat : 6445 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533975345960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6446] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6446/stat : 6446 (java) S 6434 6436 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533974293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6447] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6447/stat : 6447 (java) S 6434 6436 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336210528 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533961882088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6448] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6448/stat : 6448 (java) S 6434 6436 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533960828152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6449] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6449/stat : 6449 (java) S 6434 6436 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533959775240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6450] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6450/stat : 6450 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533958723728 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6451] ppid=6434 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/6436/task/6451/stat : 6451 (java) S 6434 6436 1585 0 -1 4202560 1369 0 0 0 13 0 0 0 20 0 19 0 336210531 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533957671864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6452] ppid=6434 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/6436/task/6452/stat : 6452 (java) S 6434 6436 1585 0 -1 4202560 2177 0 0 0 13 0 0 0 20 0 19 0 336210531 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533956619064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6453] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6453/stat : 6453 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533955566456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6454] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6454/stat : 6454 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533954513864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6456] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6456/stat : 6456 (java) S 6434 6436 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336210541 3097006080 12635 33554432000 1073741824 1073778376 140736091404464 140533952312360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 3024420
[startup+3.10072 s]
/proc/loadavg: 2.08 2.08 2.02 3/214 6456
/proc/meminfo: memFree=28015812/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=3024420 CPUtime=3.38 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 7796 0 1 0 336 2 0 0 20 0 19 0 336210526 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 756105 15707 2260 9 0 746526 0
[pid=6436/tid=6437] ppid=6434 vsize=3024420 CPUtime=3.08 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 3052 0 1 0 306 2 0 0 20 0 19 0 336210526 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533998236008 140533830153265 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6439/stat : 6439 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533981661736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6440] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6440/stat : 6440 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533980608936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6441] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6441/stat : 6441 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533979556136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6442] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6442/stat : 6442 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533978503336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6443] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6443/stat : 6443 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533977451560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6444] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6444/stat : 6444 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533976398760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6445] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6445/stat : 6445 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533975345960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6446] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6446/stat : 6446 (java) S 6434 6436 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533974293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6447] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6447/stat : 6447 (java) S 6434 6436 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336210528 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533961882088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6448] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6448/stat : 6448 (java) S 6434 6436 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533960828152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6449] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6449/stat : 6449 (java) S 6434 6436 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533959775240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6450] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6450/stat : 6450 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533958723728 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6451] ppid=6434 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/6436/task/6451/stat : 6451 (java) S 6434 6436 1585 0 -1 4202560 1369 0 0 0 14 0 0 0 20 0 19 0 336210531 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533957671864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6452] ppid=6434 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/6436/task/6452/stat : 6452 (java) S 6434 6436 1585 0 -1 4202560 2177 0 0 0 13 0 0 0 20 0 19 0 336210531 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533956619064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6453] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6453/stat : 6453 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533955566456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6454] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6454/stat : 6454 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533954513864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6456] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6456/stat : 6456 (java) S 6434 6436 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336210541 3097006080 15707 33554432000 1073741824 1073778376 140736091404464 140533952312360 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.38
Current children cumulated vsize (KiB) 3024420
[startup+6.30072 s]
/proc/loadavg: 2.08 2.08 2.02 3/214 6458
/proc/meminfo: memFree=27995836/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=3024420 CPUtime=6.57 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 7810 0 1 0 655 2 0 0 20 0 19 0 336210526 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 756105 18836 2261 9 0 746526 0
[pid=6436/tid=6437] ppid=6434 vsize=3024420 CPUtime=6.27 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 3061 0 1 0 625 2 0 0 20 0 19 0 336210526 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533998234064 140533830152802 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6439/stat : 6439 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533981661736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6440] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6440/stat : 6440 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533980608936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6441] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6441/stat : 6441 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533979556136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6442] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6442/stat : 6442 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533978503336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6443] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6443/stat : 6443 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533977451560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6444] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6444/stat : 6444 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533976398760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6445] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6445/stat : 6445 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533975345960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6446] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6446/stat : 6446 (java) S 6434 6436 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336210527 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533974293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6447] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6447/stat : 6447 (java) S 6434 6436 1585 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 336210528 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533961882088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6448] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6448/stat : 6448 (java) S 6434 6436 1585 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533960828152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6449] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6449/stat : 6449 (java) S 6434 6436 1585 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533959775240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6450] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6450/stat : 6450 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533958723728 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6451] ppid=6434 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/6436/task/6451/stat : 6451 (java) S 6434 6436 1585 0 -1 4202560 1369 0 0 0 14 0 0 0 20 0 19 0 336210531 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533957671864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6452] ppid=6434 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/6436/task/6452/stat : 6452 (java) S 6434 6436 1585 0 -1 4202560 2177 0 0 0 13 0 0 0 20 0 19 0 336210531 3097006080 18836 33554432000 1073741824 1073778376 140736091404464 140533956619064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
################
# More data... #
################
[pid=6436/tid=6444] ppid=6434 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/6436/task/6444/stat : 6444 (java) S 6434 6436 1585 0 -1 4202560 216 0 0 0 33 12 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533976398760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6445] ppid=6434 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/6436/task/6445/stat : 6445 (java) S 6434 6436 1585 0 -1 4202560 144 0 0 0 23 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533975345960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6446] ppid=6434 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/6436/task/6446/stat : 6446 (java) S 6434 6436 1585 0 -1 4202560 141 0 0 0 23 8 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533974293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6447] ppid=6434 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/6436/task/6447/stat : 6447 (java) S 6434 6436 1585 0 -1 4202560 11 0 0 0 0 1 0 0 20 0 19 0 336210528 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533961882088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6448] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6448/stat : 6448 (java) S 6434 6436 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533960828152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6449] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6449/stat : 6449 (java) S 6434 6436 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533959775240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6450] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6450/stat : 6450 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533958723728 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6451] ppid=6434 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/6436/task/6451/stat : 6451 (java) S 6434 6436 1585 0 -1 4202560 1369 0 0 0 14 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533957671864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6452] ppid=6434 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/6436/task/6452/stat : 6452 (java) S 6434 6436 1585 0 -1 4202560 2177 0 0 0 13 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533956619064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6453] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6453/stat : 6453 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533955566456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6454] ppid=6434 vsize=3024420 CPUtime=0.56 cores=0,2,4,6
/proc/6436/task/6454/stat : 6454 (java) S 6434 6436 1585 0 -1 4202560 96 0 0 0 27 29 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533954513864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6458] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6458/stat : 6458 (java) S 6434 6436 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336210929 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533952312104 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1664.87
Current children cumulated vsize (KiB) 3024420
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/213 6590
/proc/meminfo: memFree=26843432/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=3024420 CPUtime=1724.88 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 9530 0 1 0 172366 122 0 0 20 0 19 0 336210526 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 756105 303882 2273 9 0 746526 0
[pid=6436/tid=6437] ppid=6434 vsize=3024420 CPUtime=1721.27 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 3244 0 1 0 172091 36 0 0 20 0 19 0 336210526 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533998234928 140533830216900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/6436/task/6439/stat : 6439 (java) S 6434 6436 1585 0 -1 4202560 235 0 0 0 26 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533981661736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6440] ppid=6434 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/6436/task/6440/stat : 6440 (java) S 6434 6436 1585 0 -1 4202560 183 0 0 0 32 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533980608936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6441] ppid=6434 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/6436/task/6441/stat : 6441 (java) S 6434 6436 1585 0 -1 4202560 132 0 0 0 22 7 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533979556136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6442] ppid=6434 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/6436/task/6442/stat : 6442 (java) S 6434 6436 1585 0 -1 4202560 252 0 0 0 33 16 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533978503336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6443] ppid=6434 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/6436/task/6443/stat : 6443 (java) S 6434 6436 1585 0 -1 4202560 135 0 0 0 21 8 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533977451560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6444] ppid=6434 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/6436/task/6444/stat : 6444 (java) S 6434 6436 1585 0 -1 4202560 216 0 0 0 33 12 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533976398760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6445] ppid=6434 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/6436/task/6445/stat : 6445 (java) S 6434 6436 1585 0 -1 4202560 144 0 0 0 23 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533975345960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6446] ppid=6434 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/6436/task/6446/stat : 6446 (java) S 6434 6436 1585 0 -1 4202560 141 0 0 0 23 8 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533974293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6447] ppid=6434 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/6436/task/6447/stat : 6447 (java) S 6434 6436 1585 0 -1 4202560 11 0 0 0 0 1 0 0 20 0 19 0 336210528 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533961882088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6448] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6448/stat : 6448 (java) S 6434 6436 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533960828152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6449] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6449/stat : 6449 (java) S 6434 6436 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533959775240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6450] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6450/stat : 6450 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533958723728 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6451] ppid=6434 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/6436/task/6451/stat : 6451 (java) S 6434 6436 1585 0 -1 4202560 1369 0 0 0 14 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533957671864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6452] ppid=6434 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/6436/task/6452/stat : 6452 (java) S 6434 6436 1585 0 -1 4202560 2177 0 0 0 13 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533956619064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6453] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6453/stat : 6453 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533955566456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6454] ppid=6434 vsize=3024420 CPUtime=0.59 cores=0,2,4,6
/proc/6436/task/6454/stat : 6454 (java) S 6434 6436 1585 0 -1 4202560 100 0 0 0 28 31 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533954513864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6458] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6458/stat : 6458 (java) S 6434 6436 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336210929 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533952312104 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1724.88
Current children cumulated vsize (KiB) 3024420
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/214 6593
/proc/meminfo: memFree=26843176/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=3024420 CPUtime=1784.89 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 9534 0 1 0 178365 124 0 0 20 0 19 0 336210526 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 756105 303882 2273 9 0 746526 0
[pid=6436/tid=6437] ppid=6434 vsize=3024420 CPUtime=1781.28 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 3244 0 1 0 178091 37 0 0 20 0 19 0 336210526 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533998234928 140533830216896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/6436/task/6439/stat : 6439 (java) S 6434 6436 1585 0 -1 4202560 235 0 0 0 26 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533981661736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6440] ppid=6434 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/6436/task/6440/stat : 6440 (java) S 6434 6436 1585 0 -1 4202560 183 0 0 0 32 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533980608936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6441] ppid=6434 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/6436/task/6441/stat : 6441 (java) S 6434 6436 1585 0 -1 4202560 132 0 0 0 22 7 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533979556136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6442] ppid=6434 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/6436/task/6442/stat : 6442 (java) S 6434 6436 1585 0 -1 4202560 252 0 0 0 33 16 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533978503336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6443] ppid=6434 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/6436/task/6443/stat : 6443 (java) S 6434 6436 1585 0 -1 4202560 135 0 0 0 21 8 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533977451560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6444] ppid=6434 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/6436/task/6444/stat : 6444 (java) S 6434 6436 1585 0 -1 4202560 216 0 0 0 33 12 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533976398760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6445] ppid=6434 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/6436/task/6445/stat : 6445 (java) S 6434 6436 1585 0 -1 4202560 144 0 0 0 23 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533975345960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6446] ppid=6434 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/6436/task/6446/stat : 6446 (java) S 6434 6436 1585 0 -1 4202560 141 0 0 0 23 8 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533974293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6447] ppid=6434 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/6436/task/6447/stat : 6447 (java) S 6434 6436 1585 0 -1 4202560 11 0 0 0 0 1 0 0 20 0 19 0 336210528 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533961882088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6448] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6448/stat : 6448 (java) S 6434 6436 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533960828152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6449] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6449/stat : 6449 (java) S 6434 6436 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533959775240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6450] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6450/stat : 6450 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533958723728 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6451] ppid=6434 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/6436/task/6451/stat : 6451 (java) S 6434 6436 1585 0 -1 4202560 1369 0 0 0 14 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533957671864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6452] ppid=6434 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/6436/task/6452/stat : 6452 (java) S 6434 6436 1585 0 -1 4202560 2177 0 0 0 13 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533956619064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6453] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6453/stat : 6453 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533955566456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6454] ppid=6434 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/6436/task/6454/stat : 6454 (java) S 6434 6436 1585 0 -1 4202560 104 0 0 0 29 32 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533954513864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6458] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6458/stat : 6458 (java) S 6434 6436 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336210929 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533952312104 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1784.89
Current children cumulated vsize (KiB) 3024420
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1797.41 s]
/proc/loadavg: 2.01 2.01 2.00 3/214 6593
/proc/meminfo: memFree=26843184/32873648 swapFree=7116/7116
[pid=6436] ppid=6434 vsize=3024420 CPUtime=1800.01 cores=0,2,4,6
/proc/6436/stat : 6436 (java) S 6434 6436 1585 0 -1 4202496 9534 0 1 0 179877 124 0 0 20 0 19 0 336210526 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140736091395600 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6436/statm: 756105 303882 2273 9 0 746526 0
[pid=6436/tid=6437] ppid=6434 vsize=3024420 CPUtime=1796.39 cores=0,2,4,6
/proc/6436/task/6437/stat : 6437 (java) R 6434 6436 1585 0 -1 4202560 3244 0 1 0 179602 37 0 0 20 0 19 0 336210526 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533998234928 140533830216900 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6439] ppid=6434 vsize=3024420 CPUtime=0.35 cores=0,2,4,6
/proc/6436/task/6439/stat : 6439 (java) S 6434 6436 1585 0 -1 4202560 235 0 0 0 26 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533981661736 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6440] ppid=6434 vsize=3024420 CPUtime=0.41 cores=0,2,4,6
/proc/6436/task/6440/stat : 6440 (java) S 6434 6436 1585 0 -1 4202560 183 0 0 0 32 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533980608936 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6441] ppid=6434 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/6436/task/6441/stat : 6441 (java) S 6434 6436 1585 0 -1 4202560 132 0 0 0 22 7 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533979556136 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6442] ppid=6434 vsize=3024420 CPUtime=0.49 cores=0,2,4,6
/proc/6436/task/6442/stat : 6442 (java) S 6434 6436 1585 0 -1 4202560 252 0 0 0 33 16 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533978503336 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6443] ppid=6434 vsize=3024420 CPUtime=0.29 cores=0,2,4,6
/proc/6436/task/6443/stat : 6443 (java) S 6434 6436 1585 0 -1 4202560 135 0 0 0 21 8 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533977451560 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6444] ppid=6434 vsize=3024420 CPUtime=0.45 cores=0,2,4,6
/proc/6436/task/6444/stat : 6444 (java) S 6434 6436 1585 0 -1 4202560 216 0 0 0 33 12 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533976398760 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6445] ppid=6434 vsize=3024420 CPUtime=0.32 cores=0,2,4,6
/proc/6436/task/6445/stat : 6445 (java) S 6434 6436 1585 0 -1 4202560 144 0 0 0 23 9 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533975345960 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6446] ppid=6434 vsize=3024420 CPUtime=0.31 cores=0,2,4,6
/proc/6436/task/6446/stat : 6446 (java) S 6434 6436 1585 0 -1 4202560 141 0 0 0 23 8 0 0 20 0 19 0 336210527 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533974293160 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6447] ppid=6434 vsize=3024420 CPUtime=0.01 cores=0,2,4,6
/proc/6436/task/6447/stat : 6447 (java) S 6434 6436 1585 0 -1 4202560 11 0 0 0 0 1 0 0 20 0 19 0 336210528 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533961882088 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6436/tid=6448] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6448/stat : 6448 (java) S 6434 6436 1585 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533960828152 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6449] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6449/stat : 6449 (java) S 6434 6436 1585 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 336210529 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533959775240 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6450] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6450/stat : 6450 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533958723728 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6451] ppid=6434 vsize=3024420 CPUtime=0.14 cores=0,2,4,6
/proc/6436/task/6451/stat : 6451 (java) S 6434 6436 1585 0 -1 4202560 1369 0 0 0 14 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533957671864 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6452] ppid=6434 vsize=3024420 CPUtime=0.13 cores=0,2,4,6
/proc/6436/task/6452/stat : 6452 (java) S 6434 6436 1585 0 -1 4202560 2177 0 0 0 13 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533956619064 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6436/tid=6453] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6453/stat : 6453 (java) S 6434 6436 1585 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533955566456 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6436/tid=6454] ppid=6434 vsize=3024420 CPUtime=0.61 cores=0,2,4,6
/proc/6436/task/6454/stat : 6454 (java) S 6434 6436 1585 0 -1 4202560 104 0 0 0 29 32 0 0 20 0 19 0 336210531 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533954513864 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6436/tid=6458] ppid=6434 vsize=3024420 CPUtime=0 cores=0,2,4,6
/proc/6436/task/6458/stat : 6458 (java) S 6434 6436 1585 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 336210929 3097006080 303882 33554432000 1073741824 1073778376 140736091404464 140533952312104 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 3024420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1797.43
CPU time (s): 1800.47
CPU user time (s): 1798.85
CPU system time (s): 1.62175
CPU usage (%): 100.169
Max. virtual memory (cumulated for all children) (KiB): 3024420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.85
system time used= 1.62175
maximum resident set size= 1215640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9564
page faults= 1
swaps= 0
block input operations= 0
block output operations= 920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 37971
involuntary context switches= 18394
runsolver used 10.6624 second user time and 10.7904 second system time
The end