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-4118363-1467220012/watcher-4118363-1467220012 -o /tmp/evaluation-result-4118363-1467220012/solver-4118363-1467220012 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1467209130-5020 --watchdog 1960 open-wbo HOME/instance-4118363-1467220012.opb
pid=6388
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.39 2.31 2.21 4/176 6391
/proc/meminfo: memFree=26720212/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=2540 CPUtime=0 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 388 0 0 0 0 0 0 0 20 0 1 0 2956230 2600960 263 33554432000 4194304 6059633 140733709716352 140733650170136 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 635 263 152 456 0 153 0
[startup+0.100114 s]
/proc/loadavg: 2.39 2.31 2.21 4/176 6391
/proc/meminfo: memFree=26720212/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=11304 CPUtime=0.09 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 1557 0 0 0 9 0 0 0 20 0 1 0 2956230 11575296 1365 33554432000 4194304 6059633 140733709716352 140733650170136 5043379 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 2826 1365 188 456 0 2362 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11304
[startup+0.200302 s]
/proc/loadavg: 2.39 2.31 2.21 4/176 6391
/proc/meminfo: memFree=26720212/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=7856 CPUtime=0.19 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 1830 0 0 0 19 0 0 0 20 0 1 0 2956230 8044544 1489 33554432000 4194304 6059633 140733709716352 140733650170136 4261745 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 1964 1489 191 456 0 1500 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7856
[startup+0.300263 s]
/proc/loadavg: 2.39 2.31 2.21 4/176 6391
/proc/meminfo: memFree=26720212/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=8376 CPUtime=0.29 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 1904 0 0 0 29 0 0 0 20 0 1 0 2956230 8577024 1559 33554432000 4194304 6059633 140733709716352 140733650170136 4278354 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 2094 1559 192 456 0 1630 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8376
[startup+0.700224 s]
/proc/loadavg: 2.39 2.31 2.21 4/176 6391
/proc/meminfo: memFree=26720212/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=10756 CPUtime=0.69 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 2365 0 0 0 69 0 0 0 20 0 1 0 2956230 11014144 1808 33554432000 4194304 6059633 140733709716352 140733709715112 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 2689 1808 192 456 0 2225 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10756
[startup+1.50023 s]
/proc/loadavg: 2.39 2.31 2.21 3/177 6392
/proc/meminfo: memFree=26712540/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=10756 CPUtime=1.49 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 2744 0 0 0 149 0 0 0 20 0 1 0 2956230 11014144 2161 33554432000 4194304 6059633 140733709716352 140733709715112 4277882 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 2689 2161 192 456 0 2225 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10756
[startup+3.10022 s]
/proc/loadavg: 2.39 2.31 2.21 3/177 6392
/proc/meminfo: memFree=26710804/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=12596 CPUtime=3.09 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 3126 0 0 0 309 0 0 0 20 0 1 0 2956230 12898304 2535 33554432000 4194304 6059633 140733709716352 140733709715112 4277645 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 3149 2535 192 456 0 2685 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12596
[startup+6.30022 s]
/proc/loadavg: 2.36 2.31 2.21 3/177 6392
/proc/meminfo: memFree=26706788/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=15840 CPUtime=6.29 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 4154 0 0 0 629 0 0 0 20 0 1 0 2956230 16220160 3490 33554432000 4194304 6059633 140733709716352 140733709714536 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 3960 3490 192 456 0 3496 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15840
[startup+12.7003 s]
/proc/loadavg: 2.33 2.30 2.21 4/177 6392
/proc/meminfo: memFree=26702300/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=21472 CPUtime=12.68 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 4955 0 0 0 1268 0 0 0 20 0 1 0 2956230 21987328 4514 33554432000 4194304 6059633 140733709716352 140733709714504 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 5368 4514 192 456 0 4904 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 21472
[startup+25.5003 s]
/proc/loadavg: 2.26 2.29 2.21 3/177 6392
/proc/meminfo: memFree=26701472/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=21472 CPUtime=25.49 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 5235 0 0 0 2548 1 0 0 20 0 1 0 2956230 21987328 4791 33554432000 4194304 6059633 140733709716352 140733709714504 4278288 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 5368 4791 192 456 0 4904 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 21472
[startup+51.1003 s]
/proc/loadavg: 2.31 2.30 2.21 3/177 6393
/proc/meminfo: memFree=26689500/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=32964 CPUtime=51.08 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 6044 0 0 0 5107 1 0 0 20 0 1 0 2956230 33755136 7775 33554432000 4194304 6059633 140733709716352 140733709714504 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 8241 7775 192 456 0 7777 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32964
[startup+102.3 s]
/proc/loadavg: 2.25 2.28 2.21 3/177 6394
/proc/meminfo: memFree=26684196/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=37428 CPUtime=102.28 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 6823 0 0 0 10227 1 0 0 20 0 1 0 2956230 38326272 8917 33554432000 4194304 6059633 140733709716352 140733709714840 4277549 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 9357 8917 192 456 0 8893 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 37428
[startup+162.3 s]
/proc/loadavg: 2.27 2.27 2.21 3/177 6395
/proc/meminfo: memFree=26665576/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=56188 CPUtime=162.27 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 7421 0 0 0 16225 2 0 0 20 0 1 0 2956230 57536512 13586 33554432000 4194304 6059633 140733709716352 140733709714504 4262833 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 14047 13586 192 456 0 13583 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 56188
[startup+222.307 s]
/proc/loadavg: 2.14 2.23 2.19 4/178 6399
/proc/meminfo: memFree=26616936/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=75044 CPUtime=222.26 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 8027 0 0 0 22224 2 0 0 20 0 1 0 2956230 76845056 16763 33554432000 4194304 6059633 140733709716352 140733709714504 4277864 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 18761 16763 192 456 0 18297 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 75044
[startup+282.3 s]
/proc/loadavg: 2.23 2.25 2.20 3/177 6400
/proc/meminfo: memFree=26664500/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=56252 CPUtime=282.25 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 9140 0 0 0 28221 4 0 0 20 0 1 0 2956230 57602048 13622 33554432000 4194304 6059633 140733709716352 140733709714504 4278373 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 14063 13622 192 456 0 13599 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 56252
[startup+342.3 s]
/proc/loadavg: 2.14 2.22 2.18 3/176 6401
/proc/meminfo: memFree=26604988/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=75108 CPUtime=342.24 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 9301 0 0 0 34220 4 0 0 20 0 1 0 2956230 76910592 18372 33554432000 4194304 6059633 140733709716352 140733709715112 4277855 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 18777 18372 193 456 0 18313 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 75108
[startup+402.3 s]
/proc/loadavg: 2.17 2.22 2.18 3/177 6403
/proc/meminfo: memFree=26639060/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=81708 CPUtime=402.23 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 9394 0 0 0 40219 4 0 0 20 0 1 0 2956230 83668992 19996 33554432000 4194304 6059633 140733709716352 140733709714536 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 20427 19996 193 456 0 19963 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 81708
[startup+462.3 s]
/proc/loadavg: 2.27 2.24 2.19 3/176 6404
/proc/meminfo: memFree=26600992/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=81708 CPUtime=462.22 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 9394 0 0 0 46218 4 0 0 20 0 1 0 2956230 83668992 19996 33554432000 4194304 6059633 140733709716352 140733709714536 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 20427 19996 193 456 0 19963 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 81708
[startup+522.3 s]
/proc/loadavg: 2.26 2.23 2.19 3/177 6406
/proc/meminfo: memFree=26639152/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=81708 CPUtime=522.21 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 9400 0 0 0 52217 4 0 0 20 0 1 0 2956230 83668992 20002 33554432000 4194304 6059633 140733709716352 140733709715112 4278329 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 20427 20002 193 456 0 19963 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 81708
[startup+582.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/177 6407
/proc/meminfo: memFree=26638420/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=82668 CPUtime=582.2 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 9648 0 0 0 58216 4 0 0 20 0 1 0 2956230 84652032 20242 33554432000 4194304 6059633 140733709716352 140733709714536 4277535 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 20667 20242 193 456 0 20203 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 82668
################
# More data... #
################
[startup+942.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 6417
/proc/meminfo: memFree=26613216/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=942.15 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 11589 0 0 0 94208 7 0 0 20 0 1 0 2956230 106909696 25679 33554432000 4194304 6059633 140733709716352 140733709714840 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25679 193 456 0 25637 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 104404
[startup+1002.3 s]
/proc/loadavg: 2.20 2.23 2.18 3/177 6419
/proc/meminfo: memFree=26543596/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=153724 CPUtime=1002.14 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 11813 0 0 0 100206 8 0 0 20 0 1 0 2956230 157413376 34478 33554432000 4194304 6059633 140733709716352 140733709714552 4277570 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 38431 34478 193 456 0 37967 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 153724
[startup+1062.3 s]
/proc/loadavg: 2.25 2.23 2.18 4/177 6420
/proc/meminfo: memFree=26580596/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=1062.12 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 11926 0 0 0 106204 8 0 0 20 0 1 0 2956230 106909696 25679 33554432000 4194304 6059633 140733709716352 140733709714840 4278414 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25679 193 456 0 25637 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 104404
[startup+1122.3 s]
/proc/loadavg: 2.17 2.21 2.18 4/177 6421
/proc/meminfo: memFree=26547976/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=153724 CPUtime=1122.11 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 12150 0 0 0 112202 9 0 0 20 0 1 0 2956230 157413376 33966 33554432000 4194304 6059633 140733709716352 140733709714552 4277882 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 38431 33966 193 456 0 37967 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 153724
[startup+1182.3 s]
/proc/loadavg: 2.29 2.25 2.19 3/177 6422
/proc/meminfo: memFree=26580388/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=1182.11 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 12267 0 0 0 118201 10 0 0 20 0 1 0 2956230 106909696 25679 33554432000 4194304 6059633 140733709716352 140733709714840 4277900 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25679 193 456 0 25637 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 104404
[startup+1242.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 6423
/proc/meminfo: memFree=26547196/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=153724 CPUtime=1242.1 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 12493 0 0 0 124199 11 0 0 20 0 1 0 2956230 157413376 33454 33554432000 4194304 6059633 140733709716352 140733709714840 4277990 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 38431 33454 193 456 0 37967 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 153724
[startup+1302.3 s]
/proc/loadavg: 2.21 2.23 2.18 3/177 6471
/proc/meminfo: memFree=26641892/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=153724 CPUtime=1302.09 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 12612 0 0 0 130197 12 0 0 20 0 1 0 2956230 157413376 33969 33554432000 4194304 6059633 140733709716352 140733709714552 4277874 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 38431 33969 193 456 0 37967 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 153724
[startup+1362.3 s]
/proc/loadavg: 2.28 2.24 2.19 3/177 6472
/proc/meminfo: memFree=26661280/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=1362.08 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 12725 0 0 0 136196 12 0 0 20 0 1 0 2956230 106909696 25682 33554432000 4194304 6059633 140733709716352 140733709714552 4255366 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25682 193 456 0 25637 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 104404
[startup+1422.3 s]
/proc/loadavg: 2.26 2.24 2.19 3/178 6476
/proc/meminfo: memFree=26651284/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=1422.08 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 12838 0 0 0 142195 13 0 0 20 0 1 0 2956230 106909696 25682 33554432000 4194304 6059633 140733709716352 140733709714840 4263170 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25682 193 456 0 25637 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 104404
[startup+1482.3 s]
/proc/loadavg: 2.13 2.21 2.18 4/177 6477
/proc/meminfo: memFree=26647072/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=1482.06 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 12952 0 0 0 148193 13 0 0 20 0 1 0 2956230 106909696 25682 33554432000 4194304 6059633 140733709716352 140733709714840 4277847 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25682 193 456 0 25637 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 104404
[startup+1542.31 s]
/proc/loadavg: 2.18 2.21 2.18 3/177 6478
/proc/meminfo: memFree=26643788/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=1542.06 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 13066 0 0 0 154192 14 0 0 20 0 1 0 2956230 106909696 25682 33554432000 4194304 6059633 140733709716352 140733709714840 4277921 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25682 193 456 0 25637 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 104404
[startup+1602.3 s]
/proc/loadavg: 2.23 2.22 2.18 3/177 6480
/proc/meminfo: memFree=26626052/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=1602.05 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 13181 0 0 0 160190 15 0 0 20 0 1 0 2956230 106909696 25682 33554432000 4194304 6059633 140733709716352 140733709714840 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25682 193 456 0 25637 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 104404
[startup+1662.3 s]
/proc/loadavg: 2.13 2.19 2.17 3/177 6481
/proc/meminfo: memFree=26582796/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=153724 CPUtime=1662.03 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 13407 0 0 0 166188 15 0 0 20 0 1 0 2956230 157413376 33969 33554432000 4194304 6059633 140733709716352 140733709714552 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 38431 33969 193 456 0 37967 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 153724
[startup+1722.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/177 6482
/proc/meminfo: memFree=26578940/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=153724 CPUtime=1722.02 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 13525 0 0 0 172186 16 0 0 20 0 1 0 2956230 157413376 34993 33554432000 4194304 6059633 140733709716352 140733709714552 4277864 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 38431 34993 193 456 0 37967 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 153724
[startup+1782.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/177 6483
/proc/meminfo: memFree=26576404/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=153724 CPUtime=1782.01 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 13642 0 0 0 178184 17 0 0 20 0 1 0 2956230 157413376 35505 33554432000 4194304 6059633 140733709716352 140733709714552 4277832 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 38431 35505 193 456 0 37967 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 153724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 6483
/proc/meminfo: memFree=26615812/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=1800.01 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 13644 0 0 0 179984 17 0 0 20 0 1 0 2956230 106909696 25682 33554432000 4194304 6059633 140733709716352 140733709714840 4265115 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25682 193 456 0 25637 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 104404
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 6391 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/177 6483
/proc/meminfo: memFree=26615812/32872528 swapFree=1268996/1432516
[pid=6391] ppid=6388 vsize=104404 CPUtime=1800.01 cores=1,3,5,7
/proc/6391/stat : 6391 (open-wbo) R 6388 6391 5003 0 -1 4202496 13644 0 0 0 179984 17 0 0 20 0 1 0 2956230 106909696 25682 33554432000 4194304 6059633 140733709716352 140733709714840 4265115 0 0 4096 8404992 0 0 0 17 3 0 0 0 0 0
/proc/6391/statm: 26101 25682 193 456 0 25637 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 104404
Child status: 40
Real time (s): 1800.3
CPU time (s): 1800.02
CPU user time (s): 1799.84
CPU system time (s): 0.179972
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 153724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.179972
maximum resident set size= 146116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13647
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= 9
involuntary context switches= 1858
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.06423 second user time and 7.04793 second system time
The end