runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4241301-1502090006/watcher-4241301-1502090006 -o /tmp/evaluation-result-4241301-1502090006/solver-4241301-1502090006 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241301-1502090006.xml
pid=23322
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.08 2.03 2.05 4/180 23325
/proc/meminfo: memFree=31691932/32770624 swapFree=0/401232
[pid=23325] ppid=23322 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23325/stat : 23325 (runsolver) D 23322 23325 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11221585 24240128 107 18446744073709551615 4194304 4338465 140723058459472 140723058457112 140014600688343 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 34820096 140723058462879 140723058463306 140723058463306 140723058466762 0
/proc/23325/statm: 5918 107 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 2.08 2.03 2.05 4/180 23325
/proc/meminfo: memFree=31691932/32770624 swapFree=0/401232
[pid=23325] ppid=23322 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/23325/stat : 23325 (runsolver) D 23322 23325 9955 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 11221585 24240128 107 18446744073709551615 4194304 4338465 140723058459472 140723058457112 140014600688343 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 34820096 140723058462879 140723058463306 140723058463306 140723058466762 0
/proc/23325/statm: 5918 107 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200312 s]
/proc/loadavg: 2.08 2.03 2.05 4/180 23325
/proc/meminfo: memFree=31691932/32770624 swapFree=0/401232
[pid=23325] ppid=23322 vsize=29372 CPUtime=0.08 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 1624 0 0 0 8 0 0 0 20 0 1 0 11221585 30076928 1450 18446744073709551615 4194304 5970956 140732614960768 140732614957416 5672966 0 0 1 0 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 7343 1450 783 434 0 707 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29372
[startup+0.300276 s]
/proc/loadavg: 2.08 2.03 2.05 4/180 23325
/proc/meminfo: memFree=31691932/32770624 swapFree=0/401232
[pid=23325] ppid=23322 vsize=34472 CPUtime=0.18 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 2942 0 0 0 18 0 0 0 20 0 1 0 11221585 35299328 2784 18446744073709551615 4194304 5970956 140732614960768 140732614948088 4934327 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 8618 2784 835 434 0 1982 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 34472
[startup+0.700283 s]
/proc/loadavg: 2.08 2.03 2.05 4/180 23325
/proc/meminfo: memFree=31691932/32770624 swapFree=0/401232
[pid=23325] ppid=23322 vsize=36320 CPUtime=0.57 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 3414 0 0 0 57 0 0 0 20 0 1 0 11221585 37191680 3246 18446744073709551615 4194304 5970956 140732614960768 140732614948088 4934521 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9080 3246 842 434 0 2444 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 36320
[startup+1.50027 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 23326
/proc/meminfo: memFree=31682428/32770624 swapFree=0/401224
[pid=23325] ppid=23322 vsize=36320 CPUtime=1.37 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 3414 0 0 0 137 0 0 0 20 0 1 0 11221585 37191680 3246 18446744073709551615 4194304 5970956 140732614960768 140732614948072 4933111 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9080 3246 842 434 0 2444 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 36320
[startup+3.10026 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 23326
/proc/meminfo: memFree=31682180/32770624 swapFree=0/401224
[pid=23325] ppid=23322 vsize=36320 CPUtime=2.97 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 5704 0 0 0 297 0 0 0 20 0 1 0 11221585 37191680 3262 18446744073709551615 4194304 5970956 140732614960768 140732614948072 4934318 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9080 3262 842 434 0 2444 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 36320
[startup+6.30022 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 23326
/proc/meminfo: memFree=31681572/32770624 swapFree=0/401236
[pid=23325] ppid=23322 vsize=36320 CPUtime=6.17 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 8009 0 0 0 617 0 0 0 20 0 1 0 11221585 37191680 3262 18446744073709551615 4194304 5970956 140732614960768 140732614948072 4933129 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9080 3262 842 434 0 2444 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 36320
[startup+12.7002 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 23326
/proc/meminfo: memFree=31681424/32770624 swapFree=0/401244
[pid=23325] ppid=23322 vsize=36320 CPUtime=12.57 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 10306 0 0 0 1257 0 0 0 20 0 1 0 11221585 37191680 3262 18446744073709551615 4194304 5970956 140732614960768 140732614948072 4934357 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9080 3262 842 434 0 2444 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 36320
[startup+25.5003 s]
/proc/loadavg: 1.99 2.01 2.04 3/181 23327
/proc/meminfo: memFree=31681548/32770624 swapFree=0/401256
[pid=23325] ppid=23322 vsize=36320 CPUtime=25.37 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 14755 0 0 0 2537 0 0 0 20 0 1 0 11221585 37191680 3262 18446744073709551615 4194304 5970956 140732614960768 140732614948072 4930611 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9080 3262 842 434 0 2444 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 36320
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 23341
/proc/meminfo: memFree=31677884/32770624 swapFree=0/401296
[pid=23325] ppid=23322 vsize=36320 CPUtime=50.98 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 15542 0 0 0 5098 0 0 0 20 0 1 0 11221585 37191680 3268 18446744073709551615 4194304 5970956 140732614960768 140732614948072 4934432 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9080 3268 842 434 0 2444 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 36320
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 23367
/proc/meminfo: memFree=31674948/32770624 swapFree=0/401352
[pid=23325] ppid=23322 vsize=36452 CPUtime=102.19 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 16549 0 0 0 10219 0 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934318 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 36452
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/184 23369
/proc/meminfo: memFree=31675892/32770624 swapFree=0/401384
[pid=23325] ppid=23322 vsize=36452 CPUtime=162.19 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 17369 0 0 0 16219 0 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934354 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 36452
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 23371
/proc/meminfo: memFree=31678956/32770624 swapFree=0/401420
[pid=23325] ppid=23322 vsize=36452 CPUtime=222.2 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 18105 0 0 0 22220 0 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934335 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 36452
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 23373
/proc/meminfo: memFree=31679576/32770624 swapFree=0/401452
[pid=23325] ppid=23322 vsize=36452 CPUtime=282.2 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 18162 0 0 0 28220 0 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934327 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 36452
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23375
/proc/meminfo: memFree=31679584/32770624 swapFree=0/401488
[pid=23325] ppid=23322 vsize=36452 CPUtime=342.21 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 18950 0 0 0 34221 0 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4930611 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 36452
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23377
/proc/meminfo: memFree=31680080/32770624 swapFree=0/401516
[pid=23325] ppid=23322 vsize=36452 CPUtime=402.21 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 18980 0 0 0 40221 0 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934116 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 36452
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23379
/proc/meminfo: memFree=31680328/32770624 swapFree=0/401544
[pid=23325] ppid=23322 vsize=36452 CPUtime=462.23 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 19798 0 0 0 46222 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 5038712 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 36452
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23381
/proc/meminfo: memFree=31680924/32770624 swapFree=0/401576
[pid=23325] ppid=23322 vsize=36452 CPUtime=522.23 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 19798 0 0 0 52222 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934357 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 36452
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 23383
/proc/meminfo: memFree=31680580/32770624 swapFree=0/401604
[pid=23325] ppid=23322 vsize=36452 CPUtime=582.24 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 20614 0 0 0 58223 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934320 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 36452
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 23633
/proc/meminfo: memFree=31681280/32770624 swapFree=0/402288
[pid=23325] ppid=23322 vsize=36452 CPUtime=1542.35 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 27134 0 0 0 154234 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 5322888 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 36452
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 23635
/proc/meminfo: memFree=31681528/32770624 swapFree=0/402324
[pid=23325] ppid=23322 vsize=36452 CPUtime=1602.35 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 27135 0 0 0 160234 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4933175 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 36452
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 23637
/proc/meminfo: memFree=31681128/32770624 swapFree=0/402352
[pid=23325] ppid=23322 vsize=36452 CPUtime=1662.35 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 27930 0 0 0 166234 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4930640 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 36452
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 23640
/proc/meminfo: memFree=31681624/32770624 swapFree=0/402384
[pid=23325] ppid=23322 vsize=36452 CPUtime=1722.36 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 27953 0 0 0 172235 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 5093154 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 36452
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 23642
/proc/meminfo: memFree=31681128/32770624 swapFree=0/402420
[pid=23325] ppid=23322 vsize=36452 CPUtime=1782.37 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 28771 0 0 0 178236 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934477 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 36452
[startup+1842.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 23659
/proc/meminfo: memFree=31676816/32770624 swapFree=0/402476
[pid=23325] ppid=23322 vsize=36452 CPUtime=1842.37 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 28771 0 0 0 184236 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4978199 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 1842.37
Current children cumulated vsize (KiB) 36452
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 23661
/proc/meminfo: memFree=31676428/32770624 swapFree=0/402516
[pid=23325] ppid=23322 vsize=36452 CPUtime=1902.38 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 29589 0 0 0 190237 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 5337501 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 36452
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 23663
/proc/meminfo: memFree=31680596/32770624 swapFree=0/402552
[pid=23325] ppid=23322 vsize=36452 CPUtime=1962.38 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 29589 0 0 0 196237 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934651 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 1962.38
Current children cumulated vsize (KiB) 36452
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/182 23665
/proc/meminfo: memFree=31681092/32770624 swapFree=0/402576
[pid=23325] ppid=23322 vsize=36452 CPUtime=2022.39 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 30406 0 0 0 202238 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934366 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 2022.39
Current children cumulated vsize (KiB) 36452
[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/182 23667
/proc/meminfo: memFree=31681472/32770624 swapFree=0/402608
[pid=23325] ppid=23322 vsize=36452 CPUtime=2082.4 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 30407 0 0 0 208239 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4933182 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 2082.4
Current children cumulated vsize (KiB) 36452
[startup+2142.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 23669
/proc/meminfo: memFree=31681160/32770624 swapFree=0/402632
[pid=23325] ppid=23322 vsize=36452 CPUtime=2142.4 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 31188 0 0 0 214239 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934357 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 2142.4
Current children cumulated vsize (KiB) 36452
[startup+2202.31 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 23671
/proc/meminfo: memFree=31681416/32770624 swapFree=0/402672
[pid=23325] ppid=23322 vsize=36452 CPUtime=2202.41 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 31225 0 0 0 220240 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934366 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 2202.41
Current children cumulated vsize (KiB) 36452
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 23673
/proc/meminfo: memFree=31681292/32770624 swapFree=0/402696
[pid=23325] ppid=23322 vsize=36452 CPUtime=2262.42 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 31977 0 0 0 226241 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 5322040 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 36452
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 23675
/proc/meminfo: memFree=31681860/32770624 swapFree=0/402732
[pid=23325] ppid=23322 vsize=36452 CPUtime=2322.42 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 32043 0 0 0 232241 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934527 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 2322.42
Current children cumulated vsize (KiB) 36452
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 23677
/proc/meminfo: memFree=31680976/32770624 swapFree=0/402756
[pid=23325] ppid=23322 vsize=36452 CPUtime=2382.43 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 32805 0 0 0 238242 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934335 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 36452
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 23677
/proc/meminfo: memFree=31680976/32770624 swapFree=0/402764
[pid=23325] ppid=23322 vsize=36452 CPUtime=2400.03 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 32820 0 0 0 240002 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934366 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 36452
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 23325 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 23677
/proc/meminfo: memFree=31680976/32770624 swapFree=0/402764
[pid=23325] ppid=23322 vsize=36452 CPUtime=2400.03 cores=1,3,5,7
/proc/23325/stat : 23325 (cosoco) R 23322 23325 9955 0 -1 4202496 32820 0 0 0 240002 1 0 0 20 0 1 0 11221585 37326848 3282 18446744073709551615 4194304 5970956 140732614960768 140732614958328 4934366 0 0 1 8405026 0 0 0 17 3 0 0 11 0 0 8070896 8075904 30048256 140732614963660 140732614963790 140732614963790 140732614967246 0
/proc/23325/statm: 9113 3282 842 434 0 2477 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 36452
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.04
CPU user time (s): 2400.03
CPU system time (s): 0.014001
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 36452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.03
system time used= 0.014001
maximum resident set size= 13176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32854
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= 9
involuntary context switches= 608
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.2957 second user time and 8.25222 second system time
The end