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 (8942 MiB free)
memory of node 1: 16384 MiB (9752 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4308114-1534349200/watcher-4308114-1534349200 -o /tmp/evaluation-result-4308114-1534349200/solver-4308114-1534349200 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534334199-24979 --watchdog 2580 java -Xmx11000m -jar oscarCPXcsp3-conf_order_restart.jar --randomseed 1631628991 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4308114-1534349200.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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=26533, runsolver pid=26530
[startup+0.108567 s]*
/proc/loadavg: 1.62 1.46 1.43 4/215 26548
/proc/meminfo: memFree=19123820/32770624 swapFree=67108860/67108860
[pid=26533] ppid=26530 vsize=14082736 memory=33628 CPUtime=0.13 cores=0,2,4,6
/proc/26533/stat : 26533 (java) S 26530 26533 20506 0 -1 1077944320 7302 0 0 0 12 1 0 0 20 0 15 0 252483214 14420721664 8407 33554432000 4194304 4196468 140721454155424 140721454137968 140262780014327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
/proc/26533/statm: 3520684 8407 3159 1 0 3482761 0
[pid=26533/tid=26535] ppid=26530 vsize=14082736 memory=-8557575366716068733 CPUtime=0.1 cores=0,2,4,6
/proc/26533/task/26535/stat : 26535 (java) R 26530 26533 20506 0 -1 4202560 5349 0 0 0 9 1 0 0 20 0 15 0 252483215 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262784226128 140262759543258 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26536] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26536/stat : 26536 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262695082512 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26537] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26537/stat : 26537 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262374369936 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26538] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26538/stat : 26538 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262373316880 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26539] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26539/stat : 26539 (java) S 26530 26533 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262372264336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26540] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26540/stat : 26540 (java) S 26530 26533 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252483217 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262254271216 140262780025474 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26541] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26541/stat : 26541 (java) S 26530 26533 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252483217 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262253217440 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26542] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26542/stat : 26542 (java) S 26530 26533 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252483217 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262252164336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26543] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26543/stat : 26543 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262251112912 140262780032923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26544] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26544/stat : 26544 (java) S 26530 26533 20506 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262250060016 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26545] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26545/stat : 26545 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262249007472 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26546] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0.01 cores=0,2,4,6
/proc/26533/task/26546/stat : 26546 (java) S 26530 26533 20506 0 -1 1077944384 275 0 0 0 1 0 0 0 20 0 15 0 252483220 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262247954416 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26547] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26547/stat : 26547 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262246902112 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26548] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26548/stat : 26548 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 8407 33554432000 4194304 4196468 140721454155424 140262245850160 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 33628 KiB
[startup+0.21051 s]*
/proc/loadavg: 1.62 1.46 1.43 5/215 26548
/proc/meminfo: memFree=19109324/32770624 swapFree=67108860/67108860
[pid=26533] ppid=26530 vsize=14082736 memory=46556 CPUtime=0.29 cores=0,2,4,6
/proc/26533/stat : 26533 (java) S 26530 26533 20506 0 -1 1077944320 10335 0 0 0 27 2 0 0 20 0 15 0 252483214 14420721664 11639 33554432000 4194304 4196468 140721454155424 140721454137968 140262780014327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
/proc/26533/statm: 3520684 11639 3336 1 0 3482761 0
[pid=26533/tid=26535] ppid=26530 vsize=14082736 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/26533/task/26535/stat : 26535 (java) R 26530 26533 20506 0 -1 4202560 8073 0 0 0 18 2 0 0 20 0 15 0 252483215 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262784240816 140262764094814 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26536] ppid=26530 vsize=14082736 memory=342 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26536/stat : 26536 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262695082512 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26537] ppid=26530 vsize=14082736 memory=3617150424987338400 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26537/stat : 26537 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262374369936 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26538] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26538/stat : 26538 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262373316880 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26539] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26539/stat : 26539 (java) S 26530 26533 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262372264336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26540] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26540/stat : 26540 (java) S 26530 26533 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252483217 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262254271216 140262780025474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26541] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26541/stat : 26541 (java) S 26530 26533 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252483217 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262253217440 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26542] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26542/stat : 26542 (java) S 26530 26533 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252483217 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262252164336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26543] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26543/stat : 26543 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262251112912 140262780032923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26544] ppid=26530 vsize=14082736 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/26533/task/26544/stat : 26544 (java) R 26530 26533 20506 0 -1 4202560 515 0 0 0 1 0 0 0 20 0 15 0 252483220 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262250051520 140262763577416 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26545] ppid=26530 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26533/task/26545/stat : 26545 (java) R 26530 26533 20506 0 -1 1077944384 62 0 0 0 1 0 0 0 20 0 15 0 252483220 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262249007472 140262780025474 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26546] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0.05 cores=0,2,4,6
/proc/26533/task/26546/stat : 26546 (java) R 26530 26533 20506 0 -1 4202560 312 0 0 0 5 0 0 0 20 0 15 0 252483220 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262247954512 140262780035674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26547] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26547/stat : 26547 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262246902112 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26548] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26548/stat : 26548 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 11639 33554432000 4194304 4196468 140721454155424 140262245850160 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 46556 KiB
[startup+0.31036 s]*
/proc/loadavg: 1.62 1.46 1.43 3/215 26548
/proc/meminfo: memFree=19105912/32770624 swapFree=67108860/67108860
[pid=26533] ppid=26530 vsize=14082736 memory=50780 CPUtime=0.44 cores=0,2,4,6
/proc/26533/stat : 26533 (java) S 26530 26533 20506 0 -1 1077944320 10769 0 0 0 42 2 0 0 20 0 15 0 252483214 14420721664 12695 33554432000 4194304 4196468 140721454155424 140721454137968 140262780014327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
/proc/26533/statm: 3520684 12695 3423 1 0 3482761 0
[pid=26533/tid=26535] ppid=26530 vsize=14082736 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/26533/task/26535/stat : 26535 (java) R 26530 26533 20506 0 -1 4202560 8437 0 0 0 28 2 0 0 20 0 15 0 252483215 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262784225840 140262760289317 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26536] ppid=26530 vsize=14082736 memory=288230600413020183 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26536/stat : 26536 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262695082512 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26537] ppid=26530 vsize=14082736 memory=3545939450607830688 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26537/stat : 26537 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262374369936 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26538] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26538/stat : 26538 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262373316880 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26539] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26539/stat : 26539 (java) S 26530 26533 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252483215 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262372264336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26540] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26540/stat : 26540 (java) S 26530 26533 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252483217 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262254271216 140262780025474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26541] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26541/stat : 26541 (java) S 26530 26533 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252483217 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262253217440 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26542] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26542/stat : 26542 (java) S 26530 26533 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252483217 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262252164336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26543] ppid=26530 vsize=14082736 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26543/stat : 26543 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262251112912 140262780032923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26544] ppid=26530 vsize=14082736 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/26533/task/26544/stat : 26544 (java) S 26530 26533 20506 0 -1 1077944384 548 0 0 0 3 0 0 0 20 0 15 0 252483220 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262250060016 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26545] ppid=26530 vsize=14082736 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/26533/task/26545/stat : 26545 (java) S 26530 26533 20506 0 -1 1077944384 67 0 0 0 1 0 0 0 20 0 15 0 252483220 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262249007472 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26546] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0.08 cores=0,2,4,6
/proc/26533/task/26546/stat : 26546 (java) S 26530 26533 20506 0 -1 1077944384 335 0 0 0 8 0 0 0 20 0 15 0 252483220 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262247954416 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26547] ppid=26530 vsize=14082736 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26547/stat : 26547 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262246902112 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26548] ppid=26530 vsize=14082736 memory=140687869871744 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26548/stat : 26548 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483220 14420721664 12695 33554432000 4194304 4196468 140721454155424 140262245850160 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
Current children cumulated CPU time: 0.44 s
Current children cumulated vsize: 14082736 KiB
Current children cumulated memory: 50780 KiB
[startup+0.700733 s]
/proc/loadavg: 1.62 1.46 1.43 3/215 26548
/proc/meminfo: memFree=19083092/32770624 swapFree=67108860/67108860
[pid=26533] ppid=26530 vsize=14084804 memory=88844 CPUtime=0.98 cores=0,2,4,6
/proc/26533/stat : 26533 (java) S 26530 26533 20506 0 -1 1077944320 17574 0 0 0 93 5 0 0 20 0 15 0 252483214 14422839296 22211 33554432000 4194304 4196468 140721454155424 140721454137968 140262780014327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
/proc/26533/statm: 3521201 22211 3498 1 0 3483273 0
[pid=26533/tid=26535] ppid=26530 vsize=14084804 memory=1796 CPUtime=0.67 cores=0,2,4,6
/proc/26533/task/26535/stat : 26535 (java) R 26530 26533 20506 0 -1 4202560 14851 0 0 0 63 4 0 0 20 0 15 0 252483215 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262784239952 140262764142673 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26536] ppid=26530 vsize=14084804 memory=1704 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26536/stat : 26536 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262695082512 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26537] ppid=26530 vsize=14084804 memory=796 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26537/stat : 26537 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262374369936 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26538] ppid=26530 vsize=14084804 memory=5408 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26538/stat : 26538 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262373316880 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26539] ppid=26530 vsize=14084804 memory=876 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26539/stat : 26539 (java) S 26530 26533 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252483215 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262372264336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26540] ppid=26530 vsize=14084804 memory=10096 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26540/stat : 26540 (java) S 26530 26533 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252483217 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262254271216 140262780025474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26541] ppid=26530 vsize=14084804 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26541/stat : 26541 (java) S 26530 26533 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252483217 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262253217440 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26542] ppid=26530 vsize=14084804 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26542/stat : 26542 (java) S 26530 26533 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252483217 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262252164336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26543] ppid=26530 vsize=14084804 memory=4639098309541127013 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26543/stat : 26543 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262251112912 140262780032923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26544] ppid=26530 vsize=14084804 memory=5937268701925763154 CPUtime=0.06 cores=0,2,4,6
/proc/26533/task/26544/stat : 26544 (java) S 26530 26533 20506 0 -1 1077944384 678 0 0 0 6 0 0 0 20 0 15 0 252483220 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262250060016 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26545] ppid=26530 vsize=14084804 memory=7523071198212214892 CPUtime=0.08 cores=0,2,4,6
/proc/26533/task/26545/stat : 26545 (java) S 26530 26533 20506 0 -1 1077944384 239 0 0 0 8 0 0 0 20 0 15 0 252483220 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262249007472 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26546] ppid=26530 vsize=14084804 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/26533/task/26546/stat : 26546 (java) R 26530 26533 20506 0 -1 4202560 424 0 0 0 15 0 0 0 20 0 15 0 252483220 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262247954416 140262772349232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26547] ppid=26530 vsize=14084804 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26547/stat : 26547 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262246902112 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26548] ppid=26530 vsize=14084804 memory=33 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26548/stat : 26548 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483220 14422839296 22211 33554432000 4194304 4196468 140721454155424 140262245850160 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 14084804 KiB
Current children cumulated memory: 88844 KiB
[startup+1.24657 s]
# the end of solver process 26533 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2.07839 s, system=0.091936 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.800841 s]
/proc/loadavg: 1.62 1.46 1.43 3/215 26548
/proc/meminfo: memFree=19083092/32770624 swapFree=67108860/67108860
[pid=26533] ppid=26530 vsize=14086852 memory=93076 CPUtime=1.17 cores=0,2,4,6
/proc/26533/stat : 26533 (java) S 26530 26533 20506 0 -1 1077944320 18101 0 0 0 112 5 0 0 20 0 15 0 252483214 14424936448 23269 33554432000 4194304 4196468 140721454155424 140721454137968 140262780014327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
/proc/26533/statm: 3521713 23269 3505 1 0 3483785 0
[pid=26533/tid=26535] ppid=26530 vsize=14086852 memory=8243114992657236055 CPUtime=0.77 cores=0,2,4,6
/proc/26533/task/26535/stat : 26535 (java) R 26530 26533 20506 0 -1 4202560 15234 0 0 0 72 5 0 0 20 0 15 0 252483215 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262784248944 140262765251824 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26536] ppid=26530 vsize=14086852 memory=288288878807483538 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26536/stat : 26536 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262695082512 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26537] ppid=26530 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26537/stat : 26537 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262374369936 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26538] ppid=26530 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26538/stat : 26538 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262373316880 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26539] ppid=26530 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26539/stat : 26539 (java) S 26530 26533 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252483215 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262372264336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26540] ppid=26530 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26540/stat : 26540 (java) S 26530 26533 20506 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 252483217 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262254271216 140262780025474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26541] ppid=26530 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26541/stat : 26541 (java) S 26530 26533 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252483217 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262253217440 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26542] ppid=26530 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26542/stat : 26542 (java) S 26530 26533 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252483217 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262252164336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26543] ppid=26530 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26543/stat : 26543 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262251112912 140262780032923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26544] ppid=26530 vsize=14086852 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/26533/task/26544/stat : 26544 (java) R 26530 26533 20506 0 -1 1077944384 699 0 0 0 8 0 0 0 20 0 15 0 252483220 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262250060016 140262780025474 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26545] ppid=26530 vsize=14086852 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/26533/task/26545/stat : 26545 (java) R 26530 26533 20506 0 -1 4202560 251 0 0 0 10 0 0 0 20 0 15 0 252483220 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262249007472 140262764303328 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26546] ppid=26530 vsize=14086852 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/26533/task/26546/stat : 26546 (java) R 26530 26533 20506 0 -1 4202560 535 0 0 0 20 0 0 0 20 0 15 0 252483220 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262247950096 140262758947741 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26547] ppid=26530 vsize=14086852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26547/stat : 26547 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262246902112 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26548] ppid=26530 vsize=14086852 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26548/stat : 26548 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483220 14424936448 23269 33554432000 4194304 4196468 140721454155424 140262245850160 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
Current children cumulated CPU time: 1.17 s
Current children cumulated vsize: 14086852 KiB
Current children cumulated memory: 93076 KiB
[startup+1.20084 s]
/proc/loadavg: 1.62 1.46 1.43 3/215 26548
/proc/meminfo: memFree=19036548/32770624 swapFree=67108860/67108860
[pid=26533] ppid=26530 vsize=14090948 memory=123792 CPUtime=2.07 cores=0,2,4,6
/proc/26533/stat : 26533 (java) S 26530 26533 20506 0 -1 1077944320 24620 0 0 0 199 8 0 0 20 0 15 0 252483214 14429130752 30948 33554432000 4194304 4196468 140721454155424 140721454137968 140262780014327 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
/proc/26533/statm: 3522737 30948 3536 1 0 3484809 0
[pid=26533/tid=26535] ppid=26530 vsize=14090948 memory=0 CPUtime=1.17 cores=0,2,4,6
/proc/26533/task/26535/stat : 26535 (java) R 26530 26533 20506 0 -1 4202560 19207 0 0 0 111 6 0 0 20 0 15 0 252483215 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262784250352 140262374452356 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26536] ppid=26530 vsize=14090948 memory=-3704326594973231466 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26536/stat : 26536 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262695082512 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26537] ppid=26530 vsize=14090948 memory=-7595718316223324558 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26537/stat : 26537 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262374369936 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26538] ppid=26530 vsize=14090948 memory=8128038100524242582 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26538/stat : 26538 (java) S 26530 26533 20506 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 252483215 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262373316880 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26539] ppid=26530 vsize=14090948 memory=8259761640030508194 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26539/stat : 26539 (java) S 26530 26533 20506 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 252483215 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262372264336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26540] ppid=26530 vsize=14090948 memory=-7595718316223324558 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26540/stat : 26540 (java) S 26530 26533 20506 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 15 0 252483217 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262254271216 140262780025474 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26541] ppid=26530 vsize=14090948 memory=7521120407292059768 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26541/stat : 26541 (java) S 26530 26533 20506 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 252483217 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262253217440 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26542] ppid=26530 vsize=14090948 memory=6944656592455875178 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26542/stat : 26542 (java) S 26530 26533 20506 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 252483217 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262252164336 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26543] ppid=26530 vsize=14090948 memory=6944656425122961013 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26543/stat : 26543 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262251112912 140262780032923 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26544] ppid=26530 vsize=14090948 memory=8475934422144292502 CPUtime=0.2 cores=0,2,4,6
/proc/26533/task/26544/stat : 26544 (java) S 26530 26533 20506 0 -1 1077944384 1289 0 0 0 20 0 0 0 20 0 15 0 252483220 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262250060016 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26545] ppid=26530 vsize=14090948 memory=4137284780655939955 CPUtime=0.25 cores=0,2,4,6
/proc/26533/task/26545/stat : 26545 (java) R 26530 26533 20506 0 -1 4202560 1046 0 0 0 25 0 0 0 20 0 15 0 252483220 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262248994896 140262780035674 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26546] ppid=26530 vsize=14090948 memory=6944656425122961013 CPUtime=0.41 cores=0,2,4,6
/proc/26533/task/26546/stat : 26546 (java) R 26530 26533 20506 0 -1 4202560 1661 0 0 0 41 0 0 0 20 0 15 0 252483220 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262247950864 140262780035674 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26547] ppid=26530 vsize=14090948 memory=301741373374332954 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26547/stat : 26547 (java) S 26530 26533 20506 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 252483220 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262246902112 140262780024533 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
[pid=26533/tid=26548] ppid=26530 vsize=14090948 memory=301741420686082359 CPUtime=0 cores=0,2,4,6
/proc/26533/task/26548/stat : 26548 (java) S 26530 26533 20506 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 252483220 14429130752 30948 33554432000 4194304 4196468 140721454155424 140262245850160 140262780025474 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24936448 140721454158920 140721454159113 140721454159113 140721454161871 0
Current children cumulated CPU time: 2.07 s
Current children cumulated vsize: 14090948 KiB
Current children cumulated memory: 123792 KiB
Child status: 0
Real time (s): 1.24661
CPU time (s): 2.17032
CPU user time (s): 2.07839
CPU system time (s): 0.091936
CPU usage (%): 174.097
Max. virtual memory (cumulated for all children) (KiB): 14090948
Max. memory (cumulated for all children) (KiB): 123792
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.07839
system time used= 0.091936
maximum resident set size= 130024
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25853
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2264
involuntary context switches= 5
# summary of solver processes directly reported to runsolver:
# pid: 26533
# total CPU time (s): 2.17032
# total CPU user time (s): 2.07839
# total CPU system time (s): 0.091936
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.031759 second user time and 0.054573 second system time
The end