runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4247560-1500690506/watcher-4247560-1500690506 -o /tmp/evaluation-result-4247560-1500690506/solver-4247560-1500690506 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 689683562 HOME/instance-4247560-1500690506.xml
pid=8361
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 16.02 10.68 7.61 10/270 8364
/proc/meminfo: memFree=28239272/32770624 swapFree=5804/260080
[pid=8364] ppid=8361 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8364/stat : 8364 (xcsp3-exec) S 8361 8364 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4316862 9740288 346 33554432000 4194304 5098028 140721908011392 140721908009496 139769133810300 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30408704 140721908020367 140721908020576 140721908020576 140721908023275 0
/proc/8364/statm: 2378 346 289 221 0 87 0
[startup+0.100103 s]
/proc/loadavg: 16.02 10.68 7.61 10/270 8364
/proc/meminfo: memFree=28239272/32770624 swapFree=5804/260080
[pid=8364] ppid=8361 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8364/stat : 8364 (xcsp3-exec) S 8361 8364 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4316862 9740288 346 33554432000 4194304 5098028 140721908011392 140721908009496 139769133810300 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30408704 140721908020367 140721908020576 140721908020576 140721908023275 0
/proc/8364/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.20033 s]
/proc/loadavg: 16.02 10.68 7.61 10/270 8364
/proc/meminfo: memFree=28239272/32770624 swapFree=5804/260080
[pid=8364] ppid=8361 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8364/stat : 8364 (xcsp3-exec) S 8361 8364 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4316862 9740288 346 33554432000 4194304 5098028 140721908011392 140721908009496 139769133810300 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30408704 140721908020367 140721908020576 140721908020576 140721908023275 0
/proc/8364/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300239 s]
/proc/loadavg: 16.02 10.68 7.61 10/270 8364
/proc/meminfo: memFree=28239272/32770624 swapFree=5804/260080
[pid=8364] ppid=8361 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8364/stat : 8364 (xcsp3-exec) S 8361 8364 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4316862 9740288 346 33554432000 4194304 5098028 140721908011392 140721908009496 139769133810300 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30408704 140721908020367 140721908020576 140721908020576 140721908023275 0
/proc/8364/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700179 s]
/proc/loadavg: 16.02 10.68 7.61 10/270 8364
/proc/meminfo: memFree=28239272/32770624 swapFree=5804/260080
[pid=8364] ppid=8361 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8364/stat : 8364 (xcsp3-exec) S 8361 8364 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4316862 9740288 346 33554432000 4194304 5098028 140721908011392 140721908009496 139769133810300 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30408704 140721908020367 140721908020576 140721908020576 140721908023275 0
/proc/8364/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50158 s]
/proc/loadavg: 15.54 10.67 7.63 21/299 8393
/proc/meminfo: memFree=28136088/32770624 swapFree=5804/260136
[pid=8364] ppid=8361 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8364/stat : 8364 (xcsp3-exec) S 8361 8364 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4316862 9740288 346 33554432000 4194304 5098028 140721908011392 140721908009496 139769133810300 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30408704 140721908020367 140721908020576 140721908020576 140721908023275 0
/proc/8364/statm: 2378 346 289 221 0 87 0
[pid=8365] ppid=8364 vsize=13803904 CPUtime=7.89 cores=1,3,5,7,9,11,13,15
/proc/8365/stat : 8365 (java) S 8364 8364 14782 0 -1 1077944320 24014 0 0 0 780 9 0 0 20 0 28 0 4316862 14135197696 35535 33554432000 4194304 4196468 140728472807328 140728472789872 139690331262711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
/proc/8365/statm: 3450976 35535 3204 1 0 3438209 0
[pid=8365/tid=8366] ppid=8364 vsize=13803904 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8366/stat : 8366 (java) S 8364 8364 14782 0 -1 1077944384 6992 0 0 0 60 3 0 0 20 0 28 0 4316862 14135197696 35535 33554432000 4194304 4196468 140728472807328 139690335503488 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8368] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8368/stat : 8368 (java) S 8364 8364 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4316863 14135197696 35535 33554432000 4194304 4196468 140728472807328 139690263398928 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8369] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8369/stat : 8369 (java) S 8364 8364 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4316863 14135197696 35535 33554432000 4194304 4196468 140728472807328 139690262346384 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8370] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8370/stat : 8370 (java) S 8364 8364 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4316863 14135197696 35535 33554432000 4194304 4196468 140728472807328 139690261293328 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8371] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8371/stat : 8371 (java) S 8364 8364 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4316863 14135197696 35535 33554432000 4194304 4196468 140728472807328 139690260240784 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8372] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8372/stat : 8372 (java) S 8364 8364 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4316863 14135197696 35535 33554432000 4194304 4196468 140728472807328 139690259188752 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8373] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8373/stat : 8373 (java) S 8364 8364 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4316863 14135197696 35535 33554432000 4194304 4196468 140728472807328 139690258136208 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8374] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8374/stat : 8374 (java) S 8364 8364 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4316863 14135197696 35535 33554432000 4194304 4196468 140728472807328 139690257083152 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8375] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8375/stat : 8375 (java) S 8364 8364 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4316863 14135197696 35535 33554432000 4194304 4196468 140728472807328 139690256030608 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8376] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8376/stat : 8376 (java) S 8364 8364 14782 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4316865 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689063303408 139690331273858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8377] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8377/stat : 8377 (java) S 8364 8364 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4316866 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689062249632 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8378] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8378/stat : 8378 (java) S 8364 8364 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4316867 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689061196528 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8379] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8379/stat : 8379 (java) S 8364 8364 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4316870 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689060145104 139690331281307 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8380] ppid=8364 vsize=13803904 CPUtime=0.64 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8380/stat : 8380 (java) R 8364 8364 14782 0 -1 4202560 4561 0 0 0 63 1 0 0 20 0 28 0 4316870 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689059078968 139690312807269 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8381] ppid=8364 vsize=13803904 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8381/stat : 8381 (java) R 8364 8364 14782 0 -1 4202560 3154 0 0 0 58 1 0 0 20 0 28 0 4316870 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689058026712 139690316379824 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8382] ppid=8364 vsize=13803904 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8382/stat : 8382 (java) R 8364 8364 14782 0 -1 4202560 3142 0 0 0 59 0 0 0 20 0 28 0 4316870 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689056968648 139690311964375 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8383] ppid=8364 vsize=13803904 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8383/stat : 8383 (java) S 8364 8364 14782 0 -1 1077944384 4299 0 0 0 68 1 0 0 20 0 28 0 4316870 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689055935088 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8384] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8384/stat : 8384 (java) S 8364 8364 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4316871 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689054882272 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8385] ppid=8364 vsize=13803904 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8385/stat : 8385 (java) S 8364 8364 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4316871 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689053829808 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8386] ppid=8364 vsize=13803904 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8386/stat : 8386 (java) R 8364 8364 14782 0 -1 4202560 66 0 0 0 65 0 0 0 20 0 28 0 4316928 14135197696 35535 33554432000 4194304 4196468 140728472807328 139689047912168 139689939906562 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8387] ppid=8364 vsize=13803904 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8387/stat : 8387 (java) R 8364 8364 14782 0 -1 4202560 63 0 0 0 59 0 0 0 20 0 28 0 4316928 14135197696 35535 33554432000 4194304 4196468 140728472807328 139688306267800 139689936795041 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8388] ppid=8364 vsize=13803904 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8388/stat : 8388 (java) R 8364 8364 14782 0 -1 4202560 59 0 0 0 54 0 0 0 20 0 28 0 4316928 14135197696 35535 33554432000 4194304 4196468 140728472807328 139688305213536 139689940908510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8389] ppid=8364 vsize=13803904 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8389/stat : 8389 (java) R 8364 8364 14782 0 -1 4202560 83 0 0 0 54 0 0 0 20 0 28 0 4316928 14135197696 35535 33554432000 4194304 4196468 140728472807328 139688304162936 139689940145612 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8390] ppid=8364 vsize=13803904 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8390/stat : 8390 (java) R 8364 8364 14782 0 -1 4202560 39 0 0 0 66 0 0 0 20 0 28 0 4316928 14135197696 35535 33554432000 4194304 4196468 140728472807328 139688303110744 139689940300734 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8391] ppid=8364 vsize=13803904 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8391/stat : 8391 (java) R 8364 8364 14782 0 -1 4202560 96 0 0 0 45 0 0 0 20 0 28 0 4316928 14135197696 35535 33554432000 4194304 4196468 140728472807328 139688302058088 139689940754751 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8392] ppid=8364 vsize=13803904 CPUtime=0.57 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8392/stat : 8392 (java) R 8364 8364 14782 0 -1 4202560 50 0 0 0 57 0 0 0 20 0 28 0 4316928 14135197696 35535 33554432000 4194304 4196468 140728472807328 139688301002920 139689939870056 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8393] ppid=8364 vsize=13803904 CPUtime=0.66 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8393/stat : 8393 (java) R 8364 8364 14782 0 -1 4202560 98 0 0 0 66 0 0 0 20 0 28 0 4316928 14135197696 35535 33554432000 4194304 4196468 140728472807328 139688299949832 139689939940063 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
Current children cumulated CPU time (s) 7.89
Current children cumulated vsize (KiB) 13813416
[startup+3.10153 s]
/proc/loadavg: 15.54 10.67 7.63 20/299 8393
/proc/meminfo: memFree=28065428/32770624 swapFree=5804/260136
[pid=8364] ppid=8361 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8364/stat : 8364 (xcsp3-exec) S 8361 8364 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4316862 9740288 346 33554432000 4194304 5098028 140721908011392 140721908009496 139769133810300 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30408704 140721908020367 140721908020576 140721908020576 140721908023275 0
/proc/8364/statm: 2378 346 289 221 0 87 0
[pid=8365] ppid=8364 vsize=13801768 CPUtime=20.63 cores=1,3,5,7,9,11,13,15
/proc/8365/stat : 8365 (java) S 8364 8364 14782 0 -1 1077944320 49561 0 0 0 2049 14 0 0 20 0 28 0 4316862 14133010432 56276 33554432000 4194304 4196468 140728472807328 140728472789872 139690331262711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
/proc/8365/statm: 3450442 56276 3207 1 0 3437675 0
[pid=8365/tid=8366] ppid=8364 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8366/stat : 8366 (java) S 8364 8364 14782 0 -1 1077944384 6992 0 0 0 60 3 0 0 20 0 28 0 4316862 14133010432 56276 33554432000 4194304 4196468 140728472807328 139690335503488 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8368] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8368/stat : 8368 (java) S 8364 8364 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4316863 14133010432 56276 33554432000 4194304 4196468 140728472807328 139690263398928 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8369] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8369/stat : 8369 (java) S 8364 8364 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4316863 14133010432 56276 33554432000 4194304 4196468 140728472807328 139690262346384 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8370] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8370/stat : 8370 (java) S 8364 8364 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4316863 14133010432 56276 33554432000 4194304 4196468 140728472807328 139690261293328 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8371] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8371/stat : 8371 (java) S 8364 8364 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4316863 14133010432 56276 33554432000 4194304 4196468 140728472807328 139690260240784 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8372] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8372/stat : 8372 (java) S 8364 8364 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4316863 14133010432 56276 33554432000 4194304 4196468 140728472807328 139690259188752 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8373] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8373/stat : 8373 (java) S 8364 8364 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 4316863 14133010432 56276 33554432000 4194304 4196468 140728472807328 139690258136208 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8374] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8374/stat : 8374 (java) S 8364 8364 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4316863 14133010432 56276 33554432000 4194304 4196468 140728472807328 139690257083152 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8375] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8375/stat : 8375 (java) S 8364 8364 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4316863 14133010432 56276 33554432000 4194304 4196468 140728472807328 139690256030608 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8376] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8376/stat : 8376 (java) S 8364 8364 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 4316865 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689063303408 139690331273858 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8377] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8377/stat : 8377 (java) S 8364 8364 14782 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4316866 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689062249632 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8378] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8378/stat : 8378 (java) S 8364 8364 14782 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 28 0 4316867 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689061196528 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8379] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8379/stat : 8379 (java) S 8364 8364 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4316870 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689060145104 139690331281307 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8380] ppid=8364 vsize=13801768 CPUtime=1.91 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8380/stat : 8380 (java) R 8364 8364 14782 0 -1 4202560 12805 0 0 0 189 2 0 0 20 0 28 0 4316870 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689059075856 139690315165577 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8381] ppid=8364 vsize=13801768 CPUtime=1.78 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8381/stat : 8381 (java) R 8364 8364 14782 0 -1 4202560 8475 0 0 0 177 1 0 0 20 0 28 0 4316870 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689058033176 139690310509641 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8382] ppid=8364 vsize=13801768 CPUtime=1.77 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8382/stat : 8382 (java) R 8364 8364 14782 0 -1 4202560 13468 0 0 0 175 2 0 0 20 0 28 0 4316870 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689056968720 139690310918577 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8383] ppid=8364 vsize=13801768 CPUtime=0.75 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8383/stat : 8383 (java) S 8364 8364 14782 0 -1 1077944384 5313 0 0 0 74 1 0 0 20 0 28 0 4316870 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689055935088 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8384] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8384/stat : 8384 (java) S 8364 8364 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4316871 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689054882272 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8385] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8385/stat : 8385 (java) S 8364 8364 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4316871 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689053829808 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8386] ppid=8364 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8386/stat : 8386 (java) R 8364 8364 14782 0 -1 4202560 97 0 0 0 194 0 0 0 20 0 28 0 4316928 14133010432 56276 33554432000 4194304 4196468 140728472807328 139689047910040 139689940639939 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8387] ppid=8364 vsize=13801768 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8387/stat : 8387 (java) R 8364 8364 14782 0 -1 4202560 130 0 0 0 168 0 0 0 20 0 28 0 4316928 14133010432 56276 33554432000 4194304 4196468 140728472807328 139688306266976 139689936104323 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8388] ppid=8364 vsize=13801768 CPUtime=1.74 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8388/stat : 8388 (java) R 8364 8364 14782 0 -1 4202560 133 0 0 0 174 0 0 0 20 0 28 0 4316928 14133010432 56276 33554432000 4194304 4196468 140728472807328 139688305215752 139689940907113 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8389] ppid=8364 vsize=13801768 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8389/stat : 8389 (java) R 8364 8364 14782 0 -1 4202560 207 0 0 0 156 0 0 0 20 0 28 0 4316928 14133010432 56276 33554432000 4194304 4196468 140728472807328 139688304157024 139689940847627 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8390] ppid=8364 vsize=13801768 CPUtime=1.7 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8390/stat : 8390 (java) R 8364 8364 14782 0 -1 4202560 162 0 0 0 170 0 0 0 20 0 28 0 4316928 14133010432 56276 33554432000 4194304 4196468 140728472807328 139688303103968 139689939857184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8391] ppid=8364 vsize=13801768 CPUtime=1.53 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8391/stat : 8391 (java) R 8364 8364 14782 0 -1 4202560 170 0 0 0 153 0 0 0 20 0 28 0 4316928 14133010432 56276 33554432000 4194304 4196468 140728472807328 139688302051344 139689942146134 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8392] ppid=8364 vsize=13801768 CPUtime=1.65 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8392/stat : 8392 (java) R 8364 8364 14782 0 -1 4202560 109 0 0 0 165 0 0 0 20 0 28 0 4316928 14133010432 56276 33554432000 4194304 4196468 140728472807328 139688301001512 139689940907068 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8393] ppid=8364 vsize=13801768 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8393/stat : 8393 (java) R 8364 8364 14782 0 -1 4202560 154 0 0 0 187 0 0 0 20 0 28 0 4316928 14133010432 56276 33554432000 4194304 4196468 140728472807328 139688299949920 139689940639793 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
Current children cumulated CPU time (s) 20.63
Current children cumulated vsize (KiB) 13811280
[startup+6.30156 s]
/proc/loadavg: 15.81 10.81 7.69 20/299 8393
/proc/meminfo: memFree=27951540/32770624 swapFree=5804/260156
################
# More data... #
################
[pid=8365/tid=8392] ppid=8364 vsize=13801768 CPUtime=214.63 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8392/stat : 8392 (java) R 8364 8364 14782 0 -1 4202560 5377 0 0 0 21461 2 0 0 20 0 28 0 4316928 14133010432 127034 33554432000 4194304 4196468 140728472807328 139688301005424 139689943775827 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8393] ppid=8364 vsize=13801768 CPUtime=215.02 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8393/stat : 8393 (java) R 8364 8364 14782 0 -1 4202560 1745 0 0 0 21500 2 0 0 20 0 28 0 4316928 14133010432 127034 33554432000 4194304 4196468 140728472807328 139688299949608 139689942738095 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
Current children cumulated CPU time (s) 1745.9
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.92 13.84 9.78 17/301 8549
/proc/meminfo: memFree=30585172/32770624 swapFree=5804/260504
[pid=8364] ppid=8361 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8364/stat : 8364 (xcsp3-exec) S 8361 8364 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4316862 9740288 346 33554432000 4194304 5098028 140721908011392 140721908009496 139769133810300 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30408704 140721908020367 140721908020576 140721908020576 140721908023275 0
/proc/8364/statm: 2378 346 289 221 0 87 0
[pid=8365] ppid=8364 vsize=13801768 CPUtime=2216.91 cores=1,3,5,7,9,11,13,15
/proc/8365/stat : 8365 (java) S 8364 8364 14782 0 -1 1077944320 126907 0 0 0 221299 392 0 0 20 0 28 0 4316862 14133010432 138652 33554432000 4194304 4196468 140728472807328 140728472789872 139690331262711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
/proc/8365/statm: 3450442 138652 3294 1 0 3437675 0
[pid=8365/tid=8366] ppid=8364 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8366/stat : 8366 (java) S 8364 8364 14782 0 -1 1077944384 6992 0 0 0 60 3 0 0 20 0 28 0 4316862 14133010432 138652 33554432000 4194304 4196468 140728472807328 139690335503488 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8368] ppid=8364 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8368/stat : 8368 (java) S 8364 8364 14782 0 -1 1077944384 967 0 0 0 116 15 0 0 20 0 28 0 4316863 14133010432 138652 33554432000 4194304 4196468 140728472807328 139690263398928 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8369] ppid=8364 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8369/stat : 8369 (java) S 8364 8364 14782 0 -1 1077944384 2075 0 0 0 114 13 0 0 20 0 28 0 4316863 14133010432 138652 33554432000 4194304 4196468 140728472807328 139690262346384 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8370] ppid=8364 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8370/stat : 8370 (java) S 8364 8364 14782 0 -1 1077944384 1895 0 0 0 114 17 0 0 20 0 28 0 4316863 14133010432 138652 33554432000 4194304 4196468 140728472807328 139690261293328 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8371] ppid=8364 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8371/stat : 8371 (java) S 8364 8364 14782 0 -1 1077944384 806 0 0 0 114 15 0 0 20 0 28 0 4316863 14133010432 138652 33554432000 4194304 4196468 140728472807328 139690260240784 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8372] ppid=8364 vsize=13801768 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8372/stat : 8372 (java) S 8364 8364 14782 0 -1 1077944384 1079 0 0 0 113 16 0 0 20 0 28 0 4316863 14133010432 138652 33554432000 4194304 4196468 140728472807328 139690259188752 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8373] ppid=8364 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8373/stat : 8373 (java) S 8364 8364 14782 0 -1 1077944384 1437 0 0 0 117 15 0 0 20 0 28 0 4316863 14133010432 138652 33554432000 4194304 4196468 140728472807328 139690258136208 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8374] ppid=8364 vsize=13801768 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8374/stat : 8374 (java) S 8364 8364 14782 0 -1 1077944384 1188 0 0 0 118 16 0 0 20 0 28 0 4316863 14133010432 138652 33554432000 4194304 4196468 140728472807328 139690257083152 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8375] ppid=8364 vsize=13801768 CPUtime=1.31 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8375/stat : 8375 (java) S 8364 8364 14782 0 -1 1077944384 1751 0 0 0 116 15 0 0 20 0 28 0 4316863 14133010432 138652 33554432000 4194304 4196468 140728472807328 139690256030608 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8376] ppid=8364 vsize=13801768 CPUtime=3.79 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8376/stat : 8376 (java) S 8364 8364 14782 0 -1 1077944384 10853 0 0 0 159 220 0 0 20 0 28 0 4316865 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689063303408 139690331273858 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8377] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8377/stat : 8377 (java) S 8364 8364 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4316866 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689062249696 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8378] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8378/stat : 8378 (java) S 8364 8364 14782 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4316867 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689061196544 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8379] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8379/stat : 8379 (java) S 8364 8364 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4316870 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689060145104 139690331281307 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8380] ppid=8364 vsize=13801768 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8380/stat : 8380 (java) S 8364 8364 14782 0 -1 1077944384 18562 0 0 0 457 3 0 0 20 0 28 0 4316870 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689059093232 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8381] ppid=8364 vsize=13801768 CPUtime=4.83 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8381/stat : 8381 (java) S 8364 8364 14782 0 -1 1077944384 18985 0 0 0 480 3 0 0 20 0 28 0 4316870 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689058040688 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8382] ppid=8364 vsize=13801768 CPUtime=4.93 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8382/stat : 8382 (java) S 8364 8364 14782 0 -1 1077944384 20412 0 0 0 490 3 0 0 20 0 28 0 4316870 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689056987632 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8383] ppid=8364 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8383/stat : 8383 (java) S 8364 8364 14782 0 -1 1077944384 9191 0 0 0 90 2 0 0 20 0 28 0 4316870 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689055935088 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 7 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8384] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8384/stat : 8384 (java) S 8364 8364 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4316871 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689054882272 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8385] ppid=8364 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8385/stat : 8385 (java) S 8364 8364 14782 0 -1 1077944384 2029 0 0 0 6 10 0 0 20 0 28 0 4316871 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689053829808 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8386] ppid=8364 vsize=13801768 CPUtime=273.26 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8386/stat : 8386 (java) R 8364 8364 14782 0 -1 4202560 5486 0 0 0 27323 3 0 0 20 0 28 0 4316928 14133010432 138652 33554432000 4194304 4196468 140728472807328 139689047911496 139689944499957 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8387] ppid=8364 vsize=13801768 CPUtime=273.29 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8387/stat : 8387 (java) R 8364 8364 14782 0 -1 4202560 5757 0 0 0 27326 3 0 0 20 0 28 0 4316928 14133010432 138652 33554432000 4194304 4196468 140728472807328 139688306265864 139689943841456 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8388] ppid=8364 vsize=13801768 CPUtime=274.14 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8388/stat : 8388 (java) R 8364 8364 14782 0 -1 4202560 1108 0 0 0 27413 1 0 0 20 0 28 0 4316928 14133010432 138652 33554432000 4194304 4196468 140728472807328 139688305213584 139689944086656 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8389] ppid=8364 vsize=13801768 CPUtime=273.23 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8389/stat : 8389 (java) R 8364 8364 14782 0 -1 4202560 1702 0 0 0 27321 2 0 0 20 0 28 0 4316928 14133010432 138652 33554432000 4194304 4196468 140728472807328 139688304161288 139689944499979 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8390] ppid=8364 vsize=13801768 CPUtime=273.54 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8390/stat : 8390 (java) R 8364 8364 14782 0 -1 4202560 1596 0 0 0 27352 2 0 0 20 0 28 0 4316928 14133010432 138652 33554432000 4194304 4196468 140728472807328 139688303108232 139689944086683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8391] ppid=8364 vsize=13801768 CPUtime=272.53 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8391/stat : 8391 (java) R 8364 8364 14782 0 -1 4202560 2321 0 0 0 27250 3 0 0 20 0 28 0 4316928 14133010432 138652 33554432000 4194304 4196468 140728472807328 139688302055896 139689942924947 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8392] ppid=8364 vsize=13801768 CPUtime=272.93 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8392/stat : 8392 (java) R 8364 8364 14782 0 -1 4202560 7210 0 0 0 27290 3 0 0 20 0 28 0 4316928 14133010432 138652 33554432000 4194304 4196468 140728472807328 139688301005504 139689945578942 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8393] ppid=8364 vsize=13801768 CPUtime=273.48 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8393/stat : 8393 (java) R 8364 8364 14782 0 -1 4202560 2162 0 0 0 27345 3 0 0 20 0 28 0 4316928 14133010432 138652 33554432000 4194304 4196468 140728472807328 139688299950520 139689943755419 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
Current children cumulated CPU time (s) 2216.91
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+305.602 s]
/proc/loadavg: 15.95 13.98 9.91 17/301 8550
/proc/meminfo: memFree=30557380/32770624 swapFree=5804/260544
[pid=8364] ppid=8361 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8364/stat : 8364 (xcsp3-exec) S 8361 8364 14782 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 4316862 9740288 346 33554432000 4194304 5098028 140721908011392 140721908009496 139769133810300 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 30408704 140721908020367 140721908020576 140721908020576 140721908023275 0
/proc/8364/statm: 2378 346 289 221 0 87 0
[pid=8365] ppid=8364 vsize=13801768 CPUtime=2400.39 cores=1,3,5,7,9,11,13,15
/proc/8365/stat : 8365 (java) S 8364 8364 14782 0 -1 1077944320 128308 0 0 0 239620 419 0 0 20 0 28 0 4316862 14133010432 144942 33554432000 4194304 4196468 140728472807328 140728472789872 139690331262711 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
/proc/8365/statm: 3450442 144942 3294 1 0 3437675 0
[pid=8365/tid=8366] ppid=8364 vsize=13801768 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8366/stat : 8366 (java) S 8364 8364 14782 0 -1 1077944384 6992 0 0 0 60 3 0 0 20 0 28 0 4316862 14133010432 144942 33554432000 4194304 4196468 140728472807328 139690335503488 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8368] ppid=8364 vsize=13801768 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8368/stat : 8368 (java) S 8364 8364 14782 0 -1 1077944384 1006 0 0 0 127 16 0 0 20 0 28 0 4316863 14133010432 144942 33554432000 4194304 4196468 140728472807328 139690263398928 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8369] ppid=8364 vsize=13801768 CPUtime=1.39 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8369/stat : 8369 (java) S 8364 8364 14782 0 -1 1077944384 2113 0 0 0 125 14 0 0 20 0 28 0 4316863 14133010432 144942 33554432000 4194304 4196468 140728472807328 139690262346384 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8370] ppid=8364 vsize=13801768 CPUtime=1.42 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8370/stat : 8370 (java) S 8364 8364 14782 0 -1 1077944384 2011 0 0 0 124 18 0 0 20 0 28 0 4316863 14133010432 144942 33554432000 4194304 4196468 140728472807328 139690261293328 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8371] ppid=8364 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8371/stat : 8371 (java) S 8364 8364 14782 0 -1 1077944384 865 0 0 0 125 16 0 0 20 0 28 0 4316863 14133010432 144942 33554432000 4194304 4196468 140728472807328 139690260240784 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8372] ppid=8364 vsize=13801768 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8372/stat : 8372 (java) S 8364 8364 14782 0 -1 1077944384 1110 0 0 0 124 16 0 0 20 0 28 0 4316863 14133010432 144942 33554432000 4194304 4196468 140728472807328 139690259188752 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8373] ppid=8364 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8373/stat : 8373 (java) S 8364 8364 14782 0 -1 1077944384 1461 0 0 0 128 16 0 0 20 0 28 0 4316863 14133010432 144942 33554432000 4194304 4196468 140728472807328 139690258136208 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8374] ppid=8364 vsize=13801768 CPUtime=1.44 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8374/stat : 8374 (java) S 8364 8364 14782 0 -1 1077944384 1206 0 0 0 128 16 0 0 20 0 28 0 4316863 14133010432 144942 33554432000 4194304 4196468 140728472807328 139690257083152 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8375] ppid=8364 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8375/stat : 8375 (java) S 8364 8364 14782 0 -1 1077944384 1911 0 0 0 126 15 0 0 20 0 28 0 4316863 14133010432 144942 33554432000 4194304 4196468 140728472807328 139690256030608 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8376] ppid=8364 vsize=13801768 CPUtime=4.11 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8376/stat : 8376 (java) S 8364 8364 14782 0 -1 1077944384 11143 0 0 0 173 238 0 0 20 0 28 0 4316865 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689063303408 139690331273858 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8377] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8377/stat : 8377 (java) S 8364 8364 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4316866 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689062249696 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8378] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8378/stat : 8378 (java) S 8364 8364 14782 0 -1 1077944384 49 0 0 0 0 0 0 0 20 0 28 0 4316867 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689061196544 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8379] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8379/stat : 8379 (java) S 8364 8364 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4316870 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689060145104 139690331281307 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8380] ppid=8364 vsize=13801768 CPUtime=4.6 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8380/stat : 8380 (java) S 8364 8364 14782 0 -1 1077944384 18562 0 0 0 457 3 0 0 20 0 28 0 4316870 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689059093232 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8381] ppid=8364 vsize=13801768 CPUtime=4.83 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8381/stat : 8381 (java) S 8364 8364 14782 0 -1 1077944384 18986 0 0 0 480 3 0 0 20 0 28 0 4316870 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689058040688 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8382] ppid=8364 vsize=13801768 CPUtime=4.93 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8382/stat : 8382 (java) S 8364 8364 14782 0 -1 1077944384 20412 0 0 0 490 3 0 0 20 0 28 0 4316870 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689056987632 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8383] ppid=8364 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8383/stat : 8383 (java) S 8364 8364 14782 0 -1 1077944384 9191 0 0 0 90 2 0 0 20 0 28 0 4316870 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689055935088 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 7 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8384] ppid=8364 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8384/stat : 8384 (java) S 8364 8364 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4316871 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689054882272 139690331272917 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8385] ppid=8364 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8385/stat : 8385 (java) S 8364 8364 14782 0 -1 1077944384 2046 0 0 0 7 10 0 0 20 0 28 0 4316871 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689053829808 139690331273858 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8386] ppid=8364 vsize=13801768 CPUtime=296 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8386/stat : 8386 (java) R 8364 8364 14782 0 -1 4202560 5555 0 0 0 29596 4 0 0 20 0 28 0 4316928 14133010432 144942 33554432000 4194304 4196468 140728472807328 139689047911384 139689944499687 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8387] ppid=8364 vsize=13801768 CPUtime=296.11 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8387/stat : 8387 (java) R 8364 8364 14782 0 -1 4202560 5873 0 0 0 29608 3 0 0 20 0 28 0 4316928 14133010432 144942 33554432000 4194304 4196468 140728472807328 139688306266024 139689944086683 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8388] ppid=8364 vsize=13801768 CPUtime=297 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8388/stat : 8388 (java) R 8364 8364 14782 0 -1 4202560 1116 0 0 0 29698 2 0 0 20 0 28 0 4316928 14133010432 144942 33554432000 4194304 4196468 140728472807328 139688305213584 139689944086683 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8389] ppid=8364 vsize=13801768 CPUtime=295.98 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8389/stat : 8389 (java) R 8364 8364 14782 0 -1 4202560 1715 0 0 0 29595 3 0 0 20 0 28 0 4316928 14133010432 144942 33554432000 4194304 4196468 140728472807328 139688304161288 139689944086683 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8390] ppid=8364 vsize=13801768 CPUtime=296.42 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8390/stat : 8390 (java) R 8364 8364 14782 0 -1 4202560 1621 0 0 0 29640 2 0 0 20 0 28 0 4316928 14133010432 144942 33554432000 4194304 4196468 140728472807328 139688303108232 139689944086690 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8391] ppid=8364 vsize=13801768 CPUtime=295.21 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8391/stat : 8391 (java) R 8364 8364 14782 0 -1 4202560 2415 0 0 0 29517 4 0 0 20 0 28 0 4316928 14133010432 144942 33554432000 4194304 4196468 140728472807328 139688302058560 139689941281119 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8392] ppid=8364 vsize=13801768 CPUtime=295.66 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8392/stat : 8392 (java) R 8364 8364 14782 0 -1 4202560 7395 0 0 0 29562 4 0 0 20 0 28 0 4316928 14133010432 144942 33554432000 4194304 4196468 140728472807328 139688301003080 139689944130619 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
[pid=8365/tid=8393] ppid=8364 vsize=13801768 CPUtime=296.26 cores=1,3,5,7,9,11,13,15
/proc/8365/task/8393/stat : 8393 (java) R 8364 8364 14782 0 -1 4202560 2260 0 0 0 29623 3 0 0 20 0 28 0 4316928 14133010432 144942 33554432000 4194304 4196468 140728472807328 139688299949608 139689942077565 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 9637888 140728472810684 140728472810860 140728472810860 140728472813519 0
Current children cumulated CPU time (s) 2400.39
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8365 sig 9
??? kill 8364 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8364 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=930
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2233
# CPU time returned by wait4() is 0.003163
# while last known CPU time is 2400.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 305.613
CPU time (s): 2400.39
CPU user time (s): 2396.2
CPU system time (s): 4.19
CPU usage (%): 785.436
Max. virtual memory (cumulated for all children) (KiB): 13813888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.00093
system time used= 0.002233
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.97432 second user time and 4.28045 second system time
The end