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-3462826-1307183618/watcher-3462826-1307183618 -o /tmp/evaluation-result-3462826-1307183618/solver-3462826-1307183618 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462826-1307183618.opb
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.06 2.03 2.01 2/498 32689
/proc/meminfo: memFree=25932632/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=14096 CPUtime=0.01 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 882 0 0 0 1 0 0 0 21 0 1 0 908592463 14434304 837 33554432000 134512640 137138936 4291344912 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 3524 837 196 642 0 2638 0
[startup+0.06513 s]
/proc/loadavg: 2.06 2.03 2.01 2/498 32689
/proc/meminfo: memFree=25932632/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=20164 CPUtime=0.05 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 2484 0 0 0 5 0 0 0 21 0 1 0 908592463 20647936 2399 33554432000 134512640 137138936 4291344912 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 5041 2400 256 642 0 4155 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 20164
[startup+0.101114 s]
/proc/loadavg: 2.06 2.03 2.01 2/498 32689
/proc/meminfo: memFree=25932632/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=24876 CPUtime=0.09 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 3738 0 0 0 9 0 0 0 21 0 1 0 908592463 25473024 3574 33554432000 134512640 137138936 4291344912 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 6219 3574 304 642 0 5333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24876
[startup+0.301087 s]
/proc/loadavg: 2.06 2.03 2.01 2/498 32689
/proc/meminfo: memFree=25932632/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=51632 CPUtime=0.29 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10650 0 0 0 28 1 0 0 22 0 1 0 908592463 52871168 10195 33554432000 134512640 137138936 4291344912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 12908 10195 185 642 0 12264 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51632
[startup+0.701014 s]
/proc/loadavg: 2.06 2.03 2.01 2/498 32689
/proc/meminfo: memFree=25932632/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=52424 CPUtime=0.69 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10848 0 0 0 68 1 0 0 24 0 1 0 908592463 53682176 10393 33554432000 134512640 137138936 4291344912 18446744073709551615 136504154 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 13106 10393 185 642 0 12462 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52424
[startup+1.50087 s]
/proc/loadavg: 2.06 2.03 2.01 3/499 32690
/proc/meminfo: memFree=25890712/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=52424 CPUtime=1.49 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10854 0 0 0 148 1 0 0 25 0 1 0 908592463 53682176 10399 33554432000 134512640 137138936 4291344912 18446744073709551615 136504255 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 13106 10399 185 642 0 12462 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52424
[startup+3.10056 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 32690
/proc/meminfo: memFree=25889740/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=52424 CPUtime=3.09 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10855 0 0 0 308 1 0 0 25 0 1 0 908592463 53682176 10400 33554432000 134512640 137138936 4291344912 18446744073709551615 134542155 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 13106 10400 185 642 0 12462 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52424
[startup+6.30098 s]
/proc/loadavg: 2.06 2.03 2.00 3/499 32690
/proc/meminfo: memFree=25889388/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=52424 CPUtime=6.29 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10868 0 0 0 628 1 0 0 25 0 1 0 908592463 53682176 10413 33554432000 134512640 137138936 4291344912 18446744073709551615 134542128 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 13106 10413 185 642 0 12462 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52424
[startup+12.7008 s]
/proc/loadavg: 2.05 2.03 2.00 3/499 32690
/proc/meminfo: memFree=25888996/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=52424 CPUtime=12.69 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10874 0 0 0 1267 2 0 0 25 0 1 0 908592463 53682176 10419 33554432000 134512640 137138936 4291344912 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 13106 10419 185 642 0 12462 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52424
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 2.00 3/499 32690
/proc/meminfo: memFree=25888264/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=52424 CPUtime=25.49 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10874 0 0 0 2547 2 0 0 25 0 1 0 908592463 53682176 10419 33554432000 134512640 137138936 4291344912 18446744073709551615 136502660 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 13106 10419 185 642 0 12462 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52424
[startup+51.1007 s]
/proc/loadavg: 2.02 2.02 2.00 3/499 32691
/proc/meminfo: memFree=25889064/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=52424 CPUtime=51.09 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10880 0 0 0 5106 3 0 0 25 0 1 0 908592463 53682176 10425 33554432000 134512640 137138936 4291344912 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 13106 10425 185 642 0 12462 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 52424
[startup+102.319 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 32692
/proc/meminfo: memFree=25889292/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=52424 CPUtime=102.31 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10880 0 0 0 10227 4 0 0 25 0 1 0 908592463 53682176 10425 33554432000 134512640 137138936 4291344912 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 13106 10425 185 642 0 12462 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 52424
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32694
/proc/meminfo: memFree=25887044/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=52424 CPUtime=162.29 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 10880 0 0 0 16224 5 0 0 25 0 1 0 908592463 53682176 10425 33554432000 134512640 137138936 4291344912 18446744073709551615 134566282 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/32689/statm: 13106 10425 185 642 0 12462 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 52424
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32722
/proc/meminfo: memFree=26325776/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=73700 CPUtime=222.27 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 546020 0 0 0 22141 86 0 0 25 0 1 0 908592463 75468800 15870 33554432000 134512640 137138936 4291344912 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 18425 15870 192 642 0 17781 0
Current children cumulated CPU time (s) 222.27
Current children cumulated vsize (KiB) 73700
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 32724
/proc/meminfo: memFree=26243208/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=97284 CPUtime=282.28 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 1251471 0 0 0 28048 180 0 0 25 0 1 0 908592463 99618816 21766 33554432000 134512640 137138936 4291344912 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 24321 21766 192 642 0 23677 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 97284
[startup+342.301 s]
/proc/loadavg: 2.09 2.03 2.01 3/499 32729
/proc/meminfo: memFree=26084828/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=213652 CPUtime=342.28 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 4228975 0 0 0 33775 453 0 0 25 0 1 0 908592463 218779648 50858 33554432000 134512640 137138936 4291344912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 53413 50858 192 642 0 52769 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 213652
[startup+402.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/499 32730
/proc/meminfo: memFree=25916316/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=346128 CPUtime=402.27 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 7143176 0 0 0 39505 722 0 0 25 0 1 0 908592463 354435072 83995 33554432000 134512640 137138936 4291344912 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 86532 83995 192 642 0 85888 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 346128
[startup+462.3 s]
/proc/loadavg: 2.04 2.04 2.01 3/499 32732
/proc/meminfo: memFree=25762776/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=467376 CPUtime=462.28 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 9654185 0 0 0 45272 956 0 0 25 0 1 0 908592463 478593024 114303 33554432000 134512640 137138936 4291344912 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 116844 114303 192 642 0 116200 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 467376
[startup+522.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/499 32733
/proc/meminfo: memFree=25617912/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=587940 CPUtime=522.29 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 12136878 0 0 0 51047 1182 0 0 25 0 1 0 908592463 602050560 144456 33554432000 134512640 137138936 4291344912 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 146985 144456 192 642 0 146341 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 587940
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 32735
/proc/meminfo: memFree=25487064/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=696824 CPUtime=582.29 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 14469102 0 0 0 56826 1403 0 0 25 0 1 0 908592463 713547776 171650 33554432000 134512640 137138936 4291344912 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 174206 171650 192 642 0 173562 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 696824
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24991856/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1048776 CPUtime=1122.3 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21569179 0 0 0 110123 2107 0 0 25 0 1 0 908592463 1073946624 259644 33554432000 134512640 137138936 4291344912 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262194 259644 192 642 0 261550 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1048776
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/499 32751
/proc/meminfo: memFree=24977568/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1048776 CPUtime=1182.3 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21569179 0 0 0 116119 2111 0 0 25 0 1 0 908592463 1073946624 259644 33554432000 134512640 137138936 4291344912 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262194 259644 192 642 0 261550 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1048776
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 32753
/proc/meminfo: memFree=24962904/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1048776 CPUtime=1242.31 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21569179 0 0 0 122115 2116 0 0 25 0 1 0 908592463 1073946624 259644 33554432000 134512640 137138936 4291344912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262194 259644 192 642 0 261550 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 1048776
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32754
/proc/meminfo: memFree=24945396/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1302.32 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 128111 2121 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134600632 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 1049440
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 32756
/proc/meminfo: memFree=24929744/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1362.3 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 134104 2126 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1049440
[startup+1422.32 s]
/proc/loadavg: 2.11 2.03 2.01 3/499 32757
/proc/meminfo: memFree=24914588/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1422.32 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 140102 2130 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 1049440
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/499 32759
/proc/meminfo: memFree=24898188/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1482.31 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 146096 2135 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 1049440
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/499 32761
/proc/meminfo: memFree=24881408/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1542.31 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 152091 2140 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 1049440
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/499 32762
/proc/meminfo: memFree=24872196/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1602.31 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 158089 2142 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 1049440
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/499 305
/proc/meminfo: memFree=24859396/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1662.31 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 164086 2145 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 1049440
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/499 306
/proc/meminfo: memFree=24848800/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1722.32 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 170084 2148 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1722.32
Current children cumulated vsize (KiB) 1049440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 308
/proc/meminfo: memFree=24835876/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1782.32 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 176082 2150 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 136504512 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 1049440
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 308
/proc/meminfo: memFree=24835132/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1785.52 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 176402 2150 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1785.52
Current children cumulated vsize (KiB) 1049440
[startup+1791.92 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 308
/proc/meminfo: memFree=24834620/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1791.93 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 177043 2150 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134607574 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 1049440
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 308
/proc/meminfo: memFree=24833996/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1795.14 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 177363 2151 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 1049440
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 4/499 308
/proc/meminfo: memFree=24833872/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1796.72 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 177521 2151 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1796.72
Current children cumulated vsize (KiB) 1049440
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 308
/proc/meminfo: memFree=24833252/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1797.52 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 177601 2151 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (KiB) 1049440
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 308
/proc/meminfo: memFree=24833252/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=1049440 CPUtime=1797.92 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202496 21601544 0 0 0 177641 2151 0 0 25 0 1 0 908592463 1074626560 259833 33554432000 134512640 137138936 4291344912 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/32689/statm: 262360 259833 192 642 0 261716 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1049440
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/499 308
/proc/meminfo: memFree=24833252/32950928 swapFree=34421304/67111528
[pid=32689] ppid=32687 vsize=0 CPUtime=1798.01 cores=1,3,5,7
/proc/32689/stat : 32689 (bsolo) R 32687 32689 29288 0 -1 4202500 21601545 0 0 0 177648 2153 0 0 25 0 1 0 908592463 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 5 0 0 0
/proc/32689/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.02
CPU time (s): 1798.04
CPU user time (s): 1776.49
CPU system time (s): 21.5547
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1050036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1776.49
system time used= 21.5547
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21601545
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= 2964
runsolver used 8.5397 second user time and 20.8888 second system time
The end