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-4118525-1467223171/watcher-4118525-1467223171 -o /tmp/evaluation-result-4118525-1467223171/solver-4118525-1467223171 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1467210304-1981 --watchdog 1960 open-wbo HOME/instance-4118525-1467223171.opb
pid=3633
running on 4 cores: 1,3,5,7
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.25 2.30 2.25 3/174 3636
/proc/meminfo: memFree=29147260/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=2560 CPUtime=0 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 396 0 0 0 0 0 0 0 20 0 1 0 1343050 2621440 271 33554432000 4194304 6059633 140736128374544 140735683743672 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 640 271 157 456 0 153 0
[startup+0.100217 s]
/proc/loadavg: 2.25 2.30 2.25 3/174 3636
/proc/meminfo: memFree=29147260/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=11692 CPUtime=0.09 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 1660 0 0 0 9 0 0 0 20 0 1 0 1343050 11972608 1466 33554432000 4194304 6059633 140736128374544 140735683743672 5268791 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 2923 1466 174 456 0 2459 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11692
[startup+0.200366 s]
/proc/loadavg: 2.25 2.30 2.25 3/174 3636
/proc/meminfo: memFree=29147260/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=8612 CPUtime=0.19 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 2131 0 0 0 19 0 0 0 20 0 1 0 1343050 8818688 1751 33554432000 4194304 6059633 140736128374544 140736128373304 4278382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 2153 1751 195 456 0 1689 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8612
[startup+0.300254 s]
/proc/loadavg: 2.25 2.30 2.25 3/174 3636
/proc/meminfo: memFree=29147260/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=9132 CPUtime=0.29 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 2204 0 0 0 29 0 0 0 20 0 1 0 1343050 9351168 1818 33554432000 4194304 6059633 140736128374544 140736128373304 4255423 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 2283 1818 195 456 0 1819 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9132
[startup+0.700262 s]
/proc/loadavg: 2.25 2.30 2.25 3/174 3636
/proc/meminfo: memFree=29147260/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=9956 CPUtime=0.69 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 2693 0 0 0 69 0 0 0 20 0 1 0 1343050 10194944 2077 33554432000 4194304 6059633 140736128374544 140736128373304 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 2489 2077 195 456 0 2025 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9956
[startup+1.50022 s]
/proc/loadavg: 2.25 2.30 2.25 3/175 3637
/proc/meminfo: memFree=29138436/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=11776 CPUtime=1.49 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 3161 0 0 0 149 0 0 0 20 0 1 0 1343050 12058624 2516 33554432000 4194304 6059633 140736128374544 140736128373304 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 2944 2516 196 456 0 2480 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11776
[startup+3.10021 s]
/proc/loadavg: 2.23 2.29 2.24 4/175 3637
/proc/meminfo: memFree=29136452/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=15088 CPUtime=3.09 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 3883 0 0 0 309 0 0 0 20 0 1 0 1343050 15450112 3187 33554432000 4194304 6059633 140736128374544 140736128372696 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 3772 3187 196 456 0 3308 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15088
[startup+6.30021 s]
/proc/loadavg: 2.23 2.29 2.24 4/175 3637
/proc/meminfo: memFree=29132516/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=16764 CPUtime=6.29 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 4508 0 0 0 628 1 0 0 20 0 1 0 1343050 17166336 3768 33554432000 4194304 6059633 140736128374544 140736128372728 4278389 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 4191 3768 196 456 0 3727 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16764
[startup+12.7003 s]
/proc/loadavg: 2.21 2.29 2.24 3/175 3637
/proc/meminfo: memFree=29128652/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=20556 CPUtime=12.69 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 5002 0 0 0 1268 1 0 0 20 0 1 0 1343050 21049344 4753 33554432000 4194304 6059633 140736128374544 140736128372728 4278149 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 5139 4753 196 456 0 4675 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20556
[startup+25.5003 s]
/proc/loadavg: 2.38 2.32 2.25 3/175 3637
/proc/meminfo: memFree=29125932/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=23276 CPUtime=25.49 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 5725 0 0 0 2548 1 0 0 20 0 1 0 1343050 23834624 5431 33554432000 4194304 6059633 140736128374544 140736128373304 4278447 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 5819 5431 196 456 0 5355 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 23276
[startup+51.1003 s]
/proc/loadavg: 2.32 2.31 2.25 3/176 3640
/proc/meminfo: memFree=29115884/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=39164 CPUtime=51.09 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 7224 0 0 0 5107 2 0 0 20 0 1 0 1343050 40103936 7732 33554432000 4194304 6059633 140736128374544 140736128372696 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 9791 7732 196 456 0 9327 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 39164
[startup+102.3 s]
/proc/loadavg: 2.33 2.32 2.26 3/176 3663
/proc/meminfo: memFree=29078776/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=46344 CPUtime=102.28 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 8197 0 0 0 10226 2 0 0 20 0 1 0 1343050 47456256 11212 33554432000 4194304 6059633 140736128374544 140736128373304 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 11586 11212 196 456 0 11122 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 46344
[startup+162.3 s]
/proc/loadavg: 2.36 2.32 2.26 3/175 3664
/proc/meminfo: memFree=29060184/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=65240 CPUtime=162.26 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 8766 0 0 0 16224 2 0 0 20 0 1 0 1343050 66805760 13888 33554432000 4194304 6059633 140736128374544 140736128373304 4301504 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 16310 13888 197 456 0 15846 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 65240
[startup+222.307 s]
/proc/loadavg: 2.35 2.32 2.27 4/175 3665
/proc/meminfo: memFree=29060176/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=65240 CPUtime=222.26 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 8766 0 0 0 22224 2 0 0 20 0 1 0 1343050 66805760 13888 33554432000 4194304 6059633 140736128374544 140736128373304 4278288 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 16310 13888 197 456 0 15846 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 65240
[startup+282.3 s]
/proc/loadavg: 2.26 2.29 2.26 3/174 3666
/proc/meminfo: memFree=29047400/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=85412 CPUtime=282.25 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 9210 0 0 0 28222 3 0 0 20 0 1 0 1343050 87461888 17092 33554432000 4194304 6059633 140736128374544 140736128372696 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 21353 17092 197 456 0 20889 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 85412
[startup+342.3 s]
/proc/loadavg: 2.34 2.31 2.27 3/175 3668
/proc/meminfo: memFree=29037548/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=85412 CPUtime=342.24 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 9669 0 0 0 34221 3 0 0 20 0 1 0 1343050 87461888 19582 33554432000 4194304 6059633 140736128374544 140736128372696 4277889 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 21353 19582 197 456 0 20889 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 85412
[startup+402.3 s]
/proc/loadavg: 2.33 2.30 2.27 3/175 3669
/proc/meminfo: memFree=29035492/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=85412 CPUtime=402.23 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 9670 0 0 0 40220 3 0 0 20 0 1 0 1343050 87461888 20094 33554432000 4194304 6059633 140736128374544 140736128372696 4278389 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 21353 20094 197 456 0 20889 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 85412
[startup+462.3 s]
/proc/loadavg: 2.17 2.26 2.26 3/175 3670
/proc/meminfo: memFree=29033324/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=86264 CPUtime=462.22 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 9671 0 0 0 46219 3 0 0 20 0 1 0 1343050 88334336 20606 33554432000 4194304 6059633 140736128374544 140736128373304 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 21566 20606 197 456 0 21102 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 86264
[startup+522.3 s]
/proc/loadavg: 2.30 2.27 2.26 3/175 3671
/proc/meminfo: memFree=29032828/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=86264 CPUtime=522.21 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 9671 0 0 0 52218 3 0 0 20 0 1 0 1343050 88334336 20606 33554432000 4194304 6059633 140736128374544 140736128373304 4277910 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 21566 20606 197 456 0 21102 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 86264
[startup+582.3 s]
/proc/loadavg: 2.25 2.25 2.25 3/175 3672
/proc/meminfo: memFree=29020976/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=86264 CPUtime=582.2 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 9671 0 0 0 58217 3 0 0 20 0 1 0 1343050 88334336 20606 33554432000 4194304 6059633 140736128374544 140736128373304 4278479 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 21566 20606 197 456 0 21102 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 86264
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.28 2.23 2.23 3/175 3683
/proc/meminfo: memFree=29003272/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=942.14 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 11920 0 0 0 94208 6 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4278352 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 100424
[startup+1002.3 s]
/proc/loadavg: 2.19 2.22 2.23 3/175 3684
/proc/meminfo: memFree=28972928/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=1002.13 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 12797 0 0 0 100206 7 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4278292 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 100424
[startup+1062.3 s]
/proc/loadavg: 2.31 2.24 2.23 4/175 3685
/proc/meminfo: memFree=28930600/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=149744 CPUtime=1062.13 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 13674 0 0 0 106204 9 0 0 20 0 1 0 1343050 153337856 33145 33554432000 4194304 6059633 140736128374544 140736128372744 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 37436 33145 197 456 0 36972 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 149744
[startup+1122.3 s]
/proc/loadavg: 2.32 2.25 2.23 3/175 3686
/proc/meminfo: memFree=29003388/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=1122.11 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 14115 0 0 0 112202 9 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4277781 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 100424
[startup+1182.3 s]
/proc/loadavg: 2.32 2.25 2.23 3/175 3687
/proc/meminfo: memFree=29003512/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=1182.1 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 14556 0 0 0 118200 10 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4278479 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 100424
[startup+1242.3 s]
/proc/loadavg: 2.31 2.26 2.24 4/176 3692
/proc/meminfo: memFree=28971444/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=149744 CPUtime=1242.09 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 15434 0 0 0 124198 11 0 0 20 0 1 0 1343050 153337856 32633 33554432000 4194304 6059633 140736128374544 140736128372744 4278382 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 37436 32633 197 456 0 36972 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 149744
[startup+1302.3 s]
/proc/loadavg: 2.33 2.27 2.24 3/175 3693
/proc/meminfo: memFree=28963472/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=149744 CPUtime=1302.08 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 15879 0 0 0 130196 12 0 0 20 0 1 0 1343050 153337856 34681 33554432000 4194304 6059633 140736128374544 140736128372744 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 37436 34681 197 456 0 36972 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 149744
[startup+1362.3 s]
/proc/loadavg: 2.20 2.25 2.23 3/175 3694
/proc/meminfo: memFree=29003364/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=1362.08 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 16322 0 0 0 136195 13 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 100424
[startup+1422.3 s]
/proc/loadavg: 2.33 2.28 2.24 4/175 3695
/proc/meminfo: memFree=29003248/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=1422.08 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 16764 0 0 0 142194 14 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4255169 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 100424
[startup+1482.3 s]
/proc/loadavg: 2.42 2.30 2.25 3/175 3696
/proc/meminfo: memFree=29003124/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=1482.06 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 17207 0 0 0 148192 14 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 100424
[startup+1542.31 s]
/proc/loadavg: 2.48 2.33 2.27 4/175 3698
/proc/meminfo: memFree=29003696/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=1542.06 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 17650 0 0 0 154191 15 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 100424
[startup+1602.3 s]
/proc/loadavg: 2.47 2.35 2.28 4/175 3699
/proc/meminfo: memFree=28930892/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=149744 CPUtime=1602.04 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 18531 0 0 0 160188 16 0 0 20 0 1 0 1343050 153337856 33145 33554432000 4194304 6059633 140736128374544 140736128372744 4278479 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 37436 33145 197 456 0 36972 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 149744
[startup+1662.3 s]
/proc/loadavg: 2.34 2.33 2.27 3/175 3746
/proc/meminfo: memFree=29031732/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=149744 CPUtime=1662.03 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 18977 0 0 0 166186 17 0 0 20 0 1 0 1343050 153337856 34169 33554432000 4194304 6059633 140736128374544 140736128372744 4246362 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 37436 34169 197 456 0 36972 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 149744
[startup+1722.3 s]
/proc/loadavg: 2.32 2.31 2.27 3/175 3747
/proc/meminfo: memFree=29004632/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=149744 CPUtime=1722.02 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 19422 0 0 0 172185 17 0 0 20 0 1 0 1343050 153337856 34681 33554432000 4194304 6059633 140736128374544 140736128372744 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 37436 34681 197 456 0 36972 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 149744
[startup+1782.3 s]
/proc/loadavg: 2.29 2.31 2.27 4/175 3748
/proc/meminfo: memFree=29006120/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=149744 CPUtime=1782.01 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 19867 0 0 0 178183 18 0 0 20 0 1 0 1343050 153337856 35193 33554432000 4194304 6059633 140736128374544 140736128372744 4277852 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 37436 35193 197 456 0 36972 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 149744
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.27 2.31 2.27 3/175 3748
/proc/meminfo: memFree=29045900/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=1800.01 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 19870 0 0 0 179983 18 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 100424
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 3636 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.27 2.31 2.27 3/175 3748
/proc/meminfo: memFree=29045900/32872528 swapFree=1297548/1461068
[pid=3636] ppid=3633 vsize=100424 CPUtime=1800.01 cores=1,3,5,7
/proc/3636/stat : 3636 (open-wbo) R 3633 3636 1964 0 -1 4202496 19870 0 0 0 179983 18 0 0 20 0 1 0 1343050 102834176 24531 33554432000 4194304 6059633 140736128374544 140736128373032 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/3636/statm: 25106 24531 197 456 0 24642 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 100424
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.83
CPU system time (s): 0.19097
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 149744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.83
system time used= 0.19097
maximum resident set size= 146916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19873
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= 15
involuntary context switches= 1988
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.21436 second user time and 5.75712 second system time
The end