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-4242875-1500669924/watcher-4242875-1500669924 -o /tmp/evaluation-result-4242875-1500669924/solver-4242875-1500669924 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500667522-13357 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242875-1500669924.xml
pid=13572
running on 8 cores: 1,3,5,7,9,11,13,15
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.10 2.05 2.02 3/240 13575
/proc/meminfo: memFree=31987080/32770624 swapFree=5660/198412
[pid=13575] ppid=13572 vsize=27388 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 1046 0 0 0 0 0 0 0 20 0 1 0 2259603 28045312 832 33554432000 4194304 5970956 140729470554160 140729470553352 5417055 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 6847 832 703 434 0 211 0
[startup+0.10018 s]
/proc/loadavg: 2.10 2.05 2.02 3/240 13575
/proc/meminfo: memFree=31987080/32770624 swapFree=5660/198412
[pid=13575] ppid=13572 vsize=27804 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 1146 0 0 0 9 0 0 0 20 0 1 0 2259603 28471296 964 33554432000 4194304 5970956 140729470554160 140729470550760 5378285 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 6951 964 709 434 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27804
[startup+0.200322 s]
/proc/loadavg: 2.10 2.05 2.02 3/240 13575
/proc/meminfo: memFree=31987080/32770624 swapFree=5660/198412
[pid=13575] ppid=13572 vsize=28644 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 1449 0 0 0 19 0 0 0 20 0 1 0 2259603 29331456 1107 33554432000 4194304 5970956 140729470554160 140729470550760 140612562357221 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 7161 1107 709 434 0 525 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28644
[startup+0.300268 s]
/proc/loadavg: 2.10 2.05 2.02 3/240 13575
/proc/meminfo: memFree=31987080/32770624 swapFree=5660/198412
[pid=13575] ppid=13572 vsize=30712 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 1816 0 0 0 29 0 0 0 20 0 1 0 2259603 31449088 1502 33554432000 4194304 5970956 140729470554160 140729470550760 5417055 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 7678 1502 709 434 0 1042 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30712
[startup+0.700226 s]
/proc/loadavg: 2.10 2.05 2.02 3/240 13575
/proc/meminfo: memFree=31987080/32770624 swapFree=5660/198412
[pid=13575] ppid=13572 vsize=33192 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 2477 0 0 0 69 0 0 0 20 0 1 0 2259603 33988608 2063 33554432000 4194304 5970956 140729470554160 140729470550760 140612562357221 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 8298 2063 709 434 0 1662 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33192
[startup+1.50018 s]
/proc/loadavg: 2.10 2.05 2.02 3/246 13592
/proc/meminfo: memFree=31895300/32770624 swapFree=5660/199560
[pid=13575] ppid=13572 vsize=39696 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 3710 0 0 0 149 0 0 0 20 0 1 0 2259603 40648704 3550 33554432000 4194304 5970956 140729470554160 140729470550760 5673389 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 9924 3550 709 434 0 3288 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 39696
[startup+3.10018 s]
/proc/loadavg: 2.10 2.05 2.02 3/246 13592
/proc/meminfo: memFree=31877228/32770624 swapFree=5660/199496
[pid=13575] ppid=13572 vsize=52704 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 5883 0 0 0 308 1 0 0 20 0 1 0 2259603 53968896 6736 33554432000 4194304 5970956 140729470554160 140729470550760 140612562357221 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 13176 6736 709 434 0 6540 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52704
[startup+6.30018 s]
/proc/loadavg: 2.09 2.05 2.02 3/246 13592
/proc/meminfo: memFree=31819964/32770624 swapFree=5660/199500
[pid=13575] ppid=13572 vsize=78984 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 9975 0 0 0 626 2 0 0 20 0 1 0 2259603 80879616 12794 33554432000 4194304 5970956 140729470554160 140729470550760 140612562354910 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 19746 12794 709 434 0 13110 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 78984
[startup+12.7003 s]
/proc/loadavg: 2.09 2.05 2.02 3/246 13592
/proc/meminfo: memFree=31677284/32770624 swapFree=5660/199512
[pid=13575] ppid=13572 vsize=373820 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 49379 0 0 0 1259 10 0 0 20 0 1 0 2259603 382791680 86065 33554432000 4194304 5970956 140729470554160 140729470541480 4934449 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86065 808 434 0 86819 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 373820
[startup+25.5004 s]
/proc/loadavg: 2.07 2.05 2.02 3/246 13592
/proc/meminfo: memFree=31079664/32770624 swapFree=5660/199528
[pid=13575] ppid=13572 vsize=373820 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 79204 0 0 0 2536 12 0 0 20 0 1 0 2259603 382791680 86124 33554432000 4194304 5970956 140729470554160 140729470541480 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86124 849 434 0 86819 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 373820
[startup+51.1004 s]
/proc/loadavg: 2.04 2.04 2.02 3/246 13592
/proc/meminfo: memFree=30826448/32770624 swapFree=5660/199540
[pid=13575] ppid=13572 vsize=373820 CPUtime=51.05 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 106401 0 0 0 5093 12 0 0 20 0 1 0 2259603 382791680 86124 33554432000 4194304 5970956 140729470554160 140729470541480 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86124 849 434 0 86819 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 373820
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.02 3/247 13594
/proc/meminfo: memFree=30826316/32770624 swapFree=5660/199572
[pid=13575] ppid=13572 vsize=373820 CPUtime=102.24 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 128777 0 0 0 10210 14 0 0 20 0 1 0 2259603 382791680 86124 33554432000 4194304 5970956 140729470554160 140729470541480 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86124 849 434 0 86819 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 373820
[startup+162.3 s]
/proc/loadavg: 2.12 2.06 2.03 3/247 13595
/proc/meminfo: memFree=30826848/32770624 swapFree=5660/199600
[pid=13575] ppid=13572 vsize=373820 CPUtime=162.19 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 133360 0 0 0 16205 14 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 373820
[startup+222.308 s]
/proc/loadavg: 2.04 2.05 2.03 3/247 13596
/proc/meminfo: memFree=30825372/32770624 swapFree=5660/199640
[pid=13575] ppid=13572 vsize=373820 CPUtime=222.16 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 133646 0 0 0 22202 14 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 373820
[startup+282.3 s]
/proc/loadavg: 2.02 2.04 2.03 3/247 13604
/proc/meminfo: memFree=30822108/32770624 swapFree=5660/199664
[pid=13575] ppid=13572 vsize=373820 CPUtime=282.12 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 133944 0 0 0 28198 14 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 373820
[startup+342.3 s]
/proc/loadavg: 2.01 2.04 2.03 3/247 13605
/proc/meminfo: memFree=30822748/32770624 swapFree=5660/199700
[pid=13575] ppid=13572 vsize=373820 CPUtime=342.09 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 134233 0 0 0 34194 15 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 373820
[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.03 3/246 13606
/proc/meminfo: memFree=30823112/32770624 swapFree=5660/199732
[pid=13575] ppid=13572 vsize=373820 CPUtime=402.06 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 134497 0 0 0 40191 15 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 373820
[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/246 13607
/proc/meminfo: memFree=30823288/32770624 swapFree=5660/199752
[pid=13575] ppid=13572 vsize=373820 CPUtime=462.02 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 134761 0 0 0 46187 15 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 373820
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.03 3/246 13608
/proc/meminfo: memFree=30823044/32770624 swapFree=5660/199784
[pid=13575] ppid=13572 vsize=373820 CPUtime=521.99 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 135022 0 0 0 52184 15 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 373820
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/246 13610
/proc/meminfo: memFree=30823004/32770624 swapFree=5660/199812
[pid=13575] ppid=13572 vsize=373820 CPUtime=581.95 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 135282 0 0 0 58180 15 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4933153 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 373820
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13665
/proc/meminfo: memFree=30823068/32770624 swapFree=5660/200252
[pid=13575] ppid=13572 vsize=373820 CPUtime=1481.45 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 139611 0 0 0 148130 15 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 5319216 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 1481.45
Current children cumulated vsize (KiB) 373820
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13666
/proc/meminfo: memFree=30823808/32770624 swapFree=5660/200292
[pid=13575] ppid=13572 vsize=373820 CPUtime=1541.43 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 139883 0 0 0 154128 15 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4933153 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 1541.43
Current children cumulated vsize (KiB) 373820
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13667
/proc/meminfo: memFree=30824252/32770624 swapFree=5660/200320
[pid=13575] ppid=13572 vsize=373820 CPUtime=1601.4 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 140162 0 0 0 160124 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 373820
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 13668
/proc/meminfo: memFree=30824416/32770624 swapFree=5660/200348
[pid=13575] ppid=13572 vsize=373820 CPUtime=1661.36 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 140436 0 0 0 166120 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 1661.36
Current children cumulated vsize (KiB) 373820
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 13669
/proc/meminfo: memFree=30824864/32770624 swapFree=5660/200380
[pid=13575] ppid=13572 vsize=373820 CPUtime=1721.33 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 140710 0 0 0 172117 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 1721.33
Current children cumulated vsize (KiB) 373820
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 13670
/proc/meminfo: memFree=30825272/32770624 swapFree=5660/200416
[pid=13575] ppid=13572 vsize=373820 CPUtime=1781.3 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 140984 0 0 0 178114 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 1781.3
Current children cumulated vsize (KiB) 373820
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 13671
/proc/meminfo: memFree=30825360/32770624 swapFree=5660/200448
[pid=13575] ppid=13572 vsize=373820 CPUtime=1841.26 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 141294 0 0 0 184110 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 1841.26
Current children cumulated vsize (KiB) 373820
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13673
/proc/meminfo: memFree=30825420/32770624 swapFree=5660/200476
[pid=13575] ppid=13572 vsize=373820 CPUtime=1901.23 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 141590 0 0 0 190107 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 1901.23
Current children cumulated vsize (KiB) 373820
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13674
/proc/meminfo: memFree=30825276/32770624 swapFree=5660/200508
[pid=13575] ppid=13572 vsize=373820 CPUtime=1961.2 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 141859 0 0 0 196104 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934506 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 1961.2
Current children cumulated vsize (KiB) 373820
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13675
/proc/meminfo: memFree=30825416/32770624 swapFree=5660/200536
[pid=13575] ppid=13572 vsize=373820 CPUtime=2021.17 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 142082 0 0 0 202101 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4933202 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 2021.17
Current children cumulated vsize (KiB) 373820
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 13683
/proc/meminfo: memFree=30824968/32770624 swapFree=5660/200536
[pid=13575] ppid=13572 vsize=373820 CPUtime=2081.14 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 142412 0 0 0 208098 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 2081.14
Current children cumulated vsize (KiB) 373820
[startup+2142.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/247 13684
/proc/meminfo: memFree=30825624/32770624 swapFree=5660/200572
[pid=13575] ppid=13572 vsize=373820 CPUtime=2141.1 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 142654 0 0 0 214094 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 2141.1
Current children cumulated vsize (KiB) 373820
[startup+2202.31 s]
/proc/loadavg: 2.05 2.04 2.05 3/246 13685
/proc/meminfo: memFree=30823020/32770624 swapFree=5660/200604
[pid=13575] ppid=13572 vsize=373820 CPUtime=2201.08 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 142885 0 0 0 220092 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 2201.08
Current children cumulated vsize (KiB) 373820
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/246 13686
/proc/meminfo: memFree=30823448/32770624 swapFree=5660/200632
[pid=13575] ppid=13572 vsize=373820 CPUtime=2261.04 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 143107 0 0 0 226088 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 2261.04
Current children cumulated vsize (KiB) 373820
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/246 13687
/proc/meminfo: memFree=30823984/32770624 swapFree=5660/200660
[pid=13575] ppid=13572 vsize=373820 CPUtime=2321 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 143440 0 0 0 232084 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 2321
Current children cumulated vsize (KiB) 373820
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 13689
/proc/meminfo: memFree=30824432/32770624 swapFree=5660/200700
[pid=13575] ppid=13572 vsize=373820 CPUtime=2380.97 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 143699 0 0 0 238081 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934318 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 2380.97
Current children cumulated vsize (KiB) 373820
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.41 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 13689
/proc/meminfo: memFree=30824292/32770624 swapFree=5660/200716
[pid=13575] ppid=13572 vsize=373820 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/13575/stat : 13575 (cosoco) R 13572 13575 9850 0 -1 4202496 143699 0 0 0 239991 16 0 0 20 0 1 0 2259603 382791680 86126 33554432000 4194304 5970956 140729470554160 140729470541464 4934327 0 0 4096 8405026 0 0 0 17 13 0 0 0 0 0 8070896 8075904 14204928 140729470559425 140729470559555 140729470559555 140729470562254 0
/proc/13575/statm: 93455 86126 851 434 0 86819 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 373820
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 13575 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401.41
CPU time (s): 2400.08
CPU user time (s): 2399.91
CPU system time (s): 0.168906
CPU usage (%): 99.9447
Max. virtual memory (cumulated for all children) (KiB): 373820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.91
system time used= 0.168906
maximum resident set size= 344544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 143731
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= 22
involuntary context switches= 120688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.27751 second user time and 13.0237 second system time
The end