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 (13640 MiB free)
memory of node 1: 16384 MiB (13737 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389757-1568354225/watcher-4389757-1568354225 -o /tmp/evaluation-result-4389757-1568354225/solver-4389757-1568354225 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3496 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389757-1568354225.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=9082, runsolver pid=9079
[startup+0.100389 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 9083
/proc/meminfo: memFree=28034704/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3688 CPUtime=0.1 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1133 0 0 0 10 0 0 0 20 0 1 0 411691319 28016640 922 33554432000 4194304 6210612 140736710166560 140736710154440 5389778 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 922 823 493 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+0.209356 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 9083
/proc/meminfo: memFree=28034704/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3688 CPUtime=0.21 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1133 0 0 0 21 0 0 0 20 0 1 0 411691319 28016640 922 33554432000 4194304 6210612 140736710166560 140736710154440 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 922 823 493 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+0.308862 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 9083
/proc/meminfo: memFree=28034704/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3688 CPUtime=0.31 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1133 0 0 0 31 0 0 0 20 0 1 0 411691319 28016640 922 33554432000 4194304 6210612 140736710166560 140736710154440 5080981 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 922 823 493 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+0.70027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9083
/proc/meminfo: memFree=28034424/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3688 CPUtime=0.69 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1133 0 0 0 69 0 0 0 20 0 1 0 411691319 28016640 922 33554432000 4194304 6210612 140736710166560 140736710154440 5080131 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 922 823 493 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9083
/proc/meminfo: memFree=28034208/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3688 CPUtime=1.49 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1133 0 0 0 149 0 0 0 20 0 1 0 411691319 28016640 922 33554432000 4194304 6210612 140736710166560 140736710154440 5078690 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 922 823 493 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3688 KiB
[startup+3.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9083
/proc/meminfo: memFree=28034208/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=3.1 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1178 0 0 0 310 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5185831 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+6.30027 s]
/proc/loadavg: 1.92 2.00 2.04 3/199 9083
/proc/meminfo: memFree=28034268/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=6.29 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1224 0 0 0 629 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710154440 5078360 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/199 9083
/proc/meminfo: memFree=28034392/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=12.69 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1302 0 0 0 1269 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710154440 5155432 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+25.5003 s]
/proc/loadavg: 1.94 2.00 2.04 3/199 9083
/proc/meminfo: memFree=28034112/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=25.49 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1362 0 0 0 2549 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710154440 5157632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+51.109 s]
/proc/loadavg: 1.96 2.00 2.04 3/199 9086
/proc/meminfo: memFree=28033276/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=51.09 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1394 0 0 0 5109 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5038769 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/199 9090
/proc/meminfo: memFree=28032984/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=102.28 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1458 0 0 0 10228 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/199 9094
/proc/meminfo: memFree=28033404/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=162.27 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1490 0 0 0 16227 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5038614 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 9107
/proc/meminfo: memFree=28031236/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=222.26 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1522 0 0 0 22226 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5078976 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 9134
/proc/meminfo: memFree=28030652/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=282.26 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1554 0 0 0 28226 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5034872 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 9138
/proc/meminfo: memFree=28031512/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=342.25 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1586 0 0 0 34225 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5156748 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 9144
/proc/meminfo: memFree=28031268/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=402.25 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1618 0 0 0 40225 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5038670 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 9148
/proc/meminfo: memFree=28031004/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=462.24 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1650 0 0 0 46224 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5396596 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
################
# More data... #
################
Current children cumulated memory: 3884 KiB
[startup+942.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/200 9255
/proc/meminfo: memFree=28395912/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=942.19 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1911 0 0 0 94219 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5038631 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 942.19 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1002.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 9259
/proc/meminfo: memFree=28395128/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1002.18 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1943 0 0 0 100218 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5078380 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1002.18 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1062.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 9263
/proc/meminfo: memFree=28394900/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1062.17 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 1975 0 0 0 106217 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5038743 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1062.17 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9269
/proc/meminfo: memFree=28395932/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1122.17 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2007 0 0 0 112217 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5081968 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1122.17 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9273
/proc/meminfo: memFree=28395716/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1182.16 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2039 0 0 0 118216 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5081003 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1182.16 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9277
/proc/meminfo: memFree=28395500/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1242.15 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 124215 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5157632 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1242.15 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1281.74 s]
# the end of solver process 9082 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1281.6 s, system=0.001999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1254.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9280
/proc/meminfo: memFree=28395096/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1254.25 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 125425 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5039168 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1254.25 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1267.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9280
/proc/meminfo: memFree=28395524/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1267.05 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 126705 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5082013 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1267.05 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1273.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9280
/proc/meminfo: memFree=28395524/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1273.45 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 127345 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5192912 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1273.45 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1276.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9280
/proc/meminfo: memFree=28395484/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1276.65 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 127665 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5034963 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1276.65 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1280 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 9281
/proc/meminfo: memFree=28394856/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1279.86 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 127986 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5157817 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1279.86 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1280.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9281
/proc/meminfo: memFree=28394856/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1280.65 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 128065 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5082450 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1280.65 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1281.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9281
/proc/meminfo: memFree=28394856/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1281.05 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 128105 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5082047 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1281.05 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1281.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9281
/proc/meminfo: memFree=28394856/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1281.45 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 128145 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5409293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1281.45 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
[startup+1281.7 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 9281
/proc/meminfo: memFree=28394856/32770624 swapFree=66998520/67108860
[pid=9082] ppid=9079 vsize=27360 memory=3884 CPUtime=1281.55 cores=1,3,5,7
/proc/9082/stat : 9082 (cosoco) R 9079 9082 3464 0 -1 4202496 2071 0 0 0 128155 0 0 0 20 0 1 0 411691319 28016640 971 33554432000 4194304 6210612 140736710166560 140736710164696 5039316 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8308220 8313664 31846400 140736710173707 140736710173809 140736710173809 140736710176718 0
/proc/9082/statm: 6840 971 867 493 0 145 0
Current children cumulated CPU time: 1281.55 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3884 KiB
Child status: 0
Real time (s): 1281.74
CPU time (s): 1281.6
CPU user time (s): 1281.6
CPU system time (s): 0.001999
CPU usage (%): 99.9888
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 3884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1281.6
system time used= 0.001999
maximum resident set size= 3956
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2122
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 975
# summary of solver processes directly reported to runsolver:
# pid: 9082
# total CPU time (s): 1281.6
# total CPU user time (s): 1281.6
# total CPU system time (s): 0.001999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.99213 second user time and 5.77829 second system time
The end