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-4242692-1502050805/watcher-4242692-1502050805 -o /tmp/evaluation-result-4242692-1502050805/solver-4242692-1502050805 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502042574-16653 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242692-1502050805.xml
pid=17703
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.02 2.02 2.05 2/180 17706
/proc/meminfo: memFree=31311480/32770624 swapFree=0/376068
[pid=17706] ppid=17703 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/17706/stat : 17706 (runsolver) D 17703 17706 9955 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 7301461 24240128 107 18446744073709551615 4194304 4338465 140734577599584 140734577597224 140594125329111 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 39768064 140734577606815 140734577607242 140734577607242 140734577610698 0
/proc/17706/statm: 5918 107 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 2.02 2.02 2.05 2/180 17706
/proc/meminfo: memFree=31311480/32770624 swapFree=0/376068
[pid=17706] ppid=17703 vsize=27916 CPUtime=0.04 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 1180 0 0 0 4 0 0 0 20 0 1 0 7301461 28585984 964 18446744073709551615 4194304 5970956 140731640703024 140731640699624 5496067 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 6979 964 702 434 0 343 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 27916
[startup+0.200281 s]
/proc/loadavg: 2.02 2.02 2.05 2/180 17706
/proc/meminfo: memFree=31311480/32770624 swapFree=0/376068
[pid=17706] ppid=17703 vsize=28280 CPUtime=0.14 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 1263 0 0 0 14 0 0 0 20 0 1 0 7301461 28958720 1096 18446744073709551615 4194304 5970956 140731640703024 140731640699624 5668446 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 7070 1096 710 434 0 434 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 28280
[startup+0.300259 s]
/proc/loadavg: 2.02 2.02 2.05 2/180 17706
/proc/meminfo: memFree=31311480/32770624 swapFree=0/376068
[pid=17706] ppid=17703 vsize=28736 CPUtime=0.23 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 1396 0 0 0 23 0 0 0 20 0 1 0 7301461 29425664 1139 18446744073709551615 4194304 5970956 140731640703024 140731640699624 5377139 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 7184 1139 710 434 0 548 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 28736
[startup+0.700237 s]
/proc/loadavg: 2.02 2.02 2.05 2/180 17706
/proc/meminfo: memFree=31311480/32770624 swapFree=0/376068
[pid=17706] ppid=17703 vsize=34280 CPUtime=0.63 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 2906 0 0 0 63 0 0 0 20 0 1 0 7301461 35102720 2602 18446744073709551615 4194304 5970956 140731640703024 140731640699624 139867808652261 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 8570 2602 782 434 0 1934 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 34280
[startup+1.50023 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 17707
/proc/meminfo: memFree=31296540/32770624 swapFree=0/376288
[pid=17706] ppid=17703 vsize=49760 CPUtime=1.44 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 6782 0 0 0 143 1 0 0 20 0 1 0 7301461 50954240 6430 18446744073709551615 4194304 5970956 140731640703024 140731640694632 139867808652261 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 12440 6430 782 434 0 5804 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 49760
[startup+3.10023 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 17707
/proc/meminfo: memFree=31274964/32770624 swapFree=0/376288
[pid=17706] ppid=17703 vsize=80836 CPUtime=3.04 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 14684 0 0 0 302 2 0 0 20 0 1 0 7301461 82776064 14200 18446744073709551615 4194304 5970956 140731640703024 140731640694632 139867808652261 0 0 1 0 0 0 0 17 1 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 20209 14200 782 434 0 13573 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 80836
[startup+6.30023 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 17707
/proc/meminfo: memFree=31210288/32770624 swapFree=0/376300
[pid=17706] ppid=17703 vsize=142888 CPUtime=6.23 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 30547 0 0 0 620 3 0 0 20 0 1 0 7301461 146317312 29681 18446744073709551615 4194304 5970956 140731640703024 140731640696616 139867808652261 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 35722 29681 782 434 0 29086 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 142888
[startup+12.7002 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 17708
/proc/meminfo: memFree=31082428/32770624 swapFree=0/376300
[pid=17706] ppid=17703 vsize=266900 CPUtime=12.63 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 61885 0 0 0 1255 8 0 0 20 0 1 0 7301461 273305600 60705 18446744073709551615 4194304 5970956 140731640703024 140731640696616 139867808652261 0 0 1 0 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 66725 60705 782 434 0 60089 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 266900
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 17708
/proc/meminfo: memFree=30708540/32770624 swapFree=0/376316
[pid=17706] ppid=17703 vsize=628400 CPUtime=25.43 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 259789 0 0 0 2519 24 0 0 20 0 1 0 7301461 643481600 151261 18446744073709551615 4194304 5970956 140731640703024 140731640699992 5052080 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157100 151261 833 434 0 150464 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 628400
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 17770
/proc/meminfo: memFree=30708292/32770624 swapFree=0/376344
[pid=17706] ppid=17703 vsize=628532 CPUtime=51.04 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 317214 0 0 0 5076 28 0 0 20 0 1 0 7301461 643616768 151286 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4909030 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151286 833 434 0 150497 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 628532
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 17771
/proc/meminfo: memFree=30282584/32770624 swapFree=0/376396
[pid=17706] ppid=17703 vsize=628532 CPUtime=102.23 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 417369 0 0 0 10191 32 0 0 20 0 1 0 7301461 643616768 151290 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4967744 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151290 833 434 0 150497 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 628532
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/182 17773
/proc/meminfo: memFree=30281008/32770624 swapFree=0/376428
[pid=17706] ppid=17703 vsize=628532 CPUtime=162.23 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 505424 0 0 0 16187 36 0 0 20 0 1 0 7301461 643616768 151299 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4908512 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151299 833 434 0 150497 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 628532
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 17775
/proc/meminfo: memFree=30281568/32770624 swapFree=0/376460
[pid=17706] ppid=17703 vsize=628532 CPUtime=222.24 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 554400 0 0 0 22186 38 0 0 20 0 1 0 7301461 643616768 151306 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4908539 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151306 833 434 0 150497 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 628532
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 17791
/proc/meminfo: memFree=30276232/32770624 swapFree=0/376532
[pid=17706] ppid=17703 vsize=628532 CPUtime=282.23 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 587954 0 0 0 28183 40 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4908952 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 628532
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 17793
/proc/meminfo: memFree=30278684/32770624 swapFree=0/376568
[pid=17706] ppid=17703 vsize=628532 CPUtime=342.23 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 604070 0 0 0 34182 41 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4964452 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 628532
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17795
/proc/meminfo: memFree=30277748/32770624 swapFree=0/376600
[pid=17706] ppid=17703 vsize=628532 CPUtime=402.22 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 608565 0 0 0 40181 41 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4964363 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 628532
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17797
/proc/meminfo: memFree=30278156/32770624 swapFree=0/376628
[pid=17706] ppid=17703 vsize=628532 CPUtime=462.23 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 610074 0 0 0 46181 42 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5052118 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 628532
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17799
/proc/meminfo: memFree=30277936/32770624 swapFree=0/376656
[pid=17706] ppid=17703 vsize=628532 CPUtime=522.24 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 611198 0 0 0 52182 42 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5070320 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 628532
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17801
/proc/meminfo: memFree=30278596/32770624 swapFree=0/376684
[pid=17706] ppid=17703 vsize=628532 CPUtime=582.24 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 611808 0 0 0 58182 42 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5071023 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 628532
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 17864
/proc/meminfo: memFree=30276528/32770624 swapFree=0/377240
[pid=17706] ppid=17703 vsize=628532 CPUtime=1542.35 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 627215 0 0 0 154192 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4908171 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 628532
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 17866
/proc/meminfo: memFree=30278912/32770624 swapFree=0/377268
[pid=17706] ppid=17703 vsize=628532 CPUtime=1602.35 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 627865 0 0 0 160192 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4964366 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 628532
[startup+1662.3 s]
/proc/loadavg: 2.07 2.04 2.05 3/181 17868
/proc/meminfo: memFree=30279168/32770624 swapFree=0/377296
[pid=17706] ppid=17703 vsize=628532 CPUtime=1662.36 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 628524 0 0 0 166193 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5052118 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 1662.36
Current children cumulated vsize (KiB) 628532
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 17870
/proc/meminfo: memFree=30279872/32770624 swapFree=0/377336
[pid=17706] ppid=17703 vsize=628532 CPUtime=1722.37 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 629462 0 0 0 172194 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5071026 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 628532
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 17872
/proc/meminfo: memFree=30279756/32770624 swapFree=0/377372
[pid=17706] ppid=17703 vsize=628532 CPUtime=1782.37 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 630595 0 0 0 178194 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4964366 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 628532
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 17874
/proc/meminfo: memFree=30279380/32770624 swapFree=0/377392
[pid=17706] ppid=17703 vsize=628532 CPUtime=1842.38 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 631886 0 0 0 184195 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4908988 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 1842.38
Current children cumulated vsize (KiB) 628532
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 17876
/proc/meminfo: memFree=30279884/32770624 swapFree=0/377424
[pid=17706] ppid=17703 vsize=628532 CPUtime=1902.38 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 632543 0 0 0 190195 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5070304 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 1902.38
Current children cumulated vsize (KiB) 628532
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17878
/proc/meminfo: memFree=30279752/32770624 swapFree=0/377452
[pid=17706] ppid=17703 vsize=628532 CPUtime=1962.39 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 633476 0 0 0 196196 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5070331 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 1962.39
Current children cumulated vsize (KiB) 628532
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17880
/proc/meminfo: memFree=30279876/32770624 swapFree=0/377484
[pid=17706] ppid=17703 vsize=628532 CPUtime=2022.4 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 634323 0 0 0 202197 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5070333 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 2022.4
Current children cumulated vsize (KiB) 628532
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 17897
/proc/meminfo: memFree=30274764/32770624 swapFree=0/377552
[pid=17706] ppid=17703 vsize=628532 CPUtime=2082.41 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 634850 0 0 0 208198 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4964366 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 2082.41
Current children cumulated vsize (KiB) 628532
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 17899
/proc/meminfo: memFree=30277560/32770624 swapFree=0/377580
[pid=17706] ppid=17703 vsize=628532 CPUtime=2142.41 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 635979 0 0 0 214198 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4964366 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 2142.41
Current children cumulated vsize (KiB) 628532
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 17901
/proc/meminfo: memFree=30278880/32770624 swapFree=0/377612
[pid=17706] ppid=17703 vsize=628532 CPUtime=2202.42 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 636846 0 0 0 220199 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5327993 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 2202.42
Current children cumulated vsize (KiB) 628532
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17903
/proc/meminfo: memFree=30280984/32770624 swapFree=0/377644
[pid=17706] ppid=17703 vsize=628532 CPUtime=2262.42 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 637840 0 0 0 226199 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4964359 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 2262.42
Current children cumulated vsize (KiB) 628532
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 17906
/proc/meminfo: memFree=30279476/32770624 swapFree=0/377676
[pid=17706] ppid=17703 vsize=628532 CPUtime=2322.43 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 639005 0 0 0 232200 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4964389 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 2322.43
Current children cumulated vsize (KiB) 628532
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17908
/proc/meminfo: memFree=30279216/32770624 swapFree=0/377712
[pid=17706] ppid=17703 vsize=628532 CPUtime=2382.43 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 639579 0 0 0 238200 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 5052121 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 2382.43
Current children cumulated vsize (KiB) 628532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17909
/proc/meminfo: memFree=30279240/32770624 swapFree=0/377716
[pid=17706] ppid=17703 vsize=628532 CPUtime=2400.03 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 640016 0 0 0 239960 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4908979 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 628532
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 17706 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 17909
/proc/meminfo: memFree=30279240/32770624 swapFree=0/377716
[pid=17706] ppid=17703 vsize=628532 CPUtime=2400.03 cores=1,3,5,7
/proc/17706/stat : 17706 (cosoco) R 17703 17706 9955 0 -1 4202496 640016 0 0 0 239960 43 0 0 20 0 1 0 7301461 643616768 151316 18446744073709551615 4194304 5970956 140731640703024 140731640699736 4908979 0 0 1 8405026 0 0 0 17 3 0 0 5 0 0 8070896 8075904 33878016 140731640705484 140731640705614 140731640705614 140731640709070 0
/proc/17706/statm: 157133 151316 833 434 0 150497 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 628532
Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.05
CPU user time (s): 2399.61
CPU system time (s): 0.438045
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 628532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.61
system time used= 0.438045
maximum resident set size= 605304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 640048
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= 123
involuntary context switches= 665
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.77609 second user time and 9.90242 second system time
The end