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-4246339-1500687593/watcher-4246339-1500687593 -o /tmp/evaluation-result-4246339-1500687593/solver-4246339-1500687593 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15435 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 797565073 HOME/instance-4246339-1500687593.xml
pid=5187
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.93 15.64 15.11 10/270 5190
/proc/meminfo: memFree=29787180/32770624 swapFree=5804/256036
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
[startup+0.100139 s]
/proc/loadavg: 15.93 15.64 15.11 10/270 5190
/proc/meminfo: memFree=29787180/32770624 swapFree=5804/256036
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200314 s]
/proc/loadavg: 15.93 15.64 15.11 10/270 5190
/proc/meminfo: memFree=29787180/32770624 swapFree=5804/256036
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300296 s]
/proc/loadavg: 15.93 15.64 15.11 10/270 5190
/proc/meminfo: memFree=29787180/32770624 swapFree=5804/256036
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700196 s]
/proc/loadavg: 15.93 15.64 15.11 10/270 5190
/proc/meminfo: memFree=29787180/32770624 swapFree=5804/256036
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.5014 s]
/proc/loadavg: 15.93 15.64 15.11 14/292 5212
/proc/meminfo: memFree=29623180/32770624 swapFree=5804/256084
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
[pid=5191] ppid=5190 vsize=13269256 CPUtime=5.52 cores=0,2,4,6,8,10,12,14
/proc/5191/stat : 5191 (java) S 5190 5190 14782 0 -1 1077944320 24396 0 0 0 533 19 0 0 20 0 20 0 4025582 13587718144 58067 33554432000 4194304 4196468 140727806922304 140727806904848 140469827739383 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
/proc/5191/statm: 3317314 58067 3258 1 0 3304547 0
[pid=5191/tid=5192] ppid=5190 vsize=13269256 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5192/stat : 5192 (java) R 5190 5190 14782 0 -1 1077944384 8143 0 0 0 137 5 0 0 20 0 20 0 4025583 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469831979968 140469827749589 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5194] ppid=5190 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5194/stat : 5194 (java) S 5190 5190 14782 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 20 0 4025583 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469793020176 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5195] ppid=5190 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5195/stat : 5195 (java) S 5190 5190 14782 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 20 0 4025584 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469425523088 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5196] ppid=5190 vsize=13269256 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5196/stat : 5196 (java) S 5190 5190 14782 0 -1 1077944384 158 0 0 0 2 2 0 0 20 0 20 0 4025584 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469424470544 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5197] ppid=5190 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5197/stat : 5197 (java) S 5190 5190 14782 0 -1 1077944384 63 0 0 0 2 1 0 0 20 0 20 0 4025584 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469423418000 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5198] ppid=5190 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5198/stat : 5198 (java) S 5190 5190 14782 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 20 0 4025584 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469422365456 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5199] ppid=5190 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5199/stat : 5199 (java) S 5190 5190 14782 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 20 0 4025584 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469421312912 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5200] ppid=5190 vsize=13269256 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5200/stat : 5200 (java) S 5190 5190 14782 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 20 0 4025584 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469420260368 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5201] ppid=5190 vsize=13269256 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5201/stat : 5201 (java) S 5190 5190 14782 0 -1 1077944384 96 0 0 0 2 1 0 0 20 0 20 0 4025584 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469419207824 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5202] ppid=5190 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5202/stat : 5202 (java) S 5190 5190 14782 0 -1 1077944384 214 0 0 0 0 0 0 0 20 0 20 0 4025586 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469155805168 140469827750530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5203] ppid=5190 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5203/stat : 5203 (java) S 5190 5190 14782 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 4025587 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469154751456 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5204] ppid=5190 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5204/stat : 5204 (java) S 5190 5190 14782 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 20 0 4025587 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469153698816 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5205] ppid=5190 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5205/stat : 5205 (java) S 5190 5190 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4025591 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469152647376 140469827757979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5206] ppid=5190 vsize=13269256 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5206/stat : 5206 (java) R 5190 5190 14782 0 -1 4202560 3322 0 0 0 102 0 0 0 20 0 20 0 4025591 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469151583424 140469807098182 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5207] ppid=5190 vsize=13269256 CPUtime=1.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5207/stat : 5207 (java) R 5190 5190 14782 0 -1 4202560 4030 0 0 0 103 0 0 0 20 0 20 0 4025591 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469150523648 140469811270848 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5208] ppid=5190 vsize=13269256 CPUtime=1.04 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5208/stat : 5208 (java) R 5190 5190 14782 0 -1 4202560 3700 0 0 0 104 0 0 0 20 0 20 0 4025591 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469149481360 140469827742704 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5209] ppid=5190 vsize=13269256 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5209/stat : 5209 (java) R 5190 5190 14782 0 -1 4202560 3113 0 0 0 67 1 0 0 20 0 20 0 4025591 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469148435320 140469808056063 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5210] ppid=5190 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5210/stat : 5210 (java) S 5190 5190 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4025591 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469147384032 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5211] ppid=5190 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5211/stat : 5211 (java) S 5190 5190 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4025591 13587718144 58067 33554432000 4194304 4196468 140727806922304 140469146331568 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
Current children cumulated CPU time (s) 5.52
Current children cumulated vsize (KiB) 13278768
[startup+3.10149 s]
/proc/loadavg: 15.93 15.64 15.11 21/300 5252
/proc/meminfo: memFree=29535848/32770624 swapFree=5804/256088
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
[pid=5191] ppid=5190 vsize=13801768 CPUtime=17.97 cores=0,2,4,6,8,10,12,14
/proc/5191/stat : 5191 (java) S 5190 5190 14782 0 -1 1077944320 31032 0 0 0 1774 23 0 0 20 0 28 0 4025582 14133010432 87531 33554432000 4194304 4196468 140727806922304 140727806904848 140469827739383 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
/proc/5191/statm: 3450442 87531 3283 1 0 3437675 0
[pid=5191/tid=5192] ppid=5190 vsize=13801768 CPUtime=1.45 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5192/stat : 5192 (java) S 5190 5190 14782 0 -1 1077944384 8230 0 0 0 140 5 0 0 20 0 28 0 4025583 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469831980160 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5194] ppid=5190 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5194/stat : 5194 (java) S 5190 5190 14782 0 -1 1077944384 73 0 0 0 1 1 0 0 20 0 28 0 4025583 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469793020176 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5195] ppid=5190 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5195/stat : 5195 (java) S 5190 5190 14782 0 -1 1077944384 43 0 0 0 2 1 0 0 20 0 28 0 4025584 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469425523088 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5196] ppid=5190 vsize=13801768 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5196/stat : 5196 (java) S 5190 5190 14782 0 -1 1077944384 158 0 0 0 2 2 0 0 20 0 28 0 4025584 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469424470544 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5197] ppid=5190 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5197/stat : 5197 (java) S 5190 5190 14782 0 -1 1077944384 63 0 0 0 2 1 0 0 20 0 28 0 4025584 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469423418000 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5198] ppid=5190 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5198/stat : 5198 (java) S 5190 5190 14782 0 -1 1077944384 44 0 0 0 2 1 0 0 20 0 28 0 4025584 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469422365456 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5199] ppid=5190 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5199/stat : 5199 (java) S 5190 5190 14782 0 -1 1077944384 35 0 0 0 1 0 0 0 20 0 28 0 4025584 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469421312912 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5200] ppid=5190 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5200/stat : 5200 (java) S 5190 5190 14782 0 -1 1077944384 17 0 0 0 1 1 0 0 20 0 28 0 4025584 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469420260368 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5201] ppid=5190 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5201/stat : 5201 (java) S 5190 5190 14782 0 -1 1077944384 96 0 0 0 2 1 0 0 20 0 28 0 4025584 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469419207824 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5202] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5202/stat : 5202 (java) S 5190 5190 14782 0 -1 1077944384 246 0 0 0 0 0 0 0 20 0 28 0 4025586 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469155805168 140469827750530 0 0 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5203] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5203/stat : 5203 (java) S 5190 5190 14782 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 28 0 4025587 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469154751456 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5204] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5204/stat : 5204 (java) S 5190 5190 14782 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 28 0 4025587 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469153698816 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5205] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5205/stat : 5205 (java) S 5190 5190 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4025591 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469152647376 140469827757979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5206] ppid=5190 vsize=13801768 CPUtime=2.35 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5206/stat : 5206 (java) R 5190 5190 14782 0 -1 4202560 5361 0 0 0 235 0 0 0 20 0 28 0 4025591 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469151588184 140469804963536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5207] ppid=5190 vsize=13801768 CPUtime=2.09 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5207/stat : 5207 (java) R 5190 5190 14782 0 -1 4202560 4462 0 0 0 209 0 0 0 20 0 28 0 4025591 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469150535640 140469812131364 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5208] ppid=5190 vsize=13801768 CPUtime=2.21 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5208/stat : 5208 (java) R 5190 5190 14782 0 -1 1077944384 4387 0 0 0 221 0 0 0 20 0 28 0 4025591 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469149479824 140469827749589 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5209] ppid=5190 vsize=13801768 CPUtime=1.12 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5209/stat : 5209 (java) S 5190 5190 14782 0 -1 1077944384 4873 0 0 0 110 2 0 0 20 0 28 0 4025591 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469148437360 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5210] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5210/stat : 5210 (java) S 5190 5190 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4025591 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469147384032 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5211] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5211/stat : 5211 (java) S 5190 5190 14782 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 28 0 4025591 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469146331568 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5245] ppid=5190 vsize=13801768 CPUtime=0.91 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5245/stat : 5245 (java) R 5190 5190 14782 0 -1 4202560 76 0 0 0 91 0 0 0 20 0 28 0 4025756 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469136210272 140469470882119 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5246] ppid=5190 vsize=13801768 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5246/stat : 5246 (java) R 5190 5190 14782 0 -1 4202560 95 0 0 0 102 0 0 0 20 0 28 0 4025756 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469138317624 140469471141222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5247] ppid=5190 vsize=13801768 CPUtime=0.9 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5247/stat : 5247 (java) R 5190 5190 14782 0 -1 4202560 147 0 0 0 90 0 0 0 20 0 28 0 4025756 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469137264696 140469470619485 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5248] ppid=5190 vsize=13801768 CPUtime=0.92 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5248/stat : 5248 (java) R 5190 5190 14782 0 -1 4202560 100 0 0 0 92 0 0 0 20 0 28 0 4025756 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469135159384 140469470882279 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5249] ppid=5190 vsize=13801768 CPUtime=0.89 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5249/stat : 5249 (java) R 5190 5190 14782 0 -1 4202560 139 0 0 0 89 0 0 0 20 0 28 0 4025756 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469133053896 140469467868439 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5250] ppid=5190 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5250/stat : 5250 (java) R 5190 5190 14782 0 -1 4202560 27 0 0 0 85 0 0 0 20 0 28 0 4025756 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469132002536 140469813125714 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5251] ppid=5190 vsize=13801768 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5251/stat : 5251 (java) R 5190 5190 14782 0 -1 4202560 84 0 0 0 101 0 0 0 20 0 28 0 4025756 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469130948288 140469470882314 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5252] ppid=5190 vsize=13801768 CPUtime=0.97 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5252/stat : 5252 (java) R 5190 5190 14782 0 -1 4202560 117 0 0 0 97 0 0 0 20 0 28 0 4025757 14133010432 87531 33554432000 4194304 4196468 140727806922304 140469134105496 140469470782393 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
Current children cumulated CPU time (s) 17.97
Current children cumulated vsize (KiB) 13811280
[startup+6.30089 s]
/proc/loadavg: 16.17 15.70 15.13 17/300 5276
/proc/meminfo: memFree=29338892/32770624 swapFree=5804/256104
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
[pid=5191] ppid=5190 vsize=13801768 CPUtime=37.73 cores=0,2,4,6,8,10,12,14
/proc/5191/stat : 5191 (java) S 5190 5190 14782 0 -1 1077944320 33011 0 0 0 3726 47 0 0 20 0 28 0 4025582 14133010432 126591 33554432000 4194304 4196468 140727806922304 140727806904848 140469827739383 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
/proc/5191/statm: 3450442 126591 3286 1 0 3437675 0
[pid=5191/tid=5192] ppid=5190 vsize=13801768 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5192/stat : 5192 (java) S 5190 5190 14782 0 -1 1077944384 8267 0 0 0 142 5 0 0 20 0 28 0 4025583 14133010432 126591 33554432000 4194304 4196468 140727806922304 140469831980160 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5194] ppid=5190 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5194/stat : 5194 (java) S 5190 5190 14782 0 -1 1077944384 125 0 0 0 6 4 0 0 20 0 28 0 4025583 14133010432 126591 33554432000 4194304 4196468 140727806922304 140469793020176 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5195] ppid=5190 vsize=13801768 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5195/stat : 5195 (java) S 5190 5190 14782 0 -1 1077944384 81 0 0 0 7 4 0 0 20 0 28 0 4025584 14133010432 126591 33554432000 4194304 4196468 140727806922304 140469425523088 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5196] ppid=5190 vsize=13801768 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5196/stat : 5196 (java) S 5190 5190 14782 0 -1 1077944384 195 0 0 0 7 5 0 0 20 0 28 0 4025584 14133010432 126591 33554432000 4194304 4196468 140727806922304 140469424470544 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5197] ppid=5190 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5197/stat : 5197 (java) S 5190 5190 14782 0 -1 1077944384 129 0 0 0 4 4 0 0 20 0 28 0 4025584 14133010432 126591 33554432000 4194304 4196468 140727806922304 140469423418000 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
################
# More data... #
################
[pid=5191/tid=5572] ppid=5190 vsize=13801768 CPUtime=84.55 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5572/stat : 5572 (java) R 5190 5190 14782 0 -1 4202560 1556 0 0 0 8455 0 0 0 20 0 28 0 4039317 14133010432 868243 33554432000 4194304 4196468 140727806922304 140469134110792 140469474106768 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5573] ppid=5190 vsize=13801768 CPUtime=84.72 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5573/stat : 5573 (java) R 5190 5190 14782 0 -1 4202560 1128 0 0 0 8472 0 0 0 20 0 28 0 4039317 14133010432 868243 33554432000 4194304 4196468 140727806922304 140469135163592 140469474185927 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
Current children cumulated CPU time (s) 1746.7
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 16.12 15.80 15.30 17/301 5575
/proc/meminfo: memFree=24849316/32770624 swapFree=5804/256432
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
[pid=5191] ppid=5190 vsize=13801768 CPUtime=2224.36 cores=0,2,4,6,8,10,12,14
/proc/5191/stat : 5191 (java) S 5190 5190 14782 0 -1 1077944320 107915 0 0 0 222223 213 0 0 20 0 28 0 4025582 14133010432 866185 33554432000 4194304 4196468 140727806922304 140727806904848 140469827739383 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
/proc/5191/statm: 3450442 866185 3295 1 0 3437675 0
[pid=5191/tid=5192] ppid=5190 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5192/stat : 5192 (java) S 5190 5190 14782 0 -1 1077944384 8607 0 0 0 143 5 0 0 20 0 28 0 4025583 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469831980160 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5194] ppid=5190 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5194/stat : 5194 (java) S 5190 5190 14782 0 -1 1077944384 1983 0 0 0 17 14 0 0 20 0 28 0 4025583 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469793020176 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5195] ppid=5190 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5195/stat : 5195 (java) S 5190 5190 14782 0 -1 1077944384 1099 0 0 0 19 15 0 0 20 0 28 0 4025584 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469425523088 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5196] ppid=5190 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5196/stat : 5196 (java) S 5190 5190 14782 0 -1 1077944384 572 0 0 0 17 15 0 0 20 0 28 0 4025584 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469424470544 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5197] ppid=5190 vsize=13801768 CPUtime=0.29 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5197/stat : 5197 (java) S 5190 5190 14782 0 -1 1077944384 1263 0 0 0 15 14 0 0 20 0 28 0 4025584 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469423418000 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5198] ppid=5190 vsize=13801768 CPUtime=0.31 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5198/stat : 5198 (java) S 5190 5190 14782 0 -1 1077944384 849 0 0 0 17 14 0 0 20 0 28 0 4025584 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469422365456 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5199] ppid=5190 vsize=13801768 CPUtime=0.26 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5199/stat : 5199 (java) S 5190 5190 14782 0 -1 1077944384 517 0 0 0 15 11 0 0 20 0 28 0 4025584 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469421312912 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5200] ppid=5190 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5200/stat : 5200 (java) S 5190 5190 14782 0 -1 1077944384 563 0 0 0 14 14 0 0 20 0 28 0 4025584 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469420260368 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5201] ppid=5190 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5201/stat : 5201 (java) S 5190 5190 14782 0 -1 1077944384 593 0 0 0 18 15 0 0 20 0 28 0 4025584 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469419207824 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5202] ppid=5190 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5202/stat : 5202 (java) S 5190 5190 14782 0 -1 1077944384 4079 0 0 0 7 7 0 0 20 0 28 0 4025586 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469155805168 140469827750530 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5203] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5203/stat : 5203 (java) S 5190 5190 14782 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4025587 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469154751456 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5204] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5204/stat : 5204 (java) S 5190 5190 14782 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 4025587 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469153698816 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5205] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5205/stat : 5205 (java) S 5190 5190 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4025591 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469152647376 140469827757979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5206] ppid=5190 vsize=13801768 CPUtime=3.93 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5206/stat : 5206 (java) S 5190 5190 14782 0 -1 1077944384 13859 0 0 0 391 2 0 0 20 0 28 0 4025591 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469151594992 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5207] ppid=5190 vsize=13801768 CPUtime=3.56 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5207/stat : 5207 (java) S 5190 5190 14782 0 -1 1077944384 13408 0 0 0 354 2 0 0 20 0 28 0 4025591 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469150542448 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5208] ppid=5190 vsize=13801768 CPUtime=3.73 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5208/stat : 5208 (java) S 5190 5190 14782 0 -1 1077944384 10948 0 0 0 373 0 0 0 20 0 28 0 4025591 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469149489904 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 4 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5209] ppid=5190 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5209/stat : 5209 (java) S 5190 5190 14782 0 -1 1077944384 9612 0 0 0 136 3 0 0 20 0 28 0 4025591 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469148437360 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5210] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5210/stat : 5210 (java) S 5190 5190 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4025591 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469147384032 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5211] ppid=5190 vsize=13801768 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5211/stat : 5211 (java) S 5190 5190 14782 0 -1 1077944384 998 0 0 0 7 6 0 0 20 0 28 0 4025591 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469146331568 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 5 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5566] ppid=5190 vsize=13801768 CPUtime=143.29 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5566/stat : 5566 (java) R 5190 5190 14782 0 -1 4202560 1401 0 0 0 14329 0 0 0 20 0 28 0 4039317 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469133055648 140469470881839 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5567] ppid=5190 vsize=13801768 CPUtime=144.76 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5567/stat : 5567 (java) R 5190 5190 14782 0 -1 4202560 1400 0 0 0 14476 0 0 0 20 0 28 0 4039317 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469137264792 140469470882284 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5568] ppid=5190 vsize=13801768 CPUtime=143.6 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5568/stat : 5568 (java) R 5190 5190 14782 0 -1 4202560 3161 0 0 0 14359 1 0 0 20 0 28 0 4039317 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469130948528 140469473628791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5569] ppid=5190 vsize=13801768 CPUtime=144.7 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5569/stat : 5569 (java) R 5190 5190 14782 0 -1 4202560 2765 0 0 0 14470 0 0 0 20 0 28 0 4039317 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469136212344 140469470882250 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5570] ppid=5190 vsize=13801768 CPUtime=144.32 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5570/stat : 5570 (java) R 5190 5190 14782 0 -1 4202560 653 0 0 0 14432 0 0 0 20 0 28 0 4039317 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469138317848 140469473628811 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5571] ppid=5190 vsize=13801768 CPUtime=144.16 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5571/stat : 5571 (java) R 5190 5190 14782 0 -1 4202560 525 0 0 0 14416 0 0 0 20 0 28 0 4039317 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469132002104 140469470882143 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5572] ppid=5190 vsize=13801768 CPUtime=144.45 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5572/stat : 5572 (java) R 5190 5190 14782 0 -1 4202560 1866 0 0 0 14445 0 0 0 20 0 28 0 4039317 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469134106264 140469470756007 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5573] ppid=5190 vsize=13801768 CPUtime=144.6 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5573/stat : 5573 (java) R 5190 5190 14782 0 -1 4202560 1634 0 0 0 14460 0 0 0 20 0 28 0 4039317 14133010432 866185 33554432000 4194304 4196468 140727806922304 140469135159096 140469474186007 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
Current children cumulated CPU time (s) 2224.36
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+304.402 s]
/proc/loadavg: 16.08 15.81 15.32 17/300 5576
/proc/meminfo: memFree=24865232/32770624 swapFree=5804/256468
[pid=5190] ppid=5187 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5190/stat : 5190 (xcsp3-exec) S 5187 5190 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4025582 9740288 346 33554432000 4194304 5098028 140729527037504 140729527035608 140620274635388 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 13643776 140729527043215 140729527043424 140729527043424 140729527046123 0
/proc/5190/statm: 2378 346 289 221 0 87 0
[pid=5191] ppid=5190 vsize=13801768 CPUtime=2400.22 cores=0,2,4,6,8,10,12,14
/proc/5191/stat : 5191 (java) S 5190 5190 14782 0 -1 1077944320 110126 0 0 0 239801 221 0 0 20 0 28 0 4025582 14133010432 865549 33554432000 4194304 4196468 140727806922304 140727806904848 140469827739383 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
/proc/5191/statm: 3450442 865549 3295 1 0 3437675 0
[pid=5191/tid=5192] ppid=5190 vsize=13801768 CPUtime=1.48 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5192/stat : 5192 (java) S 5190 5190 14782 0 -1 1077944384 8607 0 0 0 143 5 0 0 20 0 28 0 4025583 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469831980160 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5194] ppid=5190 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5194/stat : 5194 (java) S 5190 5190 14782 0 -1 1077944384 2092 0 0 0 18 15 0 0 20 0 28 0 4025583 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469793020176 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5195] ppid=5190 vsize=13801768 CPUtime=0.35 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5195/stat : 5195 (java) S 5190 5190 14782 0 -1 1077944384 1138 0 0 0 20 15 0 0 20 0 28 0 4025584 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469425523088 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5196] ppid=5190 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5196/stat : 5196 (java) S 5190 5190 14782 0 -1 1077944384 608 0 0 0 18 16 0 0 20 0 28 0 4025584 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469424470544 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5197] ppid=5190 vsize=13801768 CPUtime=0.32 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5197/stat : 5197 (java) S 5190 5190 14782 0 -1 1077944384 1310 0 0 0 17 15 0 0 20 0 28 0 4025584 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469423418000 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5198] ppid=5190 vsize=13801768 CPUtime=0.33 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5198/stat : 5198 (java) S 5190 5190 14782 0 -1 1077944384 870 0 0 0 18 15 0 0 20 0 28 0 4025584 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469422365456 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5199] ppid=5190 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5199/stat : 5199 (java) S 5190 5190 14782 0 -1 1077944384 543 0 0 0 16 12 0 0 20 0 28 0 4025584 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469421312912 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5200] ppid=5190 vsize=13801768 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5200/stat : 5200 (java) S 5190 5190 14782 0 -1 1077944384 1005 0 0 0 14 14 0 0 20 0 28 0 4025584 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469420260368 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5201] ppid=5190 vsize=13801768 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5201/stat : 5201 (java) S 5190 5190 14782 0 -1 1077944384 616 0 0 0 19 15 0 0 20 0 28 0 4025584 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469419207824 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5202] ppid=5190 vsize=13801768 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5202/stat : 5202 (java) S 5190 5190 14782 0 -1 1077944384 4341 0 0 0 7 9 0 0 20 0 28 0 4025586 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469155805168 140469827750530 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5203] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5203/stat : 5203 (java) S 5190 5190 14782 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 4025587 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469154751456 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5204] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5204/stat : 5204 (java) S 5190 5190 14782 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 28 0 4025587 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469153698816 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5205] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5205/stat : 5205 (java) S 5190 5190 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4025591 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469152647376 140469827757979 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5206] ppid=5190 vsize=13801768 CPUtime=3.93 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5206/stat : 5206 (java) S 5190 5190 14782 0 -1 1077944384 13859 0 0 0 391 2 0 0 20 0 28 0 4025591 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469151594992 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5207] ppid=5190 vsize=13801768 CPUtime=3.56 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5207/stat : 5207 (java) S 5190 5190 14782 0 -1 1077944384 13408 0 0 0 354 2 0 0 20 0 28 0 4025591 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469150542448 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5208] ppid=5190 vsize=13801768 CPUtime=3.73 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5208/stat : 5208 (java) S 5190 5190 14782 0 -1 1077944384 10948 0 0 0 373 0 0 0 20 0 28 0 4025591 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469149489904 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 4 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5209] ppid=5190 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5209/stat : 5209 (java) S 5190 5190 14782 0 -1 1077944384 9612 0 0 0 136 3 0 0 20 0 28 0 4025591 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469148437360 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 2 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5210] ppid=5190 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5210/stat : 5210 (java) S 5190 5190 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4025591 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469147384032 140469827749589 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5211] ppid=5190 vsize=13801768 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5211/stat : 5211 (java) S 5190 5190 14782 0 -1 1077944384 998 0 0 0 8 6 0 0 20 0 28 0 4025591 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469146331568 140469827750530 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 5 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5566] ppid=5190 vsize=13801768 CPUtime=165.03 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5566/stat : 5566 (java) R 5190 5190 14782 0 -1 4202560 1742 0 0 0 16503 0 0 0 20 0 28 0 4039317 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469133055648 140469470558488 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5567] ppid=5190 vsize=13801768 CPUtime=166.8 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5567/stat : 5567 (java) R 5190 5190 14782 0 -1 4202560 1566 0 0 0 16680 0 0 0 20 0 28 0 4039317 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469137264792 140469470882119 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5568] ppid=5190 vsize=13801768 CPUtime=165.58 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5568/stat : 5568 (java) R 5190 5190 14782 0 -1 4202560 3293 0 0 0 16557 1 0 0 20 0 28 0 4039317 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469130948576 140469473628811 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5569] ppid=5190 vsize=13801768 CPUtime=166.7 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5569/stat : 5569 (java) R 5190 5190 14782 0 -1 4202560 2970 0 0 0 16670 0 0 0 20 0 28 0 4039317 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469136212376 140469470882089 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5570] ppid=5190 vsize=13801768 CPUtime=166.37 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5570/stat : 5570 (java) R 5190 5190 14782 0 -1 4202560 681 0 0 0 16637 0 0 0 20 0 28 0 4039317 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469138317848 140469473628548 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5571] ppid=5190 vsize=13801768 CPUtime=165.96 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5571/stat : 5571 (java) R 5190 5190 14782 0 -1 4202560 537 0 0 0 16596 0 0 0 20 0 28 0 4039317 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469132001816 140469472005103 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5572] ppid=5190 vsize=13801768 CPUtime=166.49 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5572/stat : 5572 (java) R 5190 5190 14782 0 -1 4202560 2041 0 0 0 16649 0 0 0 20 0 28 0 4039317 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469134106264 140469470882133 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
[pid=5191/tid=5573] ppid=5190 vsize=13801768 CPUtime=166.64 cores=0,2,4,6,8,10,12,14
/proc/5191/task/5573/stat : 5573 (java) R 5190 5190 14782 0 -1 4202560 1781 0 0 0 16664 0 0 0 20 0 28 0 4039317 14133010432 865549 33554432000 4194304 4196468 140727806922304 140469135159096 140469474276898 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6344704 140727806928060 140727806928236 140727806928236 140727806930895 0
Current children cumulated CPU time (s) 2400.22
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 5191 sig 9
??? kill 5190 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 5190 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1552
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1552
# CPU time returned by wait4() is 0.003104
# while last known CPU time is 2400.22
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 304.412
CPU time (s): 2400.22
CPU user time (s): 2398.01
CPU system time (s): 2.21
CPU usage (%): 788.477
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001552
system time used= 0.001552
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 518
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= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.66925 second user time and 4.36886 second system time
The end