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-4246600-1500687989/watcher-4246600-1500687989 -o /tmp/evaluation-result-4246600-1500687989/solver-4246600-1500687989 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8602 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1309166603 HOME/instance-4246600-1500687989.xml
pid=24460
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: 6.96 10.69 13.18 2/262 24463
/proc/meminfo: memFree=21532300/32770624 swapFree=5884/275280
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
[startup+0.100134 s]
/proc/loadavg: 6.96 10.69 13.18 2/262 24463
/proc/meminfo: memFree=21532300/32770624 swapFree=5884/275280
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200367 s]
/proc/loadavg: 6.96 10.69 13.18 2/262 24463
/proc/meminfo: memFree=21532300/32770624 swapFree=5884/275280
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300306 s]
/proc/loadavg: 6.96 10.69 13.18 2/262 24463
/proc/meminfo: memFree=21532300/32770624 swapFree=5884/275280
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700226 s]
/proc/loadavg: 6.96 10.69 13.18 2/262 24463
/proc/meminfo: memFree=21532300/32770624 swapFree=5884/275280
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50076 s]
/proc/loadavg: 6.64 10.56 13.13 3/283 24484
/proc/meminfo: memFree=21188376/32770624 swapFree=5884/275604
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
[pid=24464] ppid=24463 vsize=13267208 CPUtime=3.78 cores=0,2,4,6,8,10,12,14
/proc/24464/stat : 24464 (java) S 24463 24463 8571 0 -1 1077944320 13258 0 0 0 300 78 0 0 20 0 20 0 4066764 13585620992 113726 33554432000 4194304 4196468 140731735005968 140731734988512 140199847276279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
/proc/24464/statm: 3316802 113726 3225 1 0 3304035 0
[pid=24464/tid=24465] ppid=24463 vsize=13267208 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24465/stat : 24465 (java) R 24463 24463 8571 0 -1 4202560 6027 0 0 0 125 6 0 0 20 0 20 0 4066764 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199851514480 140199484981536 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24467] ppid=24463 vsize=13267208 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24467/stat : 24467 (java) S 24463 24463 8571 0 -1 1077944384 95 0 0 0 5 9 0 0 20 0 20 0 4066765 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199446563984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24468] ppid=24463 vsize=13267208 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24468/stat : 24468 (java) S 24463 24463 8571 0 -1 1077944384 79 0 0 0 4 10 0 0 20 0 20 0 4066765 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199445511184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24469] ppid=24463 vsize=13267208 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24469/stat : 24469 (java) S 24463 24463 8571 0 -1 1077944384 76 0 0 0 5 9 0 0 20 0 20 0 4066765 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199444458384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24470] ppid=24463 vsize=13267208 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24470/stat : 24470 (java) S 24463 24463 8571 0 -1 1077944384 82 0 0 0 4 10 0 0 20 0 20 0 4066765 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199443405584 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24471] ppid=24463 vsize=13267208 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24471/stat : 24471 (java) S 24463 24463 8571 0 -1 1077944384 67 0 0 0 5 7 0 0 20 0 20 0 4066765 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199442352784 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24472] ppid=24463 vsize=13267208 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24472/stat : 24472 (java) S 24463 24463 8571 0 -1 1077944384 65 0 0 0 5 7 0 0 20 0 20 0 4066765 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199441299984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24473] ppid=24463 vsize=13267208 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24473/stat : 24473 (java) S 24463 24463 8571 0 -1 1077944384 66 0 0 0 4 6 0 0 20 0 20 0 4066765 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199440247184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24474] ppid=24463 vsize=13267208 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24474/stat : 24474 (java) S 24463 24463 8571 0 -1 1077944384 64 0 0 0 4 8 0 0 20 0 20 0 4066765 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199439194384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24475] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24475/stat : 24475 (java) S 24463 24463 8571 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 4066767 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199309499248 140199847287426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24476] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24476/stat : 24476 (java) S 24463 24463 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4066768 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199308445280 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24477] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24477/stat : 24477 (java) S 24463 24463 8571 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4066768 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199307392384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24478] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24478/stat : 24478 (java) S 24463 24463 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4066772 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199306340688 140199847294875 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24479] ppid=24463 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24479/stat : 24479 (java) S 24463 24463 8571 0 -1 1077944384 1524 0 0 0 28 0 0 0 20 0 20 0 4066772 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199305288048 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24480] ppid=24463 vsize=13267208 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24480/stat : 24480 (java) S 24463 24463 8571 0 -1 1077944384 1359 0 0 0 38 0 0 0 20 0 20 0 4066772 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199304235248 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24481] ppid=24463 vsize=13267208 CPUtime=0.38 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24481/stat : 24481 (java) S 24463 24463 8571 0 -1 1077944384 1076 0 0 0 38 0 0 0 20 0 20 0 4066772 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199303182448 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24482] ppid=24463 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24482/stat : 24482 (java) S 24463 24463 8571 0 -1 1077944384 1172 0 0 0 28 0 0 0 20 0 20 0 4066772 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199302129648 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24483] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24483/stat : 24483 (java) S 24463 24463 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4066772 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199301078112 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24484] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24484/stat : 24484 (java) S 24463 24463 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4066772 13585620992 113726 33554432000 4194304 4196468 140731735005968 140199300025392 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
Current children cumulated CPU time (s) 3.78
Current children cumulated vsize (KiB) 13276720
[startup+3.1009 s]
/proc/loadavg: 6.64 10.56 13.13 3/283 24484
/proc/meminfo: memFree=20682664/32770624 swapFree=5884/275604
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
[pid=24464] ppid=24463 vsize=13267208 CPUtime=5.89 cores=0,2,4,6,8,10,12,14
/proc/24464/stat : 24464 (java) S 24463 24463 8571 0 -1 1077944320 14505 0 0 0 469 120 0 0 20 0 20 0 4066764 13585620992 189405 33554432000 4194304 4196468 140731735005968 140731734988512 140199847276279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
/proc/24464/statm: 3316802 189405 3225 1 0 3304035 0
[pid=24464/tid=24465] ppid=24463 vsize=13267208 CPUtime=2.71 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24465/stat : 24465 (java) R 24463 24463 8571 0 -1 4202560 6290 0 0 0 264 7 0 0 20 0 20 0 4066764 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199851514440 140199488092534 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24467] ppid=24463 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24467/stat : 24467 (java) S 24463 24463 8571 0 -1 1077944384 409 0 0 0 8 14 0 0 20 0 20 0 4066765 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199446563984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24468] ppid=24463 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24468/stat : 24468 (java) S 24463 24463 8571 0 -1 1077944384 136 0 0 0 7 15 0 0 20 0 20 0 4066765 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199445511184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24469] ppid=24463 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24469/stat : 24469 (java) S 24463 24463 8571 0 -1 1077944384 140 0 0 0 8 14 0 0 20 0 20 0 4066765 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199444458384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24470] ppid=24463 vsize=13267208 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24470/stat : 24470 (java) S 24463 24463 8571 0 -1 1077944384 145 0 0 0 7 15 0 0 20 0 20 0 4066765 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199443405584 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24471] ppid=24463 vsize=13267208 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24471/stat : 24471 (java) S 24463 24463 8571 0 -1 1077944384 102 0 0 0 9 11 0 0 20 0 20 0 4066765 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199442352784 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24472] ppid=24463 vsize=13267208 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24472/stat : 24472 (java) S 24463 24463 8571 0 -1 1077944384 102 0 0 0 9 12 0 0 20 0 20 0 4066765 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199441299984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24473] ppid=24463 vsize=13267208 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24473/stat : 24473 (java) S 24463 24463 8571 0 -1 1077944384 99 0 0 0 8 11 0 0 20 0 20 0 4066765 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199440247184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24474] ppid=24463 vsize=13267208 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24474/stat : 24474 (java) S 24463 24463 8571 0 -1 1077944384 105 0 0 0 7 14 0 0 20 0 20 0 4066765 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199439194384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24475] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24475/stat : 24475 (java) S 24463 24463 8571 0 -1 1077944384 509 0 0 0 0 0 0 0 20 0 20 0 4066767 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199309499248 140199847287426 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24476] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24476/stat : 24476 (java) S 24463 24463 8571 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4066768 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199308445280 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24477] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24477/stat : 24477 (java) S 24463 24463 8571 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 4066768 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199307392384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24478] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24478/stat : 24478 (java) S 24463 24463 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4066772 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199306340688 140199847294875 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24479] ppid=24463 vsize=13267208 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24479/stat : 24479 (java) S 24463 24463 8571 0 -1 1077944384 1524 0 0 0 28 0 0 0 20 0 20 0 4066772 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199305288048 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24480] ppid=24463 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24480/stat : 24480 (java) S 24463 24463 8571 0 -1 1077944384 1359 0 0 0 39 0 0 0 20 0 20 0 4066772 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199304235248 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24481] ppid=24463 vsize=13267208 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24481/stat : 24481 (java) S 24463 24463 8571 0 -1 1077944384 1081 0 0 0 39 0 0 0 20 0 20 0 4066772 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199303182448 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24482] ppid=24463 vsize=13267208 CPUtime=0.3 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24482/stat : 24482 (java) S 24463 24463 8571 0 -1 1077944384 1205 0 0 0 30 0 0 0 20 0 20 0 4066772 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199302129648 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24483] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24483/stat : 24483 (java) S 24463 24463 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4066772 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199301078112 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24484] ppid=24463 vsize=13267208 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24484/stat : 24484 (java) S 24463 24463 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4066772 13585620992 189405 33554432000 4194304 4196468 140731735005968 140199300025392 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 57 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 13276720
[startup+6.30093 s]
/proc/loadavg: 6.27 10.42 13.07 10/283 24484
/proc/meminfo: memFree=19940448/32770624 swapFree=5884/275616
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
[pid=24464] ppid=24463 vsize=13269256 CPUtime=12.02 cores=0,2,4,6,8,10,12,14
/proc/24464/stat : 24464 (java) S 24463 24463 8571 0 -1 1077944320 23490 0 0 0 921 281 0 0 20 0 20 0 4066764 13587718144 381692 33554432000 4194304 4196468 140731735005968 140731734988512 140199847276279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
/proc/24464/statm: 3317314 381692 3232 1 0 3304547 0
[pid=24464/tid=24465] ppid=24463 vsize=13269256 CPUtime=5.56 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24465/stat : 24465 (java) R 24463 24463 8571 0 -1 4202560 8852 0 0 0 540 16 0 0 20 0 20 0 4066764 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199851513800 140199484981593 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24467] ppid=24463 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24467/stat : 24467 (java) S 24463 24463 8571 0 -1 1077944384 575 0 0 0 22 33 0 0 20 0 20 0 4066765 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199446563984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24468] ppid=24463 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24468/stat : 24468 (java) S 24463 24463 8571 0 -1 1077944384 355 0 0 0 20 35 0 0 20 0 20 0 4066765 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199445511184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24469] ppid=24463 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24469/stat : 24469 (java) S 24463 24463 8571 0 -1 1077944384 284 0 0 0 22 33 0 0 20 0 20 0 4066765 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199444458384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24470] ppid=24463 vsize=13269256 CPUtime=0.56 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24470/stat : 24470 (java) S 24463 24463 8571 0 -1 1077944384 320 0 0 0 22 34 0 0 20 0 20 0 4066765 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199443405584 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24471] ppid=24463 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24471/stat : 24471 (java) S 24463 24463 8571 0 -1 1077944384 409 0 0 0 23 30 0 0 20 0 20 0 4066765 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199442352784 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24472] ppid=24463 vsize=13269256 CPUtime=0.54 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24472/stat : 24472 (java) S 24463 24463 8571 0 -1 1077944384 342 0 0 0 26 28 0 0 20 0 20 0 4066765 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199441299984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24473] ppid=24463 vsize=13269256 CPUtime=0.53 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24473/stat : 24473 (java) S 24463 24463 8571 0 -1 1077944384 289 0 0 0 22 31 0 0 20 0 20 0 4066765 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199440247184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24474] ppid=24463 vsize=13269256 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24474/stat : 24474 (java) S 24463 24463 8571 0 -1 1077944384 363 0 0 0 22 33 0 0 20 0 20 0 4066765 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199439194384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24475] ppid=24463 vsize=13269256 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24475/stat : 24475 (java) S 24463 24463 8571 0 -1 1077944384 1333 0 0 0 1 0 0 0 20 0 20 0 4066767 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199309499248 140199847287426 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 10 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24476] ppid=24463 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24476/stat : 24476 (java) S 24463 24463 8571 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4066768 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199308445280 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24477] ppid=24463 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24477/stat : 24477 (java) S 24463 24463 8571 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4066768 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199307392384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24478] ppid=24463 vsize=13269256 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24478/stat : 24478 (java) S 24463 24463 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4066772 13587718144 381692 33554432000 4194304 4196468 140731735005968 140199306340688 140199847294875 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
################
# More data... #
################
[pid=24464/tid=24491] ppid=24463 vsize=13801768 CPUtime=177.7 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24491/stat : 24491 (java) R 24463 24463 8571 0 -1 4202560 1714 0 0 0 17770 0 0 0 20 0 28 0 4071140 14133010432 1249283 33554432000 4194304 4196468 140731735005968 140199285695016 140199487527476 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24492] ppid=24463 vsize=13801768 CPUtime=176.55 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24492/stat : 24492 (java) R 24463 24463 8571 0 -1 4202560 1169 0 0 0 17655 0 0 0 20 0 28 0 4071140 14133010432 1249283 33554432000 4194304 4196468 140731735005968 140199284641968 140199487381312 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
Current children cumulated CPU time (s) 1510.66
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 14.96 12.68 13.29 17/300 24702
/proc/meminfo: memFree=26647148/32770624 swapFree=5884/275948
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
[pid=24464] ppid=24463 vsize=13801768 CPUtime=1988.44 cores=0,2,4,6,8,10,12,14
/proc/24464/stat : 24464 (java) S 24463 24463 8571 0 -1 1077944320 119229 0 0 0 197842 1002 0 0 20 0 28 0 4066764 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140731734988512 140199847276279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
/proc/24464/statm: 3450442 1249323 3279 1 0 3437675 0
[pid=24464/tid=24465] ppid=24463 vsize=13801768 CPUtime=35.48 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24465/stat : 24465 (java) S 24463 24463 8571 0 -1 1077944384 17518 0 0 0 3502 46 0 0 20 0 28 0 4066764 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199851517056 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24467] ppid=24463 vsize=13801768 CPUtime=6.3 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24467/stat : 24467 (java) S 24463 24463 8571 0 -1 1077944384 4165 0 0 0 522 108 0 0 20 0 28 0 4066765 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199446563984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24468] ppid=24463 vsize=13801768 CPUtime=6.14 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24468/stat : 24468 (java) S 24463 24463 8571 0 -1 1077944384 4257 0 0 0 480 134 0 0 20 0 28 0 4066765 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199445511184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24469] ppid=24463 vsize=13801768 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24469/stat : 24469 (java) S 24463 24463 8571 0 -1 1077944384 6081 0 0 0 500 125 0 0 20 0 28 0 4066765 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199444458384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24470] ppid=24463 vsize=13801768 CPUtime=6.33 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24470/stat : 24470 (java) S 24463 24463 8571 0 -1 1077944384 5637 0 0 0 513 120 0 0 20 0 28 0 4066765 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199443405584 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24471] ppid=24463 vsize=13801768 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24471/stat : 24471 (java) S 24463 24463 8571 0 -1 1077944384 4869 0 0 0 521 104 0 0 20 0 28 0 4066765 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199442352784 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24472] ppid=24463 vsize=13801768 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24472/stat : 24472 (java) S 24463 24463 8571 0 -1 1077944384 4160 0 0 0 512 116 0 0 20 0 28 0 4066765 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199441299984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24473] ppid=24463 vsize=13801768 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24473/stat : 24473 (java) S 24463 24463 8571 0 -1 1077944384 2424 0 0 0 522 104 0 0 20 0 28 0 4066765 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199440247184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24474] ppid=24463 vsize=13801768 CPUtime=6.32 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24474/stat : 24474 (java) S 24463 24463 8571 0 -1 1077944384 5149 0 0 0 518 114 0 0 20 0 28 0 4066765 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199439194384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24475] ppid=24463 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24475/stat : 24475 (java) S 24463 24463 8571 0 -1 1077944384 8400 0 0 0 194 2 0 0 20 0 28 0 4066767 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199309499248 140199847287426 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 10 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24476] ppid=24463 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24476/stat : 24476 (java) S 24463 24463 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4066768 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199308445280 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24477] ppid=24463 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24477/stat : 24477 (java) S 24463 24463 8571 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 4066768 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199307392384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24478] ppid=24463 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24478/stat : 24478 (java) S 24463 24463 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4066772 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199306340688 140199847294875 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24479] ppid=24463 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24479/stat : 24479 (java) S 24463 24463 8571 0 -1 1077944384 7205 0 0 0 184 1 0 0 20 0 28 0 4066772 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199305288048 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24480] ppid=24463 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24480/stat : 24480 (java) S 24463 24463 8571 0 -1 1077944384 8541 0 0 0 189 1 0 0 20 0 28 0 4066772 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199304235248 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24481] ppid=24463 vsize=13801768 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24481/stat : 24481 (java) S 24463 24463 8571 0 -1 1077944384 10923 0 0 0 227 2 0 0 20 0 28 0 4066772 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199303182448 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 57 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24482] ppid=24463 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24482/stat : 24482 (java) S 24463 24463 8571 0 -1 1077944384 7062 0 0 0 81 1 0 0 20 0 28 0 4066772 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199302129648 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24483] ppid=24463 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24483/stat : 24483 (java) S 24463 24463 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4066772 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199301078112 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24484] ppid=24463 vsize=13801768 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24484/stat : 24484 (java) S 24463 24463 8571 0 -1 1077944384 515 0 0 0 7 8 0 0 20 0 28 0 4066772 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199300025392 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 57 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24485] ppid=24463 vsize=13801768 CPUtime=235.95 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24485/stat : 24485 (java) R 24463 24463 8571 0 -1 4202560 4377 0 0 0 23594 1 0 0 20 0 28 0 4071140 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199292009768 140199490285094 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24486] ppid=24463 vsize=13801768 CPUtime=236.38 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24486/stat : 24486 (java) R 24463 24463 8571 0 -1 4202560 1621 0 0 0 23638 0 0 0 20 0 28 0 4071140 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199290958088 140199487381606 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24487] ppid=24463 vsize=13801768 CPUtime=237.54 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24487/stat : 24487 (java) R 24463 24463 8571 0 -1 4202560 4626 0 0 0 23753 1 0 0 20 0 28 0 4071140 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199289905704 140199487527503 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24488] ppid=24463 vsize=13801768 CPUtime=236.77 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24488/stat : 24488 (java) R 24463 24463 8571 0 -1 4202560 2685 0 0 0 23677 0 0 0 20 0 28 0 4071140 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199288852136 140199487381880 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24489] ppid=24463 vsize=13801768 CPUtime=237.13 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24489/stat : 24489 (java) R 24463 24463 8571 0 -1 4202560 2149 0 0 0 23712 1 0 0 20 0 28 0 4071140 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199287799344 140199487192868 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24490] ppid=24463 vsize=13801768 CPUtime=236.39 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24490/stat : 24490 (java) R 24463 24463 8571 0 -1 4202560 2177 0 0 0 23638 1 0 0 20 0 28 0 4071140 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199286746792 140199487193069 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24491] ppid=24463 vsize=13801768 CPUtime=237.11 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24491/stat : 24491 (java) R 24463 24463 8571 0 -1 4202560 1900 0 0 0 23710 1 0 0 20 0 28 0 4071140 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199285695528 140199487527139 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24492] ppid=24463 vsize=13801768 CPUtime=236.36 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24492/stat : 24492 (java) R 24463 24463 8571 0 -1 4202560 1378 0 0 0 23634 2 0 0 20 0 28 0 4071140 14133010432 1249323 33554432000 4194304 4196468 140731735005968 140199284642216 140199490285091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
Current children cumulated CPU time (s) 1988.44
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+334.001 s]
/proc/loadavg: 15.61 13.21 13.44 17/300 24703
/proc/meminfo: memFree=26672272/32770624 swapFree=5884/276012
[pid=24463] ppid=24460 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24463/stat : 24463 (xcsp3-exec) S 24460 24463 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4066764 9740288 346 33554432000 4194304 5098028 140729080448736 140729080446840 140012291727996 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27377664 140729080456334 140729080456544 140729080456544 140729080459243 0
/proc/24463/statm: 2378 346 289 221 0 87 0
[pid=24464] ppid=24463 vsize=13801768 CPUtime=2400.22 cores=0,2,4,6,8,10,12,14
/proc/24464/stat : 24464 (java) S 24463 24463 8571 0 -1 1077944320 125845 0 0 0 239018 1004 0 0 20 0 28 0 4066764 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140731734988512 140199847276279 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
/proc/24464/statm: 3450442 1249286 3279 1 0 3437675 0
[pid=24464/tid=24465] ppid=24463 vsize=13801768 CPUtime=35.48 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24465/stat : 24465 (java) S 24463 24463 8571 0 -1 1077944384 17518 0 0 0 3502 46 0 0 20 0 28 0 4066764 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199851517056 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24467] ppid=24463 vsize=13801768 CPUtime=6.4 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24467/stat : 24467 (java) S 24463 24463 8571 0 -1 1077944384 4948 0 0 0 531 109 0 0 20 0 28 0 4066765 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199446563984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24468] ppid=24463 vsize=13801768 CPUtime=6.22 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24468/stat : 24468 (java) S 24463 24463 8571 0 -1 1077944384 5793 0 0 0 488 134 0 0 20 0 28 0 4066765 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199445511184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24469] ppid=24463 vsize=13801768 CPUtime=6.33 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24469/stat : 24469 (java) S 24463 24463 8571 0 -1 1077944384 6315 0 0 0 508 125 0 0 20 0 28 0 4066765 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199444458384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24470] ppid=24463 vsize=13801768 CPUtime=6.41 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24470/stat : 24470 (java) S 24463 24463 8571 0 -1 1077944384 5682 0 0 0 521 120 0 0 20 0 28 0 4066765 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199443405584 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24471] ppid=24463 vsize=13801768 CPUtime=6.33 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24471/stat : 24471 (java) S 24463 24463 8571 0 -1 1077944384 5151 0 0 0 529 104 0 0 20 0 28 0 4066765 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199442352784 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24472] ppid=24463 vsize=13801768 CPUtime=6.36 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24472/stat : 24472 (java) S 24463 24463 8571 0 -1 1077944384 4259 0 0 0 520 116 0 0 20 0 28 0 4066765 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199441299984 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24473] ppid=24463 vsize=13801768 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24473/stat : 24473 (java) S 24463 24463 8571 0 -1 1077944384 2492 0 0 0 531 104 0 0 20 0 28 0 4066765 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199440247184 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24474] ppid=24463 vsize=13801768 CPUtime=6.41 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24474/stat : 24474 (java) S 24463 24463 8571 0 -1 1077944384 5303 0 0 0 526 115 0 0 20 0 28 0 4066765 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199439194384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24475] ppid=24463 vsize=13801768 CPUtime=1.96 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24475/stat : 24475 (java) S 24463 24463 8571 0 -1 1077944384 8662 0 0 0 194 2 0 0 20 0 28 0 4066767 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199309499248 140199847287426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 10 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24476] ppid=24463 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24476/stat : 24476 (java) S 24463 24463 8571 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4066768 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199308445280 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24477] ppid=24463 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24477/stat : 24477 (java) S 24463 24463 8571 0 -1 1077944384 114 0 0 0 0 0 0 0 20 0 28 0 4066768 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199307392384 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24478] ppid=24463 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24478/stat : 24478 (java) S 24463 24463 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4066772 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199306340688 140199847294875 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24479] ppid=24463 vsize=13801768 CPUtime=1.85 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24479/stat : 24479 (java) S 24463 24463 8571 0 -1 1077944384 7209 0 0 0 184 1 0 0 20 0 28 0 4066772 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199305288048 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24480] ppid=24463 vsize=13801768 CPUtime=1.9 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24480/stat : 24480 (java) S 24463 24463 8571 0 -1 1077944384 8544 0 0 0 189 1 0 0 20 0 28 0 4066772 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199304235248 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24481] ppid=24463 vsize=13801768 CPUtime=2.29 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24481/stat : 24481 (java) S 24463 24463 8571 0 -1 1077944384 10929 0 0 0 227 2 0 0 20 0 28 0 4066772 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199303182448 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 57 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24482] ppid=24463 vsize=13801768 CPUtime=0.82 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24482/stat : 24482 (java) S 24463 24463 8571 0 -1 1077944384 7067 0 0 0 81 1 0 0 20 0 28 0 4066772 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199302129648 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 51 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24483] ppid=24463 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24483/stat : 24483 (java) S 24463 24463 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4066772 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199301078112 140199847286485 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24484] ppid=24463 vsize=13801768 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24484/stat : 24484 (java) S 24463 24463 8571 0 -1 1077944384 542 0 0 0 8 10 0 0 20 0 28 0 4066772 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199300025392 140199847287426 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 57 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24485] ppid=24463 vsize=13801768 CPUtime=287.41 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24485/stat : 24485 (java) R 24463 24463 8571 0 -1 4202560 4724 0 0 0 28740 1 0 0 20 0 28 0 4071140 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199292009656 140199487381646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24486] ppid=24463 vsize=13801768 CPUtime=287.98 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24486/stat : 24486 (java) R 24463 24463 8571 0 -1 4202560 2153 0 0 0 28797 1 0 0 20 0 28 0 4071140 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199290960512 140199487380844 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24487] ppid=24463 vsize=13801768 CPUtime=289.12 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24487/stat : 24487 (java) R 24463 24463 8571 0 -1 4202560 5291 0 0 0 28911 1 0 0 20 0 28 0 4071140 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199289905192 140199487527616 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24488] ppid=24463 vsize=13801768 CPUtime=287.64 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24488/stat : 24488 (java) R 24463 24463 8571 0 -1 4202560 3208 0 0 0 28764 0 0 0 20 0 28 0 4071140 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199288852504 140199487379121 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24489] ppid=24463 vsize=13801768 CPUtime=288.7 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24489/stat : 24489 (java) R 24463 24463 8571 0 -1 4202560 2369 0 0 0 28869 1 0 0 20 0 28 0 4071140 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199287799344 140199487527616 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24490] ppid=24463 vsize=13801768 CPUtime=287.97 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24490/stat : 24490 (java) R 24463 24463 8571 0 -1 4202560 2636 0 0 0 28796 1 0 0 20 0 28 0 4071140 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199286746904 140199490285091 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24491] ppid=24463 vsize=13801768 CPUtime=288.01 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24491/stat : 24491 (java) R 24463 24463 8571 0 -1 4202560 2141 0 0 0 28800 1 0 0 20 0 28 0 4071140 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199285695128 140199487381525 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 0
[pid=24464/tid=24492] ppid=24463 vsize=13801768 CPUtime=287.9 cores=0,2,4,6,8,10,12,14
/proc/24464/task/24492/stat : 24492 (java) R 24463 24463 8571 0 -1 4202560 1499 0 0 0 28788 2 0 0 20 0 28 0 4071140 14133010432 1249286 33554432000 4194304 4196468 140731735005968 140199284642328 140199487528335 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36007936 140731735012540 140731735012716 140731735012716 140731735015375 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 24464 sig 9
??? kill 24463 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 24463 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2028
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1014
# CPU time returned by wait4() is 0.003042
# 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): 334.012
CPU time (s): 2400.22
CPU user time (s): 2390.18
CPU system time (s): 10.04
CPU usage (%): 718.603
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002028
system time used= 0.001014
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= 2
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.68228 second user time and 4.87026 second system time
The end