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-4244555-1500683602/watcher-4244555-1500683602 -o /tmp/evaluation-result-4244555-1500683602/solver-4244555-1500683602 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node114-1500682387-16504 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1128354683 HOME/instance-4244555-1500683602.xml
pid=17655
running on 8 cores: 0,2,4,6,8,10,12,14
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: 15.29 15.61 12.68 10/271 17658
/proc/meminfo: memFree=31681316/32770624 swapFree=5736/221104
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
[startup+0.100125 s]
/proc/loadavg: 15.29 15.61 12.68 10/271 17658
/proc/meminfo: memFree=31681316/32770624 swapFree=5736/221104
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200411 s]
/proc/loadavg: 15.29 15.61 12.68 10/271 17658
/proc/meminfo: memFree=31681316/32770624 swapFree=5736/221104
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30033 s]
/proc/loadavg: 15.29 15.61 12.68 10/271 17658
/proc/meminfo: memFree=31681316/32770624 swapFree=5736/221104
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700236 s]
/proc/loadavg: 15.29 15.61 12.68 10/271 17658
/proc/meminfo: memFree=31681316/32770624 swapFree=5736/221104
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50102 s]
/proc/loadavg: 15.29 15.61 12.68 20/292 17679
/proc/meminfo: memFree=31497656/32770624 swapFree=5736/221172
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
[pid=17659] ppid=17658 vsize=13801768 CPUtime=6.44 cores=0,2,4,6,8,10,12,14
/proc/17659/stat : 17659 (java) S 17658 17658 16473 0 -1 1077944320 23147 0 0 0 628 16 0 0 20 0 28 0 3629320 14133010432 55265 33554432000 4194304 4196468 140725529531552 140725529514096 140087338553079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
/proc/17659/statm: 3450442 55265 3250 1 0 3437675 0
[pid=17659/tid=17660] ppid=17658 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17660/stat : 17660 (java) S 17658 17658 16473 0 -1 1077944384 7603 0 0 0 105 6 0 0 20 0 28 0 3629320 14133010432 55265 33554432000 4194304 4196468 140725529531552 140087342793856 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17662] ppid=17658 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17662/stat : 17662 (java) S 17658 17658 16473 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 3629321 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086938143504 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17663] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17663/stat : 17663 (java) S 17658 17658 16473 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 3629321 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086937090960 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17664] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17664/stat : 17664 (java) S 17658 17658 16473 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 3629321 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086936038416 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17665] ppid=17658 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17665/stat : 17665 (java) S 17658 17658 16473 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 3629321 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086934985872 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17666] ppid=17658 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17666/stat : 17666 (java) S 17658 17658 16473 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 28 0 3629321 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086933932304 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17667] ppid=17658 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17667/stat : 17667 (java) S 17658 17658 16473 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 3629321 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086932879760 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17668] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17668/stat : 17668 (java) S 17658 17658 16473 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3629321 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086931827216 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17669] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17669/stat : 17669 (java) S 17658 17658 16473 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 3629321 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086930774672 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17670] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17670/stat : 17670 (java) S 17658 17658 16473 0 -1 1077944384 117 0 0 0 0 0 0 0 20 0 28 0 3629324 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086070471152 140087338564226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17671] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17671/stat : 17671 (java) S 17658 17658 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3629325 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086069417376 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17672] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17672/stat : 17672 (java) S 17658 17658 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3629325 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086068364784 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17673] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17673/stat : 17673 (java) S 17658 17658 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3629329 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086067313360 140087338571675 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17674] ppid=17658 vsize=13801768 CPUtime=0.93 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17674/stat : 17674 (java) R 17658 17658 16473 0 -1 4202560 3907 0 0 0 92 1 0 0 20 0 28 0 3629329 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086066247792 140087338566961 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17675] ppid=17658 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17675/stat : 17675 (java) R 17658 17658 16473 0 -1 4202560 2875 0 0 0 83 0 0 0 20 0 28 0 3629329 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086065207408 140087316544635 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17676] ppid=17658 vsize=13801768 CPUtime=0.83 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17676/stat : 17676 (java) R 17658 17658 16473 0 -1 4202560 3141 0 0 0 83 0 0 0 20 0 28 0 3629329 14133010432 55265 33554432000 4194304 4196468 140725529531552 140086064135880 140087322053476 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17677] ppid=17658 vsize=13801768 CPUtime=0.72 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17677/stat : 17677 (java) S 17658 17658 16473 0 -1 1077944384 3438 0 0 0 71 1 0 0 20 0 28 0 3629329 14133010432 55265 33554432000 4194304 4196468 140725529531552 140085592844656 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17678] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17678/stat : 17678 (java) S 17658 17658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3629329 14133010432 55265 33554432000 4194304 4196468 140725529531552 140085591792352 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17679] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17679/stat : 17679 (java) S 17658 17658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3629329 14133010432 55265 33554432000 4194304 4196468 140725529531552 140085590739888 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 13811280
[startup+3.10135 s]
/proc/loadavg: 15.29 15.61 12.68 20/300 17687
/proc/meminfo: memFree=31459124/32770624 swapFree=5736/221168
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
[pid=17659] ppid=17658 vsize=13803656 CPUtime=19.07 cores=0,2,4,6,8,10,12,14
/proc/17659/stat : 17659 (java) S 17658 17658 16473 0 -1 1077944320 35723 0 0 0 1888 19 0 0 20 0 28 0 3629320 14134943744 65664 33554432000 4194304 4196468 140725529531552 140725529514096 140087338553079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
/proc/17659/statm: 3450914 65664 3255 1 0 3438147 0
[pid=17659/tid=17660] ppid=17658 vsize=13803656 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17660/stat : 17660 (java) S 17658 17658 16473 0 -1 1077944384 7603 0 0 0 105 6 0 0 20 0 28 0 3629320 14134943744 65664 33554432000 4194304 4196468 140725529531552 140087342793856 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17662] ppid=17658 vsize=13803656 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17662/stat : 17662 (java) S 17658 17658 16473 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 3629321 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086938143504 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17663] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17663/stat : 17663 (java) S 17658 17658 16473 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 3629321 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086937090960 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17664] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17664/stat : 17664 (java) S 17658 17658 16473 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 3629321 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086936038416 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17665] ppid=17658 vsize=13803656 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17665/stat : 17665 (java) S 17658 17658 16473 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 3629321 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086934985872 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17666] ppid=17658 vsize=13803656 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17666/stat : 17666 (java) S 17658 17658 16473 0 -1 1077944384 78 0 0 0 1 0 0 0 20 0 28 0 3629321 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086933932304 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17667] ppid=17658 vsize=13803656 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17667/stat : 17667 (java) S 17658 17658 16473 0 -1 1077944384 16 0 0 0 1 0 0 0 20 0 28 0 3629321 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086932879760 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17668] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17668/stat : 17668 (java) S 17658 17658 16473 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 28 0 3629321 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086931827216 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17669] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17669/stat : 17669 (java) S 17658 17658 16473 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 3629321 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086930774672 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17670] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17670/stat : 17670 (java) S 17658 17658 16473 0 -1 1077944384 165 0 0 0 0 0 0 0 20 0 28 0 3629324 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086070471152 140087338564226 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17671] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17671/stat : 17671 (java) S 17658 17658 16473 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3629325 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086069417376 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17672] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17672/stat : 17672 (java) S 17658 17658 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3629325 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086068364784 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17673] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17673/stat : 17673 (java) S 17658 17658 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3629329 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086067313360 140087338571675 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17674] ppid=17658 vsize=13803656 CPUtime=2.19 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17674/stat : 17674 (java) R 17658 17658 16473 0 -1 4202560 7899 0 0 0 218 1 0 0 20 0 28 0 3629329 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086066245928 140087320096852 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17675] ppid=17658 vsize=13803656 CPUtime=1.93 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17675/stat : 17675 (java) R 17658 17658 16473 0 -1 4202560 6990 0 0 0 192 1 0 0 20 0 28 0 3629329 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086065193432 140087320072555 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17676] ppid=17658 vsize=13803656 CPUtime=2.2 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17676/stat : 17676 (java) R 17658 17658 16473 0 -1 4202560 6415 0 0 0 219 1 0 0 20 0 28 0 3629329 14134943744 65664 33554432000 4194304 4196468 140725529531552 140086064141408 140087323661057 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17677] ppid=17658 vsize=13803656 CPUtime=0.81 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17677/stat : 17677 (java) S 17658 17658 16473 0 -1 1077944384 3954 0 0 0 80 1 0 0 20 0 28 0 3629329 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085592844656 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17678] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17678/stat : 17678 (java) S 17658 17658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3629329 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085591792352 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17679] ppid=17658 vsize=13803656 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17679/stat : 17679 (java) S 17658 17658 16473 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 3629329 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085590739888 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17680] ppid=17658 vsize=13803656 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17680/stat : 17680 (java) R 17658 17658 16473 0 -1 4202560 127 0 0 0 127 0 0 0 20 0 28 0 3629437 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085582722712 140086958764887 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17681] ppid=17658 vsize=13803656 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17681/stat : 17681 (java) R 17658 17658 16473 0 -1 4202560 185 0 0 0 130 0 0 0 20 0 28 0 3629437 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085581671056 140086951943910 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17682] ppid=17658 vsize=13803656 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17682/stat : 17682 (java) R 17658 17658 16473 0 -1 4202560 166 0 0 0 127 0 0 0 20 0 28 0 3629437 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085580621200 140086958765870 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17683] ppid=17658 vsize=13803656 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17683/stat : 17683 (java) R 17658 17658 16473 0 -1 4202560 118 0 0 0 134 0 0 0 20 0 28 0 3629437 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085579565064 140086958765870 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17684] ppid=17658 vsize=13803656 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17684/stat : 17684 (java) R 17658 17658 16473 0 -1 4202560 77 0 0 0 145 0 0 0 20 0 28 0 3629437 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085578512520 140086959019187 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17685] ppid=17658 vsize=13803656 CPUtime=1.36 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17685/stat : 17685 (java) R 17658 17658 16473 0 -1 4202560 67 0 0 0 136 0 0 0 20 0 28 0 3629437 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085577459728 140086958763953 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17686] ppid=17658 vsize=13803656 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17686/stat : 17686 (java) R 17658 17658 16473 0 -1 4202560 55 0 0 0 130 0 0 0 20 0 28 0 3629437 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085576407184 140086958765246 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17687] ppid=17658 vsize=13803656 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17687/stat : 17687 (java) R 17658 17658 16473 0 -1 4202560 188 0 0 0 130 0 0 0 20 0 28 0 3629437 14134943744 65664 33554432000 4194304 4196468 140725529531552 140085575352416 140086958765498 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
Current children cumulated CPU time (s) 19.07
Current children cumulated vsize (KiB) 13813168
[startup+6.30142 s]
/proc/loadavg: 15.35 15.62 12.69 17/300 17687
/proc/meminfo: memFree=31420720/32770624 swapFree=5736/221180
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
[pid=17659] ppid=17658 vsize=13801768 CPUtime=44.48 cores=0,2,4,6,8,10,12,14
/proc/17659/stat : 17659 (java) S 17658 17658 16473 0 -1 1077944320 43945 0 0 0 4425 23 0 0 20 0 28 0 3629320 14133010432 68380 33554432000 4194304 4196468 140725529531552 140725529514096 140087338553079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
/proc/17659/statm: 3450442 68380 3264 1 0 3437675 0
[pid=17659/tid=17660] ppid=17658 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17660/stat : 17660 (java) S 17658 17658 16473 0 -1 1077944384 7603 0 0 0 105 6 0 0 20 0 28 0 3629320 14133010432 68380 33554432000 4194304 4196468 140725529531552 140087342793856 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17662] ppid=17658 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17662/stat : 17662 (java) S 17658 17658 16473 0 -1 1077944384 63 0 0 0 1 0 0 0 20 0 28 0 3629321 14133010432 68380 33554432000 4194304 4196468 140725529531552 140086938143504 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17663] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17663/stat : 17663 (java) S 17658 17658 16473 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 28 0 3629321 14133010432 68380 33554432000 4194304 4196468 140725529531552 140086937090960 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17664] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17664/stat : 17664 (java) S 17658 17658 16473 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 3629321 14133010432 68380 33554432000 4194304 4196468 140725529531552 140086936038416 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17665] ppid=17658 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17665/stat : 17665 (java) S 17658 17658 16473 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 3629321 14133010432 68380 33554432000 4194304 4196468 140725529531552 140086934985872 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
################
# More data... #
################
[pid=17659/tid=17686] ppid=17658 vsize=13801768 CPUtime=218.52 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17686/stat : 17686 (java) R 17658 17658 16473 0 -1 4202560 915 0 0 0 21851 1 0 0 20 0 28 0 3629437 14133010432 106835 33554432000 4194304 4196468 140725529531552 140085576409000 140086960710242 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17687] ppid=17658 vsize=13801768 CPUtime=217.45 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17687/stat : 17687 (java) R 17658 17658 16473 0 -1 4202560 1046 0 0 0 21745 0 0 0 20 0 28 0 3629437 14133010432 106835 33554432000 4194304 4196468 140725529531552 140085575356248 140086960710496 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
Current children cumulated CPU time (s) 1764.58
Current children cumulated vsize (KiB) 13811280
[startup+282.301 s]
/proc/loadavg: 16.11 15.96 13.59 18/300 17788
/proc/meminfo: memFree=29612104/32770624 swapFree=5736/221560
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
[pid=17659] ppid=17658 vsize=13801768 CPUtime=2242.24 cores=0,2,4,6,8,10,12,14
/proc/17659/stat : 17659 (java) S 17658 17658 16473 0 -1 1077944320 102523 0 0 0 224089 135 0 0 20 0 28 0 3629320 14133010432 93121 33554432000 4194304 4196468 140725529531552 140725529514096 140087338553079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
/proc/17659/statm: 3450442 93121 3278 1 0 3437675 0
[pid=17659/tid=17660] ppid=17658 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17660/stat : 17660 (java) S 17658 17658 16473 0 -1 1077944384 7603 0 0 0 105 6 0 0 20 0 28 0 3629320 14133010432 93121 33554432000 4194304 4196468 140725529531552 140087342793856 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17662] ppid=17658 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17662/stat : 17662 (java) S 17658 17658 16473 0 -1 1077944384 294 0 0 0 14 10 0 0 20 0 28 0 3629321 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086938143504 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17663] ppid=17658 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17663/stat : 17663 (java) S 17658 17658 16473 0 -1 1077944384 819 0 0 0 16 12 0 0 20 0 28 0 3629321 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086937090960 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17664] ppid=17658 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17664/stat : 17664 (java) S 17658 17658 16473 0 -1 1077944384 1806 0 0 0 15 11 0 0 20 0 28 0 3629321 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086936038416 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17665] ppid=17658 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17665/stat : 17665 (java) S 17658 17658 16473 0 -1 1077944384 360 0 0 0 14 12 0 0 20 0 28 0 3629321 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086934985872 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17666] ppid=17658 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17666/stat : 17666 (java) S 17658 17658 16473 0 -1 1077944384 971 0 0 0 17 10 0 0 20 0 28 0 3629321 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086933932304 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17667] ppid=17658 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17667/stat : 17667 (java) S 17658 17658 16473 0 -1 1077944384 335 0 0 0 14 11 0 0 20 0 28 0 3629321 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086932879760 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17668] ppid=17658 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17668/stat : 17668 (java) S 17658 17658 16473 0 -1 1077944384 677 0 0 0 14 11 0 0 20 0 28 0 3629321 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086931827216 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17669] ppid=17658 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17669/stat : 17669 (java) S 17658 17658 16473 0 -1 1077944384 718 0 0 0 16 11 0 0 20 0 28 0 3629321 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086930774672 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17670] ppid=17658 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17670/stat : 17670 (java) S 17658 17658 16473 0 -1 1077944384 1969 0 0 0 6 9 0 0 20 0 28 0 3629324 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086070471152 140087338564226 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17671] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17671/stat : 17671 (java) S 17658 17658 16473 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 3629325 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086069417440 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17672] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17672/stat : 17672 (java) S 17658 17658 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3629325 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086068364784 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17673] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17673/stat : 17673 (java) S 17658 17658 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3629329 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086067313360 140087338571675 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17674] ppid=17658 vsize=13801768 CPUtime=5.94 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17674/stat : 17674 (java) S 17658 17658 16473 0 -1 1077944384 19203 0 0 0 590 4 0 0 20 0 28 0 3629329 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086066259952 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17675] ppid=17658 vsize=13801768 CPUtime=4.94 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17675/stat : 17675 (java) S 17658 17658 16473 0 -1 1077944384 18922 0 0 0 492 2 0 0 20 0 28 0 3629329 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086065207408 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17676] ppid=17658 vsize=13801768 CPUtime=6.07 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17676/stat : 17676 (java) S 17658 17658 16473 0 -1 1077944384 22875 0 0 0 604 3 0 0 20 0 28 0 3629329 14133010432 93121 33554432000 4194304 4196468 140725529531552 140086064154864 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17677] ppid=17658 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17677/stat : 17677 (java) S 17658 17658 16473 0 -1 1077944384 11994 0 0 0 122 2 0 0 20 0 28 0 3629329 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085592844656 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17678] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17678/stat : 17678 (java) S 17658 17658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3629329 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085591792352 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17679] ppid=17658 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17679/stat : 17679 (java) S 17658 17658 16473 0 -1 1077944384 916 0 0 0 6 6 0 0 20 0 28 0 3629329 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085590739888 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17680] ppid=17658 vsize=13801768 CPUtime=277.8 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17680/stat : 17680 (java) R 17658 17658 16473 0 -1 4202560 1367 0 0 0 27780 0 0 0 20 0 28 0 3629437 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085582724280 140086960710442 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17681] ppid=17658 vsize=13801768 CPUtime=278.04 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17681/stat : 17681 (java) R 17658 17658 16473 0 -1 4202560 1160 0 0 0 27803 1 0 0 20 0 28 0 3629437 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085581672632 140086960710014 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17682] ppid=17658 vsize=13801768 CPUtime=277.13 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17682/stat : 17682 (java) R 17658 17658 16473 0 -1 4202560 2107 0 0 0 27712 1 0 0 20 0 28 0 3629437 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085580619080 140086960710398 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17683] ppid=17658 vsize=13801768 CPUtime=277.14 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17683/stat : 17683 (java) R 17658 17658 16473 0 -1 4202560 2269 0 0 0 27713 1 0 0 20 0 28 0 3629437 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085579566448 140086958313481 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17684] ppid=17658 vsize=13801768 CPUtime=276.87 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17684/stat : 17684 (java) R 17658 17658 16473 0 -1 4202560 1751 0 0 0 27687 0 0 0 20 0 28 0 3629437 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085578514152 140086958313632 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17685] ppid=17658 vsize=13801768 CPUtime=278.5 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17685/stat : 17685 (java) R 17658 17658 16473 0 -1 4202560 1005 0 0 0 27850 0 0 0 20 0 28 0 3629437 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085577461544 140086960710429 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17686] ppid=17658 vsize=13801768 CPUtime=278.22 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17686/stat : 17686 (java) R 17658 17658 16473 0 -1 4202560 951 0 0 0 27821 1 0 0 20 0 28 0 3629437 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085576411664 140086960710327 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17687] ppid=17658 vsize=13801768 CPUtime=276.66 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17687/stat : 17687 (java) R 17658 17658 16473 0 -1 4202560 1106 0 0 0 27666 0 0 0 20 0 28 0 3629437 14133010432 93121 33554432000 4194304 4196468 140725529531552 140085575356360 140086960710277 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
Current children cumulated CPU time (s) 2242.24
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.203 s]
/proc/loadavg: 16.14 15.98 13.65 18/300 17788
/proc/meminfo: memFree=29673096/32770624 swapFree=5736/221580
[pid=17658] ppid=17655 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17658/stat : 17658 (xcsp3-exec) S 17655 17658 16473 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 3629320 9740288 346 33554432000 4194304 5098028 140728037226976 140728037225080 140054286877308 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 11534336 140728037233806 140728037234016 140728037234016 140728037236715 0
/proc/17658/statm: 2378 346 289 221 0 87 0
[pid=17659] ppid=17658 vsize=13801768 CPUtime=2400.71 cores=0,2,4,6,8,10,12,14
/proc/17659/stat : 17659 (java) S 17658 17658 16473 0 -1 1077944320 103800 0 0 0 239933 138 0 0 20 0 28 0 3629320 14133010432 90045 33554432000 4194304 4196468 140725529531552 140725529514096 140087338553079 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
/proc/17659/statm: 3450442 90045 3278 1 0 3437675 0
[pid=17659/tid=17660] ppid=17658 vsize=13801768 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17660/stat : 17660 (java) S 17658 17658 16473 0 -1 1077944384 7603 0 0 0 105 6 0 0 20 0 28 0 3629320 14133010432 90045 33554432000 4194304 4196468 140725529531552 140087342793856 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17662] ppid=17658 vsize=13801768 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17662/stat : 17662 (java) S 17658 17658 16473 0 -1 1077944384 543 0 0 0 15 10 0 0 20 0 28 0 3629321 14133010432 90045 33554432000 4194304 4196468 140725529531552 140086938143504 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17663] ppid=17658 vsize=13801768 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17663/stat : 17663 (java) S 17658 17658 16473 0 -1 1077944384 875 0 0 0 17 13 0 0 20 0 28 0 3629321 14133010432 90045 33554432000 4194304 4196468 140725529531552 140086937090960 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17664] ppid=17658 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17664/stat : 17664 (java) S 17658 17658 16473 0 -1 1077944384 1846 0 0 0 16 11 0 0 20 0 28 0 3629321 14133010432 90045 33554432000 4194304 4196468 140725529531552 140086936038416 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17665] ppid=17658 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17665/stat : 17665 (java) S 17658 17658 16473 0 -1 1077944384 368 0 0 0 15 12 0 0 20 0 28 0 3629321 14133010432 90045 33554432000 4194304 4196468 140725529531552 140086934985872 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17666] ppid=17658 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17666/stat : 17666 (java) S 17658 17658 16473 0 -1 1077944384 996 0 0 0 18 10 0 0 20 0 28 0 3629321 14133010432 90045 33554432000 4194304 4196468 140725529531552 140086933932304 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17667] ppid=17658 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17667/stat : 17667 (java) S 17658 17658 16473 0 -1 1077944384 353 0 0 0 15 11 0 0 20 0 28 0 3629321 14133010432 90045 33554432000 4194304 4196468 140725529531552 140086932879760 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17668] ppid=17658 vsize=13801768 CPUtime=0.27 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17668/stat : 17668 (java) S 17658 17658 16473 0 -1 1077944384 696 0 0 0 15 12 0 0 20 0 28 0 3629321 14133010432 90045 33554432000 4194304 4196468 140725529531552 140086931827216 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17669] ppid=17658 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17669/stat : 17669 (java) S 17658 17658 16473 0 -1 1077944384 725 0 0 0 17 12 0 0 20 0 28 0 3629321 14133010432 90045 33554432000 4194304 4196468 140725529531552 140086930774672 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17670] ppid=17658 vsize=13801768 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17670/stat : 17670 (java) R 17658 17658 16473 0 -1 4202560 2016 0 0 0 7 10 0 0 20 0 28 0 3629324 14133010432 90045 33554432000 4194304 4196468 140725529531552 140086070469664 140087331270042 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17671] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17671/stat : 17671 (java) S 17658 17658 16473 0 -1 1077944384 62 0 0 0 0 0 0 0 20 0 28 0 3629325 14133010432 88765 33554432000 4194304 4196468 140725529531552 140086069417440 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17672] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17672/stat : 17672 (java) S 17658 17658 16473 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3629325 14133010432 88765 33554432000 4194304 4196468 140725529531552 140086068364784 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17673] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17673/stat : 17673 (java) S 17658 17658 16473 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3629329 14133010432 88763 33554432000 4194304 4196468 140725529531552 140086067313360 140087338571675 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17674] ppid=17658 vsize=13801768 CPUtime=5.95 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17674/stat : 17674 (java) S 17658 17658 16473 0 -1 1077944384 19332 0 0 0 591 4 0 0 20 0 28 0 3629329 14133010432 88763 33554432000 4194304 4196468 140725529531552 140086066259952 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17675] ppid=17658 vsize=13801768 CPUtime=4.95 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17675/stat : 17675 (java) S 17658 17658 16473 0 -1 1077944384 18966 0 0 0 493 2 0 0 20 0 28 0 3629329 14133010432 88763 33554432000 4194304 4196468 140725529531552 140086065207408 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17676] ppid=17658 vsize=13801768 CPUtime=6.07 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17676/stat : 17676 (java) S 17658 17658 16473 0 -1 1077944384 22875 0 0 0 604 3 0 0 20 0 28 0 3629329 14133010432 88763 33554432000 4194304 4196468 140725529531552 140086064154864 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 13 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17677] ppid=17658 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17677/stat : 17677 (java) S 17658 17658 16473 0 -1 1077944384 12002 0 0 0 122 2 0 0 20 0 28 0 3629329 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085592844656 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17678] ppid=17658 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17678/stat : 17678 (java) S 17658 17658 16473 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3629329 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085591792352 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17679] ppid=17658 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17679/stat : 17679 (java) S 17658 17658 16473 0 -1 1077944384 964 0 0 0 6 6 0 0 20 0 28 0 3629329 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085590739888 140087338564226 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17680] ppid=17658 vsize=13801768 CPUtime=297.16 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17680/stat : 17680 (java) R 17658 17658 16473 0 -1 4202560 1429 0 0 0 29716 0 0 0 20 0 28 0 3629437 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085582727056 140087322868316 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17681] ppid=17658 vsize=13801768 CPUtime=297.9 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17681/stat : 17681 (java) R 17658 17658 16473 0 -1 1077944384 1279 0 0 0 29789 1 0 0 20 0 28 0 3629437 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085581672496 140087338563285 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17682] ppid=17658 vsize=13801768 CPUtime=296.99 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17682/stat : 17682 (java) S 17658 17658 16473 0 -1 1077944384 2130 0 0 0 29698 1 0 0 20 0 28 0 3629437 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085580618640 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17683] ppid=17658 vsize=13801768 CPUtime=297 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17683/stat : 17683 (java) R 17658 17658 16473 0 -1 4202560 2502 0 0 0 29699 1 0 0 20 0 28 0 3629437 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085579566496 140086952089889 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17684] ppid=17658 vsize=13801768 CPUtime=296.73 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17684/stat : 17684 (java) S 17658 17658 16473 0 -1 1077944384 1785 0 0 0 29673 0 0 0 20 0 28 0 3629437 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085578514016 140087338563285 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17685] ppid=17658 vsize=13801768 CPUtime=298.35 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17685/stat : 17685 (java) R 17658 17658 16473 0 -1 4202560 1022 0 0 0 29835 0 0 0 20 0 28 0 3629437 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085577461296 140086952089889 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17686] ppid=17658 vsize=13801768 CPUtime=298.08 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17686/stat : 17686 (java) R 17658 17658 16473 0 -1 4202560 991 0 0 0 29807 1 0 0 20 0 28 0 3629437 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085576408752 140086952089889 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
[pid=17659/tid=17687] ppid=17658 vsize=13801768 CPUtime=296.5 cores=0,2,4,6,8,10,12,14
/proc/17659/task/17687/stat : 17687 (java) R 17658 17658 16473 0 -1 4202560 1158 0 0 0 29650 0 0 0 20 0 28 0 3629437 14133010432 88763 33554432000 4194304 4196468 140725529531552 140085575355840 140086952089889 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 29851648 140725529539772 140725529539948 140725529539948 140725529542607 0
Current children cumulated CPU time (s) 2400.71
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 17659 sig 9
??? kill 17658 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 17658 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1033
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2067
# CPU time returned by wait4() is 0.0031
# while last known CPU time is 2400.71
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.213
CPU time (s): 2400.71
CPU user time (s): 2399.33
CPU system time (s): 1.38
CPU usage (%): 794.376
Max. virtual memory (cumulated for all children) (KiB): 13813168
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001033
system time used= 0.002067
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 519
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.69005 second user time and 3.96206 second system time
The end