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-3462761-1307182677/watcher-3462761-1307182677 -o /tmp/evaluation-result-3462761-1307182677/solver-3462761-1307182677 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462761-1307182677.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.01 2.03 2.00 2/517 17611
/proc/meminfo: memFree=21456808/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=12856 CPUtime=0.01 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 730 0 0 0 1 0 0 0 25 0 1 0 829864391 13164544 685 33554432000 134512640 137138936 4293648928 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17611/statm: 3214 686 190 642 0 2468 0
[startup+0.104529 s]
/proc/loadavg: 2.01 2.03 2.00 2/517 17611
/proc/meminfo: memFree=21456808/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=28392 CPUtime=0.09 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 4786 0 0 0 9 0 0 0 25 0 1 0 829864391 29073408 4599 33554432000 134512640 137138936 4293648928 18446744073709551615 134543391 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17611/statm: 7098 4599 184 642 0 6454 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28392
[startup+0.200513 s]
/proc/loadavg: 2.01 2.03 2.00 2/517 17611
/proc/meminfo: memFree=21456808/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=28696 CPUtime=0.19 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 4821 0 0 0 19 0 0 0 25 0 1 0 829864391 29384704 4634 33554432000 134512640 137138936 4293648928 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17611/statm: 7174 4634 185 642 0 6530 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 28696
[startup+0.30049 s]
/proc/loadavg: 2.01 2.03 2.00 2/517 17611
/proc/meminfo: memFree=21456808/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=28696 CPUtime=0.29 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 4821 0 0 0 29 0 0 0 25 0 1 0 829864391 29384704 4634 33554432000 134512640 137138936 4293648928 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17611/statm: 7174 4634 185 642 0 6530 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28696
[startup+0.700407 s]
/proc/loadavg: 2.01 2.03 2.00 2/517 17611
/proc/meminfo: memFree=21456808/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=31340 CPUtime=0.69 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 5910 0 0 0 67 2 0 0 25 0 1 0 829864391 32092160 5275 33554432000 134512640 137138936 4293648928 18446744073709551615 136501689 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17611/statm: 7835 5275 192 642 0 7191 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31340
[startup+1.50025 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 17612
/proc/meminfo: memFree=21432368/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=38176 CPUtime=1.49 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 7632 0 0 0 147 2 0 0 25 0 1 0 829864391 39092224 6997 33554432000 134512640 137138936 4293648928 18446744073709551615 136504025 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17611/statm: 9544 6997 192 642 0 8900 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38176
[startup+3.10093 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 17612
/proc/meminfo: memFree=21421584/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=51676 CPUtime=3.09 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 10994 0 0 0 306 3 0 0 25 0 1 0 829864391 52916224 10359 33554432000 134512640 137138936 4293648928 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17611/statm: 12919 10359 192 642 0 12275 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51676
[startup+6.30029 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 17612
/proc/meminfo: memFree=21393556/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=78640 CPUtime=6.29 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 17752 0 0 0 625 4 0 0 25 0 1 0 829864391 80527360 17117 33554432000 134512640 137138936 4293648928 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17611/statm: 19660 17117 192 642 0 19016 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78640
[startup+12.701 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 17613
/proc/meminfo: memFree=21337828/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=131912 CPUtime=12.69 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 31067 0 0 0 1264 5 0 0 25 0 1 0 829864391 135077888 30432 33554432000 134512640 137138936 4293648928 18446744073709551615 134551026 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/17611/statm: 32978 30432 192 642 0 32334 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 131912
[startup+25.5005 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 17613
/proc/meminfo: memFree=21241460/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=220220 CPUtime=25.49 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 53155 0 0 0 2541 8 0 0 25 0 1 0 829864391 225505280 52520 33554432000 134512640 137138936 4293648928 18446744073709551615 134551606 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 55055 52520 192 642 0 54411 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 220220
[startup+51.1014 s]
/proc/loadavg: 2.08 2.04 2.00 3/518 17614
/proc/meminfo: memFree=21125772/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=336004 CPUtime=51.09 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 82107 0 0 0 5095 14 0 0 25 0 1 0 829864391 344068096 81472 33554432000 134512640 137138936 4293648928 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 84001 81472 192 642 0 83357 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 336004
[startup+102.301 s]
/proc/loadavg: 2.11 2.05 2.01 3/518 17615
/proc/meminfo: memFree=20917308/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=542828 CPUtime=102.31 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 133795 0 0 0 10206 25 0 0 25 0 1 0 829864391 555855872 133160 33554432000 134512640 137138936 4293648928 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 135707 133160 192 642 0 135063 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 542828
[startup+162.301 s]
/proc/loadavg: 2.04 2.04 2.00 3/518 17617
/proc/meminfo: memFree=20887888/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=570796 CPUtime=162.29 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 140782 0 0 0 16201 28 0 0 25 0 1 0 829864391 584495104 140147 33554432000 134512640 137138936 4293648928 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 142699 140147 192 642 0 142055 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 570796
[startup+222.319 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 17618
/proc/meminfo: memFree=21100032/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=359160 CPUtime=222.32 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 140782 0 0 0 22200 32 0 0 25 0 1 0 829864391 367779840 87262 33554432000 134512640 137138936 4293648928 18446744073709551615 134575629 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 89790 87262 192 642 0 89146 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 359160
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 17620
/proc/meminfo: memFree=20927268/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=536140 CPUtime=282.3 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 185026 0 0 0 28188 42 0 0 25 0 1 0 829864391 549007360 131506 33554432000 134512640 137138936 4293648928 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 134035 131506 192 642 0 133391 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 536140
[startup+342.301 s]
/proc/loadavg: 2.14 2.06 2.01 3/518 17621
/proc/meminfo: memFree=20890412/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=569776 CPUtime=342.3 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 193414 0 0 0 34184 46 0 0 25 0 1 0 829864391 583450624 139894 33554432000 134512640 137138936 4293648928 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 142444 139894 192 642 0 141800 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 569776
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/518 17623
/proc/meminfo: memFree=20891008/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=569776 CPUtime=402.31 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 193414 0 0 0 40182 49 0 0 25 0 1 0 829864391 583450624 139894 33554432000 134512640 137138936 4293648928 18446744073709551615 134609379 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 142444 139894 192 642 0 141800 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 569776
[startup+462.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 17625
/proc/meminfo: memFree=20852168/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=607880 CPUtime=462.31 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 202960 0 0 0 46177 54 0 0 25 0 1 0 829864391 622469120 149440 33554432000 134512640 137138936 4293648928 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 151970 149440 192 642 0 151326 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 607880
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 17626
/proc/meminfo: memFree=20851148/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=607880 CPUtime=522.32 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 202960 0 0 0 52176 56 0 0 25 0 1 0 829864391 622469120 149440 33554432000 134512640 137138936 4293648928 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 151970 149440 192 642 0 151326 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 607880
[startup+582.301 s]
/proc/loadavg: 2.10 2.05 2.01 3/518 17628
/proc/meminfo: memFree=20832520/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=627856 CPUtime=582.31 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 207946 0 0 0 58172 59 0 0 25 0 1 0 829864391 642924544 154426 33554432000 134512640 137138936 4293648928 18446744073709551615 134576220 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 156964 154426 192 642 0 156320 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 627856
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=20788752/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=668168 CPUtime=1122.34 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 218022 0 0 0 112153 81 0 0 25 0 1 0 829864391 684204032 164502 33554432000 134512640 137138936 4293648928 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 167042 164502 192 642 0 166398 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 668168
[startup+1182.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/518 17644
/proc/meminfo: memFree=20787240/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=668168 CPUtime=1182.35 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 218022 0 0 0 118151 84 0 0 25 0 1 0 829864391 684204032 164502 33554432000 134512640 137138936 4293648928 18446744073709551615 135984570 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 167042 164502 192 642 0 166398 0
Current children cumulated CPU time (s) 1182.35
Current children cumulated vsize (KiB) 668168
[startup+1242.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/518 17645
/proc/meminfo: memFree=20788580/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=668168 CPUtime=1242.35 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 218022 0 0 0 124149 86 0 0 25 0 1 0 829864391 684204032 164502 33554432000 134512640 137138936 4293648928 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 167042 164502 192 642 0 166398 0
Current children cumulated CPU time (s) 1242.35
Current children cumulated vsize (KiB) 668168
[startup+1302.3 s]
/proc/loadavg: 2.15 2.06 2.01 3/518 17647
/proc/meminfo: memFree=20780620/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=675468 CPUtime=1302.35 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 219857 0 0 0 130146 89 0 0 25 0 1 0 829864391 691679232 166337 33554432000 134512640 137138936 4293648928 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 168867 166337 192 642 0 168223 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 675468
[startup+1362.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/518 17649
/proc/meminfo: memFree=20781356/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=675468 CPUtime=1362.35 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 219857 0 0 0 136144 91 0 0 25 0 1 0 829864391 691679232 166337 33554432000 134512640 137138936 4293648928 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 168867 166337 192 642 0 168223 0
Current children cumulated CPU time (s) 1362.35
Current children cumulated vsize (KiB) 675468
[startup+1422.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/518 17650
/proc/meminfo: memFree=20776980/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=675468 CPUtime=1422.37 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 219857 0 0 0 142144 93 0 0 25 0 1 0 829864391 691679232 166337 33554432000 134512640 137138936 4293648928 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 168867 166337 192 642 0 168223 0
Current children cumulated CPU time (s) 1422.37
Current children cumulated vsize (KiB) 675468
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/518 17652
/proc/meminfo: memFree=20803240/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=648080 CPUtime=1482.36 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 219857 0 0 0 148141 95 0 0 25 0 1 0 829864391 663633920 159492 33554432000 134512640 137138936 4293648928 18446744073709551615 134551037 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 162020 159492 192 642 0 161376 0
Current children cumulated CPU time (s) 1482.36
Current children cumulated vsize (KiB) 648080
[startup+1542.32 s]
/proc/loadavg: 2.00 2.02 2.00 3/518 17653
/proc/meminfo: memFree=20803584/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=648080 CPUtime=1542.38 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 219857 0 0 0 154140 98 0 0 25 0 1 0 829864391 663633920 159492 33554432000 134512640 137138936 4293648928 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 162020 159492 192 642 0 161376 0
Current children cumulated CPU time (s) 1542.38
Current children cumulated vsize (KiB) 648080
[startup+1602.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/518 17655
/proc/meminfo: memFree=20803824/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=648080 CPUtime=1602.36 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 219857 0 0 0 160136 100 0 0 25 0 1 0 829864391 663633920 159492 33554432000 134512640 137138936 4293648928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 162020 159492 192 642 0 161376 0
Current children cumulated CPU time (s) 1602.36
Current children cumulated vsize (KiB) 648080
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/518 17657
/proc/meminfo: memFree=20754200/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1662.37 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 166132 105 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1662.37
Current children cumulated vsize (KiB) 698220
[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/518 17685
/proc/meminfo: memFree=20745036/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1722.37 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 172129 108 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1722.37
Current children cumulated vsize (KiB) 698220
[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/518 17687
/proc/meminfo: memFree=20744012/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1782.38 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 178128 110 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (KiB) 698220
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.13 2.06 2.01 3/518 17687
/proc/meminfo: memFree=20744380/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1785.68 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 178458 110 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1785.68
Current children cumulated vsize (KiB) 698220
[startup+1792.02 s]
/proc/loadavg: 2.12 2.06 2.01 3/518 17687
/proc/meminfo: memFree=20745124/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1792.09 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 179099 110 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1792.09
Current children cumulated vsize (KiB) 698220
[startup+1795.2 s]
/proc/loadavg: 2.11 2.06 2.01 3/518 17687
/proc/meminfo: memFree=20745124/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1795.29 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 179419 110 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 134606653 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1795.29
Current children cumulated vsize (KiB) 698220
[startup+1796.8 s]
/proc/loadavg: 2.11 2.06 2.01 3/518 17687
/proc/meminfo: memFree=20745496/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1796.87 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 179577 110 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1796.87
Current children cumulated vsize (KiB) 698220
[startup+1797.6 s]
/proc/loadavg: 2.11 2.06 2.01 3/518 17687
/proc/meminfo: memFree=20745124/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1797.67 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 179657 110 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (KiB) 698220
[startup+1797.8 s]
/proc/loadavg: 2.11 2.06 2.01 3/518 17687
/proc/meminfo: memFree=20745124/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1797.87 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 179677 110 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1797.87
Current children cumulated vsize (KiB) 698220
[startup+1797.9 s]
/proc/loadavg: 2.11 2.06 2.01 3/518 17687
/proc/meminfo: memFree=20745124/32950928 swapFree=34259960/67111528
[pid=17611] ppid=17609 vsize=698220 CPUtime=1797.98 cores=0,2,4,6
/proc/17611/stat : 17611 (bsolo) R 17609 17611 15618 0 -1 4202496 232363 0 0 0 179688 110 0 0 25 0 1 0 829864391 714977280 171998 33554432000 134512640 137138936 4293648928 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17611/statm: 174555 171998 192 642 0 173911 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 698220
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.05
CPU user time (s): 1796.91
CPU system time (s): 1.13583
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 698220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.91
system time used= 1.13583
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232364
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= 4
involuntary context switches= 3396
runsolver used 9.77451 second user time and 20.2889 second system time
The end