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-4260208-1502033802/watcher-4260208-1502033802 -o /tmp/evaluation-result-4260208-1502033802/solver-4260208-1502033802 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502014323-10662 --watchdog 2560 cosoco -lc -model -restarts HOME/instance-4260208-1502033802.xml
pid=15269
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: 1.91 1.99 2.03 2/181 15272
/proc/meminfo: memFree=31505220/32770624 swapFree=0/325560
[pid=15272] ppid=15269 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15272/stat : 15272 (runsolver) D 15269 15272 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5601140 24240128 106 18446744073709551615 4194304 4338465 140722284824432 140722284822072 140295538537175 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 35274752 140722284830914 140722284831306 140722284831306 140722284834762 0
/proc/15272/statm: 5918 106 53 36 0 2156 0
[startup+0.100151 s]
/proc/loadavg: 1.91 1.99 2.03 2/181 15272
/proc/meminfo: memFree=31505220/32770624 swapFree=0/325560
[pid=15272] ppid=15269 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/15272/stat : 15272 (runsolver) D 15269 15272 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 5601140 24240128 106 18446744073709551615 4194304 4338465 140722284824432 140722284822072 140295538537175 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 35274752 140722284830914 140722284831306 140722284831306 140722284834762 0
/proc/15272/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200323 s]
/proc/loadavg: 1.91 1.99 2.03 2/181 15272
/proc/meminfo: memFree=31505220/32770624 swapFree=0/325560
[pid=15272] ppid=15269 vsize=37768 CPUtime=0.09 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 3707 0 0 0 9 0 0 0 20 0 1 0 5601140 38674432 3504 18446744073709551615 4194304 5747388 140736694040864 140736694037512 139662279531520 0 0 1 0 0 0 0 17 1 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 9442 3504 726 380 0 2860 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37768
[startup+0.300345 s]
/proc/loadavg: 1.91 1.99 2.03 2/181 15272
/proc/meminfo: memFree=31505220/32770624 swapFree=0/325560
[pid=15272] ppid=15269 vsize=93884 CPUtime=0.19 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 17751 0 0 0 17 2 0 0 20 0 1 0 5601140 96137216 17561 18446744073709551615 4194304 5747388 140736694040864 140736694037512 139662279531520 0 0 1 0 0 0 0 17 1 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 23471 17561 727 380 0 16889 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 93884
[startup+0.700302 s]
/proc/loadavg: 1.91 1.99 2.03 2/181 15272
/proc/meminfo: memFree=31505220/32770624 swapFree=0/325560
[pid=15272] ppid=15269 vsize=253824 CPUtime=0.58 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 57772 0 0 0 52 6 0 0 20 0 1 0 5601140 259915776 57557 18446744073709551615 4194304 5747388 140736694040864 140736694038168 5121146 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 63456 57557 728 380 0 56874 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 253824
[startup+1.50029 s]
/proc/loadavg: 1.91 1.99 2.03 3/182 15273
/proc/meminfo: memFree=31248652/32770624 swapFree=0/325560
[pid=15272] ppid=15269 vsize=291696 CPUtime=1.39 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 67232 0 0 0 130 9 0 0 20 0 1 0 5601140 298696704 67061 18446744073709551615 4194304 5747388 140736694040864 140736694037944 139662279162411 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 72958 67061 759 380 0 66376 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 291696
[startup+3.10028 s]
/proc/loadavg: 1.91 1.99 2.03 3/182 15273
/proc/meminfo: memFree=31225868/32770624 swapFree=0/325784
[pid=15272] ppid=15269 vsize=306380 CPUtime=2.99 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 79397 0 0 0 289 10 0 0 20 0 1 0 5601140 313733120 70732 18446744073709551615 4194304 5747388 140736694040864 140736694037944 5025392 0 0 1 8405026 0 0 0 17 1 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 76595 70732 759 380 0 70013 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 306380
[startup+6.30027 s]
/proc/loadavg: 1.84 1.97 2.03 3/182 15273
/proc/meminfo: memFree=31224168/32770624 swapFree=0/325848
[pid=15272] ppid=15269 vsize=306380 CPUtime=6.18 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 88943 0 0 0 608 10 0 0 20 0 1 0 5601140 313733120 70732 18446744073709551615 4194304 5747388 140736694040864 140736694037784 4946833 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 76595 70732 759 380 0 70013 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 306380
[startup+12.7002 s]
/proc/loadavg: 1.85 1.97 2.03 3/182 15273
/proc/meminfo: memFree=31160664/32770624 swapFree=0/325848
[pid=15272] ppid=15269 vsize=373500 CPUtime=12.58 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 134497 0 0 0 1244 14 0 0 20 0 1 0 5601140 382464000 86554 18446744073709551615 4194304 5747388 140736694040864 140736694037784 4946829 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 93375 86554 761 380 0 86793 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 373500
[startup+25.5003 s]
/proc/loadavg: 1.96 1.99 2.03 3/182 15273
/proc/meminfo: memFree=31132624/32770624 swapFree=0/325868
[pid=15272] ppid=15269 vsize=404032 CPUtime=25.39 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 169337 0 0 0 2523 16 0 0 20 0 1 0 5601140 413728768 93557 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4947292 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 101008 93557 761 380 0 94426 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 404032
[startup+51.1004 s]
/proc/loadavg: 2.05 2.01 2.04 3/182 15274
/proc/meminfo: memFree=31126088/32770624 swapFree=0/325892
[pid=15272] ppid=15269 vsize=412336 CPUtime=50.99 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 230841 0 0 0 5080 19 0 0 20 0 1 0 5601140 422232064 95378 18446744073709551615 4194304 5747388 140736694040864 140736694037896 4946825 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 103084 95378 761 380 0 96502 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 412336
[startup+102.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/182 15276
/proc/meminfo: memFree=31121796/32770624 swapFree=0/325972
[pid=15272] ppid=15269 vsize=413180 CPUtime=102.19 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 286663 0 0 0 10197 22 0 0 20 0 1 0 5601140 423096320 95574 18446744073709551615 4194304 5747388 140736694040864 140736694037784 5025344 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 103295 95574 761 380 0 96713 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 413180
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/181 15279
/proc/meminfo: memFree=31119112/32770624 swapFree=0/326044
[pid=15272] ppid=15269 vsize=415864 CPUtime=162.18 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 315708 0 0 0 16194 24 0 0 20 0 1 0 5601140 425844736 96185 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4946836 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 103966 96185 761 380 0 97384 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 415864
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15281
/proc/meminfo: memFree=31117040/32770624 swapFree=0/326092
[pid=15272] ppid=15269 vsize=415864 CPUtime=222.16 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 336266 0 0 0 22192 24 0 0 20 0 1 0 5601140 425844736 96190 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4995380 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 103966 96190 761 380 0 97384 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 415864
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15283
/proc/meminfo: memFree=31115964/32770624 swapFree=0/326156
[pid=15272] ppid=15269 vsize=415864 CPUtime=282.15 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 347303 0 0 0 28190 25 0 0 20 0 1 0 5601140 425844736 96420 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5142912 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 103966 96420 761 380 0 97384 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 415864
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15286
/proc/meminfo: memFree=31110136/32770624 swapFree=0/326212
[pid=15272] ppid=15269 vsize=415864 CPUtime=342.15 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 351113 0 0 0 34190 25 0 0 20 0 1 0 5601140 425844736 98050 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4948424 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 103966 98050 761 380 0 97384 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 415864
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 15288
/proc/meminfo: memFree=31106916/32770624 swapFree=0/326252
[pid=15272] ppid=15269 vsize=419952 CPUtime=402.16 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 352575 0 0 0 40190 26 0 0 20 0 1 0 5601140 430030848 98979 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4948396 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 104988 98979 761 380 0 98406 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 419952
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 15305
/proc/meminfo: memFree=31100852/32770624 swapFree=0/326332
[pid=15272] ppid=15269 vsize=419952 CPUtime=462.16 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 353502 0 0 0 46190 26 0 0 20 0 1 0 5601140 430030848 98979 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4949664 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 104988 98979 761 380 0 98406 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 419952
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 15307
/proc/meminfo: memFree=31099968/32770624 swapFree=0/326380
[pid=15272] ppid=15269 vsize=419952 CPUtime=522.17 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 354244 0 0 0 52191 26 0 0 20 0 1 0 5601140 430030848 98979 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4947953 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 104988 98979 761 380 0 98406 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 419952
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/182 15309
/proc/meminfo: memFree=31103028/32770624 swapFree=0/326416
[pid=15272] ppid=15269 vsize=419952 CPUtime=582.18 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 354527 0 0 0 58192 26 0 0 20 0 1 0 5601140 430030848 98979 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4949664 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 104988 98979 761 380 0 98406 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 419952
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 15353
/proc/meminfo: memFree=31098500/32770624 swapFree=0/327008
[pid=15272] ppid=15269 vsize=421664 CPUtime=1482.27 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 360572 0 0 0 148200 27 0 0 20 0 1 0 5601140 431783936 99515 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5142937 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99515 761 380 0 98834 0
Current children cumulated CPU time (s) 1482.27
Current children cumulated vsize (KiB) 421664
[startup+1542.31 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 15355
/proc/meminfo: memFree=31098448/32770624 swapFree=0/327040
[pid=15272] ppid=15269 vsize=421664 CPUtime=1542.28 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 360711 0 0 0 154201 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4947027 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 1542.28
Current children cumulated vsize (KiB) 421664
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 15357
/proc/meminfo: memFree=31098332/32770624 swapFree=0/327068
[pid=15272] ppid=15269 vsize=421664 CPUtime=1602.28 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 361186 0 0 0 160201 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4946829 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 1602.28
Current children cumulated vsize (KiB) 421664
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/185 15374
/proc/meminfo: memFree=31094272/32770624 swapFree=0/327124
[pid=15272] ppid=15269 vsize=421664 CPUtime=1662.29 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 361345 0 0 0 166202 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4947948 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 421664
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 15376
/proc/meminfo: memFree=31093772/32770624 swapFree=0/327160
[pid=15272] ppid=15269 vsize=421664 CPUtime=1722.29 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 361774 0 0 0 172202 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5142941 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 1722.29
Current children cumulated vsize (KiB) 421664
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 15378
/proc/meminfo: memFree=31097588/32770624 swapFree=0/327192
[pid=15272] ppid=15269 vsize=421664 CPUtime=1782.3 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 361902 0 0 0 178203 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5025371 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 421664
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 15380
/proc/meminfo: memFree=31097356/32770624 swapFree=0/327220
[pid=15272] ppid=15269 vsize=421664 CPUtime=1842.3 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 362076 0 0 0 184203 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5142941 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 1842.3
Current children cumulated vsize (KiB) 421664
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 15382
/proc/meminfo: memFree=31096356/32770624 swapFree=0/327248
[pid=15272] ppid=15269 vsize=421664 CPUtime=1902.31 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 362480 0 0 0 190204 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5142941 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 1902.31
Current children cumulated vsize (KiB) 421664
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 15385
/proc/meminfo: memFree=31095728/32770624 swapFree=0/327284
[pid=15272] ppid=15269 vsize=421664 CPUtime=1962.32 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 362682 0 0 0 196205 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5025392 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 1962.32
Current children cumulated vsize (KiB) 421664
[startup+2022.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 15387
/proc/meminfo: memFree=31096040/32770624 swapFree=0/327312
[pid=15272] ppid=15269 vsize=421664 CPUtime=2022.32 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 362816 0 0 0 202205 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4947964 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 2022.32
Current children cumulated vsize (KiB) 421664
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 15389
/proc/meminfo: memFree=31095928/32770624 swapFree=0/327344
[pid=15272] ppid=15269 vsize=421664 CPUtime=2082.33 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 362979 0 0 0 208206 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4949032 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 2082.33
Current children cumulated vsize (KiB) 421664
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 15392
/proc/meminfo: memFree=31096308/32770624 swapFree=0/327380
[pid=15272] ppid=15269 vsize=421664 CPUtime=2142.34 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 363362 0 0 0 214207 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4947959 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 2142.34
Current children cumulated vsize (KiB) 421664
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 15394
/proc/meminfo: memFree=31096308/32770624 swapFree=0/327408
[pid=15272] ppid=15269 vsize=421664 CPUtime=2202.35 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 363618 0 0 0 220208 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 4946833 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 2202.35
Current children cumulated vsize (KiB) 421664
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 15471
/proc/meminfo: memFree=31390864/32770624 swapFree=0/327512
[pid=15272] ppid=15269 vsize=421664 CPUtime=2262.35 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 363751 0 0 0 226208 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5142941 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 2262.35
Current children cumulated vsize (KiB) 421664
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15497
/proc/meminfo: memFree=31389740/32770624 swapFree=0/327644
[pid=15272] ppid=15269 vsize=421664 CPUtime=2322.35 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 364108 0 0 0 232208 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5025392 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 2322.35
Current children cumulated vsize (KiB) 421664
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15499
/proc/meminfo: memFree=31389632/32770624 swapFree=0/327680
[pid=15272] ppid=15269 vsize=421664 CPUtime=2382.36 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 364243 0 0 0 238209 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5142912 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 2382.36
Current children cumulated vsize (KiB) 421664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 15499
/proc/meminfo: memFree=31389756/32770624 swapFree=0/327684
[pid=15272] ppid=15269 vsize=421664 CPUtime=2400.06 cores=1,3,5,7
/proc/15272/stat : 15272 (cosoco) R 15269 15272 9955 0 -1 4202496 364393 0 0 0 239979 27 0 0 20 0 1 0 5601140 431783936 99520 18446744073709551615 4194304 5747388 140736694040864 140736694038264 5121146 0 0 1 8405026 0 0 0 17 5 0 0 10 0 0 7845728 7850568 12398592 140736694047215 140736694047310 140736694047310 140736694050766 0
/proc/15272/statm: 105416 99520 761 380 0 98834 0
Current children cumulated CPU time (s) 2400.06
Current children cumulated vsize (KiB) 421664
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 15272 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400
CPU time (s): 2400.07
CPU user time (s): 2399.8
CPU system time (s): 0.279028
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 421664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.8
system time used= 0.279028
maximum resident set size= 398152
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 364445
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= 125
involuntary context switches= 782
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0741 second user time and 8.88064 second system time
The end