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 (13516 MiB free)
memory of node 1: 16384 MiB (13513 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299687-1532804621/watcher-4299687-1532804621 -o /tmp/evaluation-result-4299687-1532804621/solver-4299687-1532804621 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532774598-23260 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299687-1532804621.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
solver pid=29070, runsolver pid=29067
Current StackSize limit: 8192 KiB
[startup+0.104396 s]*
/proc/loadavg: 1.60 1.39 1.42 5/216 29085
/proc/meminfo: memFree=27663328/32770624 swapFree=67108532/67108860
[pid=29070] ppid=29067 vsize=10661052 memory=28376 CPUtime=0.13 cores=0,2,4,6
/proc/29070/stat : 29070 (java) S 29067 29070 23229 0 -1 1077944320 5051 0 0 0 12 1 0 0 20 0 15 0 98025234 10916917248 7094 33554432000 4194304 4196468 140726046197520 140726046180064 140258884079351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
/proc/29070/statm: 2665263 7094 2862 1 0 2627263 0
[pid=29070/tid=29072] ppid=29067 vsize=10661052 memory=-8197568871503269504 CPUtime=0.09 cores=0,2,4,6
/proc/29070/task/29072/stat : 29072 (java) R 29067 29070 23229 0 -1 4202560 2867 0 0 0 8 1 0 0 20 0 15 0 98025234 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258888308288 140258884091286 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29073] ppid=29067 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29073/stat : 29073 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258810153360 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29074] ppid=29067 vsize=10661052 memory=140184039372416 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29074/stat : 29074 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258809100560 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29075] ppid=29067 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29075/stat : 29075 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258808048272 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29076] ppid=29067 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29076/stat : 29076 (java) S 29067 29070 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025235 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258806995472 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29077] ppid=29067 vsize=10661052 memory=140184039372416 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29077/stat : 29077 (java) S 29067 29070 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025236 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258375043696 140258884090498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29078] ppid=29067 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29078/stat : 29078 (java) S 29067 29070 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98025237 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258373989664 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29079] ppid=29067 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29079/stat : 29079 (java) S 29067 29070 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98025237 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258372937328 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29080] ppid=29067 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29080/stat : 29080 (java) S 29067 29070 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025239 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258371885648 140258884097947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29081] ppid=29067 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29081/stat : 29081 (java) S 29067 29070 23229 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 15 0 98025239 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258370832496 140258884090498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29082] ppid=29067 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29082/stat : 29082 (java) S 29067 29070 23229 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 15 0 98025239 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258369779696 140258884090498 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29083] ppid=29067 vsize=10661052 memory=140184039372416 CPUtime=0.02 cores=0,2,4,6
/proc/29070/task/29083/stat : 29083 (java) R 29067 29070 23229 0 -1 4202560 328 0 0 0 2 0 0 0 20 0 15 0 98025239 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258368727408 140258863008672 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29084] ppid=29067 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29084/stat : 29084 (java) S 29067 29070 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025240 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258367674848 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29085] ppid=29067 vsize=10661052 memory=140184039372416 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29085/stat : 29085 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025240 10916917248 7094 33554432000 4194304 4196468 140726046197520 140258366622640 140258884090498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 28376 KiB
[startup+0.210627 s]*
/proc/loadavg: 1.60 1.39 1.42 4/216 29085
/proc/meminfo: memFree=27651900/32770624 swapFree=67108532/67108860
[pid=29070] ppid=29067 vsize=10661052 memory=40272 CPUtime=0.34 cores=0,2,4,6
/proc/29070/stat : 29070 (java) S 29067 29070 23229 0 -1 1077944320 7659 0 0 0 32 2 0 0 20 0 15 0 98025234 10916917248 10068 33554432000 4194304 4196468 140726046197520 140726046180064 140258884079351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
/proc/29070/statm: 2665263 10068 2984 1 0 2627263 0
[pid=29070/tid=29072] ppid=29067 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29070/task/29072/stat : 29072 (java) R 29067 29070 23229 0 -1 4202560 4626 0 0 0 19 1 0 0 20 0 15 0 98025234 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258888317312 140258482192747 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29073] ppid=29067 vsize=10661052 memory=364 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29073/stat : 29073 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258810153360 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29074] ppid=29067 vsize=10661052 memory=288370560191084160 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29074/stat : 29074 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258809100560 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29075] ppid=29067 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29075/stat : 29075 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258808048272 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29076] ppid=29067 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29076/stat : 29076 (java) S 29067 29070 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025235 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258806995472 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29077] ppid=29067 vsize=10661052 memory=140184039372416 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29077/stat : 29077 (java) S 29067 29070 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025236 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258375043696 140258884090498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29078] ppid=29067 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29078/stat : 29078 (java) S 29067 29070 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98025237 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258373989664 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29079] ppid=29067 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29079/stat : 29079 (java) S 29067 29070 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98025237 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258372937328 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29080] ppid=29067 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29080/stat : 29080 (java) S 29067 29070 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025239 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258371885648 140258884097947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29081] ppid=29067 vsize=10661052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29070/task/29081/stat : 29081 (java) R 29067 29070 23229 0 -1 4202560 500 0 0 0 3 0 0 0 20 0 15 0 98025239 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258370832496 140258877064393 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29082] ppid=29067 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29070/task/29082/stat : 29082 (java) R 29067 29070 23229 0 -1 1077944384 325 0 0 0 2 0 0 0 20 0 15 0 98025239 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258369779696 140258884090498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29083] ppid=29067 vsize=10661052 memory=140184039372416 CPUtime=0.08 cores=0,2,4,6
/proc/29070/task/29083/stat : 29083 (java) R 29067 29070 23229 0 -1 4202560 842 0 0 0 8 0 0 0 20 0 15 0 98025239 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258368724344 140258884091286 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29084] ppid=29067 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29084/stat : 29084 (java) S 29067 29070 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025240 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258367674848 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29085] ppid=29067 vsize=10661052 memory=140184039372416 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29085/stat : 29085 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025240 10916917248 10068 33554432000 4194304 4196468 140726046197520 140258366622640 140258884090498 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40272 KiB
[startup+0.310608 s]*
/proc/loadavg: 1.60 1.39 1.42 4/216 29085
/proc/meminfo: memFree=27645080/32770624 swapFree=67108532/67108860
[pid=29070] ppid=29067 vsize=10661128 memory=46580 CPUtime=0.57 cores=0,2,4,6
/proc/29070/stat : 29070 (java) S 29067 29070 23229 0 -1 1077944320 8190 0 0 0 54 3 0 0 20 0 15 0 98025234 10916995072 11645 33554432000 4194304 4196468 140726046197520 140726046180064 140258884079351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
/proc/29070/statm: 2665282 11645 3066 1 0 2627263 0
[pid=29070/tid=29072] ppid=29067 vsize=10661128 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/29070/task/29072/stat : 29072 (java) S 29067 29070 23229 0 -1 1077944384 4925 0 0 0 27 2 0 0 20 0 15 0 98025234 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258888315232 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29073] ppid=29067 vsize=10661128 memory=304556149079015447 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29073/stat : 29073 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258810153360 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29074] ppid=29067 vsize=10661128 memory=288370560191084160 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29074/stat : 29074 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258809100560 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29075] ppid=29067 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29075/stat : 29075 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258808048272 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29076] ppid=29067 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29076/stat : 29076 (java) S 29067 29070 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025235 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258806995472 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29077] ppid=29067 vsize=10661128 memory=140184039372416 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29077/stat : 29077 (java) S 29067 29070 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025236 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258375043696 140258884090498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29078] ppid=29067 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29078/stat : 29078 (java) S 29067 29070 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98025237 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258373989664 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29079] ppid=29067 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29079/stat : 29079 (java) S 29067 29070 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98025237 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258372937328 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29080] ppid=29067 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29080/stat : 29080 (java) S 29067 29070 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025239 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258371885648 140258884097947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29081] ppid=29067 vsize=10661128 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/29070/task/29081/stat : 29081 (java) R 29067 29070 23229 0 -1 4202560 579 0 0 0 6 0 0 0 20 0 15 0 98025239 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258370832496 140258865597756 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29082] ppid=29067 vsize=10661128 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/29070/task/29082/stat : 29082 (java) R 29067 29070 23229 0 -1 1077944384 351 0 0 0 4 0 0 0 20 0 15 0 98025239 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258369779696 140258884090498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29083] ppid=29067 vsize=10661128 memory=140184039372416 CPUtime=0.15 cores=0,2,4,6
/proc/29070/task/29083/stat : 29083 (java) S 29067 29070 23229 0 -1 1077944384 984 0 0 0 15 0 0 0 20 0 15 0 98025239 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258368727408 140258884090498 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29084] ppid=29067 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29084/stat : 29084 (java) S 29067 29070 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025240 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258367674848 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29085] ppid=29067 vsize=10661128 memory=140184039372416 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29085/stat : 29085 (java) R 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025240 10916995072 11645 33554432000 4194304 4196468 140726046197520 140258366622640 140258884090498 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
Current children cumulated CPU time: 0.57 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 46580 KiB
[startup+0.439158 s]
# the end of solver process 29070 was just reported to runsolver
# cumulated CPU time of all completed processes: user=0.825893 s, system=0.040443 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.411158 s]*
/proc/loadavg: 1.60 1.39 1.42 5/216 29085
/proc/meminfo: memFree=27639900/32770624 swapFree=67108532/67108860
[pid=29070] ppid=29067 vsize=10661064 memory=52756 CPUtime=0.83 cores=0,2,4,6
/proc/29070/stat : 29070 (java) S 29067 29070 23229 0 -1 1077944320 8835 0 0 0 80 3 0 0 20 0 15 0 98025234 10916929536 13189 33554432000 4194304 4196468 140726046197520 140726046180064 140258884079351 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
/proc/29070/statm: 2665282 13189 3088 1 0 2627263 0
[pid=29070/tid=29072] ppid=29067 vsize=10661128 memory=7022364594140610616 CPUtime=0.39 cores=0,2,4,6
/proc/29070/task/29072/stat : 29072 (java) R 29067 29070 23229 0 -1 4202560 5237 0 0 0 37 2 0 0 20 0 15 0 98025234 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258888313904 140258868159838 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29073] ppid=29067 vsize=10661128 memory=364 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29073/stat : 29073 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258810153360 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29074] ppid=29067 vsize=10661128 memory=288370560191084160 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29074/stat : 29074 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258809100560 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29075] ppid=29067 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29075/stat : 29075 (java) S 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025235 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258808048272 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29076] ppid=29067 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29076/stat : 29076 (java) S 29067 29070 23229 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98025235 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258806995472 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29077] ppid=29067 vsize=10661128 memory=140184039372416 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29077/stat : 29077 (java) S 29067 29070 23229 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98025236 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258375043696 140258884090498 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29078] ppid=29067 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29078/stat : 29078 (java) S 29067 29070 23229 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98025237 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258373989664 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29079] ppid=29067 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29079/stat : 29079 (java) S 29067 29070 23229 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98025237 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258372937328 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29080] ppid=29067 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29080/stat : 29080 (java) S 29067 29070 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025239 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258371885648 140258884097947 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29081] ppid=29067 vsize=10661128 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29070/task/29081/stat : 29081 (java) R 29067 29070 23229 0 -1 1077944384 665 0 0 0 10 0 0 0 20 0 15 0 98025239 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258370832496 140258884090498 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29082] ppid=29067 vsize=10661128 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29070/task/29082/stat : 29082 (java) R 29067 29070 23229 0 -1 4202560 396 0 0 0 7 0 0 0 20 0 15 0 98025239 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258369779696 140258884100698 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29083] ppid=29067 vsize=10661128 memory=140184039372416 CPUtime=0.24 cores=0,2,4,6
/proc/29070/task/29083/stat : 29083 (java) R 29067 29070 23229 0 -1 4202560 1173 0 0 0 24 0 0 0 20 0 15 0 98025239 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258368727408 140258877176187 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29084] ppid=29067 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29084/stat : 29084 (java) S 29067 29070 23229 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98025240 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258367674848 140258884089557 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
[pid=29070/tid=29085] ppid=29067 vsize=10661128 memory=140184039372416 CPUtime=0 cores=0,2,4,6
/proc/29070/task/29085/stat : 29085 (java) R 29067 29070 23229 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98025240 10916995072 13189 33554432000 4194304 4196468 140726046197520 140258366622640 140258884090498 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28684288 140726046201005 140726046201097 140726046201097 140726046203855 0
Current children cumulated CPU time: 0.83 s
Current children cumulated vsize: 10661064 KiB
Current children cumulated memory: 52756 KiB
Child status: 0
Real time (s): 0.439189
CPU time (s): 0.866336
CPU user time (s): 0.825893
CPU system time (s): 0.040443
CPU usage (%): 197.258
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 52756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.825893
system time used= 0.040443
maximum resident set size= 53468
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8898
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1311
involuntary context switches= 25
# summary of solver processes directly reported to runsolver:
# pid: 29070
# total CPU time (s): 0.866336
# total CPU user time (s): 0.825893
# total CPU system time (s): 0.040443
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024136 second user time and 0.039516 second system time
The end