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-4242965-1500670076/watcher-4242965-1500670076 -o /tmp/evaluation-result-4242965-1500670076/solver-4242965-1500670076 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500667675-5214 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4242965-1500670076.xml
pid=5402
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.02 2.05 2/253 5406
/proc/meminfo: memFree=32019120/32770624 swapFree=5776/221588
[pid=5406] ppid=5402 vsize=27256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 1011 0 0 0 1 0 0 0 20 0 1 0 2275038 27910144 832 33554432000 4194304 5970956 140728468428256 140728468424904 5526904 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 6814 832 703 434 0 178 0
[startup+0.100148 s]
/proc/loadavg: 2.00 2.02 2.05 2/253 5406
/proc/meminfo: memFree=32019120/32770624 swapFree=5776/221588
[pid=5406] ppid=5402 vsize=27712 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 1130 0 0 0 9 0 0 0 20 0 1 0 2275038 28377088 964 33554432000 4194304 5970956 140728468428256 140728468424856 5406012 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 6928 964 710 434 0 292 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27712
[startup+0.200269 s]
/proc/loadavg: 2.00 2.02 2.05 2/253 5406
/proc/meminfo: memFree=32019120/32770624 swapFree=5776/221588
[pid=5406] ppid=5402 vsize=28460 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 1320 0 0 0 19 0 0 0 20 0 1 0 2275038 29143040 1096 33554432000 4194304 5970956 140728468428256 140728468424856 140279115467749 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 7115 1096 711 434 0 479 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28460
[startup+0.300267 s]
/proc/loadavg: 2.00 2.02 2.05 2/253 5406
/proc/meminfo: memFree=32019120/32770624 swapFree=5776/221588
[pid=5406] ppid=5402 vsize=29312 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 1607 0 0 0 29 0 0 0 20 0 1 0 2275038 30015488 1343 33554432000 4194304 5970956 140728468428256 140728468419640 140279115460351 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 7328 1343 783 434 0 692 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29312
[startup+0.700179 s]
/proc/loadavg: 2.00 2.02 2.05 2/253 5406
/proc/meminfo: memFree=32019120/32770624 swapFree=5776/221588
[pid=5406] ppid=5402 vsize=31292 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 2114 0 0 0 69 0 0 0 20 0 1 0 2275038 32043008 1871 33554432000 4194304 5970956 140728468428256 140728468419864 140279115467749 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 7823 1871 783 434 0 1187 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31292
[startup+1.5002 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5446
/proc/meminfo: memFree=32017184/32770624 swapFree=5776/221508
[pid=5406] ppid=5402 vsize=35384 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 3126 0 0 0 149 0 0 0 20 0 1 0 2275038 36233216 2861 33554432000 4194304 5970956 140728468428256 140728468419864 140279115467749 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 8846 2861 783 434 0 2210 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35384
[startup+3.10021 s]
/proc/loadavg: 2.00 2.02 2.05 3/243 5446
/proc/meminfo: memFree=32007420/32770624 swapFree=5776/221696
[pid=5406] ppid=5402 vsize=43436 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 5283 0 0 0 308 0 0 0 20 0 1 0 2275038 44478464 4907 33554432000 4194304 5970956 140728468428256 140728468419816 140279115467749 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 10859 4907 783 434 0 4223 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 43436
[startup+6.30021 s]
/proc/loadavg: 1.92 2.00 2.04 3/243 5446
/proc/meminfo: memFree=31970884/32770624 swapFree=5776/221696
[pid=5406] ppid=5402 vsize=59680 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 9535 0 0 0 627 2 0 0 20 0 1 0 2275038 61112320 8925 33554432000 4194304 5970956 140728468428256 140728468419864 140279125410134 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 14920 8925 783 434 0 8284 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 59680
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/243 5446
/proc/meminfo: memFree=31896888/32770624 swapFree=5776/221696
[pid=5406] ppid=5402 vsize=128096 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 36412 0 0 0 1264 4 0 0 20 0 1 0 2275038 131170304 26185 33554432000 4194304 5970956 140728468428256 140728468425864 5070930 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32024 26185 824 434 0 25388 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 128096
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.04 3/243 5446
/proc/meminfo: memFree=31896664/32770624 swapFree=5776/221680
[pid=5406] ppid=5402 vsize=128276 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 82974 0 0 0 2542 6 0 0 20 0 1 0 2275038 131354624 26218 33554432000 4194304 5970956 140728468428256 140728468425592 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26218 825 434 0 25433 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 128276
[startup+51.1004 s]
/proc/loadavg: 1.96 2.00 2.04 3/243 5446
/proc/meminfo: memFree=31896632/32770624 swapFree=5776/221708
[pid=5406] ppid=5402 vsize=128276 CPUtime=51.05 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 100128 0 0 0 5098 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 128276
[startup+102.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/243 5447
/proc/meminfo: memFree=31894120/32770624 swapFree=5776/221752
[pid=5406] ppid=5402 vsize=128276 CPUtime=102.23 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 105028 0 0 0 10216 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 5070944 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 128276
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/243 5455
/proc/meminfo: memFree=31894676/32770624 swapFree=5776/221864
[pid=5406] ppid=5402 vsize=128276 CPUtime=162.19 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 105831 0 0 0 16212 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 4908171 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 128276
[startup+222.308 s]
/proc/loadavg: 2.05 2.01 2.05 3/243 5456
/proc/meminfo: memFree=31894704/32770624 swapFree=5776/221864
[pid=5406] ppid=5402 vsize=128276 CPUtime=222.17 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 106634 0 0 0 22210 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 5070313 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 128276
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/243 5457
/proc/meminfo: memFree=31895136/32770624 swapFree=5776/221988
[pid=5406] ppid=5402 vsize=128276 CPUtime=282.13 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 107437 0 0 0 28206 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 128276
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 5458
/proc/meminfo: memFree=31895088/32770624 swapFree=5776/221988
[pid=5406] ppid=5402 vsize=128276 CPUtime=342.1 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 108240 0 0 0 34203 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 128276
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5459
/proc/meminfo: memFree=31895208/32770624 swapFree=5776/222096
[pid=5406] ppid=5402 vsize=128276 CPUtime=402.07 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 109043 0 0 0 40200 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 5052118 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 128276
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5461
/proc/meminfo: memFree=31895384/32770624 swapFree=5776/222152
[pid=5406] ppid=5402 vsize=128276 CPUtime=462.04 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 109846 0 0 0 46197 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 128276
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5462
/proc/meminfo: memFree=31895632/32770624 swapFree=5776/222196
[pid=5406] ppid=5402 vsize=128276 CPUtime=522.02 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 110649 0 0 0 52195 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 5070883 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 128276
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5463
/proc/meminfo: memFree=31895828/32770624 swapFree=5776/222236
[pid=5406] ppid=5402 vsize=128276 CPUtime=581.99 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 111452 0 0 0 58192 7 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 128276
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 5519
/proc/meminfo: memFree=31893224/32770624 swapFree=5776/222776
[pid=5406] ppid=5402 vsize=128276 CPUtime=1481.56 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 122697 0 0 0 148148 8 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 5069735 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 128276
[startup+1542.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/244 5520
/proc/meminfo: memFree=31893396/32770624 swapFree=5776/222776
[pid=5406] ppid=5402 vsize=128276 CPUtime=1541.54 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 123291 0 0 0 154146 8 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 128276
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 5521
/proc/meminfo: memFree=31893916/32770624 swapFree=5776/222840
[pid=5406] ppid=5402 vsize=128276 CPUtime=1601.5 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 123902 0 0 0 160142 8 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 4908979 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 1601.5
Current children cumulated vsize (KiB) 128276
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5522
/proc/meminfo: memFree=31894336/32770624 swapFree=5776/222868
[pid=5406] ppid=5402 vsize=128276 CPUtime=1661.47 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 124705 0 0 0 166139 8 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 4964705 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 128276
[startup+1722.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 5523
/proc/meminfo: memFree=31894512/32770624 swapFree=5776/222916
[pid=5406] ppid=5402 vsize=128276 CPUtime=1721.44 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 125429 0 0 0 172136 8 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 5098928 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 1721.44
Current children cumulated vsize (KiB) 128276
[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5524
/proc/meminfo: memFree=31894416/32770624 swapFree=5776/222948
[pid=5406] ppid=5402 vsize=128276 CPUtime=1781.41 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 126154 0 0 0 178133 8 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 5052095 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 1781.41
Current children cumulated vsize (KiB) 128276
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 5525
/proc/meminfo: memFree=31893560/32770624 swapFree=5776/222972
[pid=5406] ppid=5402 vsize=128276 CPUtime=1841.38 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 126954 0 0 0 184130 8 0 0 20 0 1 0 2275038 131354624 26219 33554432000 4194304 5970956 140728468428256 140728468425592 5070320 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26219 825 434 0 25433 0
Current children cumulated CPU time (s) 1841.38
Current children cumulated vsize (KiB) 128276
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5526
/proc/meminfo: memFree=31894288/32770624 swapFree=5776/223000
[pid=5406] ppid=5402 vsize=128276 CPUtime=1901.35 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 127671 0 0 0 190127 8 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 4908944 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 1901.35
Current children cumulated vsize (KiB) 128276
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5534
/proc/meminfo: memFree=31894696/32770624 swapFree=5776/223048
[pid=5406] ppid=5402 vsize=128276 CPUtime=1961.32 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 128476 0 0 0 196124 8 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 4964366 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 1961.32
Current children cumulated vsize (KiB) 128276
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5535
/proc/meminfo: memFree=31892604/32770624 swapFree=5776/223048
[pid=5406] ppid=5402 vsize=128276 CPUtime=2021.3 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 129220 0 0 0 202122 8 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 5327993 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 2021.3
Current children cumulated vsize (KiB) 128276
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5536
/proc/meminfo: memFree=31893132/32770624 swapFree=5776/223108
[pid=5406] ppid=5402 vsize=128276 CPUtime=2081.28 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 129965 0 0 0 208120 8 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 5069947 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 2081.28
Current children cumulated vsize (KiB) 128276
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5537
/proc/meminfo: memFree=31892756/32770624 swapFree=5776/223108
[pid=5406] ppid=5402 vsize=128276 CPUtime=2141.24 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 130708 0 0 0 214116 8 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 5052095 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 2141.24
Current children cumulated vsize (KiB) 128276
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5538
/proc/meminfo: memFree=31894012/32770624 swapFree=5776/223172
[pid=5406] ppid=5402 vsize=128276 CPUtime=2201.23 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 131513 0 0 0 220114 9 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 5070313 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 2201.23
Current children cumulated vsize (KiB) 128276
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5540
/proc/meminfo: memFree=31891828/32770624 swapFree=5776/223196
[pid=5406] ppid=5402 vsize=128276 CPUtime=2261.19 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 132056 0 0 0 226110 9 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 4964389 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 2261.19
Current children cumulated vsize (KiB) 128276
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 5541
/proc/meminfo: memFree=31892924/32770624 swapFree=5776/223196
[pid=5406] ppid=5402 vsize=128276 CPUtime=2321.16 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 132598 0 0 0 232107 9 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 4964340 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 2321.16
Current children cumulated vsize (KiB) 128276
[startup+2382.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/243 5542
/proc/meminfo: memFree=31893804/32770624 swapFree=5776/223268
[pid=5406] ppid=5402 vsize=128276 CPUtime=2381.13 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 133403 0 0 0 238104 9 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 4965148 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 2381.13
Current children cumulated vsize (KiB) 128276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.2 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 5542
/proc/meminfo: memFree=31892624/32770624 swapFree=5776/223268
[pid=5406] ppid=5402 vsize=128276 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/5406/stat : 5406 (cosoco) R 5402 5406 2451 0 -1 4202496 133952 0 0 0 239993 9 0 0 20 0 1 0 2275038 131354624 26220 33554432000 4194304 5970956 140728468428256 140728468425592 5070930 0 0 4096 8405026 0 0 0 17 9 0 0 0 0 0 8070896 8075904 11272192 140728468432065 140728468432195 140728468432195 140728468434894 0
/proc/5406/statm: 32069 26220 825 434 0 25433 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 128276
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 5406 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2401.2
CPU time (s): 2400.03
CPU user time (s): 2399.94
CPU system time (s): 0.092955
CPU usage (%): 99.9512
Max. virtual memory (cumulated for all children) (KiB): 128276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.94
system time used= 0.092955
maximum resident set size= 104920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 133979
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= 45
involuntary context switches= 120838
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.57752 second user time and 12.6661 second system time
The end