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 (1381 MiB free)
memory of node 1: 16384 MiB (2727 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4304832-1534037719/watcher-4304832-1534037719 -o /tmp/evaluation-result-4304832-1534037719/solver-4304832-1534037719 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1534037719-31472 --watchdog 2580 bin/xcsp-3-concrete -J-Xss64M -randomseed=1586531283 -superng HOME/instance-4304832-1534037719.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=31497, runsolver pid=31493
[startup+0.100112 s]*
/proc/loadavg: 1.23 1.73 1.87 3/191 31592
/proc/meminfo: memFree=4204296/32770624 swapFree=67108860/67108860
[pid=31497] ppid=31493 vsize=425712 memory=5616 CPUtime=0.08 cores=1,3,5,7
/proc/31497/stat : 31497 (java) S 31493 31497 30457 0 -1 1077944320 2542 13005 1 1 0 0 5 3 20 0 2 0 221335075 435929088 1404 33554432000 4194304 4196468 140734182048176 140734182030720 139837862772471 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
/proc/31497/statm: 106428 1404 1064 1 0 95339 0
[pid=31497/tid=31605] ppid=31493 vsize=425712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31605/stat : 31605 (java) S 31493 31497 30457 0 -1 1077944384 405 13005 0 1 0 0 5 3 20 0 2 0 221335086 435929088 1404 33554432000 4194304 4196468 140734182048176 139837834615200 139837862783618 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 425712 KiB
Current children cumulated memory: 5616 KiB
[startup+0.210329 s]*
/proc/loadavg: 1.23 1.73 1.87 3/216 31632
/proc/meminfo: memFree=4149204/32770624 swapFree=67108860/67108860
[pid=31497] ppid=31493 vsize=10982696 memory=40036 CPUtime=0.24 cores=1,3,5,7
/proc/31497/stat : 31497 (java) S 31493 31497 30457 0 -1 1077944320 6694 13005 1 1 14 2 5 3 20 0 15 0 221335075 11246280704 10009 33554432000 4194304 4196468 140734182048176 140734182030720 139837862772471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
/proc/31497/statm: 2745674 10009 2960 1 0 2708109 0
[pid=31497/tid=31605] ppid=31493 vsize=10982696 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/31497/task/31605/stat : 31605 (java) R 31493 31497 30457 0 -1 4202560 3245 13005 0 1 9 1 5 3 20 0 15 0 221335086 11246280704 10073 33554432000 4194304 4196468 140734182048176 139837834541584 139837855872374 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31607] ppid=31493 vsize=10982696 memory=365 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31607/stat : 31607 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246280704 10073 33554432000 4194304 4196468 140734182048176 139837867015184 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31608] ppid=31493 vsize=10982696 memory=140630244399988 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31608/stat : 31608 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246280704 10073 33554432000 4194304 4196468 140734182048176 139837760941200 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31609] ppid=31493 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31609/stat : 31609 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246280704 10073 33554432000 4194304 4196468 140734182048176 139837401836304 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31610] ppid=31493 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31610/stat : 31610 (java) S 31493 31497 30457 0 -1 1077944384 2 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246280704 10073 33554432000 4194304 4196468 140734182048176 139837400783760 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31615] ppid=31493 vsize=10982696 memory=140630244370048 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31615/stat : 31615 (java) S 31493 31497 30457 0 -1 1077944384 2 13005 0 1 0 0 5 3 20 0 15 0 221335088 11246280704 10073 33554432000 4194304 4196468 140734182048176 139836831811824 139837862783618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31617] ppid=31493 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31617/stat : 31617 (java) S 31493 31497 30457 0 -1 1077944384 13 13005 0 1 0 0 5 3 20 0 15 0 221335088 11246280704 10073 33554432000 4194304 4196468 140734182048176 139836753175712 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31619] ppid=31493 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31619/stat : 31619 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335088 11246280704 10073 33554432000 4194304 4196468 140734182048176 139836551848688 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31621] ppid=31493 vsize=10982696 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31621/stat : 31621 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11246280704 10073 33554432000 4194304 4196468 140734182048176 139836244449232 139837862791067 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31623] ppid=31493 vsize=10982696 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31497/task/31623/stat : 31623 (java) R 31493 31497 30457 0 -1 1077944384 480 13005 0 1 1 0 5 3 20 0 15 0 221335091 11246280704 10073 33554432000 4194304 4196468 140734182048176 139836830759664 139837862783618 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31624] ppid=31493 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31624/stat : 31624 (java) R 31493 31497 30457 0 -1 1077944384 134 13005 0 1 0 0 5 3 20 0 15 0 221335091 11246280704 10073 33554432000 4194304 4196468 140734182048176 139836829707120 139837862783618 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31625] ppid=31493 vsize=10982696 memory=140630244370048 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31625/stat : 31625 (java) S 31493 31497 30457 0 -1 1077944384 622 13005 0 1 3 0 5 3 20 0 15 0 221335091 11246280704 10073 33554432000 4194304 4196468 140734182048176 139836828654064 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31629] ppid=31493 vsize=10982696 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31629/stat : 31629 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11246280704 10073 33554432000 4194304 4196468 140734182048176 139835813653344 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31631] ppid=31493 vsize=10982696 memory=140630244370048 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31631/stat : 31631 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335092 11246280704 10073 33554432000 4194304 4196468 140734182048176 139836827601456 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 10982696 KiB
Current children cumulated memory: 40036 KiB
[startup+0.311349 s]*
/proc/loadavg: 1.23 1.73 1.87 4/216 31632
/proc/meminfo: memFree=4128368/32770624 swapFree=67108860/67108860
[pid=31497] ppid=31493 vsize=10983192 memory=52968 CPUtime=0.37 cores=1,3,5,7
/proc/31497/stat : 31497 (java) S 31493 31497 30457 0 -1 1077944320 9766 13005 1 1 26 3 5 3 20 0 15 0 221335075 11246788608 13242 33554432000 4194304 4196468 140734182048176 140734182030720 139837862772471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
/proc/31497/statm: 2745798 13242 3091 1 0 2708109 0
[pid=31497/tid=31605] ppid=31493 vsize=10983192 memory=0 CPUtime=0.27 cores=1,3,5,7
/proc/31497/task/31605/stat : 31605 (java) R 31493 31497 30457 0 -1 4202560 6302 13005 0 1 17 2 5 3 20 0 15 0 221335086 11246788608 13242 33554432000 4194304 4196468 140734182048176 139837834584480 139837843048161 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31607] ppid=31493 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31607/stat : 31607 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246788608 13242 33554432000 4194304 4196468 140734182048176 139837867015184 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31608] ppid=31493 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31608/stat : 31608 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246788608 13242 33554432000 4194304 4196468 140734182048176 139837760941200 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31609] ppid=31493 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31609/stat : 31609 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246788608 13242 33554432000 4194304 4196468 140734182048176 139837401836304 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31610] ppid=31493 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31610/stat : 31610 (java) S 31493 31497 30457 0 -1 1077944384 2 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246788608 13242 33554432000 4194304 4196468 140734182048176 139837400783760 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31615] ppid=31493 vsize=10983192 memory=140630244370048 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31615/stat : 31615 (java) S 31493 31497 30457 0 -1 1077944384 2 13005 0 1 0 0 5 3 20 0 15 0 221335088 11246788608 13242 33554432000 4194304 4196468 140734182048176 139836831811824 139837862783618 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31617] ppid=31493 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31617/stat : 31617 (java) S 31493 31497 30457 0 -1 1077944384 13 13005 0 1 0 0 5 3 20 0 15 0 221335088 11246788608 13242 33554432000 4194304 4196468 140734182048176 139836753175712 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31619] ppid=31493 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31619/stat : 31619 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335088 11246788608 13242 33554432000 4194304 4196468 140734182048176 139836551848688 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31621] ppid=31493 vsize=10983192 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31621/stat : 31621 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11246788608 13242 33554432000 4194304 4196468 140734182048176 139836244449232 139837862791067 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31623] ppid=31493 vsize=10983192 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31497/task/31623/stat : 31623 (java) S 31493 31497 30457 0 -1 1077944384 481 13005 0 1 1 0 5 3 20 0 15 0 221335091 11246788608 13242 33554432000 4194304 4196468 140734182048176 139836830759664 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31624] ppid=31493 vsize=10983192 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/31497/task/31624/stat : 31624 (java) S 31493 31497 30457 0 -1 1077944384 134 13005 0 1 1 0 5 3 20 0 15 0 221335091 11246788608 13242 33554432000 4194304 4196468 140734182048176 139836829707120 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31625] ppid=31493 vsize=10983192 memory=140630244370048 CPUtime=0.13 cores=1,3,5,7
/proc/31497/task/31625/stat : 31625 (java) S 31493 31497 30457 0 -1 1077944384 632 13005 0 1 5 0 5 3 20 0 15 0 221335091 11246788608 13242 33554432000 4194304 4196468 140734182048176 139836828654064 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31629] ppid=31493 vsize=10983192 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31629/stat : 31629 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11246788608 13242 33554432000 4194304 4196468 140734182048176 139835813653344 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31631] ppid=31493 vsize=10983192 memory=140630244370048 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31631/stat : 31631 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335092 11246788608 13242 33554432000 4194304 4196468 140734182048176 139836827601456 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52968 KiB
[startup+0.700778 s]
/proc/loadavg: 1.23 1.73 1.87 3/216 31632
/proc/meminfo: memFree=4101200/32770624 swapFree=67108860/67108860
[pid=31497] ppid=31493 vsize=10983192 memory=88704 CPUtime=0.96 cores=1,3,5,7
/proc/31497/stat : 31497 (java) S 31493 31497 30457 0 -1 1077944320 16814 13005 1 1 83 5 5 3 20 0 15 0 221335075 11246788608 22176 33554432000 4194304 4196468 140734182048176 140734182030720 139837862772471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
/proc/31497/statm: 2745798 22176 3237 1 0 2708109 0
[pid=31497/tid=31605] ppid=31493 vsize=10983192 memory=916 CPUtime=0.65 cores=1,3,5,7
/proc/31497/task/31605/stat : 31605 (java) R 31493 31497 30457 0 -1 4202560 12389 13005 0 1 53 4 5 3 20 0 15 0 221335086 11246788608 22176 33554432000 4194304 4196468 140734182048176 139837834592664 139837843048139 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31607] ppid=31493 vsize=10983192 memory=3848 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31607/stat : 31607 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246788608 22176 33554432000 4194304 4196468 140734182048176 139837867015184 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31608] ppid=31493 vsize=10983192 memory=4100 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31608/stat : 31608 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246788608 22176 33554432000 4194304 4196468 140734182048176 139837760941200 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31609] ppid=31493 vsize=10983192 memory=728 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31609/stat : 31609 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246788608 22176 33554432000 4194304 4196468 140734182048176 139837401836304 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31610] ppid=31493 vsize=10983192 memory=2300 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31610/stat : 31610 (java) S 31493 31497 30457 0 -1 1077944384 2 13005 0 1 0 0 5 3 20 0 15 0 221335086 11246788608 22176 33554432000 4194304 4196468 140734182048176 139837400783760 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31615] ppid=31493 vsize=10983192 memory=2300 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31615/stat : 31615 (java) S 31493 31497 30457 0 -1 1077944384 5 13005 0 1 0 0 5 3 20 0 15 0 221335088 11246788608 22176 33554432000 4194304 4196468 140734182048176 139836831811824 139837862783618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31617] ppid=31493 vsize=10983192 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31617/stat : 31617 (java) S 31493 31497 30457 0 -1 1077944384 13 13005 0 1 0 0 5 3 20 0 15 0 221335088 11246788608 22176 33554432000 4194304 4196468 140734182048176 139836753175712 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31619] ppid=31493 vsize=10983192 memory=1408 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31619/stat : 31619 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335088 11246788608 22176 33554432000 4194304 4196468 140734182048176 139836551848688 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31621] ppid=31493 vsize=10983192 memory=2404 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31621/stat : 31621 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11246788608 22176 33554432000 4194304 4196468 140734182048176 139836244449232 139837862791067 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31623] ppid=31493 vsize=10983192 memory=0 CPUtime=0.15 cores=1,3,5,7
/proc/31497/task/31623/stat : 31623 (java) S 31493 31497 30457 0 -1 1077944384 750 13005 0 1 7 0 5 3 20 0 15 0 221335091 11246788608 22176 33554432000 4194304 4196468 140734182048176 139836830759664 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31624] ppid=31493 vsize=10983192 memory=22244 CPUtime=0.17 cores=1,3,5,7
/proc/31497/task/31624/stat : 31624 (java) S 31493 31497 30457 0 -1 1077944384 750 13005 0 1 9 0 5 3 20 0 15 0 221335091 11246788608 22176 33554432000 4194304 4196468 140734182048176 139836829707120 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31625] ppid=31493 vsize=10983192 memory=6944656575208382560 CPUtime=0.21 cores=1,3,5,7
/proc/31497/task/31625/stat : 31625 (java) S 31493 31497 30457 0 -1 1077944384 705 13005 0 1 13 0 5 3 20 0 15 0 221335091 11246788608 22176 33554432000 4194304 4196468 140734182048176 139836828654064 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31629] ppid=31493 vsize=10983192 memory=271043326421938 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31629/stat : 31629 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11246788608 22176 33554432000 4194304 4196468 140734182048176 139835813653344 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31631] ppid=31493 vsize=10983192 memory=288230596050944315 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31631/stat : 31631 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335092 11246788608 22176 33554432000 4194304 4196468 140734182048176 139836827601456 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88704 KiB
[startup+1.5007 s]
/proc/loadavg: 1.23 1.73 1.87 3/216 31632
/proc/meminfo: memFree=4013216/32770624 swapFree=67108860/67108860
[pid=31497] ppid=31493 vsize=10998092 memory=181436 CPUtime=2.23 cores=1,3,5,7
/proc/31497/stat : 31497 (java) S 31493 31497 30457 0 -1 1077944320 24546 13005 1 1 204 11 5 3 20 0 15 0 221335075 11262046208 45359 33554432000 4194304 4196468 140734182048176 140734182030720 139837862772471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
/proc/31497/statm: 2749523 45359 3465 1 0 2711181 0
[pid=31497/tid=31605] ppid=31493 vsize=10998092 memory=56 CPUtime=1.42 cores=1,3,5,7
/proc/31497/task/31605/stat : 31605 (java) R 31493 31497 30457 0 -1 4202560 18301 13005 0 1 127 7 5 3 20 0 15 0 221335086 11262046208 45359 33554432000 4194304 4196468 140734182048176 139837834588712 139837848467520 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31607] ppid=31493 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31607/stat : 31607 (java) S 31493 31497 30457 0 -1 1077944384 26 13005 0 1 0 0 5 3 20 0 15 0 221335086 11262046208 45359 33554432000 4194304 4196468 140734182048176 139837867015184 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31608] ppid=31493 vsize=10998092 memory=3809 CPUtime=0.09 cores=1,3,5,7
/proc/31497/task/31608/stat : 31608 (java) S 31493 31497 30457 0 -1 1077944384 55 13005 0 1 1 0 5 3 20 0 15 0 221335086 11262046208 45359 33554432000 4194304 4196468 140734182048176 139837760941200 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31609] ppid=31493 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31497/task/31609/stat : 31609 (java) S 31493 31497 30457 0 -1 1077944384 259 13005 0 1 1 0 5 3 20 0 15 0 221335086 11262046208 45359 33554432000 4194304 4196468 140734182048176 139837401836304 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31610] ppid=31493 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31497/task/31610/stat : 31610 (java) S 31493 31497 30457 0 -1 1077944384 37 13005 0 1 1 0 5 3 20 0 15 0 221335086 11262046208 45359 33554432000 4194304 4196468 140734182048176 139837400783760 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31615] ppid=31493 vsize=10998092 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/31497/task/31615/stat : 31615 (java) S 31493 31497 30457 0 -1 1077944384 184 13005 0 1 1 0 5 3 20 0 15 0 221335088 11262046208 45359 33554432000 4194304 4196468 140734182048176 139836831811824 139837862783618 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31617] ppid=31493 vsize=10998092 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31617/stat : 31617 (java) S 31493 31497 30457 0 -1 1077944384 14 13005 0 1 0 0 5 3 20 0 15 0 221335088 11262046208 45359 33554432000 4194304 4196468 140734182048176 139836753175776 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31619] ppid=31493 vsize=10998092 memory=-2317720213663851332 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31619/stat : 31619 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335088 11262046208 45359 33554432000 4194304 4196468 140734182048176 139836551848704 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31621] ppid=31493 vsize=10998092 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31621/stat : 31621 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11262046208 45359 33554432000 4194304 4196468 140734182048176 139836244449232 139837862791067 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31623] ppid=31493 vsize=10998092 memory=281260228346096 CPUtime=0.24 cores=1,3,5,7
/proc/31497/task/31623/stat : 31623 (java) S 31493 31497 30457 0 -1 1077944384 856 13005 0 1 16 0 5 3 20 0 15 0 221335091 11262046208 45359 33554432000 4194304 4196468 140734182048176 139836830759664 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31624] ppid=31493 vsize=10998092 memory=7668899451442062168 CPUtime=0.31 cores=1,3,5,7
/proc/31497/task/31624/stat : 31624 (java) S 31493 31497 30457 0 -1 1077944384 1259 13005 0 1 23 0 5 3 20 0 15 0 221335091 11262046208 45359 33554432000 4194304 4196468 140734182048176 139836829707120 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31625] ppid=31493 vsize=10998092 memory=7956005031678667109 CPUtime=0.37 cores=1,3,5,7
/proc/31497/task/31625/stat : 31625 (java) S 31493 31497 30457 0 -1 1077944384 1358 13005 0 1 29 0 5 3 20 0 15 0 221335091 11262046208 45359 33554432000 4194304 4196468 140734182048176 139836828654064 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31629] ppid=31493 vsize=10998092 memory=13275743914299 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31629/stat : 31629 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11262046208 45359 33554432000 4194304 4196468 140734182048176 139835813653344 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31631] ppid=31493 vsize=10998092 memory=7380950533086211690 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31631/stat : 31631 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335092 11262046208 45359 33554432000 4194304 4196468 140734182048176 139836827601456 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
Current children cumulated CPU time: 2.23 s
Current children cumulated vsize: 10998092 KiB
Current children cumulated memory: 181436 KiB
[startup+3.11052 s]
/proc/loadavg: 1.21 1.72 1.86 7/216 31632
/proc/meminfo: memFree=3681472/32770624 swapFree=67108860/67108860
[pid=31497] ppid=31493 vsize=11075936 memory=288588 CPUtime=5.95 cores=1,3,5,7
/proc/31497/stat : 31497 (java) S 31493 31497 30457 0 -1 1077944320 46735 13005 1 1 569 18 5 3 20 0 15 0 221335075 11341758464 72147 33554432000 4194304 4196468 140734182048176 140734182030720 139837862772471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
/proc/31497/statm: 2768984 72147 3496 1 0 2730637 0
[pid=31497/tid=31605] ppid=31493 vsize=11075936 memory=3 CPUtime=2.97 cores=1,3,5,7
/proc/31497/task/31605/stat : 31605 (java) R 31493 31497 30457 0 -1 4202560 33689 13005 0 1 279 10 5 3 20 0 15 0 221335086 11341758464 72147 33554432000 4194304 4196468 140734182048176 139837834586104 139837862784406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31607] ppid=31493 vsize=11075936 memory=3 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31607/stat : 31607 (java) S 31493 31497 30457 0 -1 1077944384 40 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 72213 33554432000 4194304 4196468 140734182048176 139837867015184 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31608] ppid=31493 vsize=11075936 memory=181436 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31608/stat : 31608 (java) S 31493 31497 30457 0 -1 1077944384 72 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 72213 33554432000 4194304 4196468 140734182048176 139837760941200 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31609] ppid=31493 vsize=11075936 memory=281260228354880 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31609/stat : 31609 (java) S 31493 31497 30457 0 -1 1077944384 264 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 72213 33554432000 4194304 4196468 140734182048176 139837401836304 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31610] ppid=31493 vsize=11075936 memory=4351193298469540440 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31610/stat : 31610 (java) S 31493 31497 30457 0 -1 1077944384 43 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 72213 33554432000 4194304 4196468 140734182048176 139837400783760 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31615] ppid=31493 vsize=11075936 memory=207084 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31615/stat : 31615 (java) S 31493 31497 30457 0 -1 1077944384 1035 13005 0 1 3 0 5 3 20 0 15 0 221335088 11341758464 72213 33554432000 4194304 4196468 140734182048176 139836831811824 139837862783618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31617] ppid=31493 vsize=11075936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31617/stat : 31617 (java) S 31493 31497 30457 0 -1 1077944384 14 13005 0 1 0 0 5 3 20 0 15 0 221335088 11341758464 72213 33554432000 4194304 4196468 140734182048176 139836753175776 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31619] ppid=31493 vsize=11075936 memory=734378360886880355 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31619/stat : 31619 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335088 11341758464 72213 33554432000 4194304 4196468 140734182048176 139836551848704 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31621] ppid=31493 vsize=11075936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31621/stat : 31621 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11341758464 72213 33554432000 4194304 4196468 140734182048176 139836244449232 139837862791067 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31623] ppid=31493 vsize=11075936 memory=281260228799424 CPUtime=0.87 cores=1,3,5,7
/proc/31497/task/31623/stat : 31623 (java) R 31493 31497 30457 0 -1 4202560 3559 13005 0 1 78 1 5 3 20 0 15 0 221335091 11341758464 72213 33554432000 4194304 4196468 140734182048176 139836830740680 139837843474135 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31624] ppid=31493 vsize=11075936 memory=3184238550190382352 CPUtime=1.06 cores=1,3,5,7
/proc/31497/task/31624/stat : 31624 (java) R 31493 31497 30457 0 -1 1077944384 2722 13005 0 1 97 1 5 3 20 0 15 0 221335091 11341758464 72213 33554432000 4194304 4196468 140734182048176 139836829707120 139837862783618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31625] ppid=31493 vsize=11075936 memory=-6298953081951440413 CPUtime=1.04 cores=1,3,5,7
/proc/31497/task/31625/stat : 31625 (java) R 31493 31497 30457 0 -1 4202560 3105 13005 0 1 95 1 5 3 20 0 15 0 221335091 11341758464 72213 33554432000 4194304 4196468 140734182048176 139836828654064 139837862784406 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31629] ppid=31493 vsize=11075936 memory=8171313558828896344 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31629/stat : 31629 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11341758464 72213 33554432000 4194304 4196468 140734182048176 139835813653344 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31631] ppid=31493 vsize=11075936 memory=7684433391216329530 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31631/stat : 31631 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335092 11341758464 72213 33554432000 4194304 4196468 140734182048176 139836827601456 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 288588 KiB
[startup+5.96309 s]
# the end of solver process 31497 was just reported to runsolver
# cumulated CPU time of all completed processes: user=10.8626 s, system=0.264082 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20349 s]
/proc/loadavg: 1.21 1.72 1.86 7/216 31632
/proc/meminfo: memFree=3681472/32770624 swapFree=67108860/67108860
[pid=31497] ppid=31493 vsize=11075936 memory=291012 CPUtime=6.23 cores=1,3,5,7
/proc/31497/stat : 31497 (java) S 31493 31497 30457 0 -1 1077944320 51406 13005 1 1 597 18 5 3 20 0 15 0 221335075 11341758464 72753 33554432000 4194304 4196468 140734182048176 140734182030720 139837862772471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
/proc/31497/statm: 2768984 72753 3496 1 0 2730637 0
[pid=31497/tid=31605] ppid=31493 vsize=11075936 memory=6720696446780543624 CPUtime=3.07 cores=1,3,5,7
/proc/31497/task/31605/stat : 31605 (java) R 31493 31497 30457 0 -1 4202560 35955 13005 0 1 289 10 5 3 20 0 15 0 221335086 11341758464 72753 33554432000 4194304 4196468 140734182048176 139837834605328 139837846908548 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31607] ppid=31493 vsize=11075936 memory=7305792226081858669 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31607/stat : 31607 (java) S 31493 31497 30457 0 -1 1077944384 40 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 72753 33554432000 4194304 4196468 140734182048176 139837867015184 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31608] ppid=31493 vsize=11075936 memory=6791534058613427641 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31608/stat : 31608 (java) S 31493 31497 30457 0 -1 1077944384 72 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 72753 33554432000 4194304 4196468 140734182048176 139837760941200 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31609] ppid=31493 vsize=11075936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31609/stat : 31609 (java) S 31493 31497 30457 0 -1 1077944384 264 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 72753 33554432000 4194304 4196468 140734182048176 139837401836304 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31610] ppid=31493 vsize=11075936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31610/stat : 31610 (java) S 31493 31497 30457 0 -1 1077944384 43 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 72753 33554432000 4194304 4196468 140734182048176 139837400783760 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31615] ppid=31493 vsize=11075936 memory=3472468926342036672 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31615/stat : 31615 (java) S 31493 31497 30457 0 -1 1077944384 1035 13005 0 1 3 0 5 3 20 0 15 0 221335088 11341758464 72753 33554432000 4194304 4196468 140734182048176 139836831811824 139837862783618 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31617] ppid=31493 vsize=11075936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31617/stat : 31617 (java) S 31493 31497 30457 0 -1 1077944384 14 13005 0 1 0 0 5 3 20 0 15 0 221335088 11341758464 72753 33554432000 4194304 4196468 140734182048176 139836753175776 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31619] ppid=31493 vsize=11075936 memory=6656426216303648864 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31619/stat : 31619 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335088 11341758464 72753 33554432000 4194304 4196468 140734182048176 139836551848704 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31621] ppid=31493 vsize=11075936 memory=6944656592455360604 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31621/stat : 31621 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11341758464 72753 33554432000 4194304 4196468 140734182048176 139836244449232 139837862791067 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31623] ppid=31493 vsize=11075936 memory=281260228346096 CPUtime=0.96 cores=1,3,5,7
/proc/31497/task/31623/stat : 31623 (java) R 31493 31497 30457 0 -1 4202560 5062 13005 0 1 87 1 5 3 20 0 15 0 221335091 11341758464 72753 33554432000 4194304 4196468 140734182048176 139836830745848 139837843408400 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31624] ppid=31493 vsize=11075936 memory=6944656591801717918 CPUtime=1.09 cores=1,3,5,7
/proc/31497/task/31624/stat : 31624 (java) R 31493 31497 30457 0 -1 1077944384 2841 13005 0 1 100 1 5 3 20 0 15 0 221335091 11341758464 72753 33554432000 4194304 4196468 140734182048176 139836829707120 139837862783618 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31625] ppid=31493 vsize=11075936 memory=-6009349268717313833 CPUtime=1.1 cores=1,3,5,7
/proc/31497/task/31625/stat : 31625 (java) R 31493 31497 30457 0 -1 4202560 3892 13005 0 1 101 1 5 3 20 0 15 0 221335091 11341758464 72753 33554432000 4194304 4196468 140734182048176 139836828654064 139837855872171 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31629] ppid=31493 vsize=11075936 memory=4206468019014099040 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31629/stat : 31629 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11341758464 72753 33554432000 4194304 4196468 140734182048176 139835813653344 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31631] ppid=31493 vsize=11075936 memory=-9181546050914066336 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31631/stat : 31631 (java) S 31493 31497 30457 0 -1 1077944384 7 13005 0 1 0 0 5 3 20 0 15 0 221335092 11341758464 72753 33554432000 4194304 4196468 140734182048176 139836827601456 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
Current children cumulated CPU time: 6.23 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 291012 KiB
[startup+4.80458 s]
/proc/loadavg: 1.21 1.72 1.86 7/216 31632
/proc/meminfo: memFree=3582076/32770624 swapFree=67108860/67108860
[pid=31497] ppid=31493 vsize=11075936 memory=361740 CPUtime=10.27 cores=1,3,5,7
/proc/31497/stat : 31497 (java) S 31493 31497 30457 0 -1 1077944320 61014 13005 1 1 998 21 5 3 20 0 15 0 221335075 11341758464 90435 33554432000 4194304 4196468 140734182048176 140734182030720 139837862772471 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 1 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
/proc/31497/statm: 2768984 90435 3516 1 0 2730637 0
[pid=31497/tid=31605] ppid=31493 vsize=11075936 memory=207084 CPUtime=4.67 cores=1,3,5,7
/proc/31497/task/31605/stat : 31605 (java) R 31493 31497 30457 0 -1 4202560 36816 13005 0 1 447 12 5 3 20 0 15 0 221335086 11341758464 90435 33554432000 4194304 4196468 140734182048176 139837834602784 139837432462658 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31607] ppid=31493 vsize=11075936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31607/stat : 31607 (java) S 31493 31497 30457 0 -1 1077944384 44 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 90435 33554432000 4194304 4196468 140734182048176 139837867015184 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31608] ppid=31493 vsize=11075936 memory=734378360886880355 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31608/stat : 31608 (java) S 31493 31497 30457 0 -1 1077944384 247 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 90435 33554432000 4194304 4196468 140734182048176 139837760941200 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31609] ppid=31493 vsize=11075936 memory=0 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31609/stat : 31609 (java) S 31493 31497 30457 0 -1 1077944384 271 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 90435 33554432000 4194304 4196468 140734182048176 139837401836304 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31610] ppid=31493 vsize=11075936 memory=281260228799424 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31610/stat : 31610 (java) S 31493 31497 30457 0 -1 1077944384 89 13005 0 1 3 0 5 3 20 0 15 0 221335086 11341758464 90435 33554432000 4194304 4196468 140734182048176 139837400783760 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31615] ppid=31493 vsize=11075936 memory=3184238550190382352 CPUtime=0.11 cores=1,3,5,7
/proc/31497/task/31615/stat : 31615 (java) S 31493 31497 30457 0 -1 1077944384 1134 13005 0 1 3 0 5 3 20 0 15 0 221335088 11341758464 90435 33554432000 4194304 4196468 140734182048176 139836831811824 139837862783618 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31617] ppid=31493 vsize=11075936 memory=-6298953081951440413 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31617/stat : 31617 (java) S 31493 31497 30457 0 -1 1077944384 15 13005 0 1 0 0 5 3 20 0 15 0 221335088 11341758464 90435 33554432000 4194304 4196468 140734182048176 139836753175776 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31619] ppid=31493 vsize=11075936 memory=281260228892560 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31619/stat : 31619 (java) S 31493 31497 30457 0 -1 1077944384 1 13005 0 1 0 0 5 3 20 0 15 0 221335088 11341758464 90435 33554432000 4194304 4196468 140734182048176 139836551848704 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31621] ppid=31493 vsize=11075936 memory=6944652177228980320 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31621/stat : 31621 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11341758464 90435 33554432000 4194304 4196468 140734182048176 139836244449232 139837862791067 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31623] ppid=31493 vsize=11075936 memory=6944656575208382560 CPUtime=2.07 cores=1,3,5,7
/proc/31497/task/31623/stat : 31623 (java) S 31493 31497 30457 0 -1 1077944384 9198 13005 0 1 197 2 5 3 20 0 15 0 221335091 11341758464 90435 33554432000 4194304 4196468 140734182048176 139836830759664 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31624] ppid=31493 vsize=11075936 memory=6944652177228980320 CPUtime=2.11 cores=1,3,5,7
/proc/31497/task/31624/stat : 31624 (java) S 31493 31497 30457 0 -1 1077944384 4592 13005 0 1 201 2 5 3 20 0 15 0 221335091 11341758464 90435 33554432000 4194304 4196468 140734182048176 139836829707120 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31625] ppid=31493 vsize=11075936 memory=-6873162000112450758 CPUtime=1.42 cores=1,3,5,7
/proc/31497/task/31625/stat : 31625 (java) S 31493 31497 30457 0 -1 1077944384 6404 13005 0 1 132 2 5 3 20 0 15 0 221335091 11341758464 90435 33554432000 4194304 4196468 140734182048176 139836828654064 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31629] ppid=31493 vsize=11075936 memory=8292088564187963537 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31629/stat : 31629 (java) S 31493 31497 30457 0 -1 1077944384 3 13005 0 1 0 0 5 3 20 0 15 0 221335091 11341758464 90435 33554432000 4194304 4196468 140734182048176 139835813653344 139837862782677 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
[pid=31497/tid=31631] ppid=31493 vsize=11075936 memory=-7522837583129502606 CPUtime=0.08 cores=1,3,5,7
/proc/31497/task/31631/stat : 31631 (java) S 31493 31497 30457 0 -1 1077944384 8 13005 0 1 0 0 5 3 20 0 15 0 221335092 11341758464 90435 33554432000 4194304 4196468 140734182048176 139836827601456 139837862783618 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11534336 140734182054499 140734182057308 140734182057308 140734182059983 0
Current children cumulated CPU time: 10.27 s
Current children cumulated vsize: 11075936 KiB
Current children cumulated memory: 361740 KiB
[startup+5.60016 s]
/proc/loadavg: 1.21 1.72 1.86 3/203 31633
/proc/meminfo: memFree=3829396/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+5.80014 s]
/proc/loadavg: 1.21 1.72 1.86 3/203 31633
/proc/meminfo: memFree=3829396/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
[startup+5.90018 s]
/proc/loadavg: 1.21 1.72 1.86 3/203 31633
/proc/meminfo: memFree=3829396/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 5.96313
CPU time (s): 11.1267
CPU user time (s): 10.8626
CPU system time (s): 0.264082
CPU usage (%): 186.592
Max. virtual memory (cumulated for all children) (KiB): 11078748
Max. memory (cumulated for all children) (KiB): 365132
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8626
system time used= 0.264082
maximum resident set size= 367260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75734
page faults= 2
swaps= 0
block input operations= 72
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6753
involuntary context switches= 62
# summary of solver processes directly reported to runsolver:
# pid: 31497
# total CPU time (s): 11.1267
# total CPU user time (s): 10.8626
# total CPU system time (s): 0.264082
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.052179 second user time and 0.108721 second system time
The end