runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462972-1307179246/watcher-3462972-1307179246 -o /tmp/evaluation-result-3462972-1307179246/solver-3462972-1307179246 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462972-1307179246.opb
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.02 2.00 2/498 32263
/proc/meminfo: memFree=25397756/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=18600 CPUtime=0.01 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 317 0 0 0 1 0 0 0 25 0 1 0 908155316 19046400 269 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 4650 269 192 642 0 4006 0
[startup+0.0904501 s]
/proc/loadavg: 2.00 2.02 2.00 2/498 32263
/proc/meminfo: memFree=25397756/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=19124 CPUtime=0.08 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 432 0 0 0 8 0 0 0 25 0 1 0 908155316 19582976 384 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 4781 384 192 642 0 4137 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19124
[startup+0.100453 s]
/proc/loadavg: 2.00 2.02 2.00 2/498 32263
/proc/meminfo: memFree=25397756/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=19124 CPUtime=0.09 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 451 0 0 0 9 0 0 0 25 0 1 0 908155316 19582976 403 33554432000 134512640 137138936 4290624224 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 4781 403 192 642 0 4137 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19124
[startup+0.300423 s]
/proc/loadavg: 2.00 2.02 2.00 2/498 32263
/proc/meminfo: memFree=25397756/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=19768 CPUtime=0.29 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 591 0 0 0 29 0 0 0 25 0 1 0 908155316 20242432 543 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 4942 543 192 642 0 4298 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 19768
[startup+0.700343 s]
/proc/loadavg: 2.00 2.02 2.00 2/498 32263
/proc/meminfo: memFree=25397756/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=20024 CPUtime=0.69 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 657 0 0 0 69 0 0 0 25 0 1 0 908155316 20504576 609 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5006 609 192 642 0 4362 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 20024
[startup+1.50019 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32264
/proc/meminfo: memFree=25395144/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=20284 CPUtime=1.49 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 725 0 0 0 149 0 0 0 25 0 1 0 908155316 20770816 677 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5071 677 192 642 0 4427 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20284
[startup+3.1009 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32264
/proc/meminfo: memFree=25393904/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=20676 CPUtime=3.09 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 817 0 0 0 308 1 0 0 25 0 1 0 908155316 21172224 769 33554432000 134512640 137138936 4290624224 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5169 769 192 642 0 4525 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20676
[startup+6.30032 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32264
/proc/meminfo: memFree=25393036/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=21184 CPUtime=6.29 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 938 0 0 0 626 3 0 0 25 0 1 0 908155316 21692416 890 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5296 890 192 642 0 4652 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21184
[startup+12.7011 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32264
/proc/meminfo: memFree=25392012/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=21552 CPUtime=12.69 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1031 0 0 0 1264 5 0 0 25 0 1 0 908155316 22069248 983 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5388 983 192 642 0 4744 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21552
[startup+25.5007 s]
/proc/loadavg: 2.07 2.03 2.00 3/499 32265
/proc/meminfo: memFree=25391988/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=22052 CPUtime=25.5 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1168 0 0 0 2541 9 0 0 25 0 1 0 908155316 22581248 1120 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5513 1120 192 642 0 4869 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 22052
[startup+51.101 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 32265
/proc/meminfo: memFree=25391272/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=22416 CPUtime=51.09 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1267 0 0 0 5094 15 0 0 25 0 1 0 908155316 22953984 1219 33554432000 134512640 137138936 4290624224 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5604 1219 192 642 0 4960 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22416
[startup+102.319 s]
/proc/loadavg: 2.10 2.04 2.01 3/499 32267
/proc/meminfo: memFree=25391000/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=23036 CPUtime=102.32 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1416 0 0 0 10205 27 0 0 25 0 1 0 908155316 23588864 1368 33554432000 134512640 137138936 4290624224 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5759 1368 192 642 0 5115 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 23036
[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 32268
/proc/meminfo: memFree=25387636/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=23540 CPUtime=162.3 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1551 0 0 0 16189 41 0 0 25 0 1 0 908155316 24104960 1503 33554432000 134512640 137138936 4290624224 18446744073709551615 134542620 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5885 1503 192 642 0 5241 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 23540
[startup+222.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 32270
/proc/meminfo: memFree=25389216/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=23668 CPUtime=222.3 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1580 0 0 0 22175 55 0 0 25 0 1 0 908155316 24236032 1532 33554432000 134512640 137138936 4290624224 18446744073709551615 134542915 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 5917 1532 192 642 0 5273 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23668
[startup+282.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/499 32271
/proc/meminfo: memFree=25388568/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=24060 CPUtime=282.3 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1678 0 0 0 28163 67 0 0 25 0 1 0 908155316 24637440 1630 33554432000 134512640 137138936 4290624224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6015 1630 192 642 0 5371 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24060
[startup+342.301 s]
/proc/loadavg: 2.03 2.04 2.00 3/499 32273
/proc/meminfo: memFree=25388920/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=24060 CPUtime=342.31 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1683 0 0 0 34149 82 0 0 25 0 1 0 908155316 24637440 1635 33554432000 134512640 137138936 4290624224 18446744073709551615 134542217 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6015 1635 192 642 0 5371 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 24060
[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 32275
/proc/meminfo: memFree=25388896/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=24284 CPUtime=402.3 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1719 0 0 0 40136 94 0 0 25 0 1 0 908155316 24866816 1671 33554432000 134512640 137138936 4290624224 18446744073709551615 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6071 1671 192 642 0 5427 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 24284
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 32276
/proc/meminfo: memFree=25389368/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=24744 CPUtime=462.31 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1838 0 0 0 46125 106 0 0 25 0 1 0 908155316 25337856 1790 33554432000 134512640 137138936 4290624224 18446744073709551615 134542766 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6186 1790 192 642 0 5542 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 24744
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32278
/proc/meminfo: memFree=25389472/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=24744 CPUtime=522.31 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1851 0 0 0 52115 116 0 0 25 0 1 0 908155316 25337856 1803 33554432000 134512640 137138936 4290624224 18446744073709551615 136296988 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6186 1803 192 642 0 5542 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 24744
[startup+582.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32279
/proc/meminfo: memFree=25389192/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=24744 CPUtime=582.31 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 1855 0 0 0 58105 126 0 0 25 0 1 0 908155316 25337856 1807 33554432000 134512640 137138936 4290624224 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6186 1807 192 642 0 5542 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 24744
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26409740/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=25944 CPUtime=1062.33 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2135 0 0 0 106015 218 0 0 25 0 1 0 908155316 26566656 2087 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6486 2087 192 642 0 5842 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 25944
[startup+1122.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/499 32351
/proc/meminfo: memFree=26409680/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26136 CPUtime=1122.33 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2188 0 0 0 112004 229 0 0 25 0 1 0 908155316 26763264 2140 33554432000 134512640 137138936 4290624224 18446744073709551615 134598950 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6534 2140 192 642 0 5890 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 26136
[startup+1182.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/499 32352
/proc/meminfo: memFree=26409468/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26136 CPUtime=1182.33 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2188 0 0 0 117993 240 0 0 25 0 1 0 908155316 26763264 2140 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6534 2140 192 642 0 5890 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 26136
[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 32354
/proc/meminfo: memFree=26409668/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26128 CPUtime=1242.33 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2188 0 0 0 123983 250 0 0 25 0 1 0 908155316 26755072 2140 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6532 2140 192 642 0 5888 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 26128
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32356
/proc/meminfo: memFree=26409648/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26116 CPUtime=1302.35 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2188 0 0 0 129974 261 0 0 25 0 1 0 908155316 26742784 2140 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6529 2140 192 642 0 5885 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 26116
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 32357
/proc/meminfo: memFree=26408988/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26100 CPUtime=1362.33 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2192 0 0 0 135961 272 0 0 25 0 1 0 908155316 26726400 2144 33554432000 134512640 137138936 4290624224 18446744073709551615 134618026 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6525 2144 192 642 0 5881 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 26100
[startup+1422.32 s]
/proc/loadavg: 2.16 2.06 2.01 3/499 32359
/proc/meminfo: memFree=26408836/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26100 CPUtime=1422.36 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2192 0 0 0 141952 284 0 0 25 0 1 0 908155316 26726400 2144 33554432000 134512640 137138936 4290624224 18446744073709551615 134618292 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6525 2144 192 642 0 5881 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 26100
[startup+1482.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/499 32360
/proc/meminfo: memFree=26405832/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26100 CPUtime=1482.34 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2192 0 0 0 147938 296 0 0 25 0 1 0 908155316 26726400 2144 33554432000 134512640 137138936 4290624224 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6525 2144 192 642 0 5881 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 26100
[startup+1542.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/499 32362
/proc/meminfo: memFree=26405560/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26100 CPUtime=1542.34 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2192 0 0 0 153926 308 0 0 25 0 1 0 908155316 26726400 2144 33554432000 134512640 137138936 4290624224 18446744073709551615 134610842 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6525 2144 192 642 0 5881 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 26100
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/499 32364
/proc/meminfo: memFree=26405908/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26100 CPUtime=1602.35 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2192 0 0 0 159914 321 0 0 25 0 1 0 908155316 26726400 2144 33554432000 134512640 137138936 4290624224 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6525 2144 192 642 0 5881 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 26100
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/499 32365
/proc/meminfo: memFree=26405260/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26620 CPUtime=1662.35 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2324 0 0 0 165902 333 0 0 25 0 1 0 908155316 27258880 2276 33554432000 134512640 137138936 4290624224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6655 2276 192 642 0 6011 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 26620
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32367
/proc/meminfo: memFree=26405208/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26800 CPUtime=1722.35 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2358 0 0 0 171894 341 0 0 25 0 1 0 908155316 27443200 2310 33554432000 134512640 137138936 4290624224 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6700 2310 192 642 0 6056 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 26800
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32368
/proc/meminfo: memFree=26404448/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26788 CPUtime=1782.35 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2358 0 0 0 177883 352 0 0 25 0 1 0 908155316 27430912 2310 33554432000 134512640 137138936 4290624224 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6697 2310 192 642 0 6053 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 26788
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32369
/proc/meminfo: memFree=26404200/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26788 CPUtime=1785.55 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2358 0 0 0 178203 352 0 0 25 0 1 0 908155316 27430912 2310 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6697 2310 192 642 0 6053 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 26788
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32369
/proc/meminfo: memFree=26404432/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26788 CPUtime=1791.97 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2358 0 0 0 178844 353 0 0 25 0 1 0 908155316 27430912 2310 33554432000 134512640 137138936 4290624224 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6697 2310 192 642 0 6053 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 26788
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32369
/proc/meminfo: memFree=26405300/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26784 CPUtime=1795.16 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2358 0 0 0 179163 353 0 0 25 0 1 0 908155316 27426816 2310 33554432000 134512640 137138936 4290624224 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6696 2310 192 642 0 6052 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 26784
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32369
/proc/meminfo: memFree=26405300/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26784 CPUtime=1796.75 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2358 0 0 0 179321 354 0 0 25 0 1 0 908155316 27426816 2310 33554432000 134512640 137138936 4290624224 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6696 2310 192 642 0 6052 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 26784
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32369
/proc/meminfo: memFree=26405176/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26784 CPUtime=1797.55 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2358 0 0 0 179401 354 0 0 25 0 1 0 908155316 27426816 2310 33554432000 134512640 137138936 4290624224 18446744073709551615 134543071 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6696 2310 192 642 0 6052 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 26784
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32369
/proc/meminfo: memFree=26405176/32950928 swapFree=34421304/67111528
[pid=32263] ppid=32261 vsize=26784 CPUtime=1797.95 cores=0,2,4,6
/proc/32263/stat : 32263 (bsolo) R 32261 32263 29288 0 -1 4202496 2358 0 0 0 179441 354 0 0 25 0 1 0 908155316 27426816 2310 33554432000 134512640 137138936 4290624224 18446744073709551615 134542313 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32263/statm: 6696 2310 192 642 0 6052 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 26784
Child status: 0
Real time (s): 1797.94
CPU time (s): 1798
CPU user time (s): 1794.46
CPU system time (s): 3.54346
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 26804
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.46
system time used= 3.54346
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2358
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= 5
involuntary context switches= 2707
runsolver used 9.2406 second user time and 19.965 second system time
The end