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 (15070 MiB free)
memory of node 1: 16384 MiB (15494 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397513-1568572785/watcher-4397513-1568572785 -o /tmp/evaluation-result-4397513-1568572785/solver-4397513-1568572785 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32493 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397513-1568572785.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=32522, runsolver pid=32519
Current StackSize limit: 8192 KiB
[startup+0.100302 s]*
/proc/loadavg: 0.00 0.01 0.05 3/199 32523
/proc/meminfo: memFree=31296872/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=28556 memory=4756 CPUtime=0.05 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 1386 0 0 0 5 0 0 0 20 0 1 0 433541116 29241344 1189 33554432000 4194304 6211092 140727731170912 140727731167400 140630310087653 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 7139 1189 822 493 0 444 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 28556 KiB
Current children cumulated memory: 4756 KiB
[startup+0.209276 s]*
/proc/loadavg: 0.00 0.01 0.05 3/199 32523
/proc/meminfo: memFree=31290260/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=31924 memory=8128 CPUtime=0.15 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 2233 0 0 0 15 0 0 0 20 0 1 0 433541116 32690176 2032 33554432000 4194304 6211092 140727731170912 140727731167400 140630313566439 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 7981 2032 822 493 0 1286 0
Current children cumulated CPU time: 0.15 s
Current children cumulated vsize: 31924 KiB
Current children cumulated memory: 8128 KiB
[startup+0.309251 s]*
/proc/loadavg: 0.00 0.01 0.05 3/199 32523
/proc/meminfo: memFree=31285052/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9676 CPUtime=0.25 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 2637 0 0 0 25 0 0 0 20 0 1 0 433541116 34140160 2419 33554432000 4194304 6211092 140727731170912 140727731167400 5008918 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2419 822 493 0 1640 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9676 KiB
[startup+0.700272 s]
/proc/loadavg: 0.00 0.01 0.05 3/199 32523
/proc/meminfo: memFree=31277812/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9676 CPUtime=0.64 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 2637 0 0 0 64 0 0 0 20 0 1 0 433541116 34140160 2419 33554432000 4194304 6211092 140727731170912 140727731167400 5165640 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2419 822 493 0 1640 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9676 KiB
[startup+1.50028 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 32523
/proc/meminfo: memFree=31274644/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9676 CPUtime=1.44 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 2637 0 0 0 144 0 0 0 20 0 1 0 433541116 34140160 2419 33554432000 4194304 6211092 140727731170912 140727731158792 5008827 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2419 822 493 0 1640 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9676 KiB
[startup+3.10892 s]
/proc/loadavg: 0.16 0.05 0.06 4/199 32523
/proc/meminfo: memFree=31274644/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=3.05 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 4107 0 0 0 305 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5009142 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+6.30027 s]
/proc/loadavg: 0.31 0.08 0.07 3/199 32523
/proc/meminfo: memFree=31274220/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=6.24 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 5577 0 0 0 624 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5009098 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+12.7003 s]
/proc/loadavg: 0.45 0.11 0.08 3/200 32525
/proc/meminfo: memFree=31273628/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=12.63 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 7047 0 0 0 1263 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5165608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 12.63 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+25.5003 s]
/proc/loadavg: 0.68 0.17 0.10 3/199 32525
/proc/meminfo: memFree=31274116/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=25.43 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 9987 0 0 0 2543 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5008918 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+51.1089 s]
/proc/loadavg: 1.20 0.35 0.16 3/199 32526
/proc/meminfo: memFree=31273544/32770624 swapFree=66984532/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=51.04 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 11457 0 0 0 5104 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5397226 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+102.3 s]
/proc/loadavg: 1.65 0.60 0.25 4/201 32539
/proc/meminfo: memFree=31272576/32770624 swapFree=66984536/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=102.23 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 11946 0 0 0 10223 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5008864 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+162.3 s]
/proc/loadavg: 1.87 0.86 0.36 3/200 32543
/proc/meminfo: memFree=31273048/32770624 swapFree=66984536/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=162.23 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 12433 0 0 0 16223 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5397382 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.47 3/199 32547
/proc/meminfo: memFree=31273812/32770624 swapFree=66984536/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=222.23 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 12920 0 0 0 22223 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5389808 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+282.3 s]
/proc/loadavg: 1.98 1.24 0.56 4/201 32554
/proc/meminfo: memFree=31271344/32770624 swapFree=66984536/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=282.22 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 13407 0 0 0 28222 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5397375 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 282.22 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+342.3 s]
/proc/loadavg: 1.99 1.37 0.65 3/200 32558
/proc/meminfo: memFree=31272144/32770624 swapFree=66984536/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=342.22 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 13894 0 0 0 34222 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 342.22 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.49 0.74 3/199 32562
/proc/meminfo: memFree=31271428/32770624 swapFree=66984536/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=402.22 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 14381 0 0 0 40222 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5390444 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 402.22 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.58 0.82 3/200 32568
/proc/meminfo: memFree=31270776/32770624 swapFree=66984536/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=462.22 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 14868 0 0 0 46222 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5193708 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
################
# More data... #
################
Current children cumulated memory: 9896 KiB
[startup+762.3 s]
/proc/loadavg: 2.00 1.85 1.14 3/200 32598
/proc/meminfo: memFree=31270448/32770624 swapFree=66984540/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=762.21 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 17303 0 0 0 76221 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5008831 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 762.21 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+822.3 s]
/proc/loadavg: 2.00 1.87 1.20 3/201 32604
/proc/meminfo: memFree=31270248/32770624 swapFree=66984540/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=822.21 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 17790 0 0 0 82221 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5397352 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 822.21 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+882.3 s]
/proc/loadavg: 2.00 1.90 1.25 4/200 32608
/proc/meminfo: memFree=31271044/32770624 swapFree=66984540/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=882.21 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 18277 0 0 0 88221 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5396409 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 882.21 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+942.3 s]
/proc/loadavg: 2.00 1.92 1.29 3/200 32612
/proc/meminfo: memFree=31270800/32770624 swapFree=66984540/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=942.21 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 18764 0 0 0 94221 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5397226 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 942.21 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1002.3 s]
/proc/loadavg: 2.00 1.93 1.34 3/200 32619
/proc/meminfo: memFree=31270784/32770624 swapFree=66984540/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1002.21 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 19251 0 0 0 100221 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5397168 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1002.21 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1062.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/199 32623
/proc/meminfo: memFree=31270680/32770624 swapFree=66984540/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1062.21 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 19738 0 0 0 106221 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5008816 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1062.21 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.42 4/199 32627
/proc/meminfo: memFree=31271968/32770624 swapFree=66984540/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1122.2 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 20225 0 0 0 112220 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5008831 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1122.2 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.45 4/200 32634
/proc/meminfo: memFree=31271716/32770624 swapFree=66984540/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1182.2 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 20712 0 0 0 118220 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5397356 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1182.2 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1242.3 s]
/proc/loadavg: 2.39 2.06 1.52 3/199 32638
/proc/meminfo: memFree=31272268/32770624 swapFree=66984540/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1242.2 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 21199 0 0 0 124220 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5397219 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1242.2 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1302.3 s]
/proc/loadavg: 2.63 2.19 1.60 3/200 32650
/proc/meminfo: memFree=31272040/32770624 swapFree=66984548/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1302.2 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 21686 0 0 0 130220 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5409465 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1302.2 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1310.46 s]
# the end of solver process 32522 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1310.36 s, system=0.007 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1305.6 s]
/proc/loadavg: 2.63 2.19 1.60 3/200 32650
/proc/meminfo: memFree=31272040/32770624 swapFree=66984548/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1305.5 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 21686 0 0 0 130550 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5397382 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1305.5 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1308.8 s]
/proc/loadavg: 2.66 2.20 1.60 3/200 32650
/proc/meminfo: memFree=31272040/32770624 swapFree=66984548/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1308.7 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 21686 0 0 0 130870 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5165608 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1308.7 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1309.6 s]
/proc/loadavg: 2.66 2.20 1.60 3/200 32650
/proc/meminfo: memFree=31272032/32770624 swapFree=66984548/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1309.5 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 21686 0 0 0 130950 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5165716 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1309.5 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1310 s]*
/proc/loadavg: 2.66 2.20 1.60 3/200 32650
/proc/meminfo: memFree=31272032/32770624 swapFree=66984548/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1309.91 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 21686 0 0 0 130991 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5165604 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1309.91 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
[startup+1310.4 s]
/proc/loadavg: 2.66 2.20 1.60 3/200 32650
/proc/meminfo: memFree=31272032/32770624 swapFree=66984548/67108860
[pid=32522] ppid=32519 vsize=33340 memory=9896 CPUtime=1310.3 cores=1,3,5,7
/proc/32522/stat : 32522 (cosoco) R 32519 32522 32461 0 -1 4202496 21686 0 0 0 131030 0 0 0 20 0 1 0 433541116 34140160 2474 33554432000 4194304 6211092 140727731170912 140727731158792 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 10694656 140727731172363 140727731172465 140727731172465 140727731175374 0
/proc/32522/statm: 8335 2474 867 493 0 1640 0
Current children cumulated CPU time: 1310.3 s
Current children cumulated vsize: 33340 KiB
Current children cumulated memory: 9896 KiB
Child status: 0
Real time (s): 1310.46
CPU time (s): 1310.37
CPU user time (s): 1310.36
CPU system time (s): 0.007
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 33340
Max. memory (cumulated for all children) (KiB): 9896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1310.36
system time used= 0.007
maximum resident set size= 9960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21736
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= 33
involuntary context switches= 349
# summary of solver processes directly reported to runsolver:
# pid: 32522
# total CPU time (s): 1310.37
# total CPU user time (s): 1310.36
# total CPU system time (s): 0.007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.69853 second user time and 8.1348 second system time
The end