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-4241217-1500648178/watcher-4241217-1500648178 -o /tmp/evaluation-result-4241217-1500648178/solver-4241217-1500648178 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500648174-2492 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4241217-1500648178.xml
pid=2515
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: 0.08 0.04 0.06 3/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2522] ppid=2515 vsize=5512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) D 2515 2522 2458 0 -1 4194304 157 0 0 0 0 0 0 0 20 0 1 0 85609 5644288 36 33554432000 4194304 5970956 140731353097504 140731353094600 140294054337018 0 0 4096 0 18446744071580431491 0 0 17 13 0 0 0 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1378 36 27 434 0 39 0
[startup+0.100148 s]
/proc/loadavg: 0.08 0.04 0.06 3/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2522] ppid=2515 vsize=27264 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 1033 0 3 0 6 0 0 0 20 0 1 0 85609 27918336 825 33554432000 4194304 5970956 140731353097504 140731353094104 140294038226691 0 0 4096 0 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 6816 825 702 434 0 180 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 27264
[startup+0.200343 s]
/proc/loadavg: 0.08 0.04 0.06 3/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2522] ppid=2515 vsize=27676 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 1107 0 3 0 16 0 0 0 20 0 1 0 85609 28340224 891 33554432000 4194304 5970956 140731353097504 140731353094104 5383947 0 0 4096 0 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 6919 891 710 434 0 283 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 27676
[startup+0.300294 s]
/proc/loadavg: 0.08 0.04 0.06 3/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2522] ppid=2515 vsize=28132 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 1256 0 3 0 26 0 0 0 20 0 1 0 85609 28807168 988 33554432000 4194304 5970956 140731353097504 140731353094104 140294048165532 0 0 4096 0 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 7033 988 710 434 0 397 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 28132
[startup+0.700275 s]
/proc/loadavg: 0.08 0.04 0.06 3/244 2522
/proc/meminfo: memFree=32089596/32770624 swapFree=5952/192140
[pid=2522] ppid=2515 vsize=34200 CPUtime=0.65 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 2957 0 3 0 65 0 0 0 20 0 1 0 85609 35020800 2649 33554432000 4194304 5970956 140731353097504 140731353088888 140294038227941 0 0 4096 0 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 8550 2649 782 434 0 1914 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 34200
[startup+1.50026 s]
/proc/loadavg: 0.08 0.04 0.06 4/247 2525
/proc/meminfo: memFree=32028576/32770624 swapFree=5952/193352
[pid=2522] ppid=2515 vsize=80084 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 14427 0 3 0 144 2 0 0 20 0 1 0 85609 82006016 14067 33554432000 4194304 5970956 140731353097504 140731353089112 140294038237049 0 0 4096 0 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 20021 14067 782 434 0 13385 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 80084
[startup+3.10033 s]
/proc/loadavg: 0.08 0.04 0.06 4/247 2525
/proc/meminfo: memFree=31933220/32770624 swapFree=5952/193352
[pid=2522] ppid=2515 vsize=171792 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 37437 0 3 0 300 5 0 0 20 0 1 0 85609 175915008 37015 33554432000 4194304 5970956 140731353097504 140731353091096 140294038227941 0 0 4096 0 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 42948 37015 782 434 0 36312 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 171792
[startup+6.30031 s]
/proc/loadavg: 0.15 0.06 0.07 4/247 2525
/proc/meminfo: memFree=31694768/32770624 swapFree=5952/193352
[pid=2522] ppid=2515 vsize=354860 CPUtime=6.26 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 83331 0 3 0 617 9 0 0 20 0 1 0 85609 363376640 82765 33554432000 4194304 5970956 140731353097504 140731353089112 140294038227941 0 0 4096 0 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 88715 82831 782 434 0 82079 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 354860
[startup+12.7003 s]
/proc/loadavg: 0.30 0.09 0.08 4/247 2525
/proc/meminfo: memFree=31306980/32770624 swapFree=5952/193352
[pid=2522] ppid=2515 vsize=721004 CPUtime=12.66 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 175007 0 3 0 1245 21 0 0 20 0 1 0 85609 738308096 174287 33554432000 4194304 5970956 140731353097504 140731353089112 140294038227941 0 0 4096 0 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 180251 174287 782 434 0 173615 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 721004
[startup+25.5004 s]
/proc/loadavg: 0.68 0.19 0.11 4/247 2525
/proc/meminfo: memFree=30544748/32770624 swapFree=5952/194060
[pid=2522] ppid=2515 vsize=1450532 CPUtime=25.45 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 357676 0 3 0 2502 43 0 0 20 0 1 0 85609 1485344768 356686 33554432000 4194304 5970956 140731353097504 140731353091096 4966541 0 0 4096 0 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 362633 356686 782 434 0 355997 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 1450532
[startup+51.1005 s]
/proc/loadavg: 1.13 0.33 0.16 4/246 2525
/proc/meminfo: memFree=28971120/32770624 swapFree=5952/194080
[pid=2522] ppid=2515 vsize=3003668 CPUtime=51.04 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 916918 0 3 0 5002 102 0 0 20 0 1 0 85609 3075756032 745052 33554432000 4194304 5970956 140731353097504 140731353094472 5070320 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 750917 745052 833 434 0 744281 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 3003668
[startup+102.3 s]
/proc/loadavg: 1.62 0.59 0.25 4/247 2529
/proc/meminfo: memFree=28954260/32770624 swapFree=5952/194900
[pid=2522] ppid=2515 vsize=3016208 CPUtime=102.22 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 1081261 0 3 0 10112 110 0 0 20 0 1 0 85609 3088596992 748177 33554432000 4194304 5970956 140731353097504 140731353094472 5070082 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 754052 748177 833 434 0 747416 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 3016208
[startup+162.3 s]
/proc/loadavg: 1.99 0.88 0.37 4/247 2530
/proc/meminfo: memFree=28546168/32770624 swapFree=5952/194944
[pid=2522] ppid=2515 vsize=3423956 CPUtime=162.19 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 1540753 0 3 0 16078 141 0 0 20 0 1 0 85609 3506130944 850096 33554432000 4194304 5970956 140731353097504 140731353094472 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 855989 850096 833 434 0 849353 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 3423956
[startup+222.308 s]
/proc/loadavg: 1.99 1.08 0.48 4/247 2531
/proc/meminfo: memFree=28330908/32770624 swapFree=5952/194980
[pid=2522] ppid=2515 vsize=3639908 CPUtime=222.16 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 1975059 0 3 0 22051 165 0 0 20 0 1 0 85609 3727265792 904091 33554432000 4194304 5970956 140731353097504 140731353094472 4964784 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 909977 904091 833 434 0 903341 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 3639908
[startup+282.3 s]
/proc/loadavg: 2.00 1.25 0.57 4/247 2532
/proc/meminfo: memFree=28186232/32770624 swapFree=5952/195004
[pid=2522] ppid=2515 vsize=3784844 CPUtime=282.12 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 2379691 0 3 0 28023 189 0 0 20 0 1 0 85609 3875680256 940341 33554432000 4194304 5970956 140731353097504 140731353094472 4964768 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 946211 940341 833 434 0 939575 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 3784844
[startup+342.3 s]
/proc/loadavg: 2.00 1.39 0.66 4/244 2533
/proc/meminfo: memFree=28037632/32770624 swapFree=5952/195032
[pid=2522] ppid=2515 vsize=3933872 CPUtime=342.07 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 2809903 0 3 0 33994 213 0 0 20 0 1 0 85609 4028284928 977569 33554432000 4194304 5970956 140731353097504 140731353094472 4961429 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 983468 977569 833 434 0 976832 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 3933872
[startup+402.3 s]
/proc/loadavg: 2.00 1.50 0.74 4/243 2534
/proc/meminfo: memFree=28010268/32770624 swapFree=5952/195060
[pid=2522] ppid=2515 vsize=3962780 CPUtime=402.03 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 3141861 0 3 0 39973 230 0 0 20 0 1 0 85609 4057886720 984818 33554432000 4194304 5970956 140731353097504 140731353094472 4908288 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 990695 984818 833 434 0 984059 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 3962780
[startup+462.3 s]
/proc/loadavg: 2.00 1.59 0.82 4/243 2542
/proc/meminfo: memFree=27933720/32770624 swapFree=5952/195100
[pid=2522] ppid=2515 vsize=4038812 CPUtime=462 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 3316224 0 3 0 45961 239 0 0 20 0 1 0 85609 4135743488 1003844 33554432000 4194304 5970956 140731353097504 140731353094472 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1009703 1003844 833 434 0 1003067 0
Current children cumulated CPU time (s) 462
Current children cumulated vsize (KiB) 4038812
[startup+522.3 s]
/proc/loadavg: 2.00 1.66 0.90 4/243 2543
/proc/meminfo: memFree=27934124/32770624 swapFree=5952/195128
[pid=2522] ppid=2515 vsize=4039076 CPUtime=521.97 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 3436557 0 3 0 51952 245 0 0 20 0 1 0 85609 4136013824 1003896 33554432000 4194304 5970956 140731353097504 140731353094472 4908985 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1009769 1003896 833 434 0 1003133 0
Current children cumulated CPU time (s) 521.97
Current children cumulated vsize (KiB) 4039076
[startup+582.3 s]
/proc/loadavg: 2.00 1.72 0.97 4/243 2544
/proc/meminfo: memFree=27781044/32770624 swapFree=5952/195148
[pid=2522] ppid=2515 vsize=4192724 CPUtime=581.92 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 4015372 0 3 0 57917 275 0 0 20 0 1 0 85609 4293349376 1042308 33554432000 4194304 5970956 140731353097504 140731353094472 4964575 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1048181 1042308 833 434 0 1041545 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 4192724
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.61 4/243 2590
/proc/meminfo: memFree=27237928/32770624 swapFree=5952/195576
[pid=2522] ppid=2515 vsize=4733792 CPUtime=1481.42 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 8264820 0 3 0 147654 488 0 0 20 0 1 0 85609 4847403008 1177611 33554432000 4194304 5970956 140731353097504 140731353094472 4967758 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1183448 1177611 833 434 0 1176812 0
Current children cumulated CPU time (s) 1481.42
Current children cumulated vsize (KiB) 4733792
[startup+1542.31 s]
/proc/loadavg: 2.00 1.99 1.63 4/243 2591
/proc/meminfo: memFree=27196328/32770624 swapFree=5952/195576
[pid=2522] ppid=2515 vsize=4774844 CPUtime=1541.4 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 8454693 0 3 0 153642 498 0 0 20 0 1 0 85609 4889440256 1187896 33554432000 4194304 5970956 140731353097504 140731353094472 4964768 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1193711 1187896 833 434 0 1187075 0
Current children cumulated CPU time (s) 1541.4
Current children cumulated vsize (KiB) 4774844
[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.66 4/243 2592
/proc/meminfo: memFree=27190000/32770624 swapFree=5952/195636
[pid=2522] ppid=2515 vsize=4782104 CPUtime=1601.37 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 8655232 0 3 0 159628 509 0 0 20 0 1 0 85609 4896874496 1189706 33554432000 4194304 5970956 140731353097504 140731353094472 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1195526 1189706 833 434 0 1188890 0
Current children cumulated CPU time (s) 1601.37
Current children cumulated vsize (KiB) 4782104
[startup+1662.3 s]
/proc/loadavg: 2.15 2.02 1.69 4/243 2600
/proc/meminfo: memFree=27188440/32770624 swapFree=5952/195668
[pid=2522] ppid=2515 vsize=4783292 CPUtime=1661.35 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 8832749 0 3 0 165616 519 0 0 20 0 1 0 85609 4898091008 1189992 33554432000 4194304 5970956 140731353097504 140731353094472 4961411 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1195823 1189992 833 434 0 1189187 0
Current children cumulated CPU time (s) 1661.35
Current children cumulated vsize (KiB) 4783292
[startup+1722.3 s]
/proc/loadavg: 2.05 2.01 1.71 4/243 2601
/proc/meminfo: memFree=27188240/32770624 swapFree=5952/195712
[pid=2522] ppid=2515 vsize=4783556 CPUtime=1721.31 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 9033934 0 3 0 171603 528 0 0 20 0 1 0 85609 4898361344 1190077 33554432000 4194304 5970956 140731353097504 140731353094472 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1195889 1190077 833 434 0 1189253 0
Current children cumulated CPU time (s) 1721.31
Current children cumulated vsize (KiB) 4783556
[startup+1782.3 s]
/proc/loadavg: 2.02 2.01 1.73 4/243 2602
/proc/meminfo: memFree=27187980/32770624 swapFree=5952/195732
[pid=2522] ppid=2515 vsize=4783952 CPUtime=1781.28 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 9247029 0 3 0 177590 538 0 0 20 0 1 0 85609 4898766848 1190151 33554432000 4194304 5970956 140731353097504 140731353094472 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1195988 1190151 833 434 0 1189352 0
Current children cumulated CPU time (s) 1781.28
Current children cumulated vsize (KiB) 4783952
[startup+1842.3 s]
/proc/loadavg: 2.01 2.01 1.74 4/243 2603
/proc/meminfo: memFree=27187444/32770624 swapFree=5952/195764
[pid=2522] ppid=2515 vsize=4784612 CPUtime=1841.25 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 9406817 0 3 0 183579 546 0 0 20 0 1 0 85609 4899442688 1190322 33554432000 4194304 5970956 140731353097504 140731353094472 4964371 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1196153 1190322 833 434 0 1189517 0
Current children cumulated CPU time (s) 1841.25
Current children cumulated vsize (KiB) 4784612
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.76 4/243 2604
/proc/meminfo: memFree=27186912/32770624 swapFree=5952/195784
[pid=2522] ppid=2515 vsize=4785272 CPUtime=1901.22 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 9555512 0 3 0 189569 553 0 0 20 0 1 0 85609 4900118528 1190488 33554432000 4194304 5970956 140731353097504 140731353094472 4961429 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1196318 1190488 833 434 0 1189682 0
Current children cumulated CPU time (s) 1901.22
Current children cumulated vsize (KiB) 4785272
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.78 4/243 2605
/proc/meminfo: memFree=27173016/32770624 swapFree=5952/195820
[pid=2522] ppid=2515 vsize=4799660 CPUtime=1961.19 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 9761313 0 3 0 195555 564 0 0 20 0 1 0 85609 4914851840 1194098 33554432000 4194304 5970956 140731353097504 140731353094472 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1199915 1194098 834 434 0 1193279 0
Current children cumulated CPU time (s) 1961.19
Current children cumulated vsize (KiB) 4799660
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.79 4/243 2606
/proc/meminfo: memFree=27154728/32770624 swapFree=5952/195848
[pid=2522] ppid=2515 vsize=4817744 CPUtime=2021.16 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 9922436 0 3 0 201543 573 0 0 20 0 1 0 85609 4933369856 1198613 33554432000 4194304 5970956 140731353097504 140731353094472 5070064 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1204436 1198613 834 434 0 1197800 0
Current children cumulated CPU time (s) 2021.16
Current children cumulated vsize (KiB) 4817744
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.80 4/243 2607
/proc/meminfo: memFree=27151892/32770624 swapFree=5952/195876
[pid=2522] ppid=2515 vsize=4821044 CPUtime=2081.13 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 10160290 0 3 0 207526 587 0 0 20 0 1 0 85609 4936749056 1199430 33554432000 4194304 5970956 140731353097504 140731353094472 5069728 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1205261 1199430 834 434 0 1198625 0
Current children cumulated CPU time (s) 2081.13
Current children cumulated vsize (KiB) 4821044
[startup+2142.3 s]
/proc/loadavg: 2.16 2.05 1.82 4/243 2608
/proc/meminfo: memFree=27149532/32770624 swapFree=5952/195900
[pid=2522] ppid=2515 vsize=4823816 CPUtime=2141.08 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 10338266 0 3 0 213513 595 0 0 20 0 1 0 85609 4939587584 1200121 33554432000 4194304 5970956 140731353097504 140731353094472 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1205954 1200121 834 434 0 1199318 0
Current children cumulated CPU time (s) 2141.08
Current children cumulated vsize (KiB) 4823816
[startup+2202.31 s]
/proc/loadavg: 2.06 2.04 1.83 4/243 2609
/proc/meminfo: memFree=27147864/32770624 swapFree=5952/195936
[pid=2522] ppid=2515 vsize=4825400 CPUtime=2201.06 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 10477408 0 3 0 219505 601 0 0 20 0 1 0 85609 4941209600 1200523 33554432000 4194304 5970956 140731353097504 140731353084808 4961411 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1206350 1200523 834 434 0 1199714 0
Current children cumulated CPU time (s) 2201.06
Current children cumulated vsize (KiB) 4825400
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 1.85 4/243 2617
/proc/meminfo: memFree=27125812/32770624 swapFree=5952/195968
[pid=2522] ppid=2515 vsize=4845992 CPUtime=2261.01 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 10604443 0 3 0 225493 608 0 0 20 0 1 0 85609 4962295808 1205667 33554432000 4194304 5970956 140731353097504 140731353094472 4964366 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1211498 1205667 834 434 0 1204862 0
Current children cumulated CPU time (s) 2261.01
Current children cumulated vsize (KiB) 4845992
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 1.86 4/243 2618
/proc/meminfo: memFree=27121968/32770624 swapFree=5952/196004
[pid=2522] ppid=2515 vsize=4850480 CPUtime=2320.97 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 10834370 0 3 0 231478 619 0 0 20 0 1 0 85609 4966891520 1206807 33554432000 4194304 5970956 140731353097504 140731353094472 4964389 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1212620 1206807 834 434 0 1205984 0
Current children cumulated CPU time (s) 2320.97
Current children cumulated vsize (KiB) 4850480
[startup+2382.3 s]
/proc/loadavg: 2.00 2.02 1.87 4/243 2619
/proc/meminfo: memFree=27117096/32770624 swapFree=5952/196028
[pid=2522] ppid=2515 vsize=4854308 CPUtime=2380.95 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 10952607 0 3 0 237470 625 0 0 20 0 1 0 85609 4970811392 1207745 33554432000 4194304 5970956 140731353097504 140731353094472 5070102 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1213577 1207745 834 434 0 1206941 0
Current children cumulated CPU time (s) 2380.95
Current children cumulated vsize (KiB) 4854308
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.41 s]
/proc/loadavg: 2.00 2.02 1.87 4/243 2619
/proc/meminfo: memFree=27115908/32770624 swapFree=5952/196028
[pid=2522] ppid=2515 vsize=4855496 CPUtime=2400.04 cores=1,3,5,7,9,11,13,15
/proc/2522/stat : 2522 (cosoco) R 2515 2522 2458 0 -1 4202496 10977137 0 3 0 239377 627 0 0 20 0 1 0 85609 4972027904 1208060 33554432000 4194304 5970956 140731353097504 140731353094472 5098928 0 0 4096 8405026 0 0 0 17 13 0 0 2 0 0 8070896 8075904 11841536 140731353101505 140731353101635 140731353101635 140731353104334 0
/proc/2522/statm: 1213874 1208060 834 434 0 1207238 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 4855496
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 2522 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401.48
CPU time (s): 2400.12
CPU user time (s): 2393.78
CPU system time (s): 6.34521
CPU usage (%): 99.9435
Max. virtual memory (cumulated for all children) (KiB): 4855496
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.78
system time used= 6.34521
maximum resident set size= 4832280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10977162
page faults= 3
swaps= 0
block input operations= 488
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 415
involuntary context switches= 120974
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.52606 second user time and 11.6985 second system time
The end