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-3707711-1338227954/watcher-3707711-1338227954 -o /tmp/evaluation-result-3707711-1338227954/solver-3707711-1338227954 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707711-1338227954.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.03 2.03 2.00 3/176 27646
/proc/meminfo: memFree=29293184/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=19292 CPUtime=0 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288923937 19755008 311 33554432000 134512640 137138936 4287458528 4287457188 136525324 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 4823 311 177 642 0 4079 0
[startup+0.00887605 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27646
/proc/meminfo: memFree=29293184/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=11616 CPUtime=0 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 399 0 0 0 0 0 0 0 20 0 1 0 288923937 11894784 353 33554432000 134512640 137138936 4287458528 4287457008 134529522 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 2904 354 185 642 0 2160 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11616
[startup+0.100208 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27646
/proc/meminfo: memFree=29293184/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=13048 CPUtime=0.09 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 965 0 0 0 9 0 0 0 20 0 1 0 288923937 13361152 819 33554432000 134512640 137138936 4287458528 4287380524 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 3262 819 184 642 0 2618 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13048
[startup+0.300178 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27646
/proc/meminfo: memFree=29293184/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=13048 CPUtime=0.29 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 966 0 0 0 29 0 0 0 20 0 1 0 288923937 13361152 820 33554432000 134512640 137138936 4287458528 4287380336 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 3262 820 184 642 0 2618 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13048
[startup+0.700177 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27646
/proc/meminfo: memFree=29293184/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=13048 CPUtime=0.69 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 966 0 0 0 69 0 0 0 20 0 1 0 288923937 13361152 820 33554432000 134512640 137138936 4287458528 4287380244 136504021 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 3262 820 184 642 0 2618 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13048
[startup+1.50018 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27647
/proc/meminfo: memFree=29290944/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=13548 CPUtime=1.49 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 1198 0 0 0 148 1 0 0 20 0 1 0 288923937 13873152 947 33554432000 134512640 137138936 4287458528 4287457456 134541989 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 3387 947 192 642 0 2743 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13548
[startup+3.10017 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27647
/proc/meminfo: memFree=29288588/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=18164 CPUtime=3.09 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 2365 0 0 0 306 3 0 0 20 0 1 0 288923937 18599936 2114 33554432000 134512640 137138936 4287458528 4287457240 136504212 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 4541 2114 192 642 0 3897 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18164
[startup+6.30018 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 27647
/proc/meminfo: memFree=29280768/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=24732 CPUtime=6.29 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 3995 0 0 0 619 10 0 0 20 0 1 0 288923937 25325568 3744 33554432000 134512640 137138936 4287458528 4287457024 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/27646/statm: 6183 3744 192 642 0 5539 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24732
[startup+12.7002 s]
/proc/loadavg: 2.03 2.03 2.00 3/176 27647
/proc/meminfo: memFree=29263316/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=41372 CPUtime=12.69 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 8182 0 0 0 1256 13 0 0 20 0 1 0 288923937 42364928 7923 33554432000 134512640 137138936 4287458528 4287456952 134606601 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 10343 7923 192 642 0 9699 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 41372
[startup+25.5003 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 27648
/proc/meminfo: memFree=29238012/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=66500 CPUtime=25.49 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 14467 0 0 0 2526 23 0 0 20 0 1 0 288923937 68096000 14203 33554432000 134512640 137138936 4287458528 4287456756 136500372 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 16625 14203 192 642 0 15981 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 66500
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 27651
/proc/meminfo: memFree=29187164/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=116428 CPUtime=51.08 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 27021 0 0 0 5071 37 0 0 20 0 1 0 288923937 119222272 26684 33554432000 134512640 137138936 4287458528 4287456952 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 29107 26684 192 642 0 28463 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 116428
[startup+102.307 s]
/proc/loadavg: 2.00 2.02 2.00 3/178 27651
/proc/meminfo: memFree=29091684/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=210792 CPUtime=102.28 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 52870 0 0 0 10183 45 0 0 20 0 1 0 288923937 215851008 50275 33554432000 134512640 137138936 4287458528 4287457240 136504212 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 52698 50275 192 642 0 52054 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 210792
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 27674
/proc/meminfo: memFree=29013688/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=289368 CPUtime=162.27 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 73661 0 0 0 16167 60 0 0 20 0 1 0 288923937 296312832 69916 33554432000 134512640 137138936 4287458528 4287457388 136520918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 72342 69916 192 642 0 71698 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 289368
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 27674
/proc/meminfo: memFree=28926028/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=376324 CPUtime=222.25 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 98155 0 0 0 22152 73 0 0 20 0 1 0 288923937 385355776 91641 33554432000 134512640 137138936 4287458528 4287457280 134577137 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 94081 91642 192 642 0 93437 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 376324
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27674
/proc/meminfo: memFree=28843072/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=459716 CPUtime=282.24 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 121038 0 0 0 28142 82 0 0 20 0 1 0 288923937 470749184 112510 33554432000 134512640 137138936 4287458528 4287457456 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 114929 112510 192 642 0 114285 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 459716
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27675
/proc/meminfo: memFree=28732836/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=569760 CPUtime=342.24 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 158051 0 0 0 34132 92 0 0 20 0 1 0 288923937 583434240 140016 33554432000 134512640 137138936 4287458528 4287457024 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 142440 140016 192 642 0 141796 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 569760
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27675
/proc/meminfo: memFree=28646284/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=657144 CPUtime=402.22 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 188012 0 0 0 40123 99 0 0 20 0 1 0 288923937 672915456 161865 33554432000 134512640 137138936 4287458528 4287457136 134552415 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 164286 161865 192 642 0 163642 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 657144
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27675
/proc/meminfo: memFree=28574612/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=727180 CPUtime=462.22 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 211657 0 0 0 46114 108 0 0 20 0 1 0 288923937 744632320 179364 33554432000 134512640 137138936 4287458528 4287457456 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 181795 179364 192 642 0 181151 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 727180
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27675
/proc/meminfo: memFree=28496864/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=805792 CPUtime=522.21 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 240200 0 0 0 52106 115 0 0 20 0 1 0 288923937 825131008 199028 33554432000 134512640 137138936 4287458528 4287457456 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 201448 199028 192 642 0 200804 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 805792
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27675
/proc/meminfo: memFree=28416760/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=885308 CPUtime=582.2 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 267659 0 0 0 58100 120 0 0 20 0 1 0 288923937 906555392 218903 33554432000 134512640 137138936 4287458528 4287456952 134606670 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 221327 218903 192 642 0 220683 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 885308
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28800420/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1061.94 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316221 0 0 0 106033 161 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457044 134550975 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1061.94
Current children cumulated vsize (KiB) 1049756
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27718
/proc/meminfo: memFree=28728156/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1121.91 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316246 0 0 0 112025 166 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287456952 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 1049756
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 27718
/proc/meminfo: memFree=28673624/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1181.87 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316286 0 0 0 118008 179 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457044 134551026 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 1049756
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 27719
/proc/meminfo: memFree=28621448/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1241.83 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316329 0 0 0 123998 185 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1049756
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 27722
/proc/meminfo: memFree=28555584/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1301.82 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 129985 197 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542333 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1049756
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27722
/proc/meminfo: memFree=28499696/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1361.81 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 135975 206 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 1049756
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27722
/proc/meminfo: memFree=28411684/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1421.81 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 141970 211 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 1049756
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27722
/proc/meminfo: memFree=28350456/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1481.79 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 147961 218 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1049756
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28319360/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1541.78 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 153954 224 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1049756
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28265944/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1601.77 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 159947 230 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542508 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1049756
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28249976/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1661.76 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 165942 234 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457644 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1049756
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28250004/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1721.76 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 171938 238 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287456952 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1049756
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28249908/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1781.75 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 177934 241 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1049756
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 27723
/proc/meminfo: memFree=28249892/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1791.34 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 178893 241 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457072 134607598 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1791.34
Current children cumulated vsize (KiB) 1049756
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28249892/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1794.55 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 179213 242 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 1049756
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28249892/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1796.14 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 179372 242 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457456 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1796.14
Current children cumulated vsize (KiB) 1049756
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28249892/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1796.94 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 179452 242 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457644 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1796.94
Current children cumulated vsize (KiB) 1049756
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28249892/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1797.74 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 179532 242 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457024 134618282 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1797.74
Current children cumulated vsize (KiB) 1049756
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 27723
/proc/meminfo: memFree=28249892/32873844 swapFree=7108/7108
[pid=27646] ppid=27644 vsize=1049756 CPUtime=1797.94 cores=0,2,4,6
/proc/27646/stat : 27646 (bsolo) R 27644 27646 23491 0 -1 4202496 316346 0 0 0 179552 242 0 0 20 0 1 0 288923937 1074950144 260021 33554432000 134512640 137138936 4287458528 4287457644 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/27646/statm: 262439 260021 192 642 0 261795 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1049756
Child status: 0
Real time (s): 1798.56
CPU time (s): 1798
CPU user time (s): 1795.57
CPU system time (s): 2.43063
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 1049756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.57
system time used= 2.43063
maximum resident set size= 1040524
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 316346
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= 390
involuntary context switches= 2036
runsolver used 6.82696 second user time and 18.9811 second system time
The end