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-3708439-1338170620/watcher-3708439-1338170620 -o /tmp/evaluation-result-3708439-1338170620/solver-3708439-1338170620 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3708439-1338170620.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.08 2.06 2.00 3/174 749
/proc/meminfo: memFree=28440172/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/749/stat : 749 (runsolver) D 747 749 31475 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 283187459 12095488 50 33554432000 4194304 5436572 140736673400896 140736673397192 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/749/statm: 2953 50 31 304 0 2645 0
[startup+0.0399719 s]
/proc/loadavg: 2.08 2.06 2.00 3/174 749
/proc/meminfo: memFree=28440172/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=11476 CPUtime=0.02 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 486 0 0 0 2 0 0 0 20 0 1 0 283187459 11751424 434 33554432000 134512640 137138936 4287874416 4287873196 136502660 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 2869 434 192 642 0 2225 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11476
[startup+0.100267 s]
/proc/loadavg: 2.08 2.06 2.00 3/174 749
/proc/meminfo: memFree=28440172/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=11716 CPUtime=0.08 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 547 0 0 0 8 0 0 0 20 0 1 0 283187459 11997184 495 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 2929 495 192 642 0 2285 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 11716
[startup+0.300236 s]
/proc/loadavg: 2.08 2.06 2.00 3/174 749
/proc/meminfo: memFree=28440172/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=12696 CPUtime=0.28 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 775 0 0 0 28 0 0 0 20 0 1 0 283187459 13000704 723 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 3174 723 192 642 0 2530 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 12696
[startup+0.70024 s]
/proc/loadavg: 2.08 2.06 2.00 3/174 749
/proc/meminfo: memFree=28440172/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=13904 CPUtime=0.68 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 1090 0 0 0 68 0 0 0 20 0 1 0 283187459 14237696 1038 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 3476 1038 192 642 0 2832 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13904
[startup+1.50024 s]
/proc/loadavg: 2.08 2.06 2.00 3/175 750
/proc/meminfo: memFree=28435856/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=16612 CPUtime=1.48 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 1771 0 0 0 147 1 0 0 20 0 1 0 283187459 17010688 1719 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 4153 1719 192 642 0 3509 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 16612
[startup+3.10025 s]
/proc/loadavg: 2.07 2.06 2.00 3/175 750
/proc/meminfo: memFree=28432136/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=20148 CPUtime=3.09 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 2646 0 0 0 307 2 0 0 20 0 1 0 283187459 20631552 2594 33554432000 134512640 137138936 4287874416 4287872848 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 5037 2594 192 642 0 4393 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 20148
[startup+6.30025 s]
/proc/loadavg: 2.07 2.06 2.00 3/175 750
/proc/meminfo: memFree=28425812/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=26324 CPUtime=6.28 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 4180 0 0 0 626 2 0 0 20 0 1 0 283187459 26955776 4128 33554432000 134512640 137138936 4287874416 4287873344 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 6581 4128 192 642 0 5937 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 26324
[startup+12.7003 s]
/proc/loadavg: 2.06 2.05 2.00 3/175 750
/proc/meminfo: memFree=28413924/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=37292 CPUtime=12.68 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 6947 0 0 0 1264 4 0 0 20 0 1 0 283187459 38187008 6895 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 9323 6895 192 642 0 8679 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 37292
[startup+25.5003 s]
/proc/loadavg: 2.05 2.05 2.00 3/175 750
/proc/meminfo: memFree=28401260/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=48844 CPUtime=25.48 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 9846 0 0 0 2542 6 0 0 20 0 1 0 283187459 50016256 9786 33554432000 134512640 137138936 4287874416 4287873344 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 12211 9786 192 642 0 11567 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 48844
[startup+51.1002 s]
/proc/loadavg: 2.09 2.06 2.00 3/174 750
/proc/meminfo: memFree=28384868/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=65160 CPUtime=51.05 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 13968 0 0 0 5096 9 0 0 20 0 1 0 283187459 66723840 13858 33554432000 134512640 137138936 4287874416 4287873344 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 16290 13858 192 642 0 15646 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 65160
[startup+102.306 s]
/proc/loadavg: 2.03 2.05 2.00 3/175 751
/proc/meminfo: memFree=28368116/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=81576 CPUtime=102.24 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 18130 0 0 0 10209 15 0 0 20 0 1 0 283187459 83533824 17940 33554432000 134512640 137138936 4287874416 4287873344 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 20394 17940 192 642 0 19750 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 81576
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/175 751
/proc/meminfo: memFree=28362272/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=87140 CPUtime=162.22 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 19596 0 0 0 16202 20 0 0 20 0 1 0 283187459 89231360 19353 33554432000 134512640 137138936 4287874416 4287873344 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 21785 19353 192 642 0 21141 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 87140
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/175 751
/proc/meminfo: memFree=28360716/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=89088 CPUtime=222.21 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 20066 0 0 0 22195 26 0 0 20 0 1 0 283187459 91226112 19820 33554432000 134512640 137138936 4287874416 4287873456 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 22272 19820 192 642 0 21628 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 89088
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/175 751
/proc/meminfo: memFree=28356004/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=93444 CPUtime=282.21 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 21226 0 0 0 28188 33 0 0 20 0 1 0 283187459 95686656 20931 33554432000 134512640 137138936 4287874416 4287873344 134542310 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 23361 20931 192 642 0 22717 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 93444
[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/175 751
/proc/meminfo: memFree=28343784/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=106500 CPUtime=342.19 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 24467 0 0 0 34180 39 0 0 20 0 1 0 283187459 109056000 24169 33554432000 134512640 137138936 4287874416 4287873088 136501668 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 26625 24169 192 642 0 25981 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 106500
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/176 755
/proc/meminfo: memFree=28329392/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119872 CPUtime=402.17 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27882 0 0 0 40172 45 0 0 20 0 1 0 283187459 122748928 27523 33554432000 134512640 137138936 4287874416 4287873344 134542525 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29968 27523 192 642 0 29324 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 119872
[startup+462.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/175 755
/proc/meminfo: memFree=28329748/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=120128 CPUtime=462.16 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27940 0 0 0 46166 50 0 0 20 0 1 0 283187459 123011072 27576 33554432000 134512640 137138936 4287874416 4287873344 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 30032 27576 192 642 0 29388 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 120128
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/175 755
/proc/meminfo: memFree=28329748/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=120128 CPUtime=522.15 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27941 0 0 0 52161 54 0 0 20 0 1 0 283187459 123011072 27576 33554432000 134512640 137138936 4287874416 4287873172 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 30032 27576 192 642 0 29388 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 120128
[startup+582.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/175 755
/proc/meminfo: memFree=28329684/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119740 CPUtime=582.14 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27945 0 0 0 58157 57 0 0 20 0 1 0 283187459 122613760 27511 33554432000 134512640 137138936 4287874416 4287873344 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29935 27511 192 642 0 29291 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 119740
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28194412/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1062.07 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 106104 103 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873344 134542955 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 119344
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 798
/proc/meminfo: memFree=28154608/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1122.06 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 112098 108 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873344 134542755 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 119344
[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/175 798
/proc/meminfo: memFree=28117532/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1182.05 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 118091 114 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 119344
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 798
/proc/meminfo: memFree=28089760/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1242.04 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 124082 122 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 119344
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 799
/proc/meminfo: memFree=28084672/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1302.03 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 130076 127 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873128 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 119344
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 799
/proc/meminfo: memFree=28084796/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1362.02 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 136070 132 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873344 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 119344
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 799
/proc/meminfo: memFree=28085168/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1422.01 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 142063 138 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 119344
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 799
/proc/meminfo: memFree=28085044/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1482 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 148056 144 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873344 134542620 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 119344
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 799
/proc/meminfo: memFree=28085044/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1541.99 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 154048 151 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873344 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 119344
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 803
/proc/meminfo: memFree=28062344/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1601.98 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 160040 158 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 119344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 803
/proc/meminfo: memFree=28027880/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1661.97 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 166033 164 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873336 135984569 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1661.97
Current children cumulated vsize (KiB) 119344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 803
/proc/meminfo: memFree=27998616/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1721.96 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 172025 171 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873344 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 119344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 803
/proc/meminfo: memFree=27968484/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1781.95 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 178019 176 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 119344
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 803
/proc/meminfo: memFree=27963828/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1791.56 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 178979 177 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287871128 136505085 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 119344
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 803
/proc/meminfo: memFree=27962588/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1794.76 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 179298 178 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873344 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 119344
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 803
/proc/meminfo: memFree=27962092/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1796.36 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 179458 178 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873532 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1796.36
Current children cumulated vsize (KiB) 119344
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 803
/proc/meminfo: memFree=27961720/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1797.16 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 179538 178 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873236 136511078 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1797.16
Current children cumulated vsize (KiB) 119344
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 803
/proc/meminfo: memFree=27961720/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1797.56 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 179578 178 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287873164 136296998 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1797.56
Current children cumulated vsize (KiB) 119344
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 803
/proc/meminfo: memFree=27961720/32873852 swapFree=6848/6848
[pid=749] ppid=747 vsize=119344 CPUtime=1797.96 cores=0,2,4,6
/proc/749/stat : 749 (bsolo) R 747 749 31475 0 -1 4202496 27946 0 0 0 179618 178 0 0 20 0 1 0 283187459 122208256 27412 33554432000 134512640 137138936 4287874416 4287872416 134603064 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/749/statm: 29836 27412 192 642 0 29192 0
Current children cumulated CPU time (s) 1797.96
Current children cumulated vsize (KiB) 119344
Child status: 0
Real time (s): 1798.34
CPU time (s): 1798
CPU user time (s): 1796.22
CPU system time (s): 1.78273
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 120136
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.22
system time used= 1.78273
maximum resident set size= 110312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27947
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= 56
involuntary context switches= 1872
runsolver used 2.71059 second user time and 7.10492 second system time
The end