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-3707707-1338225074/watcher-3707707-1338225074 -o /tmp/evaluation-result-3707707-1338225074/solver-3707707-1338225074 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707707-1338225074.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.00 2.00 2.00 3/176 27510
/proc/meminfo: memFree=30111140/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=11468 CPUtime=0 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 365 0 0 0 0 0 0 0 20 0 1 0 288635886 11743232 319 33554432000 134512640 137138936 4294945264 4294943776 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 2867 319 179 642 0 2127 0
[startup+0.099396 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27510
/proc/meminfo: memFree=30111140/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=13000 CPUtime=0.09 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 930 0 0 0 9 0 0 0 20 0 1 0 288635886 13312000 788 33554432000 134512640 137138936 4294945264 4294870524 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 3250 788 184 642 0 2606 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13000
[startup+0.100162 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27510
/proc/meminfo: memFree=30111140/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=13000 CPUtime=0.09 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 930 0 0 0 9 0 0 0 20 0 1 0 288635886 13312000 788 33554432000 134512640 137138936 4294945264 4294870524 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 3250 788 184 642 0 2606 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13000
[startup+0.300226 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27510
/proc/meminfo: memFree=30111140/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=13000 CPUtime=0.29 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 931 0 0 0 29 0 0 0 20 0 1 0 288635886 13312000 789 33554432000 134512640 137138936 4294945264 4294870524 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 3250 789 184 642 0 2606 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13000
[startup+0.700223 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27510
/proc/meminfo: memFree=30111140/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=13000 CPUtime=0.69 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 931 0 0 0 69 0 0 0 20 0 1 0 288635886 13312000 789 33554432000 134512640 137138936 4294945264 4294870524 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 3250 789 184 642 0 2606 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13000
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27511
/proc/meminfo: memFree=30109016/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=13944 CPUtime=1.49 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 1285 0 0 0 148 1 0 0 20 0 1 0 288635886 14278656 1046 33554432000 134512640 137138936 4294945264 4294943976 136504225 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 3486 1046 192 642 0 2842 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13944
[startup+3.10022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27511
/proc/meminfo: memFree=30106536/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=18436 CPUtime=3.09 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 2418 0 0 0 304 5 0 0 20 0 1 0 288635886 18878464 2179 33554432000 134512640 137138936 4294945264 4294943688 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 4609 2179 192 642 0 3965 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18436
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27511
/proc/meminfo: memFree=30096740/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=26096 CPUtime=6.29 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 4345 0 0 0 618 11 0 0 20 0 1 0 288635886 26722304 4106 33554432000 134512640 137138936 4294945264 4294944192 134542252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 6524 4106 192 642 0 5880 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26096
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27511
/proc/meminfo: memFree=30075932/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=45616 CPUtime=12.69 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 9241 0 0 0 1255 14 0 0 20 0 1 0 288635886 46710784 8974 33554432000 134512640 137138936 4294945264 4294943688 134606854 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 11404 8974 192 642 0 10760 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45616
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27511
/proc/meminfo: memFree=30040468/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=77716 CPUtime=25.48 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 17285 0 0 0 2529 19 0 0 20 0 1 0 288635886 79581184 17007 33554432000 134512640 137138936 4294945264 4294944192 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 19429 17007 192 642 0 18785 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77716
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27511
/proc/meminfo: memFree=29985892/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=129480 CPUtime=51.08 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 30447 0 0 0 5078 30 0 0 20 0 1 0 288635886 132587520 29945 33554432000 134512640 137138936 4294945264 4294944192 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 32370 29945 192 642 0 31726 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 129480
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27511
/proc/meminfo: memFree=29839328/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=264568 CPUtime=102.25 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 68133 0 0 0 10182 43 0 0 20 0 1 0 288635886 270917632 63715 33554432000 134512640 137138936 4294945264 4294943792 134602746 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 66142 63715 192 642 0 65498 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 264568
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27512
/proc/meminfo: memFree=29728872/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=366708 CPUtime=162.19 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 96902 0 0 0 16165 54 0 0 20 0 1 0 288635886 375508992 89253 33554432000 134512640 137138936 4294945264 4294944192 134542325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 91677 89253 192 642 0 91033 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 366708
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27512
/proc/meminfo: memFree=29638132/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=447728 CPUtime=222.14 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 117890 0 0 0 22148 66 0 0 20 0 1 0 288635886 458473472 109498 33554432000 134512640 137138936 4294945264 4294944192 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 111932 109498 192 642 0 111288 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 447728
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27512
/proc/meminfo: memFree=29549128/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=531112 CPUtime=282.08 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 140108 0 0 0 28131 77 0 0 20 0 1 0 288635886 543858688 130369 33554432000 134512640 137138936 4294945264 4294944192 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 132778 130369 192 642 0 132134 0
Current children cumulated CPU time (s) 282.08
Current children cumulated vsize (KiB) 531112
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27512
/proc/meminfo: memFree=29434952/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=635652 CPUtime=342.02 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 168599 0 0 0 34114 88 0 0 20 0 1 0 288635886 650907648 156486 33554432000 134512640 137138936 4294945264 4294944192 134542513 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 158913 156486 192 642 0 158269 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 635652
[startup+402.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 27512
/proc/meminfo: memFree=29359836/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=701720 CPUtime=401.97 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 185313 0 0 0 40096 101 0 0 20 0 1 0 288635886 718561280 173007 33554432000 134512640 137138936 4294945264 4294944184 135984569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 175430 173007 192 642 0 174786 0
Current children cumulated CPU time (s) 401.97
Current children cumulated vsize (KiB) 701720
[startup+462.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27513
/proc/meminfo: memFree=29284472/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=768800 CPUtime=461.92 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 202675 0 0 0 46079 113 0 0 20 0 1 0 288635886 787251200 189778 33554432000 134512640 137138936 4294945264 4294943688 134606964 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 192200 189778 192 642 0 191556 0
Current children cumulated CPU time (s) 461.92
Current children cumulated vsize (KiB) 768800
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27513
/proc/meminfo: memFree=29207744/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=837284 CPUtime=521.87 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 220667 0 0 0 52066 121 0 0 20 0 1 0 288635886 857378816 206910 33554432000 134512640 137138936 4294945264 4294944192 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 209321 206910 192 642 0 208677 0
Current children cumulated CPU time (s) 521.87
Current children cumulated vsize (KiB) 837284
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 27516
/proc/meminfo: memFree=29119104/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=917892 CPUtime=581.81 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 245796 0 0 0 58052 129 0 0 20 0 1 0 288635886 939921408 227064 33554432000 134512640 137138936 4294945264 4294944192 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 229473 227064 192 642 0 228829 0
Current children cumulated CPU time (s) 581.81
Current children cumulated vsize (KiB) 917892
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29202764/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1121.66 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284375 0 0 0 111981 185 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944192 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1121.66
Current children cumulated vsize (KiB) 1043072
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27559
/proc/meminfo: memFree=29100828/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1181.66 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284375 0 0 0 117976 190 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294943688 134606653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1181.66
Current children cumulated vsize (KiB) 1043072
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27559
/proc/meminfo: memFree=29043920/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1241.65 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284375 0 0 0 123973 192 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294943688 134606663 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1241.65
Current children cumulated vsize (KiB) 1043072
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27559
/proc/meminfo: memFree=28976588/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1301.64 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284375 0 0 0 129971 193 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944192 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1301.64
Current children cumulated vsize (KiB) 1043072
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27559
/proc/meminfo: memFree=28915828/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1361.63 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284375 0 0 0 135967 196 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944192 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 1043072
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27560
/proc/meminfo: memFree=28861144/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1421.63 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284375 0 0 0 141966 197 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944192 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1421.63
Current children cumulated vsize (KiB) 1043072
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27560
/proc/meminfo: memFree=28802244/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1481.61 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284375 0 0 0 147963 198 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944192 134542613 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1481.61
Current children cumulated vsize (KiB) 1043072
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27561
/proc/meminfo: memFree=28771104/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1541.6 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 153960 200 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944160 134542295 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1541.6
Current children cumulated vsize (KiB) 1043072
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27561
/proc/meminfo: memFree=28711620/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1601.58 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 159956 202 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944192 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1601.58
Current children cumulated vsize (KiB) 1043072
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27561
/proc/meminfo: memFree=28626336/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1661.57 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 165954 203 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294943872 134552438 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1661.57
Current children cumulated vsize (KiB) 1043072
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27562
/proc/meminfo: memFree=28533364/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1721.56 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 171951 205 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294943760 134618004 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1721.56
Current children cumulated vsize (KiB) 1043072
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 27565
/proc/meminfo: memFree=28471012/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1781.56 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 177948 208 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944192 134542516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1043072
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27565
/proc/meminfo: memFree=28461828/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1791.16 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 178908 208 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294943760 134618432 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1791.16
Current children cumulated vsize (KiB) 1043072
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27565
/proc/meminfo: memFree=28457612/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1794.36 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 179228 208 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294943656 136504268 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1794.36
Current children cumulated vsize (KiB) 1043072
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27565
/proc/meminfo: memFree=28456372/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1795.95 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 179387 208 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294943808 134607601 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 1043072
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27565
/proc/meminfo: memFree=28455628/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1796.75 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 179467 208 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294943800 136504137 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 1043072
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27565
/proc/meminfo: memFree=28455628/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1797.55 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 179547 208 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944192 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 1043072
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27565
/proc/meminfo: memFree=28454636/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1797.95 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 179587 208 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294944192 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1043072
[startup+1798.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27565
/proc/meminfo: memFree=28454636/32873844 swapFree=7108/7108
[pid=27510] ppid=27508 vsize=1043072 CPUtime=1798.05 cores=1,3,5,7
/proc/27510/stat : 27510 (bsolo) R 27508 27510 23491 0 -1 4202496 284391 0 0 0 179597 208 0 0 20 0 1 0 288635886 1068105728 258826 33554432000 134512640 137138936 4294945264 4294943744 136297655 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27510/statm: 260768 258826 192 642 0 260124 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 1043072
Child status: 0
Real time (s): 1798.81
CPU time (s): 1798.08
CPU user time (s): 1795.98
CPU system time (s): 2.09068
CPU usage (%): 99.9591
Max. virtual memory (cumulated for all children) (KiB): 1043072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.98
system time used= 2.09068
maximum resident set size= 1035716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284391
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= 491
involuntary context switches= 1834
runsolver used 3.3205 second user time and 7.68483 second system time
The end