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-4098316-1466117505/watcher-4098316-1466117505 -o /tmp/evaluation-result-4098316-1466117505/solver-4098316-1466117505 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466113129-20910 --watchdog 1960 open-wbo HOME/instance-4098316-1466117505.opb
pid=26226
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.00 2.05 2.03 3/176 26229
/proc/meminfo: memFree=31200540/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=6404 CPUtime=0 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 1346 0 0 0 0 0 0 0 20 0 1 0 13796162 6557696 1222 33554432000 4194304 6059633 140735493722544 140733322220712 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 1601 1223 1085 456 0 186 0
[startup+0.10016 s]
/proc/loadavg: 2.00 2.05 2.03 3/176 26229
/proc/meminfo: memFree=31200540/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=7492 CPUtime=0.09 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 1604 0 0 0 9 0 0 0 20 0 1 0 13796162 7671808 1480 33554432000 4194304 6059633 140735493722544 140735493720856 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 1873 1480 1085 456 0 458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7492
[startup+0.200279 s]
/proc/loadavg: 2.00 2.05 2.03 3/176 26229
/proc/meminfo: memFree=31200540/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=8068 CPUtime=0.19 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 1738 0 0 0 19 0 0 0 20 0 1 0 13796162 8261632 1614 33554432000 4194304 6059633 140735493722544 140735493720856 4235927 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 2017 1614 1085 456 0 602 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 8068
[startup+0.300263 s]
/proc/loadavg: 2.00 2.05 2.03 3/176 26229
/proc/meminfo: memFree=31200540/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=8552 CPUtime=0.29 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 1857 0 0 0 29 0 0 0 20 0 1 0 13796162 8757248 1733 33554432000 4194304 6059633 140735493722544 140735493720856 4678432 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 2138 1733 1085 456 0 723 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8552
[startup+0.700246 s]
/proc/loadavg: 2.00 2.05 2.03 3/176 26229
/proc/meminfo: memFree=31200540/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=14936 CPUtime=0.68 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 3733 0 0 0 68 0 0 0 20 0 1 0 13796162 15294464 3149 33554432000 4194304 6059633 140735493722544 140735493720856 5043379 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 3734 3149 178 456 0 3270 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 14936
[startup+1.50024 s]
/proc/loadavg: 2.00 2.05 2.03 3/177 26230
/proc/meminfo: memFree=31184276/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=18316 CPUtime=1.49 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 5490 0 0 0 148 1 0 0 20 0 1 0 13796162 18755584 3909 33554432000 4194304 6059633 140735493722544 140735493720920 4280227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 4579 3909 180 456 0 4115 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18316
[startup+3.10024 s]
/proc/loadavg: 2.00 2.05 2.03 3/177 26230
/proc/meminfo: memFree=31171492/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=23680 CPUtime=3.09 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 7144 0 0 0 308 1 0 0 20 0 1 0 13796162 24248320 4455 33554432000 4194304 6059633 140735493722544 140735493720856 4280227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 5920 4455 180 456 0 5456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 23680
[startup+6.30027 s]
/proc/loadavg: 2.00 2.05 2.03 3/177 26230
/proc/meminfo: memFree=31154116/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=50412 CPUtime=6.29 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 9573 0 0 0 627 2 0 0 20 0 1 0 13796162 51621888 8390 33554432000 4194304 6059633 140735493722544 140735493721032 4280227 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 12603 8390 180 456 0 12139 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 50412
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.03 3/177 26230
/proc/meminfo: memFree=31197660/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=50412 CPUtime=12.69 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 10257 0 0 0 1266 3 0 0 20 0 1 0 13796162 51621888 12185 33554432000 4194304 6059633 140735493722544 140735493721368 4278312 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 12603 12185 180 456 0 12139 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 50412
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.03 3/177 26230
/proc/meminfo: memFree=31146968/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=69268 CPUtime=25.49 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 10989 0 0 0 2545 4 0 0 20 0 1 0 13796162 70930432 16899 33554432000 4194304 6059633 140735493722544 140735493721368 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 17317 16899 180 456 0 16853 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 69268
[startup+51.1004 s]
/proc/loadavg: 2.00 2.04 2.02 3/177 26230
/proc/meminfo: memFree=31123928/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=118588 CPUtime=51.08 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 11171 0 0 0 5103 5 0 0 20 0 1 0 13796162 121434112 25166 33554432000 4194304 6059633 140735493722544 140735493721080 4278472 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 29647 25166 180 456 0 29183 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 118588
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/177 26232
/proc/meminfo: memFree=31064000/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=130920 CPUtime=102.28 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 11997 0 0 0 10221 7 0 0 20 0 1 0 13796162 134062080 30811 33554432000 4194304 6059633 140735493722544 140735493721080 4278482 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 32730 30811 180 456 0 32266 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 130920
[startup+162.3 s]
/proc/loadavg: 2.06 2.04 2.02 3/177 26233
/proc/meminfo: memFree=31116708/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=130920 CPUtime=162.26 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 13454 0 0 0 16215 11 0 0 20 0 1 0 13796162 134062080 29787 33554432000 4194304 6059633 140735493722544 140735493721080 4262596 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 32730 29787 180 456 0 32266 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 130920
[startup+222.307 s]
/proc/loadavg: 2.06 2.04 2.02 3/177 26234
/proc/meminfo: memFree=31050268/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=130920 CPUtime=222.26 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 14824 0 0 0 22211 15 0 0 20 0 1 0 13796162 134062080 31323 33554432000 4194304 6059633 140735493722544 140735493721080 4278520 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 32730 31323 180 456 0 32266 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 130920
[startup+282.3 s]
/proc/loadavg: 1.80 1.98 2.00 2/170 26266
/proc/meminfo: memFree=31264092/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=130920 CPUtime=282.25 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 16200 0 0 0 28207 18 0 0 20 0 1 0 13796162 134062080 30813 33554432000 4194304 6059633 140735493722544 140735493721080 4278288 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 32730 30813 180 456 0 32266 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 130920
[startup+342.3 s]
/proc/loadavg: 1.36 1.82 1.94 2/170 26267
/proc/meminfo: memFree=31307764/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=81600 CPUtime=342.23 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 17480 0 0 0 34203 20 0 0 20 0 1 0 13796162 83558400 19986 33554432000 4194304 6059633 140735493722544 140735493721368 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 20400 19986 180 456 0 19936 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 81600
[startup+402.3 s]
/proc/loadavg: 1.13 1.66 1.87 2/170 26269
/proc/meminfo: memFree=31262800/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=130920 CPUtime=402.23 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 18263 0 0 0 40200 23 0 0 20 0 1 0 13796162 134062080 31325 33554432000 4194304 6059633 140735493722544 140735493721080 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 32730 31325 180 456 0 32266 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 130920
[startup+462.3 s]
/proc/loadavg: 1.09 1.56 1.82 2/170 26270
/proc/meminfo: memFree=31252404/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=462.21 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 19538 0 0 0 46196 25 0 0 20 0 1 0 13796162 165621760 33952 33554432000 4194304 6059633 140735493722544 140735493721336 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 33952 180 456 0 39971 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 161740
[startup+522.3 s]
/proc/loadavg: 1.03 1.45 1.77 2/171 26274
/proc/meminfo: memFree=31252492/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=522.2 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 20228 0 0 0 52193 27 0 0 20 0 1 0 13796162 165621760 33952 33554432000 4194304 6059633 140735493722544 140735493721336 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 33952 180 456 0 39971 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 161740
[startup+582.3 s]
/proc/loadavg: 1.07 1.38 1.72 2/171 26298
/proc/meminfo: memFree=31249912/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=582.19 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 20927 0 0 0 58190 29 0 0 20 0 1 0 13796162 165621760 34464 33554432000 4194304 6059633 140735493722544 140735493721336 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 34464 180 456 0 39971 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 161740
################
# More data... #
################
[startup+882.307 s]
/proc/loadavg: 1.00 1.15 1.52 2/170 26304
/proc/meminfo: memFree=31243928/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=882.15 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 25847 0 0 0 88175 40 0 0 20 0 1 0 13796162 165621760 36003 33554432000 4194304 6059633 140735493722544 140735493721336 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 36003 180 456 0 39971 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 161740
[startup+942.3 s]
/proc/loadavg: 1.05 1.13 1.49 2/170 26305
/proc/meminfo: memFree=31260116/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=130920 CPUtime=942.14 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 26877 0 0 0 94170 44 0 0 20 0 1 0 13796162 134062080 31942 33554432000 4194304 6059633 140735493722544 140735493721368 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 32730 31942 180 456 0 32266 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 130920
[startup+1002.3 s]
/proc/loadavg: 1.02 1.11 1.45 2/170 26307
/proc/meminfo: memFree=31223888/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=211828 CPUtime=1002.12 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 28190 0 0 0 100166 46 0 0 20 0 1 0 13796162 216911872 40912 33554432000 4194304 6059633 140735493722544 140735493721336 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 52957 40912 180 456 0 52493 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 211828
[startup+1062.3 s]
/proc/loadavg: 1.00 1.08 1.42 2/170 26308
/proc/meminfo: memFree=31243792/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=1062.12 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 28886 0 0 0 106164 48 0 0 20 0 1 0 13796162 165621760 36515 33554432000 4194304 6059633 140735493722544 140735493721336 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 36515 180 456 0 39971 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 161740
[startup+1122.3 s]
/proc/loadavg: 1.00 1.07 1.40 2/171 26312
/proc/meminfo: memFree=31255972/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=1122.11 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 30402 0 0 0 112160 51 0 0 20 0 1 0 13796162 165621760 32931 33554432000 4194304 6059633 140735493722544 140735493721336 4278479 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 32931 180 456 0 39971 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 161740
[startup+1182.3 s]
/proc/loadavg: 1.00 1.05 1.37 2/170 26313
/proc/meminfo: memFree=31222120/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=211828 CPUtime=1182.1 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 31236 0 0 0 118158 52 0 0 20 0 1 0 13796162 216911872 41424 33554432000 4194304 6059633 140735493722544 140735493721336 4277914 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 52957 41424 180 456 0 52493 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 211828
[startup+1242.3 s]
/proc/loadavg: 1.06 1.06 1.35 2/170 26314
/proc/meminfo: memFree=31245692/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=1242.09 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 31931 0 0 0 124156 53 0 0 20 0 1 0 13796162 165621760 35491 33554432000 4194304 6059633 140735493722544 140735493721336 4278447 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 35491 180 456 0 39971 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 161740
[startup+1302.3 s]
/proc/loadavg: 1.02 1.04 1.32 2/170 26316
/proc/meminfo: memFree=31215604/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=211828 CPUtime=1302.09 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 32763 0 0 0 130155 54 0 0 20 0 1 0 13796162 216911872 42960 33554432000 4194304 6059633 140735493722544 140735493721336 4278352 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 52957 42960 180 456 0 52493 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 211828
[startup+1362.3 s]
/proc/loadavg: 1.10 1.06 1.31 2/170 26317
/proc/meminfo: memFree=31238944/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=1362.06 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 33475 0 0 0 136151 55 0 0 20 0 1 0 13796162 165621760 37027 33554432000 4194304 6059633 140735493722544 140735493721336 4277832 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 37027 180 456 0 39971 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 161740
[startup+1422.3 s]
/proc/loadavg: 1.11 1.08 1.30 2/170 26318
/proc/meminfo: memFree=31269316/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=130920 CPUtime=1422.06 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 34406 0 0 0 142148 58 0 0 20 0 1 0 13796162 134062080 29280 33554432000 4194304 6059633 140735493722544 140735493721368 4278352 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 32730 29280 180 456 0 32266 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 130920
[startup+1482.3 s]
/proc/loadavg: 1.08 1.08 1.28 2/170 26319
/proc/meminfo: memFree=31235124/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=1482.04 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 35002 0 0 0 148145 59 0 0 20 0 1 0 13796162 165621760 38051 33554432000 4194304 6059633 140735493722544 140735493721336 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 38051 180 456 0 39971 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 161740
[startup+1542.31 s]
/proc/loadavg: 1.03 1.06 1.26 2/170 26320
/proc/meminfo: memFree=31209688/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=211828 CPUtime=1542.04 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 35829 0 0 0 154144 60 0 0 20 0 1 0 13796162 216911872 44496 33554432000 4194304 6059633 140735493722544 140735493721336 4278288 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 52957 44496 180 456 0 52493 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 211828
[startup+1602.3 s]
/proc/loadavg: 1.01 1.05 1.24 2/169 26321
/proc/meminfo: memFree=31237644/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=1602.01 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 36522 0 0 0 160140 61 0 0 20 0 1 0 13796162 165621760 37539 33554432000 4194304 6059633 140735493722544 140735493721336 4278373 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 37539 180 456 0 39971 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 161740
[startup+1662.3 s]
/proc/loadavg: 1.10 1.07 1.24 2/170 26323
/proc/meminfo: memFree=31209672/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=211828 CPUtime=1662.01 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 37347 0 0 0 166138 63 0 0 20 0 1 0 13796162 216911872 44496 33554432000 4194304 6059633 140735493722544 140735493721336 4277900 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 52957 44496 180 456 0 52493 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 211828
[startup+1722.3 s]
/proc/loadavg: 1.13 1.08 1.23 2/171 26327
/proc/meminfo: memFree=31239908/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=161740 CPUtime=1722 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 38044 0 0 0 172136 64 0 0 20 0 1 0 13796162 165621760 37027 33554432000 4194304 6059633 140735493722544 140735493721336 4278382 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 40435 37027 180 456 0 39971 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 161740
[startup+1782.3 s]
/proc/loadavg: 1.15 1.09 1.22 3/170 26328
/proc/meminfo: memFree=31212732/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=211828 CPUtime=1781.99 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 38878 0 0 0 178133 66 0 0 20 0 1 0 13796162 216911872 43472 33554432000 4194304 6059633 140735493722544 140735493721336 4278363 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 52957 43472 180 456 0 52493 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 211828
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 1.19 1.10 1.22 2/170 26328
/proc/meminfo: memFree=31207324/32872528 swapFree=532956/565660
[pid=26229] ppid=26226 vsize=211828 CPUtime=1800.08 cores=0,2,4,6
/proc/26229/stat : 26229 (open-wbo) R 26226 26229 17565 0 -1 4202496 38890 0 0 0 179942 66 0 0 20 0 1 0 13796162 216911872 45520 33554432000 4194304 6059633 140735493722544 140735493721336 4278520 0 0 4096 8404992 0 0 0 17 4 0 0 0 0 0
/proc/26229/statm: 52957 45520 180 456 0 52493 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 211828
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 26229 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 40
Real time (s): 1800.4
CPU time (s): 1800.1
CPU user time (s): 1799.42
CPU system time (s): 0.670898
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 261148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.42
system time used= 0.670898
maximum resident set size= 219244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 38893
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= 51
involuntary context switches= 1857
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.11622 second user time and 8.26774 second system time
The end