runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15261 MiB free)
memory of node 1: 16384 MiB (15531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400564-1568673332/watcher-4400564-1568673332 -o /tmp/evaluation-result-4400564-1568673332/solver-4400564-1568673332 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node103-1568673273-32545 --watchdog 2560 xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 12000 -tdir HOME -seed 516042084 HOME/instance-4400564-1568673332.xml
running on 4 cores: 1,3,5,7
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=32570, runsolver pid=32565
[startup+0.100138 s]*
/proc/loadavg: 0.00 1.04 2.26 1/201 32577
/proc/meminfo: memFree=31532472/32770624 swapFree=66997368/67108860
[pid=32570] ppid=32565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (xcsp3-exec) S 32565 32570 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443586583 115843072 362 33554432000 4194304 5098028 140725851233472 140725851231576 139723468386940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 1 0 0 7196144 7232144 33878016 140725851239291 140725851239533 140725851239533 140725851242442 0
/proc/32570/statm: 28282 362 304 221 0 87 0
[pid=32576] ppid=32570 vsize=296 memory=4 CPUtime=0 cores=1,3,5,7
/proc/32576/stat : 32576 (java) D 32570 32570 32513 0 -1 1077936128 92 0 0 0 0 0 0 0 20 0 1 0 443586591 303104 1 33554432000 4194304 4196468 140734755052272 140734755049544 139948118259399 0 0 4096 0 18446744072101654052 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
/proc/32576/statm: 74 1 0 1 0 38 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 113424 KiB
Current children cumulated memory: 1452 KiB
[startup+0.209641 s]*
/proc/loadavg: 0.00 1.04 2.26 1/201 32577
/proc/meminfo: memFree=31532472/32770624 swapFree=66997368/67108860
[pid=32570] ppid=32565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (xcsp3-exec) S 32565 32570 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443586583 115843072 362 33554432000 4194304 5098028 140725851233472 140725851231576 139723468386940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 1 0 0 7196144 7232144 33878016 140725851239291 140725851239533 140725851239533 140725851242442 0
/proc/32570/statm: 28282 362 304 221 0 87 0
[pid=32576] ppid=32570 vsize=98704 memory=4580 CPUtime=0 cores=1,3,5,7
/proc/32576/stat : 32576 (java) S 32570 32570 32513 0 -1 1077944320 1298 0 0 0 0 0 0 0 20 0 2 0 443586591 101072896 1145 33554432000 4194304 4196468 140734755052272 140734755034816 139948115984119 0 0 4096 0 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
/proc/32576/statm: 24676 1145 847 1 0 16800 0
[pid=32576/tid=32579] ppid=32570 vsize=98704 memory=7883960649037381690 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32579/stat : 32579 (java) D 32570 32570 32513 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 2 0 443586605 101072896 1145 33554432000 4194304 4196468 140734755052272 139948120221024 139948108663341 0 0 4096 0 18446744072101654052 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 211832 KiB
Current children cumulated memory: 6028 KiB
[startup+0.309435 s]*
/proc/loadavg: 0.00 1.04 2.26 1/203 32579
/proc/meminfo: memFree=31529836/32770624 swapFree=66997368/67108860
[pid=32570] ppid=32565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (xcsp3-exec) S 32565 32570 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443586583 115843072 362 33554432000 4194304 5098028 140725851233472 140725851231576 139723468386940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 1 0 0 7196144 7232144 33878016 140725851239291 140725851239533 140725851239533 140725851242442 0
/proc/32570/statm: 28282 362 304 221 0 87 0
[pid=32576] ppid=32570 vsize=111596 memory=5564 CPUtime=0 cores=1,3,5,7
/proc/32576/stat : 32576 (java) S 32570 32570 32513 0 -1 1077944320 1660 0 0 0 0 0 0 0 20 0 2 0 443586591 114274304 1391 33554432000 4194304 4196468 140734755052272 140734755034816 139948115984119 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
/proc/32576/statm: 27899 1391 1052 1 0 16810 0
[pid=32576/tid=32579] ppid=32570 vsize=111596 memory=7883960649037381690 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32579/stat : 32579 (java) D 32570 32570 32513 0 -1 1077944384 425 0 0 0 0 0 0 0 20 0 2 0 443586605 114274304 1391 33554432000 4194304 4196468 140734755052272 139948120223976 139948108662133 0 4 0 16784584 18446744072101654052 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 224724 KiB
Current children cumulated memory: 7012 KiB
[startup+0.70056 s]
/proc/loadavg: 0.00 1.04 2.26 2/217 32593
/proc/meminfo: memFree=31509444/32770624 swapFree=66997368/67108860
[pid=32570] ppid=32565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (xcsp3-exec) S 32565 32570 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443586583 115843072 362 33554432000 4194304 5098028 140725851233472 140725851231576 139723468386940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 1 0 0 7196144 7232144 33878016 140725851239291 140725851239533 140725851239533 140725851242442 0
/proc/32570/statm: 28282 362 304 221 0 87 0
[pid=32576] ppid=32570 vsize=14743728 memory=20428 CPUtime=0.05 cores=1,3,5,7
/proc/32576/stat : 32576 (java) S 32570 32570 32513 0 -1 1077944320 3942 0 0 0 4 1 0 0 20 0 9 0 443586591 15097577472 5107 33554432000 4194304 4196468 140734755052272 140734755034816 139948115984119 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
/proc/32576/statm: 3685932 5107 2179 1 0 3648473 0
[pid=32576/tid=32579] ppid=32570 vsize=14743728 memory=-6237260532469557610 CPUtime=0.03 cores=1,3,5,7
/proc/32576/task/32579/stat : 32579 (java) D 32570 32570 32513 0 -1 1077944384 2646 0 0 0 3 0 0 0 20 0 9 0 443586605 15097577472 5107 33554432000 4194304 4196468 140734755052272 139948120219160 139948108662133 0 4 0 16800971 18446744072101654052 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32580] ppid=32570 vsize=14743728 memory=-3123010188551861097 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32580/stat : 32580 (java) S 32570 32570 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443586623 15097577472 5107 33554432000 4194304 4196468 140734755052272 139947707829392 139948115994325 0 4 0 16800971 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32581] ppid=32570 vsize=14743728 memory=676 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32581/stat : 32581 (java) S 32570 32570 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443586623 15097577472 5107 33554432000 4194304 4196468 140734755052272 139947706776592 139948115994325 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32582] ppid=32570 vsize=14743728 memory=1060 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32582/stat : 32582 (java) S 32570 32570 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443586623 15097577472 5107 33554432000 4194304 4196468 140734755052272 139947705723792 139948115994325 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32583] ppid=32570 vsize=14743728 memory=1548 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32583/stat : 32583 (java) S 32570 32570 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443586623 15097577472 5107 33554432000 4194304 4196468 140734755052272 139947704670992 139948115994325 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32589] ppid=32570 vsize=14743728 memory=8560 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32589/stat : 32589 (java) S 32570 32570 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443586629 15097577472 5107 33554432000 4194304 4196468 140734755052272 139946989914480 139948115995266 0 0 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32591] ppid=32570 vsize=14743728 memory=1668 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32591/stat : 32591 (java) S 32570 32570 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 443586630 15097577472 5107 33554432000 4194304 4196468 140734755052272 139946988860448 139948115994325 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32593] ppid=32570 vsize=14743728 memory=1112 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32593/stat : 32593 (java) S 32570 32570 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 443586630 15097577472 5107 33554432000 4194304 4196468 140734755052272 139946987807600 139948115994325 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 14856856 KiB
Current children cumulated memory: 21876 KiB
[startup+1.50114 s]
/proc/loadavg: 0.00 1.04 2.26 2/229 32605
/proc/meminfo: memFree=31471300/32770624 swapFree=66997368/67108860
[pid=32570] ppid=32565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (xcsp3-exec) S 32565 32570 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443586583 115843072 362 33554432000 4194304 5098028 140725851233472 140725851231576 139723468386940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 1 0 0 7196144 7232144 33878016 140725851239291 140725851239533 140725851239533 140725851242442 0
/proc/32570/statm: 28282 362 304 221 0 87 0
[pid=32576] ppid=32570 vsize=15151156 memory=92588 CPUtime=1.79 cores=1,3,5,7
/proc/32576/stat : 32576 (java) S 32570 32570 32513 0 -1 1077944320 15280 0 0 0 173 6 0 0 20 0 15 0 443586591 15514783744 23147 33554432000 4194304 4196468 140734755052272 140734755034816 139948115984119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
/proc/32576/statm: 3787789 23147 3457 1 0 3748889 0
[pid=32576/tid=32579] ppid=32570 vsize=15151156 memory=281095811977364 CPUtime=0.7 cores=1,3,5,7
/proc/32576/task/32579/stat : 32579 (java) R 32570 32570 32513 0 -1 4202560 8712 0 0 0 66 4 0 0 20 0 15 0 443586605 15514783744 23147 33554432000 4194304 4196468 140734755052272 139948120220240 139947752763635 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32580] ppid=32570 vsize=15151156 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32580/stat : 32580 (java) S 32570 32570 32513 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 443586623 15514783744 23147 33554432000 4194304 4196468 140734755052272 139947707829392 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32581] ppid=32570 vsize=15151156 memory=4638778411587027046 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32581/stat : 32581 (java) S 32570 32570 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443586623 15514783744 23147 33554432000 4194304 4196468 140734755052272 139947706776592 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32582] ppid=32570 vsize=15151156 memory=281095811713744 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32582/stat : 32582 (java) S 32570 32570 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443586623 15514783744 23147 33554432000 4194304 4196468 140734755052272 139947705723792 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32583] ppid=32570 vsize=15151156 memory=7013628995621708902 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32583/stat : 32583 (java) S 32570 32570 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443586623 15514783744 23147 33554432000 4194304 4196468 140734755052272 139947704670992 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32589] ppid=32570 vsize=15151156 memory=2012 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32589/stat : 32589 (java) S 32570 32570 32513 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 443586629 15514783744 23147 33554432000 4194304 4196468 140734755052272 139946989914480 139948115995266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32591] ppid=32570 vsize=15151156 memory=1388 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32591/stat : 32591 (java) S 32570 32570 32513 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 443586630 15514783744 23147 33554432000 4194304 4196468 140734755052272 139946988860448 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32593] ppid=32570 vsize=15151156 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32593/stat : 32593 (java) S 32570 32570 32513 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 443586630 15514783744 23147 33554432000 4194304 4196468 140734755052272 139946987807600 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32599] ppid=32570 vsize=15151156 memory=6297835844906604903 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32599/stat : 32599 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443586653 15514783744 23147 33554432000 4194304 4196468 140734755052272 139946986755920 139948116002715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32600] ppid=32570 vsize=15151156 memory=6081666446975855464 CPUtime=0.32 cores=1,3,5,7
/proc/32576/task/32600/stat : 32600 (java) R 32570 32570 32513 0 -1 4202560 1259 0 0 0 32 0 0 0 20 0 15 0 443586653 15514783744 23147 33554432000 4194304 4196468 140734755052272 139946985685904 139948099467444 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32601] ppid=32570 vsize=15151156 memory=7516877558933116245 CPUtime=0.3 cores=1,3,5,7
/proc/32576/task/32601/stat : 32601 (java) R 32570 32570 32513 0 -1 4202560 1408 0 0 0 30 0 0 0 20 0 15 0 443586654 15514783744 23147 33554432000 4194304 4196468 140734755052272 139946984635584 139948099976971 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32602] ppid=32570 vsize=15151156 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/32576/task/32602/stat : 32602 (java) R 32570 32570 32513 0 -1 4202560 2594 0 0 0 44 0 0 0 20 0 15 0 443586654 15514783744 23147 33554432000 4194304 4196468 140734755052272 139946983594432 139948094001988 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32603] ppid=32570 vsize=15151156 memory=281095812145280 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32603/stat : 32603 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 443586654 15514783744 23147 33554432000 4194304 4196468 140734755052272 139946982546144 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32605] ppid=32570 vsize=15151156 memory=288230621803970871 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32605/stat : 32605 (java) S 32570 32570 32513 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 443586665 15514783744 23147 33554432000 4194304 4196468 140734755052272 139946981493424 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
Current children cumulated CPU time: 1.79 s
Current children cumulated vsize: 15264284 KiB
Current children cumulated memory: 94036 KiB
[startup+3.11069 s]
/proc/loadavg: 0.24 1.08 2.26 15/237 32613
/proc/meminfo: memFree=31051824/32770624 swapFree=66997368/67108860
[pid=32570] ppid=32565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (xcsp3-exec) S 32565 32570 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443586583 115843072 362 33554432000 4194304 5098028 140725851233472 140725851231576 139723468386940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 1 0 0 7196144 7232144 33878016 140725851239291 140725851239533 140725851239533 140725851242442 0
/proc/32570/statm: 28282 362 304 221 0 87 0
[pid=32576] ppid=32570 vsize=15419460 memory=221712 CPUtime=7.86 cores=1,3,5,7
/proc/32576/stat : 32576 (java) S 32570 32570 32513 0 -1 1077944320 25844 0 0 0 777 9 0 0 20 0 19 0 443586591 15789527040 55428 33554432000 4194304 4196468 140734755052272 140734755034816 139948115984119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
/proc/32576/statm: 3854865 55428 3491 1 0 3815965 0
[pid=32576/tid=32579] ppid=32570 vsize=15419460 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/32576/task/32579/stat : 32579 (java) S 32570 32570 32513 0 -1 1077944384 10371 0 0 0 106 6 0 0 20 0 19 0 443586605 15789527040 55428 33554432000 4194304 4196468 140734755052272 139948120224896 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32580] ppid=32570 vsize=15419460 memory=5068 CPUtime=0.01 cores=1,3,5,7
/proc/32576/task/32580/stat : 32580 (java) S 32570 32570 32513 0 -1 1077944384 42 0 0 0 1 0 0 0 20 0 19 0 443586623 15789527040 55428 33554432000 4194304 4196468 140734755052272 139947707829392 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32581] ppid=32570 vsize=15419460 memory=2081 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32581/stat : 32581 (java) S 32570 32570 32513 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 19 0 443586623 15789527040 55428 33554432000 4194304 4196468 140734755052272 139947706776592 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32582] ppid=32570 vsize=15419460 memory=281095812125984 CPUtime=0.01 cores=1,3,5,7
/proc/32576/task/32582/stat : 32582 (java) S 32570 32570 32513 0 -1 1077944384 39 0 0 0 1 0 0 0 20 0 19 0 443586623 15789527040 55428 33554432000 4194304 4196468 140734755052272 139947705723792 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32583] ppid=32570 vsize=15419460 memory=288230621803970871 CPUtime=0.01 cores=1,3,5,7
/proc/32576/task/32583/stat : 32583 (java) S 32570 32570 32513 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 19 0 443586623 15789527040 55428 33554432000 4194304 4196468 140734755052272 139947704670992 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32589] ppid=32570 vsize=15419460 memory=14410423571057304 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32589/stat : 32589 (java) S 32570 32570 32513 0 -1 1077944384 169 0 0 0 0 0 0 0 20 0 19 0 443586629 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946989914480 139948115995266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32591] ppid=32570 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32591/stat : 32591 (java) S 32570 32570 32513 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 19 0 443586630 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946988860448 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32593] ppid=32570 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32593/stat : 32593 (java) S 32570 32570 32513 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 19 0 443586630 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946987807600 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32599] ppid=32570 vsize=15419460 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32599/stat : 32599 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443586653 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946986755920 139948116002715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32600] ppid=32570 vsize=15419460 memory=0 CPUtime=1.52 cores=1,3,5,7
/proc/32576/task/32600/stat : 32600 (java) R 32570 32570 32513 0 -1 4202560 5098 0 0 0 152 0 0 0 20 0 19 0 443586653 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946985690848 139948097528319 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32601] ppid=32570 vsize=15419460 memory=0 CPUtime=1.5 cores=1,3,5,7
/proc/32576/task/32601/stat : 32601 (java) R 32570 32570 32513 0 -1 1077944384 4302 0 0 0 149 1 0 0 20 0 19 0 443586654 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946984641216 139948115994325 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32602] ppid=32570 vsize=15419460 memory=0 CPUtime=0.69 cores=1,3,5,7
/proc/32576/task/32602/stat : 32602 (java) R 32570 32570 32513 0 -1 4202560 3661 0 0 0 69 0 0 0 20 0 19 0 443586654 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946983593744 139948094793087 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32603] ppid=32570 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32603/stat : 32603 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443586654 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946982546144 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32605] ppid=32570 vsize=15419460 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32605/stat : 32605 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443586665 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946981493424 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32606] ppid=32570 vsize=15419460 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/32576/task/32606/stat : 32606 (java) R 32570 32570 32513 0 -1 4202560 319 0 0 0 76 0 0 0 20 0 19 0 443586777 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946970175440 139948101117584 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32607] ppid=32570 vsize=15419460 memory=4627829655977429107 CPUtime=0.77 cores=1,3,5,7
/proc/32576/task/32607/stat : 32607 (java) R 32570 32570 32513 0 -1 4202560 81 0 0 0 77 0 0 0 20 0 19 0 443586777 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946969123968 139947760718605 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32608] ppid=32570 vsize=15419460 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/32576/task/32608/stat : 32608 (java) R 32570 32570 32513 0 -1 4202560 49 0 0 0 86 0 0 0 20 0 19 0 443586777 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946968071208 139947760718643 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32609] ppid=32570 vsize=15419460 memory=0 CPUtime=0.54 cores=1,3,5,7
/proc/32576/task/32609/stat : 32609 (java) R 32570 32570 32513 0 -1 4202560 271 0 0 0 54 0 0 0 20 0 19 0 443586777 15789527040 55428 33554432000 4194304 4196468 140734755052272 139946967019144 139947760718743 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
Current children cumulated CPU time: 7.86 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 223160 KiB
[startup+6.30113 s]
/proc/loadavg: 0.24 1.08 2.26 12/237 32614
/proc/meminfo: memFree=30828048/32770624 swapFree=66997368/67108860
[pid=32570] ppid=32565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (xcsp3-exec) S 32565 32570 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443586583 115843072 362 33554432000 4194304 5098028 140725851233472 140725851231576 139723468386940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 1 0 0 7196144 7232144 33878016 140725851239291 140725851239533 140725851239533 140725851242442 0
/proc/32570/statm: 28282 362 304 221 0 87 0
[pid=32576] ppid=32570 vsize=15419460 memory=224256 CPUtime=20.54 cores=1,3,5,7
/proc/32576/stat : 32576 (java) S 32570 32570 32513 0 -1 1077944320 28087 0 0 0 2043 11 0 0 20 0 19 0 443586591 15789527040 56064 33554432000 4194304 4196468 140734755052272 140734755034816 139948115984119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
################
# More data... #
################
/proc/32576/stat : 32576 (java) S 32570 32570 32513 0 -1 1077944320 81720 0 0 0 207327 42 0 0 20 0 19 0 443586591 15789527040 52215 33554432000 4194304 4196468 140734755052272 140734755034816 139948115984119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
/proc/32576/statm: 3854865 52215 3527 1 0 3815965 0
[pid=32576/tid=32579] ppid=32570 vsize=15419460 memory=206812 CPUtime=1.12 cores=1,3,5,7
/proc/32576/task/32579/stat : 32579 (java) S 32570 32570 32513 0 -1 1077944384 10371 0 0 0 106 6 0 0 20 0 19 0 443586605 15789527040 52215 33554432000 4194304 4196468 140734755052272 139948120224896 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32580] ppid=32570 vsize=15419460 memory=206812 CPUtime=0.32 cores=1,3,5,7
/proc/32576/task/32580/stat : 32580 (java) S 32570 32570 32513 0 -1 1077944384 3115 0 0 0 28 4 0 0 20 0 19 0 443586623 15789527040 52215 33554432000 4194304 4196468 140734755052272 139947707829392 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32581] ppid=32570 vsize=15419460 memory=208860 CPUtime=0.31 cores=1,3,5,7
/proc/32576/task/32581/stat : 32581 (java) S 32570 32570 32513 0 -1 1077944384 1171 0 0 0 27 4 0 0 20 0 19 0 443586623 15789527040 52215 33554432000 4194304 4196468 140734755052272 139947706776592 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32582] ppid=32570 vsize=15419460 memory=208860 CPUtime=0.31 cores=1,3,5,7
/proc/32576/task/32582/stat : 32582 (java) S 32570 32570 32513 0 -1 1077944384 1816 0 0 0 27 4 0 0 20 0 19 0 443586623 15789527040 52215 33554432000 4194304 4196468 140734755052272 139947705723792 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32583] ppid=32570 vsize=15419460 memory=1448 CPUtime=0.31 cores=1,3,5,7
/proc/32576/task/32583/stat : 32583 (java) S 32570 32570 32513 0 -1 1077944384 1967 0 0 0 27 4 0 0 20 0 19 0 443586623 15789527040 52215 33554432000 4194304 4196468 140734755052272 139947704670992 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32589] ppid=32570 vsize=15419460 memory=206812 CPUtime=0.26 cores=1,3,5,7
/proc/32576/task/32589/stat : 32589 (java) S 32570 32570 32513 0 -1 1077944384 1828 0 0 0 11 15 0 0 20 0 19 0 443586629 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946989914480 139948115995266 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32591] ppid=32570 vsize=15419460 memory=932 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32591/stat : 32591 (java) S 32570 32570 32513 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 443586630 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946988860512 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32593] ppid=32570 vsize=15419460 memory=3768 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32593/stat : 32593 (java) S 32570 32570 32513 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 443586630 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946987807616 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32599] ppid=32570 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32599/stat : 32599 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443586653 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946986755920 139948116002715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32600] ppid=32570 vsize=15419460 memory=206812 CPUtime=3.48 cores=1,3,5,7
/proc/32576/task/32600/stat : 32600 (java) S 32570 32570 32513 0 -1 1077944384 19309 0 0 0 347 1 0 0 20 0 19 0 443586653 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946985704304 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32601] ppid=32570 vsize=15419460 memory=206812 CPUtime=3.62 cores=1,3,5,7
/proc/32576/task/32601/stat : 32601 (java) S 32570 32570 32513 0 -1 1077944384 18907 0 0 0 361 1 0 0 20 0 19 0 443586654 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946984651504 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32602] ppid=32570 vsize=15419460 memory=1448 CPUtime=0.96 cores=1,3,5,7
/proc/32576/task/32602/stat : 32602 (java) S 32570 32570 32513 0 -1 1077944384 11896 0 0 0 95 1 0 0 20 0 19 0 443586654 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946983598704 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32603] ppid=32570 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32603/stat : 32603 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443586654 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946982546144 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32605] ppid=32570 vsize=15419460 memory=206812 CPUtime=0.11 cores=1,3,5,7
/proc/32576/task/32605/stat : 32605 (java) S 32570 32570 32513 0 -1 1077944384 480 0 0 0 0 11 0 0 20 0 19 0 443586665 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946981493424 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32606] ppid=32570 vsize=15419460 memory=3472328296227679313 CPUtime=516.28 cores=1,3,5,7
/proc/32576/task/32606/stat : 32606 (java) R 32570 32570 32513 0 -1 4202560 1696 0 0 0 51628 0 0 0 20 0 19 0 443586777 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946970175728 139947761467883 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32607] ppid=32570 vsize=15419460 memory=3548514 CPUtime=515.25 cores=1,3,5,7
/proc/32576/task/32607/stat : 32607 (java) R 32570 32570 32513 0 -1 4202560 4097 0 0 0 51525 0 0 0 20 0 19 0 443586777 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946969126800 139947763467594 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32608] ppid=32570 vsize=15419460 memory=1448 CPUtime=515.22 cores=1,3,5,7
/proc/32576/task/32608/stat : 32608 (java) R 32570 32570 32513 0 -1 4202560 1521 0 0 0 51522 0 0 0 20 0 19 0 443586777 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946968071416 139947761467701 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32609] ppid=32570 vsize=15419460 memory=206812 CPUtime=516 cores=1,3,5,7
/proc/32576/task/32609/stat : 32609 (java) R 32570 32570 32513 0 -1 4202560 2173 0 0 0 51600 0 0 0 20 0 19 0 443586777 15789527040 52215 33554432000 4194304 4196468 140734755052272 139946967019800 139947761467787 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
Current children cumulated CPU time: 2073.69 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 210308 KiB
[startup+582.301 s]
/proc/loadavg: 8.24 7.29 5.10 9/238 32666
/proc/meminfo: memFree=27811420/32770624 swapFree=66997368/67108860
[pid=32570] ppid=32565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (xcsp3-exec) S 32565 32570 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443586583 115843072 362 33554432000 4194304 5098028 140725851233472 140725851231576 139723468386940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 1 0 0 7196144 7232144 33878016 140725851239291 140725851239533 140725851239533 140725851242442 0
/proc/32570/statm: 28282 362 304 221 0 87 0
[pid=32576] ppid=32570 vsize=15419460 memory=215976 CPUtime=2312.32 cores=1,3,5,7
/proc/32576/stat : 32576 (java) S 32570 32570 32513 0 -1 1077944320 82463 0 0 0 231185 47 0 0 20 0 19 0 443586591 15789527040 53994 33554432000 4194304 4196468 140734755052272 140734755034816 139948115984119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
/proc/32576/statm: 3854865 53994 3527 1 0 3815965 0
[pid=32576/tid=32579] ppid=32570 vsize=15419460 memory=215976 CPUtime=1.12 cores=1,3,5,7
/proc/32576/task/32579/stat : 32579 (java) S 32570 32570 32513 0 -1 1077944384 10371 0 0 0 106 6 0 0 20 0 19 0 443586605 15789527040 53994 33554432000 4194304 4196468 140734755052272 139948120224896 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32580] ppid=32570 vsize=15419460 memory=1448 CPUtime=0.35 cores=1,3,5,7
/proc/32576/task/32580/stat : 32580 (java) S 32570 32570 32513 0 -1 1077944384 3158 0 0 0 31 4 0 0 20 0 19 0 443586623 15789527040 53994 33554432000 4194304 4196468 140734755052272 139947707829392 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32581] ppid=32570 vsize=15419460 memory=214888 CPUtime=0.34 cores=1,3,5,7
/proc/32576/task/32581/stat : 32581 (java) S 32570 32570 32513 0 -1 1077944384 1173 0 0 0 30 4 0 0 20 0 19 0 443586623 15789527040 53994 33554432000 4194304 4196468 140734755052272 139947706776592 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32582] ppid=32570 vsize=15419460 memory=214888 CPUtime=0.34 cores=1,3,5,7
/proc/32576/task/32582/stat : 32582 (java) S 32570 32570 32513 0 -1 1077944384 1823 0 0 0 30 4 0 0 20 0 19 0 443586623 15789527040 53994 33554432000 4194304 4196468 140734755052272 139947705723792 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32583] ppid=32570 vsize=15419460 memory=1448 CPUtime=0.35 cores=1,3,5,7
/proc/32576/task/32583/stat : 32583 (java) S 32570 32570 32513 0 -1 1077944384 1976 0 0 0 30 5 0 0 20 0 19 0 443586623 15789527040 53994 33554432000 4194304 4196468 140734755052272 139947704670992 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32589] ppid=32570 vsize=15419460 memory=214888 CPUtime=0.33 cores=1,3,5,7
/proc/32576/task/32589/stat : 32589 (java) S 32570 32570 32513 0 -1 1077944384 1846 0 0 0 14 19 0 0 20 0 19 0 443586629 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946989914480 139948115995266 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32591] ppid=32570 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32591/stat : 32591 (java) S 32570 32570 32513 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 443586630 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946988860512 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32593] ppid=32570 vsize=15419460 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32593/stat : 32593 (java) S 32570 32570 32513 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 443586630 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946987807616 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32599] ppid=32570 vsize=15419460 memory=216488 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32599/stat : 32599 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443586653 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946986755920 139948116002715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32600] ppid=32570 vsize=15419460 memory=1448 CPUtime=3.53 cores=1,3,5,7
/proc/32576/task/32600/stat : 32600 (java) S 32570 32570 32513 0 -1 1077944384 19450 0 0 0 352 1 0 0 20 0 19 0 443586653 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946985704304 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32601] ppid=32570 vsize=15419460 memory=217004 CPUtime=3.68 cores=1,3,5,7
/proc/32576/task/32601/stat : 32601 (java) S 32570 32570 32513 0 -1 1077944384 19049 0 0 0 367 1 0 0 20 0 19 0 443586654 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946984651504 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32602] ppid=32570 vsize=15419460 memory=500 CPUtime=0.96 cores=1,3,5,7
/proc/32576/task/32602/stat : 32602 (java) S 32570 32570 32513 0 -1 1077944384 12090 0 0 0 95 1 0 0 20 0 19 0 443586654 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946983598704 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32603] ppid=32570 vsize=15419460 memory=217004 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32603/stat : 32603 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443586654 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946982546144 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32605] ppid=32570 vsize=15419460 memory=1448 CPUtime=0.13 cores=1,3,5,7
/proc/32576/task/32605/stat : 32605 (java) S 32570 32570 32513 0 -1 1077944384 493 0 0 0 0 13 0 0 20 0 19 0 443586665 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946981493424 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32606] ppid=32570 vsize=15419460 memory=217004 CPUtime=575.86 cores=1,3,5,7
/proc/32576/task/32606/stat : 32606 (java) R 32570 32570 32513 0 -1 4202560 1752 0 0 0 57586 0 0 0 20 0 19 0 443586777 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946970176032 139947760633555 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32607] ppid=32570 vsize=15419460 memory=1448 CPUtime=574.96 cores=1,3,5,7
/proc/32576/task/32607/stat : 32607 (java) R 32570 32570 32513 0 -1 4202560 4143 0 0 0 57496 0 0 0 20 0 19 0 443586777 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946969126800 139947763467594 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32608] ppid=32570 vsize=15419460 memory=1448 CPUtime=574.8 cores=1,3,5,7
/proc/32576/task/32608/stat : 32608 (java) R 32570 32570 32513 0 -1 4202560 1559 0 0 0 57480 0 0 0 20 0 19 0 443586777 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946968071576 139947760633555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32609] ppid=32570 vsize=15419460 memory=1448 CPUtime=575.43 cores=1,3,5,7
/proc/32576/task/32609/stat : 32609 (java) R 32570 32570 32513 0 -1 4202560 2207 0 0 0 57543 0 0 0 20 0 19 0 443586777 15789527040 53994 33554432000 4194304 4196468 140734755052272 139946967019640 139947760633441 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
Current children cumulated CPU time: 2312.32 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 217424 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+604.401 s]
/proc/loadavg: 8.23 7.35 5.16 9/239 32669
/proc/meminfo: memFree=27808160/32770624 swapFree=66997368/67108860
[pid=32570] ppid=32565 vsize=113128 memory=1448 CPUtime=0 cores=1,3,5,7
/proc/32570/stat : 32570 (xcsp3-exec) S 32565 32570 32513 0 -1 4202496 543 0 0 0 0 0 0 0 20 0 1 0 443586583 115843072 362 33554432000 4194304 5098028 140725851233472 140725851231576 139723468386940 0 65536 4100 65538 18446744071579417331 0 0 17 5 0 0 1 0 0 7196144 7232144 33878016 140725851239291 140725851239533 140725851239533 140725851242442 0
/proc/32570/statm: 28282 362 304 221 0 87 0
[pid=32576] ppid=32570 vsize=15419460 memory=217928 CPUtime=2400.23 cores=1,3,5,7
/proc/32576/stat : 32576 (java) S 32570 32570 32513 0 -1 1077944320 82489 0 0 0 239974 49 0 0 20 0 19 0 443586591 15789527040 54482 33554432000 4194304 4196468 140734755052272 140734755034816 139948115984119 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
/proc/32576/statm: 3854865 54482 3527 1 0 3815965 0
[pid=32576/tid=32579] ppid=32570 vsize=15419460 memory=6791534058613427641 CPUtime=1.12 cores=1,3,5,7
/proc/32576/task/32579/stat : 32579 (java) S 32570 32570 32513 0 -1 1077944384 10371 0 0 0 106 6 0 0 20 0 19 0 443586605 15789527040 54482 33554432000 4194304 4196468 140734755052272 139948120224896 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32580] ppid=32570 vsize=15419460 memory=1388 CPUtime=0.36 cores=1,3,5,7
/proc/32576/task/32580/stat : 32580 (java) S 32570 32570 32513 0 -1 1077944384 3159 0 0 0 32 4 0 0 20 0 19 0 443586623 15789527040 54482 33554432000 4194304 4196468 140734755052272 139947707829392 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32581] ppid=32570 vsize=15419460 memory=776 CPUtime=0.36 cores=1,3,5,7
/proc/32576/task/32581/stat : 32581 (java) S 32570 32570 32513 0 -1 1077944384 1174 0 0 0 32 4 0 0 20 0 19 0 443586623 15789527040 54482 33554432000 4194304 4196468 140734755052272 139947706776592 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32582] ppid=32570 vsize=15419460 memory=3992 CPUtime=0.35 cores=1,3,5,7
/proc/32576/task/32582/stat : 32582 (java) S 32570 32570 32513 0 -1 1077944384 1826 0 0 0 31 4 0 0 20 0 19 0 443586623 15789527040 54482 33554432000 4194304 4196468 140734755052272 139947705723792 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32583] ppid=32570 vsize=15419460 memory=2828 CPUtime=0.37 cores=1,3,5,7
/proc/32576/task/32583/stat : 32583 (java) S 32570 32570 32513 0 -1 1077944384 1978 0 0 0 32 5 0 0 20 0 19 0 443586623 15789527040 54482 33554432000 4194304 4196468 140734755052272 139947704670992 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32589] ppid=32570 vsize=15419460 memory=676 CPUtime=0.35 cores=1,3,5,7
/proc/32576/task/32589/stat : 32589 (java) S 32570 32570 32513 0 -1 1077944384 1847 0 0 0 14 21 0 0 20 0 19 0 443586629 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946989914480 139948115995266 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32591] ppid=32570 vsize=15419460 memory=776 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32591/stat : 32591 (java) S 32570 32570 32513 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 443586630 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946988860512 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32593] ppid=32570 vsize=15419460 memory=3992 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32593/stat : 32593 (java) S 32570 32570 32513 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 19 0 443586630 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946987807616 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32599] ppid=32570 vsize=15419460 memory=2828 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32599/stat : 32599 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443586653 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946986755920 139948116002715 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32600] ppid=32570 vsize=15419460 memory=6791534058613427641 CPUtime=3.53 cores=1,3,5,7
/proc/32576/task/32600/stat : 32600 (java) S 32570 32570 32513 0 -1 1077944384 19450 0 0 0 352 1 0 0 20 0 19 0 443586653 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946985704304 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32601] ppid=32570 vsize=15419460 memory=25904 CPUtime=3.68 cores=1,3,5,7
/proc/32576/task/32601/stat : 32601 (java) S 32570 32570 32513 0 -1 1077944384 19049 0 0 0 367 1 0 0 20 0 19 0 443586654 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946984651504 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32602] ppid=32570 vsize=15419460 memory=12024 CPUtime=0.96 cores=1,3,5,7
/proc/32576/task/32602/stat : 32602 (java) S 32570 32570 32513 0 -1 1077944384 12090 0 0 0 95 1 0 0 20 0 19 0 443586654 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946983598704 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32603] ppid=32570 vsize=15419460 memory=500 CPUtime=0 cores=1,3,5,7
/proc/32576/task/32603/stat : 32603 (java) S 32570 32570 32513 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 443586654 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946982546144 139948115994325 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32605] ppid=32570 vsize=15419460 memory=1560 CPUtime=0.13 cores=1,3,5,7
/proc/32576/task/32605/stat : 32605 (java) S 32570 32570 32513 0 -1 1077944384 495 0 0 0 0 13 0 0 20 0 19 0 443586665 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946981493424 139948115995266 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32606] ppid=32570 vsize=15419460 memory=1448 CPUtime=597.75 cores=1,3,5,7
/proc/32576/task/32606/stat : 32606 (java) R 32570 32570 32513 0 -1 4202560 1755 0 0 0 59775 0 0 0 20 0 19 0 443586777 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946970175976 139947760633561 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32607] ppid=32570 vsize=15419460 memory=218024 CPUtime=596.96 cores=1,3,5,7
/proc/32576/task/32607/stat : 32607 (java) R 32570 32570 32513 0 -1 4202560 4152 0 0 0 59696 0 0 0 20 0 19 0 443586777 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946969126800 139947760633561 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32608] ppid=32570 vsize=15419460 memory=217512 CPUtime=596.84 cores=1,3,5,7
/proc/32576/task/32608/stat : 32608 (java) R 32570 32570 32513 0 -1 4202560 1562 0 0 0 59684 0 0 0 20 0 19 0 443586777 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946968071576 139947760633596 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
[pid=32576/tid=32609] ppid=32570 vsize=15419460 memory=1448 CPUtime=597.33 cores=1,3,5,7
/proc/32576/task/32609/stat : 32609 (java) R 32570 32570 32513 0 -1 4202560 2208 0 0 0 59733 0 0 0 20 0 19 0 443586777 15789527040 54482 33554432000 4194304 4196468 140734755052272 139946967019344 139947760633543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 8294400 140734755054575 140734755054746 140734755054746 140734755057615 0
Current children cumulated CPU time: 2400.23 s
Current children cumulated vsize: 15532588 KiB
Current children cumulated memory: 219376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+604.437 s]
# the end of solver process 32570 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.001425 s, system=0.001425 s
[startup+604.485 s]
# the end of solver process 32576 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.07 s, system=0.494444 s
# this solver process was not waited by its parent and was adopted by runsolver
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 604.485
CPU time (s): 2400.56
CPU user time (s): 2400.07
CPU system time (s): 0.494444
CPU usage (%): 397.125
Max. virtual memory (cumulated for all children) (KiB): 15532588
Max. memory (cumulated for all children) (KiB): 277112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.07
system time used= 0.494444
maximum resident set size= 291068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83330
page faults= 0
swaps= 0
block input operations= 0
block output operations= 872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20573
involuntary context switches= 46443
# summary of solver processes directly reported to runsolver:
# pid: 32570,32576
# total CPU time (s): 2400.56
# total CPU user time (s): 2400.07
# total CPU system time (s): 0.494444
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.76944 second user time and 6.89887 second system time
The end