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-3741250-1338762666/watcher-3741250-1338762666 -o /tmp/evaluation-result-3741250-1338762666/solver-3741250-1338762666 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3741250-1338762666.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: 4.16 4.06 3.86 4/197 30143
/proc/meminfo: memFree=29623000/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 1278 0 0 0 0 0 0 0 20 0 2 0 342392489 98570240 979 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 24065 979 745 9 0 16771 0
[pid=30143/tid=30144] ppid=30141 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) R 30141 30143 22552 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 342392490 98570240 979 33554432000 1073741824 1073778376 140736902094528 139691138981416 259112387968 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.043118 s]
/proc/loadavg: 4.16 4.06 3.86 4/197 30143
/proc/meminfo: memFree=29623000/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2367080 CPUtime=0.02 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 3742 0 1 0 2 0 0 0 20 0 13 0 342392489 2423889920 4950 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 591770 4950 1708 9 0 582471 0
[pid=30143/tid=30144] ppid=30141 vsize=2367080 CPUtime=0.02 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) R 30141 30143 22552 0 -1 4202560 2560 0 1 0 2 0 0 0 20 0 13 0 342392490 2423889920 4950 33554432000 1073741824 1073778376 140736902094528 139691138983488 259115771149 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 2367080
[startup+0.100245 s]
/proc/loadavg: 4.16 4.06 3.86 4/197 30143
/proc/meminfo: memFree=29623000/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2699928 CPUtime=0.1 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 4856 0 1 0 10 0 0 0 20 0 18 0 342392489 2764726272 6536 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 674982 6536 2153 9 0 665676 0
[pid=30143/tid=30144] ppid=30141 vsize=2699928 CPUtime=0.07 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) R 30141 30143 22552 0 -1 4202560 2782 0 1 0 7 0 0 0 20 0 18 0 342392490 2764726272 6536 33554432000 1073741824 1073778376 140736902094528 139691138984352 139691146786544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 2699928
[startup+0.300217 s]
/proc/loadavg: 4.16 4.06 3.86 4/197 30143
/proc/meminfo: memFree=29623000/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2699928 CPUtime=0.59 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 6689 0 1 0 57 2 0 0 20 0 18 0 342392489 2764726272 11669 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 674982 11669 2223 9 0 665676 0
[pid=30143/tid=30144] ppid=30141 vsize=2699928 CPUtime=0.27 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) R 30141 30143 22552 0 -1 4202560 2797 0 1 0 26 1 0 0 20 0 18 0 342392490 2764726272 11669 33554432000 1073741824 1073778376 140736902094528 139691138984352 139691009970778 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 2699928
[startup+0.700231 s]
/proc/loadavg: 4.16 4.06 3.86 4/197 30143
/proc/meminfo: memFree=29623000/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2966184 CPUtime=2.09 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 16446 0 1 0 205 4 0 0 20 0 22 0 342392489 3037372416 21358 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 741546 21358 2250 9 0 732240 0
[pid=30143/tid=30144] ppid=30141 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) S 30141 30143 22552 0 -1 4202560 2810 0 1 0 28 1 0 0 20 0 22 0 342392490 3037372416 21358 33554432000 1073741824 1073778376 140736902094528 139691138987160 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.09
Current children cumulated vsize (KiB) 2966184
[startup+1.50082 s]
/proc/loadavg: 4.16 4.06 3.86 5/219 30165
/proc/meminfo: memFree=29466144/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2966184 CPUtime=4.22 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 16823 0 1 0 414 8 0 0 20 0 22 0 342392489 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 741546 69694 2281 9 0 732240 0
[pid=30143/tid=30144] ppid=30141 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) S 30141 30143 22552 0 -1 4202560 2810 0 1 0 28 1 0 0 20 0 22 0 342392490 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139691138987160 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30146] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 22552 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139691128047784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30147] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 22552 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139691004721448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30148] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139691003668904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30149] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 22552 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139691002616360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30150] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 22552 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139691001563816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30151] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 22552 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139691000511272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30152] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30152/stat : 30152 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690999458728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30153] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30153/stat : 30153 (java) S 30141 30143 22552 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690998406184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30154] ppid=30141 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/30143/task/30154/stat : 30154 (java) S 30141 30143 22552 0 -1 4202560 32 0 0 0 1 0 0 0 20 0 22 0 342392491 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690515593320 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30155] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30155/stat : 30155 (java) S 30141 30143 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342392492 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690514539640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30156] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30156/stat : 30156 (java) S 30141 30143 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342392492 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690513486984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30157] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30157/stat : 30157 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392494 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690512435728 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30158] ppid=30141 vsize=2966184 CPUtime=0.78 cores=1,3,5,7
/proc/30143/task/30158/stat : 30158 (java) S 30141 30143 22552 0 -1 4202560 6018 0 0 0 76 2 0 0 20 0 22 0 342392494 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690511383096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30159] ppid=30141 vsize=2966184 CPUtime=0.75 cores=1,3,5,7
/proc/30143/task/30159/stat : 30159 (java) S 30141 30143 22552 0 -1 4202560 6500 0 0 0 74 1 0 0 20 0 22 0 342392494 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690510330552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30160] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30160/stat : 30160 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392494 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690509278200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30161] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30161/stat : 30161 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392494 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690508225864 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30162] ppid=30141 vsize=2966184 CPUtime=1.14 cores=1,3,5,7
/proc/30143/task/30162/stat : 30162 (java) R 30141 30143 22552 0 -1 4202560 36 0 0 0 114 0 0 0 20 0 22 0 342392520 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690507169960 139691010096160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30163] ppid=30141 vsize=2966184 CPUtime=1.14 cores=1,3,5,7
/proc/30143/task/30163/stat : 30163 (java) R 30141 30143 22552 0 -1 4202560 194 0 0 0 111 3 0 0 20 0 22 0 342392520 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690506117144 139691010266319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30164] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30164/stat : 30164 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342392524 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690505065512 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30165] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30165/stat : 30165 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342392524 3037372416 69694 33554432000 1073741824 1073778376 140736902094528 139690504012968 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.22
Current children cumulated vsize (KiB) 2966184
[startup+3.10082 s]
/proc/loadavg: 4.16 4.06 3.86 5/219 30165
/proc/meminfo: memFree=29215484/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2966184 CPUtime=7.54 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 17853 0 1 0 742 12 0 0 20 0 22 0 342392489 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 741546 105851 2281 9 0 732240 0
[pid=30143/tid=30144] ppid=30141 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) S 30141 30143 22552 0 -1 4202560 2810 0 1 0 28 1 0 0 20 0 22 0 342392490 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139691138987160 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30146] ppid=30141 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 22552 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 342392490 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139691128047784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30147] ppid=30141 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 22552 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 342392490 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139691004721448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30148] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139691003668904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30149] ppid=30141 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 22552 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 342392490 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139691002616360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30150] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139691001563816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30151] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 22552 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139691000511272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30152] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30152/stat : 30152 (java) S 30141 30143 22552 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690999458728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30153] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30153/stat : 30153 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690998406184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30154] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30154/stat : 30154 (java) S 30141 30143 22552 0 -1 4202560 35 0 0 0 3 0 0 0 20 0 22 0 342392491 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690515593320 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30155] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30155/stat : 30155 (java) S 30141 30143 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342392492 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690514539640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30156] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30156/stat : 30156 (java) S 30141 30143 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342392492 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690513486984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30157] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30157/stat : 30157 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392494 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690512435728 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30158] ppid=30141 vsize=2966184 CPUtime=0.86 cores=1,3,5,7
/proc/30143/task/30158/stat : 30158 (java) S 30141 30143 22552 0 -1 4202560 6959 0 0 0 84 2 0 0 20 0 22 0 342392494 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690511383096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30159] ppid=30141 vsize=2966184 CPUtime=0.79 cores=1,3,5,7
/proc/30143/task/30159/stat : 30159 (java) S 30141 30143 22552 0 -1 4202560 6500 0 0 0 78 1 0 0 20 0 22 0 342392494 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690510330552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30160] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30160/stat : 30160 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392494 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690509278200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30161] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30161/stat : 30161 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392494 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690508225864 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30162] ppid=30141 vsize=2966184 CPUtime=2.66 cores=1,3,5,7
/proc/30143/task/30162/stat : 30162 (java) R 30141 30143 22552 0 -1 4202560 37 0 0 0 266 0 0 0 20 0 22 0 342392520 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690507168264 139691010210279 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30163] ppid=30141 vsize=2966184 CPUtime=2.67 cores=1,3,5,7
/proc/30143/task/30163/stat : 30163 (java) R 30141 30143 22552 0 -1 4202560 258 0 0 0 262 5 0 0 20 0 22 0 342392520 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690506116160 139691010191235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30164] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30164/stat : 30164 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342392524 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690505065512 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30165] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30165/stat : 30165 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342392524 3037372416 105851 33554432000 1073741824 1073778376 140736902094528 139690504012968 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.54
Current children cumulated vsize (KiB) 2966184
[startup+6.30166 s]
/proc/loadavg: 4.14 4.06 3.86 5/219 30165
/proc/meminfo: memFree=29199024/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2966184 CPUtime=13.94 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 17870 0 1 0 1382 12 0 0 20 0 22 0 342392489 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 741546 107891 2281 9 0 732240 0
[pid=30143/tid=30144] ppid=30141 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) S 30141 30143 22552 0 -1 4202560 2810 0 1 0 28 1 0 0 20 0 22 0 342392490 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 139691138987160 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30146] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 22552 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 22 0 342392490 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 139691128047784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30147] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 22552 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 342392490 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 139691004721448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30148] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392490 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 139691003668904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30149] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 22552 0 -1 4202560 18 0 0 0 3 0 0 0 20 0 22 0 342392490 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 139691002616360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30150] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 22552 0 -1 4202560 9 0 0 0 3 0 0 0 20 0 22 0 342392490 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 139691001563816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30151] ppid=30141 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 2 0 0 0 20 0 22 0 342392490 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 139691000511272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30152] ppid=30141 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/30143/task/30152/stat : 30152 (java) S 30141 30143 22552 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 22 0 342392490 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 139690999458728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30153] ppid=30141 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/30143/task/30153/stat : 30153 (java) S 30141 30143 22552 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 342392490 3037372416 107891 33554432000 1073741824 1073778376 140736902094528 139690998406184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
/proc/30143/task/30159/stat : 30159 (java) S 30141 30143 22552 0 -1 4202560 6512 0 0 0 97 2 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690510330552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30160] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30160/stat : 30160 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690509278200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30161] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30161/stat : 30161 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690508225864 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30164] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30164/stat : 30164 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342392524 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690505065512 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30165] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30165/stat : 30165 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342392524 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690504012968 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 31.64
Current children cumulated vsize (KiB) 2966184
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+14.3083 s]
/proc/loadavg: 4.13 4.06 3.86 5/219 30165
/proc/meminfo: memFree=29085420/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2966184 CPUtime=30.41 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 22251 0 1 0 3024 17 0 0 20 0 22 0 342392489 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 741546 136122 2282 9 0 732240 0
[pid=30143/tid=30144] ppid=30141 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) S 30141 30143 22552 0 -1 4202560 2810 0 1 0 28 1 0 0 20 0 22 0 342392490 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139691138987160 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30146] ppid=30141 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 22552 0 -1 4202560 32 0 0 0 6 2 0 0 20 0 22 0 342392490 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139691128047784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30147] ppid=30141 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 22552 0 -1 4202560 23 0 0 0 6 0 0 0 20 0 22 0 342392490 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139691004721448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30148] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 22552 0 -1 4202560 4 0 0 0 3 0 0 0 20 0 22 0 342392490 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139691003668904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30149] ppid=30141 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 22552 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 22 0 342392490 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139691002616360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30150] ppid=30141 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 22552 0 -1 4202560 17 0 0 0 6 0 0 0 20 0 22 0 342392490 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139691001563816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30151] ppid=30141 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 22552 0 -1 4202560 14 0 0 0 6 0 0 0 20 0 22 0 342392490 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139691000511272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30152] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30152/stat : 30152 (java) S 30141 30143 22552 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 22 0 342392490 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690999458728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30153] ppid=30141 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/30143/task/30153/stat : 30153 (java) S 30141 30143 22552 0 -1 4202560 18 0 0 0 5 0 0 0 20 0 22 0 342392490 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690998406184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30154] ppid=30141 vsize=2966184 CPUtime=0.39 cores=1,3,5,7
/proc/30143/task/30154/stat : 30154 (java) S 30141 30143 22552 0 -1 4202560 81 0 0 0 38 1 0 0 20 0 22 0 342392491 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690515593320 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30155] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30155/stat : 30155 (java) S 30141 30143 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 342392492 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690514539640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30156] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30156/stat : 30156 (java) S 30141 30143 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 342392492 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690513486984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30157] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30157/stat : 30157 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392494 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690512435728 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30158] ppid=30141 vsize=2966184 CPUtime=1.33 cores=1,3,5,7
/proc/30143/task/30158/stat : 30158 (java) S 30141 30143 22552 0 -1 4202560 11186 0 0 0 130 3 0 0 20 0 22 0 342392494 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690511383096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30159] ppid=30141 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/30143/task/30159/stat : 30159 (java) S 30141 30143 22552 0 -1 4202560 6512 0 0 0 97 2 0 0 20 0 22 0 342392494 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690510330552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30160] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30160/stat : 30160 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392494 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690509278200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30161] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30161/stat : 30161 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 342392494 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690508225864 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30162] ppid=30141 vsize=2966184 CPUtime=13.37 cores=1,3,5,7
/proc/30143/task/30162/stat : 30162 (java) R 30141 30143 22552 0 -1 4202560 41 0 0 0 1337 0 0 0 20 0 22 0 342392520 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690507168216 139691010232237 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30163] ppid=30141 vsize=2966184 CPUtime=13.37 cores=1,3,5,7
/proc/30143/task/30163/stat : 30163 (java) R 30141 30143 22552 0 -1 4202560 300 0 0 0 1331 6 0 0 20 0 22 0 342392520 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690506116368 139691010210275 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30164] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30164/stat : 30164 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342392524 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690505065512 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30165] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30165/stat : 30165 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 342392524 3037372416 136122 33554432000 1073741824 1073778376 140736902094528 139690504012968 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 30.41
Current children cumulated vsize (KiB) 2966184
[startup+15.1008 s]
/proc/loadavg: 4.13 4.06 3.86 5/219 30165
/proc/meminfo: memFree=29085420/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2966184 CPUtime=31.64 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 22258 0 1 0 3145 19 0 0 20 0 20 0 342392489 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 741546 136627 2283 9 0 732240 0
[pid=30143/tid=30144] ppid=30141 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) S 30141 30143 22552 0 -1 4202560 2810 0 1 0 28 1 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691138987160 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30146] ppid=30141 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 22552 0 -1 4202560 32 0 0 0 6 2 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691128047784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30147] ppid=30141 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 22552 0 -1 4202560 23 0 0 0 7 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691004721448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30148] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 22552 0 -1 4202560 4 0 0 0 3 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691003668904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30149] ppid=30141 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 22552 0 -1 4202560 18 0 0 0 6 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691002616360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30150] ppid=30141 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 22552 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691001563816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30151] ppid=30141 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 22552 0 -1 4202560 14 0 0 0 7 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691000511272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30152] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30152/stat : 30152 (java) S 30141 30143 22552 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690999458728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30153] ppid=30141 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/30143/task/30153/stat : 30153 (java) S 30141 30143 22552 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690998406184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30154] ppid=30141 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/30143/task/30154/stat : 30154 (java) S 30141 30143 22552 0 -1 4202560 82 0 0 0 45 1 0 0 20 0 20 0 342392491 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690515593320 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30155] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30155/stat : 30155 (java) S 30141 30143 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342392492 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690514539640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30156] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30156/stat : 30156 (java) S 30141 30143 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342392492 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690513486984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30157] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30157/stat : 30157 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690512435728 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30158] ppid=30141 vsize=2966184 CPUtime=1.33 cores=1,3,5,7
/proc/30143/task/30158/stat : 30158 (java) S 30141 30143 22552 0 -1 4202560 11186 0 0 0 130 3 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690511383096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30159] ppid=30141 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/30143/task/30159/stat : 30159 (java) S 30141 30143 22552 0 -1 4202560 6512 0 0 0 97 2 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690510330552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30160] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30160/stat : 30160 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690509278200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30161] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30161/stat : 30161 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690508225864 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30164] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30164/stat : 30164 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342392524 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690505065512 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30165] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30165/stat : 30165 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342392524 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690504012968 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 31.64
Current children cumulated vsize (KiB) 2966184
[startup+15.3015 s]
/proc/loadavg: 4.12 4.06 3.86 3/217 30165
/proc/meminfo: memFree=29083372/32873648 swapFree=6860/6860
[pid=30143] ppid=30141 vsize=2966184 CPUtime=31.64 cores=1,3,5,7
/proc/30143/stat : 30143 (java) S 30141 30143 22552 0 -1 4202496 22258 0 1 0 3145 19 0 0 20 0 20 0 342392489 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 140736902085664 259115745341 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/30143/statm: 741546 136627 2283 9 0 732240 0
[pid=30143/tid=30144] ppid=30141 vsize=2966184 CPUtime=0.29 cores=1,3,5,7
/proc/30143/task/30144/stat : 30144 (java) S 30141 30143 22552 0 -1 4202560 2810 0 1 0 28 1 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691138987160 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30146] ppid=30141 vsize=2966184 CPUtime=0.08 cores=1,3,5,7
/proc/30143/task/30146/stat : 30146 (java) S 30141 30143 22552 0 -1 4202560 32 0 0 0 6 2 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691128047784 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30147] ppid=30141 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/30143/task/30147/stat : 30147 (java) S 30141 30143 22552 0 -1 4202560 23 0 0 0 7 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691004721448 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30148] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30148/stat : 30148 (java) S 30141 30143 22552 0 -1 4202560 4 0 0 0 3 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691003668904 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30149] ppid=30141 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/30143/task/30149/stat : 30149 (java) S 30141 30143 22552 0 -1 4202560 18 0 0 0 6 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691002616360 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30150] ppid=30141 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/30143/task/30150/stat : 30150 (java) S 30141 30143 22552 0 -1 4202560 19 0 0 0 7 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691001563816 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30151] ppid=30141 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/30143/task/30151/stat : 30151 (java) S 30141 30143 22552 0 -1 4202560 14 0 0 0 7 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139691000511272 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30152] ppid=30141 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/30143/task/30152/stat : 30152 (java) S 30141 30143 22552 0 -1 4202560 6 0 0 0 3 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690999458728 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30153] ppid=30141 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/30143/task/30153/stat : 30153 (java) S 30141 30143 22552 0 -1 4202560 20 0 0 0 6 0 0 0 20 0 20 0 342392490 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690998406184 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30154] ppid=30141 vsize=2966184 CPUtime=0.46 cores=1,3,5,7
/proc/30143/task/30154/stat : 30154 (java) S 30141 30143 22552 0 -1 4202560 82 0 0 0 45 1 0 0 20 0 20 0 342392491 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690515593320 259115759529 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30155] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30155/stat : 30155 (java) S 30141 30143 22552 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 342392492 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690514539640 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30156] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30156/stat : 30156 (java) S 30141 30143 22552 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 342392492 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690513486984 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30157] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30157/stat : 30157 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690512435728 259115767584 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30158] ppid=30141 vsize=2966184 CPUtime=1.33 cores=1,3,5,7
/proc/30143/task/30158/stat : 30158 (java) S 30141 30143 22552 0 -1 4202560 11186 0 0 0 130 3 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690511383096 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=30143/tid=30159] ppid=30141 vsize=2966184 CPUtime=0.99 cores=1,3,5,7
/proc/30143/task/30159/stat : 30159 (java) S 30141 30143 22552 0 -1 4202560 6512 0 0 0 97 2 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690510330552 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30160] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30160/stat : 30160 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690509278200 259115758652 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=30143/tid=30161] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30161/stat : 30161 (java) S 30141 30143 22552 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 342392494 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690508225864 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=30143/tid=30164] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30164/stat : 30164 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342392524 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690505065512 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=30143/tid=30165] ppid=30141 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/30143/task/30165/stat : 30165 (java) S 30141 30143 22552 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 342392524 3037372416 136627 33554432000 1073741824 1073778376 140736902094528 139690504012968 259115759529 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 31.64
Current children cumulated vsize (KiB) 2966184
Child status: 20
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.0199986
# lost CPU user time (s): 0.0299988
# lost CPU system time (s): -0.00999999
Real time (s): 15.33
CPU time (s): 31.7482
CPU user time (s): 31.4662
CPU system time (s): 0.281955
CPU usage (%): 207.098
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.4362
system time used= 0.291955
maximum resident set size= 548592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22271
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= 1283
involuntary context switches= 1353
runsolver used 0.041993 second user time and 0.095985 second system time
The end