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-4094632-1466106889/watcher-4094632-1466106889 -o /tmp/evaluation-result-4094632-1466106889/solver-4094632-1466106889 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node127-1466104297-29950 --watchdog 1960 naps-1.02 HOME/instance-4094632-1466106889.wbo 

pid=30269
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.31 2.26 2.15 4/176 30272
/proc/meminfo: memFree=30170028/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=6548 CPUtime=0 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 343 0 0 0 0 0 0 0 20 0 1 0 12735517 6705152 218 33554432000 4194304 5796924 140736634381856 140734869423848 5095032 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 1637 218 127 392 0 1236 0

[startup+0.100121 s]
/proc/loadavg: 2.31 2.26 2.15 4/176 30272
/proc/meminfo: memFree=30170028/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=9628 CPUtime=0.09 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 1157 0 0 0 9 0 0 0 20 0 1 0 12735517 9859072 1012 33554432000 4194304 5796924 140736634381856 140734869423848 4601168 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 2407 1012 130 392 0 2006 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9628

[startup+0.200435 s]
/proc/loadavg: 2.31 2.26 2.15 4/176 30272
/proc/meminfo: memFree=30170028/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=12692 CPUtime=0.19 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 1923 0 0 0 19 0 0 0 20 0 1 0 12735517 12996608 1719 33554432000 4194304 5796924 140736634381856 140734869423848 5092425 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 3173 1719 130 392 0 2772 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12692

[startup+0.30035 s]
/proc/loadavg: 2.31 2.26 2.15 4/176 30272
/proc/meminfo: memFree=30170028/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=15884 CPUtime=0.29 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 2768 0 0 0 29 0 0 0 20 0 1 0 12735517 16265216 2977 33554432000 4194304 5796924 140736634381856 140734869423848 5087700 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 3971 2977 131 392 0 3570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15884

[startup+0.700232 s]
/proc/loadavg: 2.31 2.26 2.15 4/176 30272
/proc/meminfo: memFree=30170028/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=18848 CPUtime=0.69 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 7038 0 0 0 68 1 0 0 20 0 1 0 12735517 19300352 4133 33554432000 4194304 5796924 140736634381856 140736634378840 4865437 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 4712 4133 164 392 0 4311 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18848

[startup+1.50022 s]
/proc/loadavg: 2.29 2.25 2.15 3/177 30273
/proc/meminfo: memFree=30139716/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=37192 CPUtime=1.49 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 10986 0 0 0 148 1 0 0 20 0 1 0 12735517 38084608 7854 33554432000 4194304 5796924 140736634381856 140736634378840 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 9298 7854 180 392 0 8897 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 37192

[startup+3.10023 s]
/proc/loadavg: 2.29 2.25 2.15 3/177 30273
/proc/meminfo: memFree=30137756/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=39896 CPUtime=3.09 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 11623 0 0 0 308 1 0 0 20 0 1 0 12735517 40853504 8966 33554432000 4194304 5796924 140736634381856 140736634378920 4606495 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 9974 8966 180 392 0 9573 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 39896

[startup+6.30024 s]
/proc/loadavg: 2.26 2.25 2.15 3/177 30273
/proc/meminfo: memFree=30125376/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=43656 CPUtime=6.28 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 12643 0 0 0 627 1 0 0 20 0 1 0 12735517 44703744 10289 33554432000 4194304 5796924 140736634381856 140736634379144 4611179 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 10914 10289 181 392 0 10513 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 43656

[startup+12.7003 s]
/proc/loadavg: 2.24 2.25 2.15 3/177 30273
/proc/meminfo: memFree=30126260/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=49756 CPUtime=12.68 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 12671 0 0 0 1267 1 0 0 20 0 1 0 12735517 50950144 11338 33554432000 4194304 5796924 140736634381856 140736634379096 4607599 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 12439 11338 181 392 0 12038 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 49756

[startup+25.5003 s]
/proc/loadavg: 2.20 2.24 2.15 3/177 30273
/proc/meminfo: memFree=30120000/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=54176 CPUtime=25.49 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 12784 0 0 0 2547 2 0 0 20 0 1 0 12735517 55476224 12468 33554432000 4194304 5796924 140736634381856 140736634378920 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 13544 12468 181 392 0 13143 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54176

[startup+51.1004 s]
/proc/loadavg: 2.12 2.21 2.14 3/177 30273
/proc/meminfo: memFree=30102260/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=74456 CPUtime=51.08 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 15591 0 0 0 5106 2 0 0 20 0 1 0 12735517 76242944 17317 33554432000 4194304 5796924 140736634381856 140736634379096 4569031 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 18614 17317 182 392 0 18213 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74456

[startup+102.3 s]
/proc/loadavg: 2.26 2.24 2.16 3/177 30274
/proc/meminfo: memFree=30076592/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=99380 CPUtime=102.28 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 18016 0 0 0 10225 3 0 0 20 0 1 0 12735517 101765120 23252 33554432000 4194304 5796924 140736634381856 140736634379096 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 24845 23252 184 392 0 24444 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 99380

[startup+162.3 s]
/proc/loadavg: 2.17 2.22 2.15 3/177 30275
/proc/meminfo: memFree=30065640/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=129728 CPUtime=162.27 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 18549 0 0 0 16223 4 0 0 20 0 1 0 12735517 132841472 25812 33554432000 4194304 5796924 140736634381856 140736634379096 4593716 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 32432 25812 184 392 0 32031 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 129728

[startup+222.307 s]
/proc/loadavg: 2.13 2.19 2.15 4/177 30277
/proc/meminfo: memFree=30047176/32872528 swapFree=1190800/1305264
[pid=30272] ppid=30269 vsize=129728 CPUtime=222.26 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 18558 0 0 0 22222 4 0 0 20 0 1 0 12735517 132841472 30420 33554432000 4194304 5796924 140736634381856 140736634379096 4606507 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 32432 30420 184 392 0 32031 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 129728

[startup+282.3 s]
/proc/loadavg: 2.05 2.16 2.14 3/177 30278
/proc/meminfo: memFree=30043040/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=131888 CPUtime=282.25 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 19099 0 0 0 28220 5 0 0 20 0 1 0 12735517 135053312 31431 33554432000 4194304 5796924 140736634381856 140736634380248 4607218 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 32972 31431 184 392 0 32571 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 131888

[startup+342.3 s]
/proc/loadavg: 2.07 2.14 2.13 3/178 30282
/proc/meminfo: memFree=30036308/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=143560 CPUtime=342.23 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 19989 0 0 0 34218 5 0 0 20 0 1 0 12735517 147005440 33761 33554432000 4194304 5796924 140736634381856 140736634380248 4606480 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 35890 33761 185 392 0 35489 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 143560

[startup+402.3 s]
/proc/loadavg: 2.06 2.13 2.12 4/178 30306
/proc/meminfo: memFree=30028780/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=143700 CPUtime=402.22 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 20288 0 0 0 40217 5 0 0 20 0 1 0 12735517 147148800 35060 33554432000 4194304 5796924 140736634381856 140736634380248 4607229 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 35925 35060 185 392 0 35524 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 143700

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 30272 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+409.6 s]
/proc/loadavg: 2.06 2.12 2.12 4/178 30306
/proc/meminfo: memFree=30028908/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=143700 CPUtime=409.52 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 20288 0 0 0 40947 5 0 0 20 0 1 0 12735517 147148800 35060 33554432000 4194304 5796924 140736634381856 140736634380248 4607222 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 35925 35060 185 392 0 35524 0
Current children cumulated CPU time (s) 409.52
Current children cumulated vsize (KiB) 143700

[startup+422.4 s]
/proc/loadavg: 2.04 2.12 2.12 3/178 30307
/proc/meminfo: memFree=30016928/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=159924 CPUtime=422.33 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 21764 0 0 0 42227 6 0 0 20 0 1 0 12735517 163762176 37931 33554432000 4194304 5796924 140736634381856 140736634379000 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 39981 37931 186 392 0 39580 0
Current children cumulated CPU time (s) 422.33
Current children cumulated vsize (KiB) 159924

[startup+435.2 s]
/proc/loadavg: 2.04 2.11 2.12 3/177 30307
/proc/meminfo: memFree=30012816/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=159924 CPUtime=435.12 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 22898 0 0 0 43506 6 0 0 20 0 1 0 12735517 163762176 38934 33554432000 4194304 5796924 140736634381856 140736634380248 4594159 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 39981 38934 186 392 0 39580 0
Current children cumulated CPU time (s) 435.12
Current children cumulated vsize (KiB) 159924

[startup+441.6 s]
/proc/loadavg: 2.03 2.11 2.12 3/177 30307
/proc/meminfo: memFree=29986320/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=195500 CPUtime=441.52 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 23995 0 0 0 44146 6 0 0 20 0 1 0 12735517 200192000 45581 33554432000 4194304 5796924 140736634381856 140736634379000 4607192 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 48875 45581 187 392 0 48474 0
Current children cumulated CPU time (s) 441.52
Current children cumulated vsize (KiB) 195500

[startup+444.8 s]
/proc/loadavg: 2.03 2.11 2.12 3/177 30307
/proc/meminfo: memFree=29979744/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=205216 CPUtime=444.72 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 24633 0 0 0 44465 7 0 0 20 0 1 0 12735517 210141184 47188 33554432000 4194304 5796924 140736634381856 140736634380248 4606555 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 51304 47188 187 392 0 50903 0
Current children cumulated CPU time (s) 444.72
Current children cumulated vsize (KiB) 205216

[startup+446.4 s]
/proc/loadavg: 2.03 2.11 2.11 3/177 30307
/proc/meminfo: memFree=29979744/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=205216 CPUtime=446.32 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 24634 0 0 0 44625 7 0 0 20 0 1 0 12735517 210141184 47700 33554432000 4194304 5796924 140736634381856 140736634380248 4606789 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 51304 47700 187 392 0 50903 0
Current children cumulated CPU time (s) 446.32
Current children cumulated vsize (KiB) 205216

[startup+446.8 s]
/proc/loadavg: 2.03 2.11 2.11 4/177 30307
/proc/meminfo: memFree=29977696/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=205216 CPUtime=446.72 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 24634 0 0 0 44665 7 0 0 20 0 1 0 12735517 210141184 47700 33554432000 4194304 5796924 140736634381856 140736634380248 4607171 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 51304 47700 187 392 0 50903 0
Current children cumulated CPU time (s) 446.72
Current children cumulated vsize (KiB) 205216

[startup+447.2 s]
/proc/loadavg: 2.03 2.11 2.11 4/177 30307
/proc/meminfo: memFree=29977696/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=205216 CPUtime=447.12 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 24634 0 0 0 44705 7 0 0 20 0 1 0 12735517 210141184 47700 33554432000 4194304 5796924 140736634381856 140736634380248 4607261 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 51304 47700 187 392 0 50903 0
Current children cumulated CPU time (s) 447.12
Current children cumulated vsize (KiB) 205216

[startup+447.3 s]
/proc/loadavg: 2.03 2.11 2.11 4/177 30307
/proc/meminfo: memFree=29977696/32872528 swapFree=1190796/1305260
[pid=30272] ppid=30269 vsize=205216 CPUtime=447.22 cores=0,2,4,6
/proc/30272/stat : 30272 (naps-1.02) R 30269 30272 29204 0 -1 4202496 24634 0 0 0 44715 7 0 0 20 0 1 0 12735517 210141184 47700 33554432000 4194304 5796924 140736634381856 140736634380248 4607222 0 0 4096 17954 0 0 0 17 4 0 0 0 0 0
/proc/30272/statm: 51304 47700 187 392 0 50903 0
Current children cumulated CPU time (s) 447.22
Current children cumulated vsize (KiB) 205216

Child status: 30
Real time (s): 447.377
CPU time (s): 447.308
CPU user time (s): 447.23
CPU system time (s): 0.077988
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 205216

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 447.23
system time used= 0.077988
maximum resident set size= 190840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24647
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= 3
involuntary context switches= 476

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.93355 second user time and 2.20966 second system time

The end