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-4240331-1500626215/watcher-4240331-1500626215 -o /tmp/evaluation-result-4240331-1500626215/solver-4240331-1500626215 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node128-1500623778-3171 --watchdog 2560 HOME/cosoco -lc -model -restarts HOME/instance-4240331-1500626215.xml
pid=4151
running on 4 cores: 0,2,4,6
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 1.87 3/186 4154
/proc/meminfo: memFree=30152408/32770624 swapFree=6204/1832140
[pid=4154] ppid=4151 vsize=26992 CPUtime=0 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 962 0 0 0 0 0 0 0 20 0 1 0 15897715 27639808 766 33554432000 4194304 5970956 140730041360480 140730041357128 5417044 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 6748 766 683 434 0 112 0
[startup+0.100169 s]
/proc/loadavg: 2.00 2.01 1.87 3/186 4154
/proc/meminfo: memFree=30152408/32770624 swapFree=6204/1832140
[pid=4154] ppid=4151 vsize=28108 CPUtime=0.09 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 1220 0 0 0 9 0 0 0 20 0 1 0 15897715 28782592 1030 33554432000 4194304 5970956 140730041360480 140730041357080 5671181 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 7027 1030 715 434 0 391 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28108
[startup+0.200339 s]
/proc/loadavg: 2.00 2.01 1.87 3/186 4154
/proc/meminfo: memFree=30152408/32770624 swapFree=6204/1832140
[pid=4154] ppid=4151 vsize=29400 CPUtime=0.19 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 1544 0 0 0 19 0 0 0 20 0 1 0 15897715 30105600 1360 33554432000 4194304 5970956 140730041360480 140730041357080 140096589573120 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 7350 1360 716 434 0 714 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29400
[startup+0.300319 s]
/proc/loadavg: 2.00 2.01 1.87 3/186 4154
/proc/meminfo: memFree=30152408/32770624 swapFree=6204/1832140
[pid=4154] ppid=4151 vsize=30860 CPUtime=0.29 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 1908 0 0 0 29 0 0 0 20 0 1 0 15897715 31600640 1690 33554432000 4194304 5970956 140730041360480 140730041357080 5673946 0 0 4096 0 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 7715 1690 716 434 0 1079 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 30860
[startup+0.70028 s]
/proc/loadavg: 2.00 2.01 1.87 3/186 4154
/proc/meminfo: memFree=30152408/32770624 swapFree=6204/1832140
[pid=4154] ppid=4151 vsize=37204 CPUtime=0.69 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 3553 0 0 0 69 0 0 0 20 0 1 0 15897715 38096896 3389 33554432000 4194304 5970956 140730041360480 140730041358088 4934318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3389 760 434 0 2665 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37204
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 4155
/proc/meminfo: memFree=30142136/32770624 swapFree=6204/1832060
[pid=4154] ppid=4151 vsize=37204 CPUtime=1.49 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 3556 0 0 0 149 0 0 0 20 0 1 0 15897715 38096896 3389 33554432000 4194304 5970956 140730041360480 140730041357816 4934477 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3389 760 434 0 2665 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37204
[startup+3.10031 s]
/proc/loadavg: 2.00 2.01 1.87 3/187 4155
/proc/meminfo: memFree=30141764/32770624 swapFree=6204/1832060
[pid=4154] ppid=4151 vsize=37204 CPUtime=3.09 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 6108 0 0 0 309 0 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 37204
[startup+6.30028 s]
/proc/loadavg: 2.08 2.03 1.87 3/187 4155
/proc/meminfo: memFree=30141348/32770624 swapFree=6204/1832060
[pid=4154] ppid=4151 vsize=37204 CPUtime=6.29 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 8659 0 0 0 629 0 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934868 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37204
[startup+12.7003 s]
/proc/loadavg: 2.08 2.03 1.87 3/187 4155
/proc/meminfo: memFree=30141376/32770624 swapFree=6204/1832080
[pid=4154] ppid=4151 vsize=37204 CPUtime=12.69 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 11210 0 0 0 1269 0 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4933208 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 37204
[startup+25.5004 s]
/proc/loadavg: 2.06 2.03 1.88 3/187 4155
/proc/meminfo: memFree=30141500/32770624 swapFree=6204/1832088
[pid=4154] ppid=4151 vsize=37204 CPUtime=25.48 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 16050 0 0 0 2548 0 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37204
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 1.88 3/187 4155
/proc/meminfo: memFree=30141500/32770624 swapFree=6204/1832124
[pid=4154] ppid=4151 vsize=37204 CPUtime=51.08 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 18863 0 0 0 5107 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 37204
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 1.88 3/187 4156
/proc/meminfo: memFree=30139440/32770624 swapFree=6204/1832200
[pid=4154] ppid=4151 vsize=37204 CPUtime=102.27 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 21414 0 0 0 10226 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 37204
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.89 3/187 4157
/proc/meminfo: memFree=30139328/32770624 swapFree=6204/1832256
[pid=4154] ppid=4151 vsize=37204 CPUtime=162.26 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 21933 0 0 0 16225 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 37204
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.89 3/187 4165
/proc/meminfo: memFree=30138504/32770624 swapFree=6204/1832316
[pid=4154] ppid=4151 vsize=37204 CPUtime=222.25 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 22452 0 0 0 22224 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934527 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 37204
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/187 4166
/proc/meminfo: memFree=30138436/32770624 swapFree=6204/1832360
[pid=4154] ppid=4151 vsize=37204 CPUtime=282.24 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 22970 0 0 0 28223 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 37204
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/187 4289
/proc/meminfo: memFree=29565428/32770624 swapFree=6204/1832904
[pid=4154] ppid=4151 vsize=37204 CPUtime=342.23 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 23486 0 0 0 34222 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 37204
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/187 4350
/proc/meminfo: memFree=30048936/32770624 swapFree=6204/1833000
[pid=4154] ppid=4151 vsize=37204 CPUtime=402.22 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 23977 0 0 0 40221 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 37204
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 4351
/proc/meminfo: memFree=30047572/32770624 swapFree=6204/1833044
[pid=4154] ppid=4151 vsize=37204 CPUtime=462.21 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 24431 0 0 0 46220 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934318 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 37204
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 4154 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+467.2 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 4351
/proc/meminfo: memFree=30047440/32770624 swapFree=6204/1833048
[pid=4154] ppid=4151 vsize=37204 CPUtime=467.11 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 24431 0 0 0 46710 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4933175 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 467.11
Current children cumulated vsize (KiB) 37204
[startup+470.4 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 4351
/proc/meminfo: memFree=30047324/32770624 swapFree=6204/1833048
[pid=4154] ppid=4151 vsize=37204 CPUtime=470.31 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 24431 0 0 0 47030 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934477 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 470.31
Current children cumulated vsize (KiB) 37204
[startup+473.6 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 4351
/proc/meminfo: memFree=30047324/32770624 swapFree=6204/1833052
[pid=4154] ppid=4151 vsize=37204 CPUtime=473.51 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 24431 0 0 0 47350 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934354 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 473.51
Current children cumulated vsize (KiB) 37204
[startup+475.2 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 4351
/proc/meminfo: memFree=30047192/32770624 swapFree=6204/1833052
[pid=4154] ppid=4151 vsize=37204 CPUtime=475.11 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 24431 0 0 0 47510 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 475.11
Current children cumulated vsize (KiB) 37204
[startup+475.6 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 4351
/proc/meminfo: memFree=30047192/32770624 swapFree=6204/1833052
[pid=4154] ppid=4151 vsize=37204 CPUtime=475.51 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 24431 0 0 0 47550 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 475.51
Current children cumulated vsize (KiB) 37204
[startup+475.8 s]
/proc/loadavg: 2.00 2.01 1.92 3/187 4351
/proc/meminfo: memFree=30047192/32770624 swapFree=6204/1833052
[pid=4154] ppid=4151 vsize=37204 CPUtime=475.71 cores=0,2,4,6
/proc/4154/stat : 4154 (cosoco) R 4151 4154 3140 0 -1 4202496 24431 0 0 0 47570 1 0 0 20 0 1 0 15897715 38096896 3396 33554432000 4194304 5970956 140730041360480 140730041357816 4934327 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8070896 8075904 41041920 140730041365697 140730041365827 140730041365827 140730041368526 0
/proc/4154/statm: 9301 3396 765 434 0 2665 0
Current children cumulated CPU time (s) 475.71
Current children cumulated vsize (KiB) 37204
Child status: 0
Real time (s): 475.817
CPU time (s): 475.73
CPU user time (s): 475.717
CPU system time (s): 0.012997
CPU usage (%): 99.9817
Max. virtual memory (cumulated for all children) (KiB): 37204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 475.717
system time used= 0.012997
maximum resident set size= 13664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24472
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= 16
involuntary context switches= 24415
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.24919 second user time and 1.79051 second system time
The end