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-4242673-1500660602/watcher-4242673-1500660602 -o /tmp/evaluation-result-4242673-1500660602/solver-4242673-1500660602 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node146-1500648174-9861 --watchdog 2560 HOME/cosoco -lc -model -restarts -sat HOME/instance-4242673-1500660602.xml
pid=11362
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.00 2.01 2.05 3/243 11365
/proc/meminfo: memFree=31884940/32770624 swapFree=5756/200604
[pid=11365] ppid=11362 vsize=27660 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 1112 0 0 0 0 0 0 0 20 0 1 0 1325600 28323840 898 33554432000 4194304 5970956 140730351212544 140730351207144 5668396 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 6915 898 703 434 0 279 0
[startup+0.10015 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11365
/proc/meminfo: memFree=31884940/32770624 swapFree=5756/200604
[pid=11365] ppid=11362 vsize=43600 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 4439 0 0 0 8 1 0 0 20 0 1 0 1325600 44646400 4617 33554432000 4194304 5970956 140730351212544 140730351209432 140523581078501 0 0 4096 8404994 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 10957 4683 763 434 0 4321 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 43600
[startup+0.200403 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11365
/proc/meminfo: memFree=31884940/32770624 swapFree=5756/200604
[pid=11365] ppid=11362 vsize=68224 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 9954 0 0 0 18 1 0 0 20 0 1 0 1325600 69861376 10687 33554432000 4194304 5970956 140730351212544 140730351199864 4934366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 17056 10687 765 434 0 10420 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 68224
[startup+0.300339 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11365
/proc/meminfo: memFree=31884940/32770624 swapFree=5756/200604
[pid=11365] ppid=11362 vsize=68224 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 9954 0 0 0 28 1 0 0 20 0 1 0 1325600 69861376 10687 33554432000 4194304 5970956 140730351212544 140730351199864 4934320 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 17056 10687 765 434 0 10420 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 68224
[startup+0.700183 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11365
/proc/meminfo: memFree=31884940/32770624 swapFree=5756/200604
[pid=11365] ppid=11362 vsize=68624 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 10060 0 0 0 68 1 0 0 20 0 1 0 1325600 70270976 10753 33554432000 4194304 5970956 140730351212544 140730351199848 4934320 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 17156 10753 785 434 0 10520 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 68624
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11366
/proc/meminfo: memFree=31844296/32770624 swapFree=5756/200552
[pid=11365] ppid=11362 vsize=68624 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 10061 0 0 0 148 1 0 0 20 0 1 0 1325600 70270976 10753 33554432000 4194304 5970956 140730351212544 140730351199848 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 17156 10753 785 434 0 10520 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 68624
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11366
/proc/meminfo: memFree=31843800/32770624 swapFree=5756/200552
[pid=11365] ppid=11362 vsize=68624 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 14771 0 0 0 308 1 0 0 20 0 1 0 1325600 70270976 10831 33554432000 4194304 5970956 140730351212544 140730351199848 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 17156 10831 787 434 0 10520 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 68624
[startup+6.30023 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11366
/proc/meminfo: memFree=31843584/32770624 swapFree=5756/200708
[pid=11365] ppid=11362 vsize=68756 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 19514 0 0 0 627 1 0 0 20 0 1 0 1325600 70406144 10841 33554432000 4194304 5970956 140730351212544 140730351209288 4934318 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 17189 10841 787 434 0 10553 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 68756
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11366
/proc/meminfo: memFree=31843556/32770624 swapFree=5756/200716
[pid=11365] ppid=11362 vsize=68756 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 25222 0 0 0 1267 1 0 0 20 0 1 0 1325600 70406144 10844 33554432000 4194304 5970956 140730351212544 140730351210104 4934389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 17189 10844 787 434 0 10553 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 68756
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11366
/proc/meminfo: memFree=31843044/32770624 swapFree=5756/200688
[pid=11365] ppid=11362 vsize=68756 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 32576 0 0 0 2546 2 0 0 20 0 1 0 1325600 70406144 10875 33554432000 4194304 5970956 140730351212544 140730351210104 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 17189 10875 787 434 0 10553 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 68756
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11366
/proc/meminfo: memFree=31842844/32770624 swapFree=5756/200704
[pid=11365] ppid=11362 vsize=68756 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 34012 0 0 0 5105 3 0 0 20 0 1 0 1325600 70406144 10955 33554432000 4194304 5970956 140730351212544 140730351210104 4934366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 17189 10955 787 434 0 10553 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 68756
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11367
/proc/meminfo: memFree=31841936/32770624 swapFree=5756/200752
[pid=11365] ppid=11362 vsize=76068 CPUtime=102.27 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 37633 0 0 0 10224 3 0 0 20 0 1 0 1325600 77893632 11141 33554432000 4194304 5970956 140730351212544 140730351199848 4934318 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19017 11141 787 434 0 12381 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 76068
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11368
/proc/meminfo: memFree=31838392/32770624 swapFree=5756/200804
[pid=11365] ppid=11362 vsize=76200 CPUtime=162.24 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 42035 0 0 0 16221 3 0 0 20 0 1 0 1325600 78028800 11990 33554432000 4194304 5970956 140730351212544 140730351210104 4974816 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19050 11990 787 434 0 12414 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 76200
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11369
/proc/meminfo: memFree=31838708/32770624 swapFree=5756/200840
[pid=11365] ppid=11362 vsize=76200 CPUtime=222.23 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 44953 0 0 0 22220 3 0 0 20 0 1 0 1325600 78028800 12024 33554432000 4194304 5970956 140730351212544 140730351199848 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19050 12024 787 434 0 12414 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 76200
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/244 11509
/proc/meminfo: memFree=31431568/32770624 swapFree=5756/201028
[pid=11365] ppid=11362 vsize=76332 CPUtime=282.22 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 46157 0 0 0 28218 4 0 0 20 0 1 0 1325600 78163968 12038 33554432000 4194304 5970956 140730351212544 140730351209400 4970936 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19083 12038 787 434 0 12447 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 76332
[startup+342.3 s]
/proc/loadavg: 2.21 2.07 2.06 3/243 11510
/proc/meminfo: memFree=31426452/32770624 swapFree=5756/201092
[pid=11365] ppid=11362 vsize=76332 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 47397 0 0 0 34217 4 0 0 20 0 1 0 1325600 78163968 12044 33554432000 4194304 5970956 140730351212544 140730351209400 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19083 12044 787 434 0 12447 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 76332
[startup+402.3 s]
/proc/loadavg: 2.08 2.06 2.06 3/243 11511
/proc/meminfo: memFree=31426340/32770624 swapFree=5756/201124
[pid=11365] ppid=11362 vsize=76332 CPUtime=402.19 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 48607 0 0 0 40215 4 0 0 20 0 1 0 1325600 78163968 12045 33554432000 4194304 5970956 140730351212544 140730351209400 4970944 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19083 12045 787 434 0 12447 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 76332
[startup+462.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/243 11512
/proc/meminfo: memFree=31426144/32770624 swapFree=5756/201160
[pid=11365] ppid=11362 vsize=76332 CPUtime=462.18 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 49622 0 0 0 46214 4 0 0 20 0 1 0 1325600 78163968 12052 33554432000 4194304 5970956 140730351212544 140730351209400 4934506 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19083 12052 787 434 0 12447 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 76332
[startup+522.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/243 11513
/proc/meminfo: memFree=31425748/32770624 swapFree=5756/201196
[pid=11365] ppid=11362 vsize=76332 CPUtime=522.16 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 51051 0 0 0 52212 4 0 0 20 0 1 0 1325600 78163968 12055 33554432000 4194304 5970956 140730351212544 140730351209400 4969805 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19083 12055 787 434 0 12447 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 76332
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/243 11514
/proc/meminfo: memFree=31425924/32770624 swapFree=5756/201228
[pid=11365] ppid=11362 vsize=76332 CPUtime=582.15 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 52075 0 0 0 58211 4 0 0 20 0 1 0 1325600 78163968 12059 33554432000 4194304 5970956 140730351212544 140730351209400 5093243 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19083 12059 787 434 0 12447 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 76332
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11547
/proc/meminfo: memFree=31427704/32770624 swapFree=5756/201800
[pid=11365] ppid=11362 vsize=76464 CPUtime=1481.94 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 66188 0 0 0 148190 4 0 0 20 0 1 0 1325600 78299136 12073 33554432000 4194304 5970956 140730351212544 140730351209400 5136623 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12073 787 434 0 12480 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 76464
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11548
/proc/meminfo: memFree=31428044/32770624 swapFree=5756/201836
[pid=11365] ppid=11362 vsize=76464 CPUtime=1541.94 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 66659 0 0 0 154190 4 0 0 20 0 1 0 1325600 78299136 12073 33554432000 4194304 5970956 140730351212544 140730351209400 5093128 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12073 787 434 0 12480 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 76464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11549
/proc/meminfo: memFree=31427216/32770624 swapFree=5756/201876
[pid=11365] ppid=11362 vsize=76464 CPUtime=1601.92 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 67688 0 0 0 160188 4 0 0 20 0 1 0 1325600 78299136 12074 33554432000 4194304 5970956 140730351212544 140730351209400 4934527 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12074 787 434 0 12480 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 76464
[startup+1662.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/243 11550
/proc/meminfo: memFree=31427976/32770624 swapFree=5756/201912
[pid=11365] ppid=11362 vsize=76464 CPUtime=1661.9 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 68118 0 0 0 166186 4 0 0 20 0 1 0 1325600 78299136 12074 33554432000 4194304 5970956 140730351212544 140730351209400 4934506 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12074 787 434 0 12480 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 76464
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11551
/proc/meminfo: memFree=31427992/32770624 swapFree=5756/201948
[pid=11365] ppid=11362 vsize=76464 CPUtime=1721.89 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 69157 0 0 0 172185 4 0 0 20 0 1 0 1325600 78299136 12074 33554432000 4194304 5970956 140730351212544 140730351209400 4933111 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12074 787 434 0 12480 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 76464
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11552
/proc/meminfo: memFree=31427868/32770624 swapFree=5756/201988
[pid=11365] ppid=11362 vsize=76464 CPUtime=1781.88 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 69595 0 0 0 178184 4 0 0 20 0 1 0 1325600 78299136 12074 33554432000 4194304 5970956 140730351212544 140730351209400 4974138 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12074 787 434 0 12480 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 76464
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11561
/proc/meminfo: memFree=31428456/32770624 swapFree=5756/202020
[pid=11365] ppid=11362 vsize=76464 CPUtime=1841.86 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 70049 0 0 0 184182 4 0 0 20 0 1 0 1325600 78299136 12074 33554432000 4194304 5970956 140730351212544 140730351209400 4934366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12074 787 434 0 12480 0
Current children cumulated CPU time (s) 1841.86
Current children cumulated vsize (KiB) 76464
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11562
/proc/meminfo: memFree=31429076/32770624 swapFree=5756/202064
[pid=11365] ppid=11362 vsize=76464 CPUtime=1901.85 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 71241 0 0 0 190181 4 0 0 20 0 1 0 1325600 78299136 12074 33554432000 4194304 5970956 140730351212544 140730351209400 4933587 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12074 787 434 0 12480 0
Current children cumulated CPU time (s) 1901.85
Current children cumulated vsize (KiB) 76464
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11563
/proc/meminfo: memFree=31429108/32770624 swapFree=5756/202100
[pid=11365] ppid=11362 vsize=76464 CPUtime=1961.83 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 71950 0 0 0 196179 4 0 0 20 0 1 0 1325600 78299136 12074 33554432000 4194304 5970956 140730351212544 140730351209400 4934366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12074 787 434 0 12480 0
Current children cumulated CPU time (s) 1961.83
Current children cumulated vsize (KiB) 76464
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11564
/proc/meminfo: memFree=31427656/32770624 swapFree=5756/202136
[pid=11365] ppid=11362 vsize=76464 CPUtime=2021.82 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 72638 0 0 0 202178 4 0 0 20 0 1 0 1325600 78299136 12074 33554432000 4194304 5970956 140730351212544 140730351209400 4977734 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12074 787 434 0 12480 0
Current children cumulated CPU time (s) 2021.82
Current children cumulated vsize (KiB) 76464
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11565
/proc/meminfo: memFree=31427300/32770624 swapFree=5756/202172
[pid=11365] ppid=11362 vsize=76464 CPUtime=2081.81 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 73831 0 0 0 208177 4 0 0 20 0 1 0 1325600 78299136 12075 33554432000 4194304 5970956 140730351212544 140730351209400 4934327 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12075 787 434 0 12480 0
Current children cumulated CPU time (s) 2081.81
Current children cumulated vsize (KiB) 76464
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11566
/proc/meminfo: memFree=31427720/32770624 swapFree=5756/202220
[pid=11365] ppid=11362 vsize=76464 CPUtime=2141.79 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 74421 0 0 0 214175 4 0 0 20 0 1 0 1325600 78299136 12075 33554432000 4194304 5970956 140730351212544 140730351209400 4974138 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12075 787 434 0 12480 0
Current children cumulated CPU time (s) 2141.79
Current children cumulated vsize (KiB) 76464
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11567
/proc/meminfo: memFree=31427848/32770624 swapFree=5756/202256
[pid=11365] ppid=11362 vsize=76464 CPUtime=2201.79 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 75012 0 0 0 220175 4 0 0 20 0 1 0 1325600 78299136 12075 33554432000 4194304 5970956 140730351212544 140730351209400 4974128 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12075 787 434 0 12480 0
Current children cumulated CPU time (s) 2201.79
Current children cumulated vsize (KiB) 76464
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11568
/proc/meminfo: memFree=31427824/32770624 swapFree=5756/202296
[pid=11365] ppid=11362 vsize=76464 CPUtime=2261.76 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 76242 0 0 0 226172 4 0 0 20 0 1 0 1325600 78299136 12077 33554432000 4194304 5970956 140730351212544 140730351209400 5045608 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12077 787 434 0 12480 0
Current children cumulated CPU time (s) 2261.76
Current children cumulated vsize (KiB) 76464
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11569
/proc/meminfo: memFree=31427932/32770624 swapFree=5756/202332
[pid=11365] ppid=11362 vsize=76464 CPUtime=2321.75 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 76858 0 0 0 232171 4 0 0 20 0 1 0 1325600 78299136 12077 33554432000 4194304 5970956 140730351212544 140730351209400 5046510 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12077 787 434 0 12480 0
Current children cumulated CPU time (s) 2321.75
Current children cumulated vsize (KiB) 76464
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 11570
/proc/meminfo: memFree=31427900/32770624 swapFree=5756/202372
[pid=11365] ppid=11362 vsize=76464 CPUtime=2381.74 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 77479 0 0 0 238170 4 0 0 20 0 1 0 1325600 78299136 12077 33554432000 4194304 5970956 140730351212544 140730351209400 4934370 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12077 787 434 0 12480 0
Current children cumulated CPU time (s) 2381.74
Current children cumulated vsize (KiB) 76464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.6 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11578
/proc/meminfo: memFree=31426796/32770624 swapFree=5756/202356
[pid=11365] ppid=11362 vsize=76464 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/11365/stat : 11365 (cosoco) R 11362 11365 9829 0 -1 4202496 78058 0 0 0 239999 4 0 0 20 0 1 0 1325600 78299136 12077 33554432000 4194304 5970956 140730351212544 140730351209400 4977712 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 27320320 140730351215804 140730351215939 140730351215939 140730351218638 0
/proc/11365/statm: 19116 12077 787 434 0 12480 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 76464
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 11365 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2400.6
CPU time (s): 2400.05
CPU user time (s): 2400
CPU system time (s): 0.049988
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 76464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400
system time used= 0.049988
maximum resident set size= 48356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 78090
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= 19
involuntary context switches= 123032
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.18816 second user time and 10.8259 second system time
The end