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-3708017-1338156264/watcher-3708017-1338156264 -o /tmp/evaluation-result-3708017-1338156264/solver-3708017-1338156264 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708017-1338156264.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.00 2.00 3/176 17299
/proc/meminfo: memFree=31203924/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=11152 CPUtime=0 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 306 0 0 0 0 0 0 0 20 0 1 0 281750971 11419648 259 33554432000 134512640 137138936 4291426112 4291424328 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 2788 259 178 642 0 2056 0
[startup+0.102269 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17299
/proc/meminfo: memFree=31203924/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=12484 CPUtime=0.09 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 843 0 0 0 9 0 0 0 20 0 1 0 281750971 12783616 708 33554432000 134512640 137138936 4291426112 4291424576 135745418 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 3121 708 218 642 0 2477 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12484
[startup+0.20026 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17299
/proc/meminfo: memFree=31203924/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=13072 CPUtime=0.18 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 11356 0 0 0 17 1 0 0 20 0 1 0 281750971 13385728 796 33554432000 134512640 137138936 4291426112 4291424200 136507573 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 3268 811 218 642 0 2624 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 13072
[startup+0.300238 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17299
/proc/meminfo: memFree=31203924/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=17400 CPUtime=0.29 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 23009 0 0 0 27 2 0 0 20 0 1 0 281750971 17817600 1452 33554432000 134512640 137138936 4291426112 4291423952 135457904 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 4350 1452 277 642 0 3706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17400
[startup+0.700169 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17299
/proc/meminfo: memFree=31203924/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=18088 CPUtime=0.69 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 27009 0 0 0 66 3 0 0 20 0 1 0 281750971 18522112 1380 33554432000 134512640 137138936 4291426112 4291423904 134734941 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 4522 1380 287 642 0 3878 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18088
[startup+1.50016 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17300
/proc/meminfo: memFree=31200080/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=13792 CPUtime=1.49 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 45900 0 0 0 144 5 0 0 20 0 1 0 281750971 14123008 1120 33554432000 134512640 137138936 4291426112 4291424000 134750184 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 3448 1120 287 642 0 2804 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13792
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17300
/proc/meminfo: memFree=31199576/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=18208 CPUtime=3.09 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 118851 0 0 0 293 16 0 0 20 0 1 0 281750971 18644992 1440 33554432000 134512640 137138936 4291426112 4291423984 134730901 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 4552 1440 288 642 0 3908 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18208
[startup+6.30018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17300
/proc/meminfo: memFree=31198636/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=19296 CPUtime=6.28 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 313803 0 0 0 588 40 0 0 20 0 1 0 281750971 19759104 1753 33554432000 134512640 137138936 4291426112 4291423808 134734939 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 4824 1753 288 642 0 4180 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19296
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17300
/proc/meminfo: memFree=31192568/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=23624 CPUtime=12.69 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 788006 0 0 0 1166 103 0 0 20 0 1 0 281750971 24190976 2958 33554432000 134512640 137138936 4291426112 4291424048 135388619 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 5906 2958 288 642 0 5262 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 23624
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17300
/proc/meminfo: memFree=31176120/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=31440 CPUtime=25.48 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 1721898 0 0 0 2322 226 0 0 20 0 1 0 281750971 32194560 5511 33554432000 134512640 137138936 4291426112 4291424048 134833003 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/17299/statm: 7897 5525 288 642 0 7253 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31440
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17300
/proc/meminfo: memFree=31128056/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=53488 CPUtime=51.06 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 3278187 0 0 0 4674 432 0 0 20 0 1 0 281750971 54771712 10981 33554432000 134512640 137138936 4291426112 4291424096 135783829 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17299/statm: 13372 11001 288 642 0 12728 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 53488
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17300
/proc/meminfo: memFree=31075912/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=71936 CPUtime=102.25 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 5304629 0 0 0 9517 708 0 0 20 0 1 0 281750971 73662464 14842 33554432000 134512640 137138936 4291426112 4291423872 135449769 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 17984 14842 288 642 0 17340 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 71936
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17300
/proc/meminfo: memFree=31019896/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=77040 CPUtime=162.22 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 6428660 0 0 0 15341 881 0 0 20 0 1 0 281750971 78888960 16455 33554432000 134512640 137138936 4291426112 4291423776 135389531 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 19414 16457 288 642 0 18770 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 77040
[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17300
/proc/meminfo: memFree=30983052/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=77248 CPUtime=222.23 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 6967211 0 0 0 21242 981 0 0 20 0 1 0 281750971 79101952 16437 33554432000 134512640 137138936 4291426112 4291424048 135251013 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 19312 16437 288 642 0 18668 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 77248
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17301
/proc/meminfo: memFree=30934596/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=78016 CPUtime=282.21 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 8977738 0 0 0 26955 1266 0 0 20 0 1 0 281750971 79888384 17177 33554432000 134512640 137138936 4291426112 4291425040 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 19504 17177 288 642 0 18860 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 78016
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17304
/proc/meminfo: memFree=30929048/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=78500 CPUtime=342.2 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 10633070 0 0 0 32721 1499 0 0 20 0 1 0 281750971 80384000 17298 33554432000 134512640 137138936 4291426112 4291424536 134606964 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 19625 17298 288 642 0 18981 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 78500
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17304
/proc/meminfo: memFree=30914852/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=92964 CPUtime=402.19 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 12839372 0 0 0 38419 1800 0 0 20 0 1 0 281750971 95195136 20914 33554432000 134512640 137138936 4291426112 4291424656 134607623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 23241 20914 288 642 0 22597 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 92964
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17304
/proc/meminfo: memFree=30888192/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=92876 CPUtime=462.18 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 13808803 0 0 0 44262 1956 0 0 20 0 1 0 281750971 95105024 20892 33554432000 134512640 137138936 4291426112 4291424648 136504108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 23219 20892 288 642 0 22575 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 92876
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17304
/proc/meminfo: memFree=30824348/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=96520 CPUtime=522.17 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 14745334 0 0 0 50110 2107 0 0 20 0 1 0 281750971 98836480 20985 33554432000 134512640 137138936 4291426112 4291424048 135251340 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 24130 20985 288 642 0 23486 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 96520
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17305
/proc/meminfo: memFree=30765104/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=95036 CPUtime=582.16 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 15796040 0 0 0 55939 2277 0 0 20 0 1 0 281750971 97316864 20895 33554432000 134512640 137138936 4291426112 4291424232 134733978 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 23759 20905 288 642 0 23115 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 95036
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30709724/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=106072 CPUtime=1122.07 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 24933914 0 0 0 108553 3654 0 0 20 0 1 0 281750971 108617728 23891 33554432000 134512640 137138936 4291426112 4291424048 134851593 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26518 23891 288 642 0 25874 0
Current children cumulated CPU time (s) 1122.07
Current children cumulated vsize (KiB) 106072
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17309
/proc/meminfo: memFree=30712888/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1182.06 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 114535 3671 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291425040 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 105172
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17310
/proc/meminfo: memFree=30712888/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1242.05 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 120533 3672 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291423984 134730901 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 105172
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17310
/proc/meminfo: memFree=30712764/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1302.04 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 126531 3673 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424000 134713076 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 105172
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17310
/proc/meminfo: memFree=30712764/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1362.03 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 132528 3675 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424048 135388588 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 105172
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17310
/proc/meminfo: memFree=30712764/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1422.02 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 138525 3677 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424032 134848000 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 105172
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 17310
/proc/meminfo: memFree=30712764/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1482.01 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 144522 3679 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424300 135212710 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 105172
[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 17314
/proc/meminfo: memFree=30712756/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1542.01 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 150521 3680 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424256 134911199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 105172
[startup+1602.3 s]
/proc/loadavg: 2.18 2.06 2.01 3/177 17314
/proc/meminfo: memFree=30713136/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1602 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 156518 3682 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424080 134713146 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 105172
[startup+1662.3 s]
/proc/loadavg: 2.25 2.10 2.02 3/177 17352
/proc/meminfo: memFree=31121240/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1661.98 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 162515 3683 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424048 135185751 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 105172
[startup+1722.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/176 17352
/proc/meminfo: memFree=31121256/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1721.97 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 168513 3684 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424796 136521035 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 105172
[startup+1782.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 17353
/proc/meminfo: memFree=31120936/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1781.97 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 174512 3685 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291423696 135380706 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 105172
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.03 2.06 2.01 3/177 17353
/proc/meminfo: memFree=31121060/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1791.67 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 175482 3685 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424320 135185770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1791.67
Current children cumulated vsize (KiB) 105172
[startup+1795.2 s]
/proc/loadavg: 2.02 2.06 2.01 3/176 17353
/proc/meminfo: memFree=31120696/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1794.87 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 175802 3685 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424096 135783792 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1794.87
Current children cumulated vsize (KiB) 105172
[startup+1796.8 s]
/proc/loadavg: 2.02 2.06 2.01 3/176 17353
/proc/meminfo: memFree=31120696/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1796.46 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 175961 3685 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291423776 135389072 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (KiB) 105172
[startup+1797.6 s]
/proc/loadavg: 2.02 2.06 2.01 3/176 17353
/proc/meminfo: memFree=31120696/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1797.26 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 176041 3685 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424256 135473110 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1797.26
Current children cumulated vsize (KiB) 105172
[startup+1798 s]
/proc/loadavg: 2.02 2.06 2.01 3/176 17353
/proc/meminfo: memFree=31120696/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1797.66 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 176081 3685 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291423984 134730901 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (KiB) 105172
[startup+1798.2 s]
/proc/loadavg: 2.02 2.06 2.01 3/176 17353
/proc/meminfo: memFree=31120696/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1797.86 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 176101 3685 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424000 134750226 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 105172
[startup+1798.3 s]
/proc/loadavg: 2.02 2.06 2.01 3/176 17353
/proc/meminfo: memFree=31120696/32873844 swapFree=6080/6080
[pid=17299] ppid=17297 vsize=105172 CPUtime=1797.96 cores=0,2,4,6
/proc/17299/stat : 17299 (bsolo) R 17297 17299 24278 0 -1 4202496 25031368 0 0 0 176111 3685 0 0 20 0 1 0 281750971 107696128 23864 33554432000 134512640 137138936 4291426112 4291424464 134873578 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17299/statm: 26293 23864 288 642 0 25649 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 105172
Child status: 0
Real time (s): 1798.33
CPU time (s): 1798
CPU user time (s): 1761.14
CPU system time (s): 36.8574
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 109384
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1761.14
system time used= 36.8574
maximum resident set size= 97804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25031368
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= 52
involuntary context switches= 1954
runsolver used 6.76297 second user time and 19.0401 second system time
The end