runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3736594-1338709934/watcher-3736594-1338709934 -o /tmp/evaluation-result-3736594-1338709934/solver-3736594-1338709934 -C 1800 -W 1900 -M 15500 bsolo3.0.17 -m15500 HOME/instance-3736594-1338709934.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: 1.94 1.99 1.99 2/176 15117
/proc/meminfo: memFree=27162100/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=2660 CPUtime=0 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) D 15115 15117 10459 0 -1 4194304 95 0 0 0 0 0 0 0 20 0 1 0 337117510 2723840 47 33554432000 134512640 135840783 4287618752 4287616788 2565060 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/15117/statm: 665 47 37 325 0 32 0
[startup+0.10176 s]
/proc/loadavg: 1.94 1.99 1.99 2/176 15117
/proc/meminfo: memFree=27162100/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=6252 CPUtime=0.09 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 882 0 0 0 9 0 0 0 20 0 1 0 337117510 6402048 815 33554432000 134512640 135840783 4287618752 4287618112 134550872 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15117/statm: 1563 816 349 325 0 499 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6252
[startup+0.200211 s]
/proc/loadavg: 1.94 1.99 1.99 2/176 15117
/proc/meminfo: memFree=27162100/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=7032 CPUtime=0.19 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 1084 0 0 0 19 0 0 0 20 0 1 0 337117510 7200768 1017 33554432000 134512640 135840783 4287618752 4287616944 134586710 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15117/statm: 1758 1017 349 325 0 694 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 7032
[startup+0.3002 s]
/proc/loadavg: 1.94 1.99 1.99 2/176 15117
/proc/meminfo: memFree=27162100/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=8576 CPUtime=0.29 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 1470 0 0 0 29 0 0 0 20 0 1 0 337117510 8781824 1403 33554432000 134512640 135840783 4287618752 4287616140 1815040 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15117/statm: 2144 1403 349 325 0 1080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8576
[startup+0.700181 s]
/proc/loadavg: 1.94 1.99 1.99 2/176 15117
/proc/meminfo: memFree=27162100/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=11284 CPUtime=0.69 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 2156 0 0 0 69 0 0 0 20 0 1 0 337117510 11554816 2089 33554432000 134512640 135840783 4287618752 4287618112 134551048 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15117/statm: 2821 2089 349 325 0 1757 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11284
[startup+1.50018 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 15118
/proc/meminfo: memFree=27153156/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=15416 CPUtime=1.48 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 3189 0 0 0 148 0 0 0 20 0 1 0 337117510 15785984 3122 33554432000 134512640 135840783 4287618752 4287618112 134550779 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15117/statm: 3854 3122 349 325 0 2790 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 15416
[startup+3.1002 s]
/proc/loadavg: 1.94 1.99 1.99 3/177 15118
/proc/meminfo: memFree=27148568/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=19924 CPUtime=3.09 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 4306 0 0 0 308 1 0 0 20 0 1 0 337117510 20402176 4239 33554432000 134512640 135840783 4287618752 4287618112 134551330 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15117/statm: 4981 4239 349 325 0 3917 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19924
[startup+6.3002 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 15118
/proc/meminfo: memFree=27144848/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=21088 CPUtime=6.29 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 4604 0 0 0 628 1 0 0 20 0 1 0 337117510 21594112 4537 33554432000 134512640 135840783 4287618752 4287618112 134550817 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/15117/statm: 5272 4537 349 325 0 4208 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21088
[startup+12.7002 s]
/proc/loadavg: 1.95 1.99 1.99 3/177 15118
/proc/meminfo: memFree=27142364/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=24824 CPUtime=12.68 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 5525 0 0 0 1267 1 0 0 20 0 1 0 337117510 25419776 5458 33554432000 134512640 135840783 4287618752 4287616672 5362983 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 6206 5458 349 325 0 5142 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24824
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15118
/proc/meminfo: memFree=27136556/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=29808 CPUtime=25.47 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 6788 0 0 0 2546 1 0 0 20 0 1 0 337117510 30523392 6717 33554432000 134512640 135840783 4287618752 4287617988 5357515 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 7452 6717 349 325 0 6388 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 29808
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 15118
/proc/meminfo: memFree=27129956/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=36220 CPUtime=51.06 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 8411 0 0 0 5104 2 0 0 20 0 1 0 337117510 37089280 8330 33554432000 134512640 135840783 4287618752 4287618064 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 9055 8330 351 325 0 7991 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 36220
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 15118
/proc/meminfo: memFree=27129772/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=36212 CPUtime=102.26 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 8412 0 0 0 10224 2 0 0 20 0 1 0 337117510 37081088 8330 33554432000 134512640 135840783 4287618752 4287618048 134572854 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 9053 8330 351 325 0 7989 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 36212
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15118
/proc/meminfo: memFree=27129772/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=36200 CPUtime=162.25 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 8412 0 0 0 16223 2 0 0 20 0 1 0 337117510 37068800 8328 33554432000 134512640 135840783 4287618752 4287618112 134550826 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 9050 8328 351 325 0 7986 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36200
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15118
/proc/meminfo: memFree=27126484/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=39888 CPUtime=222.24 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 9331 0 0 0 22222 2 0 0 20 0 1 0 337117510 40845312 9246 33554432000 134512640 135840783 4287618752 4287618112 134550779 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 9972 9246 351 325 0 8908 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 39888
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15119
/proc/meminfo: memFree=27106316/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=58632 CPUtime=282.23 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14030 0 0 0 28220 3 0 0 20 0 1 0 337117510 60039168 13936 33554432000 134512640 135840783 4287618752 4287618064 134551071 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14658 13936 351 325 0 13594 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 58632
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15119
/proc/meminfo: memFree=27096388/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=58604 CPUtime=342.22 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14030 0 0 0 34219 3 0 0 20 0 1 0 337117510 60010496 13929 33554432000 134512640 135840783 4287618752 4287618064 134551058 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14651 13929 351 325 0 13587 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 58604
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15119
/proc/meminfo: memFree=27096556/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=58516 CPUtime=402.21 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14030 0 0 0 40218 3 0 0 20 0 1 0 337117510 59920384 13907 33554432000 134512640 135840783 4287618752 4287617988 5357515 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14629 13907 351 325 0 13565 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 58516
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15119
/proc/meminfo: memFree=27096440/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=58192 CPUtime=462.2 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14033 0 0 0 46217 3 0 0 20 0 1 0 337117510 59588608 13826 33554432000 134512640 135840783 4287618752 4287618112 134551377 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14548 13826 351 325 0 13484 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 58192
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15122
/proc/meminfo: memFree=27096320/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=58192 CPUtime=522.19 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14033 0 0 0 52216 3 0 0 20 0 1 0 337117510 59588608 13826 33554432000 134512640 135840783 4287618752 4287618112 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14548 13826 351 325 0 13484 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 58192
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 15146
/proc/meminfo: memFree=27096128/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=58160 CPUtime=582.18 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14033 0 0 0 58215 3 0 0 20 0 1 0 337117510 59555840 13818 33554432000 134512640 135840783 4287618752 4287618112 134550840 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14540 13818 351 325 0 13476 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 58160
[startup+642.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15146
/proc/meminfo: memFree=27096768/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=57596 CPUtime=642.17 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14036 0 0 0 64214 3 0 0 20 0 1 0 337117510 58978304 13677 33554432000 134512640 135840783 4287618752 4287618112 134551312 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14399 13677 351 325 0 13335 0
Current children cumulated CPU time (s) 642.17
Current children cumulated vsize (KiB) 57596
[startup+702.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15146
/proc/meminfo: memFree=27096892/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=57560 CPUtime=702.16 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14036 0 0 0 70213 3 0 0 20 0 1 0 337117510 58941440 13668 33554432000 134512640 135840783 4287618752 4287618052 5368395 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14390 13668 351 325 0 13326 0
Current children cumulated CPU time (s) 702.16
Current children cumulated vsize (KiB) 57560
[startup+762.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15146
/proc/meminfo: memFree=27097388/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=57560 CPUtime=762.16 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14036 0 0 0 76213 3 0 0 20 0 1 0 337117510 58941440 13668 33554432000 134512640 135840783 4287618752 4287618112 134550804 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14390 13668 351 325 0 13326 0
Current children cumulated CPU time (s) 762.16
Current children cumulated vsize (KiB) 57560
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15146
/proc/meminfo: memFree=27097388/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=57560 CPUtime=822.15 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14036 0 0 0 82212 3 0 0 20 0 1 0 337117510 58941440 13668 33554432000 134512640 135840783 4287618752 4287618112 134551084 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14390 13668 351 325 0 13326 0
Current children cumulated CPU time (s) 822.15
Current children cumulated vsize (KiB) 57560
[startup+882.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 15147
/proc/meminfo: memFree=27098016/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=57560 CPUtime=882.14 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14036 0 0 0 88211 3 0 0 20 0 1 0 337117510 58941440 13668 33554432000 134512640 135840783 4287618752 4287618112 134551039 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14390 13668 351 325 0 13326 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 57560
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15148
/proc/meminfo: memFree=27099124/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56140 CPUtime=942.13 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14036 0 0 0 94210 3 0 0 20 0 1 0 337117510 57487360 13313 33554432000 134512640 135840783 4287618752 4287618052 5368412 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14035 13313 351 325 0 12971 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 56140
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15148
/proc/meminfo: memFree=27099124/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56120 CPUtime=1002.12 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 100209 3 0 0 20 0 1 0 337117510 57466880 13308 33554432000 134512640 135840783 4287618752 4287618112 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14030 13308 351 325 0 12966 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 56120
[startup+1062.3 s]
/proc/loadavg: 2.10 2.03 2.01 3/177 15148
/proc/meminfo: memFree=27098628/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56092 CPUtime=1062.11 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 106208 3 0 0 20 0 1 0 337117510 57438208 13301 33554432000 134512640 135840783 4287618752 4287618104 1419449 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14023 13301 351 325 0 12959 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 56092
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 15190
/proc/meminfo: memFree=26940472/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1122.1 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 112207 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287618112 134551490 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 56000
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15191
/proc/meminfo: memFree=26769388/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1182.09 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 118206 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287618112 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 56000
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15191
/proc/meminfo: memFree=26638280/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1242.08 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 124205 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287618112 134550764 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 56000
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15191
/proc/meminfo: memFree=26515548/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1302.07 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 130204 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287618176 134546112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 56000
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15191
/proc/meminfo: memFree=26400504/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1362.06 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 136203 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287617888 5360364 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 56000
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15191
/proc/meminfo: memFree=26267980/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1422.06 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 142203 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287618112 134551104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 56000
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 15192
/proc/meminfo: memFree=26172652/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1482.04 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 148201 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287618112 134550872 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 56000
[startup+1542.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15192
/proc/meminfo: memFree=26092824/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1542.04 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 154201 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287618112 134551347 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 56000
Solver just ended. Dumping a history of the last processes samples
[startup+1542.4 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15192
/proc/meminfo: memFree=26092824/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1542.13 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 154210 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287618064 134551106 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1542.13
Current children cumulated vsize (KiB) 56000
[startup+1542.6 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 15192
/proc/meminfo: memFree=26092824/32873648 swapFree=7368/7368
[pid=15117] ppid=15115 vsize=56000 CPUtime=1542.33 cores=0,2,4,6
/proc/15117/stat : 15117 (bsolo3.0.17) R 15115 15117 10459 0 -1 4202496 14039 0 0 0 154230 3 0 0 20 0 1 0 337117510 57344000 13278 33554432000 134512640 135840783 4287618752 4287618112 134551330 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/15117/statm: 14000 13278 351 325 0 12936 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 56000
Child status: 0
Real time (s): 1542.61
CPU time (s): 1542.36
CPU user time (s): 1542.32
CPU system time (s): 0.037994
CPU usage (%): 99.9836
Max. virtual memory (cumulated for all children) (KiB): 58648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1542.32
system time used= 0.037994
maximum resident set size= 55744
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14042
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= 38
involuntary context switches= 1858
runsolver used 2.36864 second user time and 6.04808 second system time
The end