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 (15232 MiB free)
memory of node 1: 16384 MiB (15643 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389716-1568354911/watcher-4389716-1568354911 -o /tmp/evaluation-result-4389716-1568354911/solver-4389716-1568354911 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node146-1568349828-22475 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389716-1568354911.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
solver pid=23247, runsolver pid=23244
Current StackSize limit: 8192 KiB
[startup+0.100152 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 23254
/proc/meminfo: memFree=31613140/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3692 CPUtime=0.1 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1141 0 0 0 10 0 0 0 20 0 1 0 411405074 28016640 923 33554432000 4194304 6210612 140729829997632 140729829994168 5249890 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 923 819 493 0 145 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3692 KiB
[startup+0.209374 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 23254
/proc/meminfo: memFree=31588464/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3692 CPUtime=0.21 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1142 0 0 0 21 0 0 0 20 0 1 0 411405074 28016640 923 33554432000 4194304 6210612 140729829997632 140729829994168 5078384 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 923 819 493 0 145 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3692 KiB
[startup+0.309023 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 23254
/proc/meminfo: memFree=31588464/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3692 CPUtime=0.31 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1142 0 0 0 31 0 0 0 20 0 1 0 411405074 28016640 923 33554432000 4194304 6210612 140729829997632 140729829994168 5081147 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 923 819 493 0 145 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3692 KiB
[startup+0.700273 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23254
/proc/meminfo: memFree=31588100/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3692 CPUtime=0.69 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1142 0 0 0 69 0 0 0 20 0 1 0 411405074 28016640 923 33554432000 4194304 6210612 140729829997632 140729829994168 5079985 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 923 819 493 0 145 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3692 KiB
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23254
/proc/meminfo: memFree=31587852/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3692 CPUtime=1.49 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1142 0 0 0 149 0 0 0 20 0 1 0 411405074 28016640 923 33554432000 4194304 6210612 140729829997632 140729829995768 5408856 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 923 819 493 0 145 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3692 KiB
[startup+3.10906 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23254
/proc/meminfo: memFree=31586704/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=3.1 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1198 0 0 0 310 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829995768 5249664 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23254
/proc/meminfo: memFree=31586416/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=6.29 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1239 0 0 0 629 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829995768 5192912 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23254
/proc/meminfo: memFree=31586348/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=12.69 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1351 0 0 0 1269 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5038624 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23255
/proc/meminfo: memFree=31586736/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=25.49 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1407 0 0 0 2549 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829995768 5038658 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23257
/proc/meminfo: memFree=31585948/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=51.11 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1448 0 0 0 5111 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829995768 5390328 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23261
/proc/meminfo: memFree=31585444/32770624 swapFree=67000056/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=102.3 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1560 0 0 0 10230 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5038596 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23273
/proc/meminfo: memFree=31585092/32770624 swapFree=67000064/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=162.31 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1601 0 0 0 16231 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5078968 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23279
/proc/meminfo: memFree=31584616/32770624 swapFree=67000064/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=222.32 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1642 0 0 0 22232 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5157652 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 222.32 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23283
/proc/meminfo: memFree=31584840/32770624 swapFree=67000064/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=282.33 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1642 0 0 0 28233 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5038631 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 282.33 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23287
/proc/meminfo: memFree=31585040/32770624 swapFree=67000064/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=342.34 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1683 0 0 0 34234 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5156756 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 342.34 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23293
/proc/meminfo: memFree=31585036/32770624 swapFree=67000064/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=402.34 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1683 0 0 0 40234 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5157721 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 402.34 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23297
/proc/meminfo: memFree=31585452/32770624 swapFree=67000064/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=462.35 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 1724 0 0 0 46235 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5008459 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 462.35 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
################
# More data... #
################
Current children cumulated memory: 3920 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23398
/proc/meminfo: memFree=31583920/32770624 swapFree=67000072/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1542.49 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2093 0 0 0 154249 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5156820 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1542.49 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23402
/proc/meminfo: memFree=31583776/32770624 swapFree=67000072/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1602.5 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2093 0 0 0 160250 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5081986 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1602.5 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23408
/proc/meminfo: memFree=31583396/32770624 swapFree=67000072/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1662.51 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2134 0 0 0 166251 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5394304 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1662.51 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23412
/proc/meminfo: memFree=31583132/32770624 swapFree=67000072/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1722.51 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2134 0 0 0 172251 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5081363 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1722.51 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23416
/proc/meminfo: memFree=31583464/32770624 swapFree=67000072/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1782.52 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2175 0 0 0 178252 0 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5080969 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1782.52 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 23422
/proc/meminfo: memFree=31582872/32770624 swapFree=67000072/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1842.54 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2175 0 0 0 184253 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5038821 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1842.54 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 23426
/proc/meminfo: memFree=31583644/32770624 swapFree=67000072/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1902.55 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2216 0 0 0 190254 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5037391 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1902.55 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1954.27 s]
# the end of solver process 23247 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1954.52 s, system=0.012001 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1920 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 23426
/proc/meminfo: memFree=31583676/32770624 swapFree=67000072/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1920.26 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2216 0 0 0 192025 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5078999 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1920.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1932.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 23438
/proc/meminfo: memFree=31582528/32770624 swapFree=67000080/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1933.05 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2216 0 0 0 193304 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5039168 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1933.05 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1945.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23438
/proc/meminfo: memFree=31583232/32770624 swapFree=67000080/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1945.85 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2216 0 0 0 194584 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5038777 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1945.85 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1948.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23438
/proc/meminfo: memFree=31583356/32770624 swapFree=67000080/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1949.05 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2216 0 0 0 194904 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5185901 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1949.05 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1952 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 23439
/proc/meminfo: memFree=31583356/32770624 swapFree=67000080/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1952.26 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2216 0 0 0 195225 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5080821 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1952.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1953.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23439
/proc/meminfo: memFree=31583356/32770624 swapFree=67000080/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1953.85 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2216 0 0 0 195384 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5249712 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1953.85 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1954 s]*
/proc/loadavg: 2.00 2.01 2.05 3/201 23439
/proc/meminfo: memFree=31583480/32770624 swapFree=67000080/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1954.26 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2216 0 0 0 195425 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5038416 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1954.26 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
[startup+1954.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 23439
/proc/meminfo: memFree=31583480/32770624 swapFree=67000080/67108860
[pid=23247] ppid=23244 vsize=27360 memory=3920 CPUtime=1954.45 cores=1,3,5,7
/proc/23247/stat : 23247 (cosoco) R 23244 23247 22443 0 -1 4202496 2216 0 0 0 195444 1 0 0 20 0 1 0 411405074 28016640 980 33554432000 4194304 6210612 140729829997632 140729829985512 5080430 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8308220 8313664 39194624 140729830003723 140729830003825 140729830003825 140729830006734 0
/proc/23247/statm: 6840 980 867 493 0 145 0
Current children cumulated CPU time: 1954.45 s
Current children cumulated vsize: 27360 KiB
Current children cumulated memory: 3920 KiB
Child status: 0
Real time (s): 1954.27
CPU time (s): 1954.53
CPU user time (s): 1954.52
CPU system time (s): 0.012001
CPU usage (%): 100.013
Max. virtual memory (cumulated for all children) (KiB): 27360
Max. memory (cumulated for all children) (KiB): 3920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1954.52
system time used= 0.012001
maximum resident set size= 3992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2268
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= 15
involuntary context switches= 494
# summary of solver processes directly reported to runsolver:
# pid: 23247
# total CPU time (s): 1954.53
# total CPU user time (s): 1954.52
# total CPU system time (s): 0.012001
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.47191 second user time and 12.7423 second system time
The end