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 (13144 MiB free)
memory of node 1: 16384 MiB (13646 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298523-1532811315/watcher-4298523-1532811315 -o /tmp/evaluation-result-4298523-1532811315/solver-4298523-1532811315 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532808819-31439 --watchdog 2580 java -jar HOME/bestMinicp.jar HOME/instance-4298523-1532811315.xml
running on 4 cores: 1,3,5,7
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=31951, runsolver pid=31948
[startup+0.100101 s]*
/proc/loadavg: 1.58 1.56 1.69 5/218 31991
/proc/meminfo: memFree=27407520/32770624 swapFree=67108856/67108860
[pid=31951] ppid=31948 vsize=10661052 memory=26676 CPUtime=0.13 cores=1,3,5,7
/proc/31951/stat : 31951 (java) S 31948 31951 31407 0 -1 1077944320 5564 0 0 0 11 2 0 0 20 0 15 0 98694612 10916917248 6669 33554432000 4194304 4196468 140726576603744 140726576586288 139796587085559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
/proc/31951/statm: 2665263 6669 2832 1 0 2627263 0
[pid=31951/tid=31954] ppid=31948 vsize=10661052 memory=-6517102902069810590 CPUtime=0.09 cores=1,3,5,7
/proc/31951/task/31954/stat : 31954 (java) R 31948 31951 31407 0 -1 4202560 3396 0 0 0 8 1 0 0 20 0 15 0 98694613 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796591316448 139796566800374 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31958] ppid=31948 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31958/stat : 31958 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694613 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796556798224 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31959] ppid=31948 vsize=10661052 memory=140174479693440 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31959/stat : 31959 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694613 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796192561552 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31960] ppid=31948 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31960/stat : 31960 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694613 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796191509008 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31961] ppid=31948 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31961/stat : 31961 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694613 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796190456464 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31964] ppid=31948 vsize=10661052 memory=140174479693440 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31964/stat : 31964 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694615 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796078889456 139796587096706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31969] ppid=31948 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31969/stat : 31969 (java) S 31948 31951 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694615 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796077835680 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31971] ppid=31948 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31971/stat : 31971 (java) S 31948 31951 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694615 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796076783088 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31978] ppid=31948 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31978/stat : 31978 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796075731664 139796587104155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31979] ppid=31948 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31979/stat : 31979 (java) S 31948 31951 31407 0 -1 1077944384 443 0 0 0 0 0 0 0 20 0 15 0 98694618 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796074678256 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31980] ppid=31948 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31980/stat : 31980 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796073625712 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31981] ppid=31948 vsize=10661052 memory=140174479693440 CPUtime=0.01 cores=1,3,5,7
/proc/31951/task/31981/stat : 31981 (java) R 31948 31951 31407 0 -1 4202560 354 0 0 0 1 0 0 0 20 0 15 0 98694618 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796072573168 139796571262042 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31982] ppid=31948 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31982/stat : 31982 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796071520864 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31984] ppid=31948 vsize=10661052 memory=140174479693440 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31984/stat : 31984 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694618 10916917248 6669 33554432000 4194304 4196468 140726576603744 139796070468400 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 26676 KiB
[startup+0.211026 s]*
/proc/loadavg: 1.58 1.56 1.69 5/218 31991
/proc/meminfo: memFree=27383712/32770624 swapFree=67108856/67108860
[pid=31951] ppid=31948 vsize=10661052 memory=40164 CPUtime=0.35 cores=1,3,5,7
/proc/31951/stat : 31951 (java) S 31948 31951 31407 0 -1 1077944320 8641 0 0 0 32 3 0 0 20 0 15 0 98694612 10916917248 10041 33554432000 4194304 4196468 140726576603744 140726576586288 139796587085559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
/proc/31951/statm: 2665263 10041 2996 1 0 2627263 0
[pid=31951/tid=31954] ppid=31948 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/31951/task/31954/stat : 31954 (java) R 31948 31951 31407 0 -1 1077944384 5213 0 0 0 18 2 0 0 20 0 15 0 98694613 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796591323760 139796587095765 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31958] ppid=31948 vsize=10661052 memory=343 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31958/stat : 31958 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694613 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796556798224 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31959] ppid=31948 vsize=10661052 memory=140174479722962 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31959/stat : 31959 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694613 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796192561552 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31960] ppid=31948 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31960/stat : 31960 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694613 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796191509008 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31961] ppid=31948 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31961/stat : 31961 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694613 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796190456464 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31964] ppid=31948 vsize=10661052 memory=140174479693440 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31964/stat : 31964 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694615 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796078889456 139796587096706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31969] ppid=31948 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31969/stat : 31969 (java) S 31948 31951 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694615 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796077835680 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31971] ppid=31948 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31971/stat : 31971 (java) S 31948 31951 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694615 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796076783088 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31978] ppid=31948 vsize=10661052 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31978/stat : 31978 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796075731664 139796587104155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31979] ppid=31948 vsize=10661052 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/31951/task/31979/stat : 31979 (java) R 31948 31951 31407 0 -1 4202560 667 0 0 0 2 0 0 0 20 0 15 0 98694618 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796074659272 139796571474467 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31980] ppid=31948 vsize=10661052 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/31951/task/31980/stat : 31980 (java) R 31948 31951 31407 0 -1 4202560 291 0 0 0 3 0 0 0 20 0 15 0 98694618 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796073625712 139796587097494 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31981] ppid=31948 vsize=10661052 memory=140174479693440 CPUtime=0.08 cores=1,3,5,7
/proc/31951/task/31981/stat : 31981 (java) R 31948 31951 31407 0 -1 4202560 1101 0 0 0 8 0 0 0 20 0 15 0 98694618 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796072567512 139796565454184 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31982] ppid=31948 vsize=10661052 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31982/stat : 31982 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796071520864 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31984] ppid=31948 vsize=10661052 memory=140174479693440 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31984/stat : 31984 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694618 10916917248 10041 33554432000 4194304 4196468 140726576603744 139796070468400 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 40164 KiB
[startup+0.311296 s]*
/proc/loadavg: 1.58 1.56 1.69 6/201 31994
/proc/meminfo: memFree=27395800/32770624 swapFree=67108856/67108860
[pid=31951] ppid=31948 vsize=10661128 memory=47252 CPUtime=0.58 cores=1,3,5,7
/proc/31951/stat : 31951 (java) S 31948 31951 31407 0 -1 1077944320 9422 0 0 0 55 3 0 0 20 0 15 0 98694612 10916995072 11813 33554432000 4194304 4196468 140726576603744 140726576586288 139796587085559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
/proc/31951/statm: 2665282 11813 3064 1 0 2627263 0
[pid=31951/tid=31954] ppid=31948 vsize=10661128 memory=7235995348125508947 CPUtime=0.29 cores=1,3,5,7
/proc/31951/task/31954/stat : 31954 (java) S 31948 31951 31407 0 -1 1077944384 5545 0 0 0 27 2 0 0 20 0 15 0 98694613 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796591321904 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31958] ppid=31948 vsize=10661128 memory=4026531858 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31958/stat : 31958 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694613 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796556798224 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31959] ppid=31948 vsize=10661128 memory=9219 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31959/stat : 31959 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694613 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796192561552 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31960] ppid=31948 vsize=10661128 memory=27284 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31960/stat : 31960 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694613 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796191509008 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31961] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31961/stat : 31961 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694613 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796190456464 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31964] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31964/stat : 31964 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796078889456 139796587096706 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31969] ppid=31948 vsize=10661128 memory=6655300316396806240 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31969/stat : 31969 (java) S 31948 31951 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796077835680 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31971] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31971/stat : 31971 (java) S 31948 31951 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796076783088 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31978] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31978/stat : 31978 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796075731664 139796587104155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31979] ppid=31948 vsize=10661128 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/31951/task/31979/stat : 31979 (java) S 31948 31951 31407 0 -1 1077944384 873 0 0 0 6 0 0 0 20 0 15 0 98694618 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796074671280 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31980] ppid=31948 vsize=10661128 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/31951/task/31980/stat : 31980 (java) S 31948 31951 31407 0 -1 1077944384 364 0 0 0 6 0 0 0 20 0 15 0 98694618 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796073612496 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31981] ppid=31948 vsize=10661128 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/31951/task/31981/stat : 31981 (java) R 31948 31951 31407 0 -1 4202560 1271 0 0 0 14 0 0 0 20 0 15 0 98694618 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796072570104 139796566805067 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31982] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31982/stat : 31982 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796071520864 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31984] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31984/stat : 31984 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 11813 33554432000 4194304 4196468 140726576603744 139796070468400 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 47252 KiB
[startup+0.700819 s]
/proc/loadavg: 1.58 1.56 1.69 3/213 32031
/proc/meminfo: memFree=27152760/32770624 swapFree=67108856/67108860
[pid=31951] ppid=31948 vsize=10661128 memory=1202296 CPUtime=1.28 cores=1,3,5,7
/proc/31951/stat : 31951 (java) S 31948 31951 31407 0 -1 1077944320 11419 0 0 0 107 21 0 0 20 0 15 0 98694612 10916995072 300574 33554432000 4194304 4196468 140726576603744 140726576586288 139796587085559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
/proc/31951/statm: 2665282 300574 3104 1 0 2627263 0
[pid=31951/tid=31954] ppid=31948 vsize=10661128 memory=280348755792024 CPUtime=0.66 cores=1,3,5,7
/proc/31951/task/31954/stat : 31954 (java) R 31948 31951 31407 0 -1 4202560 7108 0 0 0 47 19 0 0 20 0 15 0 98694613 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796591323928 139796573153678 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31958] ppid=31948 vsize=10661128 memory=2486316303873 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31958/stat : 31958 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694613 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796556798224 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31959] ppid=31948 vsize=10661128 memory=2490611271169 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31959/stat : 31959 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694613 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796192561552 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31960] ppid=31948 vsize=10661128 memory=2499201205761 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31960/stat : 31960 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694613 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796191509008 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31961] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31961/stat : 31961 (java) S 31948 31951 31407 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 98694613 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796190456464 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31964] ppid=31948 vsize=10661128 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31964/stat : 31964 (java) S 31948 31951 31407 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796078889456 139796587096706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31969] ppid=31948 vsize=10661128 memory=6944656592455360604 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31969/stat : 31969 (java) S 31948 31951 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796077835680 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31971] ppid=31948 vsize=10661128 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31971/stat : 31971 (java) S 31948 31951 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796076783088 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31978] ppid=31948 vsize=10661128 memory=6944656575208382560 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31978/stat : 31978 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796075731664 139796587104155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31979] ppid=31948 vsize=10661128 memory=6944656575208382560 CPUtime=0.16 cores=1,3,5,7
/proc/31951/task/31979/stat : 31979 (java) S 31948 31951 31407 0 -1 1077944384 934 0 0 0 16 0 0 0 20 0 15 0 98694618 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796074678256 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31980] ppid=31948 vsize=10661128 memory=6943526294502006880 CPUtime=0.17 cores=1,3,5,7
/proc/31951/task/31980/stat : 31980 (java) S 31948 31951 31407 0 -1 1077944384 519 0 0 0 17 0 0 0 20 0 15 0 98694618 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796073625712 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31981] ppid=31948 vsize=10661128 memory=4312 CPUtime=0.25 cores=1,3,5,7
/proc/31951/task/31981/stat : 31981 (java) S 31948 31951 31407 0 -1 1077944384 1487 0 0 0 25 0 0 0 20 0 15 0 98694618 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796072573168 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31982] ppid=31948 vsize=10661128 memory=2092 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31982/stat : 31982 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796071520864 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31984] ppid=31948 vsize=10661128 memory=7380 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31984/stat : 31984 (java) S 31948 31951 31407 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 301086 33554432000 4194304 4196468 140726576603744 139796070468400 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
Current children cumulated CPU time: 1.28 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 1202296 KiB
[startup+1.50083 s]
/proc/loadavg: 1.58 1.56 1.69 5/219 32037
/proc/meminfo: memFree=24572724/32770624 swapFree=67108856/67108860
[pid=31951] ppid=31948 vsize=10661128 memory=4287564 CPUtime=2.45 cores=1,3,5,7
/proc/31951/stat : 31951 (java) S 31948 31951 31407 0 -1 1077944320 15504 0 0 0 177 68 0 0 20 0 15 0 98694612 10916995072 1071891 33554432000 4194304 4196468 140726576603744 140726576586288 139796587085559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
/proc/31951/statm: 2665282 1071891 3129 1 0 2627263 0
[pid=31951/tid=31954] ppid=31948 vsize=10661128 memory=0 CPUtime=1.28 cores=1,3,5,7
/proc/31951/task/31954/stat : 31954 (java) S 31948 31951 31407 0 -1 1077944384 9432 0 0 0 66 62 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796591323824 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31958] ppid=31948 vsize=10661128 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31951/task/31958/stat : 31958 (java) S 31948 31951 31407 0 -1 1077944384 21 0 0 0 12 0 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796556798224 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31959] ppid=31948 vsize=10661128 memory=1238 CPUtime=0.11 cores=1,3,5,7
/proc/31951/task/31959/stat : 31959 (java) S 31948 31951 31407 0 -1 1077944384 29 0 0 0 11 0 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796192561552 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31960] ppid=31948 vsize=10661128 memory=466 CPUtime=0.12 cores=1,3,5,7
/proc/31951/task/31960/stat : 31960 (java) S 31948 31951 31407 0 -1 1077944384 35 0 0 0 12 0 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796191509008 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31961] ppid=31948 vsize=10661128 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31951/task/31961/stat : 31961 (java) S 31948 31951 31407 0 -1 1077944384 90 0 0 0 12 0 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796190456464 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31964] ppid=31948 vsize=10661128 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31951/task/31964/stat : 31964 (java) R 31948 31951 31407 0 -1 4202560 1594 0 0 0 3 2 0 0 20 0 15 0 98694615 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796078888016 139796565455739 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31969] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31969/stat : 31969 (java) S 31948 31951 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796077835680 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31971] ppid=31948 vsize=10661128 memory=10 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31971/stat : 31971 (java) S 31948 31951 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796076783088 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31978] ppid=31948 vsize=10661128 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31978/stat : 31978 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796075731664 139796587104155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31979] ppid=31948 vsize=10661128 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/31951/task/31979/stat : 31979 (java) S 31948 31951 31407 0 -1 1077944384 934 0 0 0 16 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796074678256 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31980] ppid=31948 vsize=10661128 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/31951/task/31980/stat : 31980 (java) S 31948 31951 31407 0 -1 1077944384 519 0 0 0 17 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796073625712 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31981] ppid=31948 vsize=10661128 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/31951/task/31981/stat : 31981 (java) S 31948 31951 31407 0 -1 1077944384 1487 0 0 0 25 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796072573168 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31982] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31982/stat : 31982 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796071520864 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31984] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31984/stat : 31984 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796070468400 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4287564 KiB
[startup+1.5337 s]
# the end of solver process 31951 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1.79357 s, system=0.699634 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.50083 s]
/proc/loadavg: 1.58 1.56 1.69 5/219 32037
/proc/meminfo: memFree=24572724/32770624 swapFree=67108856/67108860
[pid=31951] ppid=31948 vsize=10661128 memory=4287564 CPUtime=2.45 cores=1,3,5,7
/proc/31951/stat : 31951 (java) S 31948 31951 31407 0 -1 1077944320 15504 0 0 0 177 68 0 0 20 0 15 0 98694612 10916995072 1071891 33554432000 4194304 4196468 140726576603744 140726576586288 139796587085559 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
/proc/31951/statm: 2665282 1071891 3129 1 0 2627263 0
[pid=31951/tid=31954] ppid=31948 vsize=10661128 memory=0 CPUtime=1.28 cores=1,3,5,7
/proc/31951/task/31954/stat : 31954 (java) S 31948 31951 31407 0 -1 1077944384 9432 0 0 0 66 62 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796591323824 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31958] ppid=31948 vsize=10661128 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31951/task/31958/stat : 31958 (java) S 31948 31951 31407 0 -1 1077944384 21 0 0 0 12 0 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796556798224 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31959] ppid=31948 vsize=10661128 memory=1238 CPUtime=0.11 cores=1,3,5,7
/proc/31951/task/31959/stat : 31959 (java) S 31948 31951 31407 0 -1 1077944384 29 0 0 0 11 0 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796192561552 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31960] ppid=31948 vsize=10661128 memory=466 CPUtime=0.12 cores=1,3,5,7
/proc/31951/task/31960/stat : 31960 (java) S 31948 31951 31407 0 -1 1077944384 35 0 0 0 12 0 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796191509008 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31961] ppid=31948 vsize=10661128 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/31951/task/31961/stat : 31961 (java) S 31948 31951 31407 0 -1 1077944384 90 0 0 0 12 0 0 0 20 0 15 0 98694613 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796190456464 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31964] ppid=31948 vsize=10661128 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/31951/task/31964/stat : 31964 (java) R 31948 31951 31407 0 -1 4202560 1594 0 0 0 3 2 0 0 20 0 15 0 98694615 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796078888016 139796565455739 0 0 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31969] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31969/stat : 31969 (java) S 31948 31951 31407 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796077835680 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31971] ppid=31948 vsize=10661128 memory=10 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31971/stat : 31971 (java) S 31948 31951 31407 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 98694615 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796076783088 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31978] ppid=31948 vsize=10661128 memory=6944652177228980320 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31978/stat : 31978 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796075731664 139796587104155 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31979] ppid=31948 vsize=10661128 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/31951/task/31979/stat : 31979 (java) S 31948 31951 31407 0 -1 1077944384 934 0 0 0 16 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796074678256 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31980] ppid=31948 vsize=10661128 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/31951/task/31980/stat : 31980 (java) S 31948 31951 31407 0 -1 1077944384 519 0 0 0 17 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796073625712 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31981] ppid=31948 vsize=10661128 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/31951/task/31981/stat : 31981 (java) S 31948 31951 31407 0 -1 1077944384 1487 0 0 0 25 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796072573168 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31982] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31982/stat : 31982 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796071520864 139796587095765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
[pid=31951/tid=31984] ppid=31948 vsize=10661128 memory=0 CPUtime=0 cores=1,3,5,7
/proc/31951/task/31984/stat : 31984 (java) S 31948 31951 31407 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 98694618 10916995072 1071891 33554432000 4194304 4196468 140726576603744 139796070468400 139796587096706 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21970944 140726576612490 140726576612617 140726576612617 140726576615375 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 4287564 KiB
Child status: 1
Real time (s): 1.53375
CPU time (s): 2.49321
CPU user time (s): 1.79357
CPU system time (s): 0.699634
CPU usage (%): 162.556
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 4287564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.79357
system time used= 0.699634
maximum resident set size= 4288768
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16101
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= 1288
involuntary context switches= 35
# summary of solver processes directly reported to runsolver:
# pid: 31951
# total CPU time (s): 2.49321
# total CPU user time (s): 1.79357
# total CPU system time (s): 0.699634
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.036136 second user time and 0.057216 second system time
The end