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-4267577-1502519512/watcher-4267577-1502519512 -o /tmp/evaluation-result-4267577-1502519512/solver-4267577-1502519512 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502500302-22048 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4267577-1502519512.xml
pid=28185
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.00 2.01 2.05 2/180 28188
/proc/meminfo: memFree=31237932/32770624 swapFree=0/521200
[pid=28188] ppid=28185 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/28188/stat : 28188 (runsolver) D 28185 28188 21984 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 54171899 24240128 107 18446744073709551615 4194304 4338465 140726918810896 140726918808536 140084444971735 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 22233088 140726918811841 140726918812233 140726918812233 140726918815690 0
/proc/28188/statm: 5918 107 54 36 0 2156 0
[startup+0.100156 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 28188
/proc/meminfo: memFree=31237932/32770624 swapFree=0/521200
[pid=28188] ppid=28185 vsize=29996 CPUtime=0.03 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1709 0 0 0 3 0 0 0 20 0 1 0 54171899 30715904 1530 18446744073709551615 4194304 5972588 140730860434224 140730860430872 139837103782885 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 7499 1530 711 435 0 862 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29996
[startup+0.200313 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 28188
/proc/meminfo: memFree=31237932/32770624 swapFree=0/521200
[pid=28188] ppid=28185 vsize=56468 CPUtime=0.13 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 8346 0 0 0 12 1 0 0 20 0 1 0 54171899 57823232 8102 18446744073709551615 4194304 5972588 140730860434224 140730860430872 139837103782885 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 14117 8102 711 435 0 7480 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 56468
[startup+0.300345 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 28188
/proc/meminfo: memFree=31237932/32770624 swapFree=0/521200
[pid=28188] ppid=28185 vsize=70964 CPUtime=0.23 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 11995 0 0 0 22 1 0 0 20 0 1 0 54171899 72667136 11774 18446744073709551615 4194304 5972588 140730860434224 140730860430872 5635636 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 17741 11774 740 435 0 11104 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 70964
[startup+0.700247 s]
/proc/loadavg: 2.00 2.01 2.05 2/180 28188
/proc/meminfo: memFree=31237932/32770624 swapFree=0/521200
[pid=28188] ppid=28185 vsize=113876 CPUtime=0.62 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 22727 0 0 0 60 2 0 0 20 0 1 0 54171899 116609024 22532 18446744073709551615 4194304 5972588 140730860434224 140730860430872 139837103830944 0 0 1 0 0 0 0 17 1 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 28469 22532 745 435 0 21832 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 113876
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28189
/proc/meminfo: memFree=30524628/32770624 swapFree=0/521192
[pid=28188] ppid=28185 vsize=738652 CPUtime=1.43 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 179035 0 0 0 120 23 0 0 20 0 1 0 54171899 756379648 178747 18446744073709551615 4194304 5972588 140730860434224 140730860421432 5328506 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 184663 178747 762 435 0 178026 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 738652
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28189
/proc/meminfo: memFree=30524256/32770624 swapFree=0/521192
[pid=28188] ppid=28185 vsize=738652 CPUtime=3.03 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 187968 0 0 0 280 23 0 0 20 0 1 0 54171899 756379648 178781 18446744073709551615 4194304 5972588 140730860434224 140730860421432 5328506 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 184663 178781 793 435 0 178026 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 738652
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28189
/proc/meminfo: memFree=30524044/32770624 swapFree=0/521188
[pid=28188] ppid=28185 vsize=741560 CPUtime=6.23 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 211767 0 0 0 598 25 0 0 20 0 1 0 54171899 759357440 179481 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5338151 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 185390 179481 795 435 0 178753 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 741560
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28189
/proc/meminfo: memFree=30028912/32770624 swapFree=0/521180
[pid=28188] ppid=28185 vsize=1236080 CPUtime=12.63 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 424581 0 0 0 1217 46 0 0 20 0 1 0 54171899 1265745920 302938 18446744073709551615 4194304 5972588 140730860434224 140730860430840 5039164 0 0 1 8405026 0 0 0 17 1 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 309020 302938 795 435 0 302383 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 1236080
[startup+25.5004 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 28189
/proc/meminfo: memFree=29068656/32770624 swapFree=0/521184
[pid=28188] ppid=28185 vsize=2205740 CPUtime=25.43 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 751707 0 0 0 2461 82 0 0 20 0 1 0 54171899 2258677760 542095 18446744073709551615 4194304 5972588 140730860434224 140730860431080 5328506 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 551435 542095 795 435 0 544798 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 2205740
[startup+51.1003 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 28189
/proc/meminfo: memFree=28077492/32770624 swapFree=0/521176
[pid=28188] ppid=28185 vsize=3283728 CPUtime=51.03 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1205985 0 0 0 4978 125 0 0 20 0 1 0 54171899 3362537472 789298 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5039167 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 820932 789298 795 435 0 814295 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 3283728
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/181 28191
/proc/meminfo: memFree=28076688/32770624 swapFree=0/521192
[pid=28188] ppid=28185 vsize=3283728 CPUtime=102.21 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1248041 0 0 0 10094 127 0 0 20 0 1 0 54171899 3362537472 789303 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5040154 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 820932 789303 795 435 0 814295 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 3283728
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/184 28207
/proc/meminfo: memFree=28071264/32770624 swapFree=0/521204
[pid=28188] ppid=28185 vsize=3283728 CPUtime=162.22 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1306350 0 0 0 16091 131 0 0 20 0 1 0 54171899 3362537472 789303 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5099628 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 820932 789303 795 435 0 814295 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 3283728
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 28209
/proc/meminfo: memFree=28070924/32770624 swapFree=0/521224
[pid=28188] ppid=28185 vsize=3283728 CPUtime=222.22 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1380802 0 0 0 22087 135 0 0 20 0 1 0 54171899 3362537472 789438 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5094372 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 820932 789438 795 435 0 814295 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 3283728
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 28211
/proc/meminfo: memFree=28074596/32770624 swapFree=0/521236
[pid=28188] ppid=28185 vsize=3283728 CPUtime=282.22 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1400604 0 0 0 28085 137 0 0 20 0 1 0 54171899 3362537472 789445 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5041546 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 820932 789445 795 435 0 814295 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 3283728
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 28213
/proc/meminfo: memFree=28074440/32770624 swapFree=0/521252
[pid=28188] ppid=28185 vsize=3283728 CPUtime=342.22 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1445954 0 0 0 34082 140 0 0 20 0 1 0 54171899 3362537472 789446 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5338164 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 820932 789446 795 435 0 814295 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 3283728
[startup+402.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/181 28215
/proc/meminfo: memFree=28073724/32770624 swapFree=0/521260
[pid=28188] ppid=28185 vsize=3283728 CPUtime=402.23 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1476613 0 0 0 40081 142 0 0 20 0 1 0 54171899 3362537472 789554 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5039164 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 820932 789554 795 435 0 814295 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3283728
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/181 28218
/proc/meminfo: memFree=28073512/32770624 swapFree=0/521268
[pid=28188] ppid=28185 vsize=3283728 CPUtime=462.24 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1521669 0 0 0 46079 145 0 0 20 0 1 0 54171899 3362537472 789565 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5039159 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 820932 789565 795 435 0 814295 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 3283728
[startup+522.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 28220
/proc/meminfo: memFree=28073292/32770624 swapFree=0/521280
[pid=28188] ppid=28185 vsize=3283728 CPUtime=522.24 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1553206 0 0 0 52076 148 0 0 20 0 1 0 54171899 3362537472 789565 18446744073709551615 4194304 5972588 140730860434224 140730860430984 5039139 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 820932 789565 795 435 0 814295 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 3283728
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 28222
/proc/meminfo: memFree=28020188/32770624 swapFree=0/521296
[pid=28188] ppid=28185 vsize=3347196 CPUtime=582.25 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1589705 0 0 0 58073 152 0 0 20 0 1 0 54171899 3427528704 802872 18446744073709551615 4194304 5972588 140730860434224 140730860430856 5039898 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 836799 802872 795 435 0 830162 0
Current children cumulated CPU time (s) 582.25
Current children cumulated vsize (KiB) 3347196
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28347
/proc/meminfo: memFree=27739100/32770624 swapFree=0/521528
[pid=28188] ppid=28185 vsize=3369340 CPUtime=1602.3 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1858208 0 0 0 160057 173 0 0 20 0 1 0 54171899 3450204160 831147 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5039164 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 831147 795 435 0 835698 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 3369340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28349
/proc/meminfo: memFree=27727200/32770624 swapFree=0/521528
[pid=28188] ppid=28185 vsize=3369340 CPUtime=1662.3 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1865695 0 0 0 166057 173 0 0 20 0 1 0 54171899 3450204160 834197 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 834197 795 435 0 835698 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 3369340
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28351
/proc/meminfo: memFree=27719248/32770624 swapFree=0/521532
[pid=28188] ppid=28185 vsize=3369340 CPUtime=1722.31 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1868703 0 0 0 172057 174 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5040128 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 3369340
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28353
/proc/meminfo: memFree=27719152/32770624 swapFree=0/521552
[pid=28188] ppid=28185 vsize=3369340 CPUtime=1782.31 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1870662 0 0 0 178057 174 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5039701 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 3369340
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28355
/proc/meminfo: memFree=27719188/32770624 swapFree=0/521556
[pid=28188] ppid=28185 vsize=3369340 CPUtime=1842.32 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1872592 0 0 0 184058 174 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 1842.32
Current children cumulated vsize (KiB) 3369340
[startup+1902.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 28357
/proc/meminfo: memFree=27719464/32770624 swapFree=0/521576
[pid=28188] ppid=28185 vsize=3369340 CPUtime=1902.32 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1874421 0 0 0 190058 174 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5039310 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 1902.32
Current children cumulated vsize (KiB) 3369340
[startup+1962.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/184 28373
/proc/meminfo: memFree=27715640/32770624 swapFree=0/521616
[pid=28188] ppid=28185 vsize=3369340 CPUtime=1962.33 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1876271 0 0 0 196059 174 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5039159 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 1962.33
Current children cumulated vsize (KiB) 3369340
[startup+2022.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/184 28375
/proc/meminfo: memFree=27715280/32770624 swapFree=0/521640
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2022.34 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1877674 0 0 0 202059 175 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5040622 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2022.34
Current children cumulated vsize (KiB) 3369340
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 28377
/proc/meminfo: memFree=27718828/32770624 swapFree=0/521652
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2082.35 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1879167 0 0 0 208060 175 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5039344 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2082.35
Current children cumulated vsize (KiB) 3369340
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 28379
/proc/meminfo: memFree=27718940/32770624 swapFree=0/521664
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2142.35 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1882233 0 0 0 214060 175 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5039159 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2142.35
Current children cumulated vsize (KiB) 3369340
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 28381
/proc/meminfo: memFree=27718668/32770624 swapFree=0/521676
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2202.36 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1884275 0 0 0 220061 175 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5040154 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2202.36
Current children cumulated vsize (KiB) 3369340
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28384
/proc/meminfo: memFree=27718172/32770624 swapFree=0/521676
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2262.36 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1886442 0 0 0 226061 175 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2262.36
Current children cumulated vsize (KiB) 3369340
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28386
/proc/meminfo: memFree=27718420/32770624 swapFree=0/521696
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2322.37 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1888621 0 0 0 232061 176 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5338173 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2322.37
Current children cumulated vsize (KiB) 3369340
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28388
/proc/meminfo: memFree=27718164/32770624 swapFree=0/521712
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2382.38 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1890446 0 0 0 238062 176 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5039159 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2382.38
Current children cumulated vsize (KiB) 3369340
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28391
/proc/meminfo: memFree=27717792/32770624 swapFree=0/521716
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2442.38 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1891909 0 0 0 244062 176 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5099616 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2442.38
Current children cumulated vsize (KiB) 3369340
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28393
/proc/meminfo: memFree=27717852/32770624 swapFree=0/521716
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2502.38 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1893558 0 0 0 250062 176 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5039373 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2502.38
Current children cumulated vsize (KiB) 3369340
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 28394
/proc/meminfo: memFree=27717852/32770624 swapFree=0/521716
[pid=28188] ppid=28185 vsize=3369340 CPUtime=2520.08 cores=1,3,5,7
/proc/28188/stat : 28188 (cosoco) R 28185 28188 21984 0 -1 4202496 1894090 0 0 0 251832 176 0 0 20 0 1 0 54171899 3450204160 836110 18446744073709551615 4194304 5972588 140730860434224 140730860430824 5039692 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 27860992 140730860442094 140730860442189 140730860442189 140730860445646 0
/proc/28188/statm: 842335 836110 795 435 0 835698 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 3369340
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 28188 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2520.11
CPU user time (s): 2518.33
CPU system time (s): 1.77817
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 3369340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.33
system time used= 1.77817
maximum resident set size= 3344520
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1894145
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= 163
involuntary context switches= 842
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.88819 second user time and 9.82254 second system time
The end