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-3740805-1338759941/watcher-3740805-1338759941 -o /tmp/evaluation-result-3740805-1338759941/solver-3740805-1338759941 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3740805-1338759941.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.14 2.06 2.25 3/176 17482
/proc/meminfo: memFree=25968796/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=275448 CPUtime=0 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 300 0 0 0 0 0 0 0 20 0 1 0 342119548 282058752 254 33554432000 134512640 137136520 4291676976 4291675504 134517592 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 68862 255 180 641 0 2055 0
[startup+0.0419529 s]
/proc/loadavg: 2.14 2.06 2.25 3/176 17482
/proc/meminfo: memFree=25968796/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=277216 CPUtime=0.03 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 861 0 0 0 3 0 0 0 20 0 1 0 342119548 283869184 815 33554432000 134512640 137136520 4291676976 4291675488 136575102 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 69304 816 310 641 0 2497 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 277216
[startup+0.100291 s]
/proc/loadavg: 2.14 2.06 2.25 3/176 17482
/proc/meminfo: memFree=25968796/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=279948 CPUtime=0.09 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 1787 0 0 0 9 0 0 0 20 0 1 0 342119548 286666752 1741 33554432000 134512640 137136520 4291676976 4291675176 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 69987 1741 536 641 0 3180 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 279948
[startup+0.300259 s]
/proc/loadavg: 2.14 2.06 2.25 3/176 17482
/proc/meminfo: memFree=25968796/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=288676 CPUtime=0.28 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 4681 0 0 0 28 0 0 0 20 0 1 0 342119548 295604224 4635 33554432000 134512640 137136520 4291676976 4291675176 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 72169 4636 1259 641 0 5362 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 288676
[startup+0.700254 s]
/proc/loadavg: 2.14 2.06 2.25 3/176 17482
/proc/meminfo: memFree=25968796/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=305620 CPUtime=0.68 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 10334 0 0 0 67 1 0 0 20 0 1 0 342119548 312954880 10288 33554432000 134512640 137136520 4291676976 4291675176 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 76405 10289 2679 641 0 9598 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 305620
[startup+1.50024 s]
/proc/loadavg: 2.14 2.06 2.25 3/177 17483
/proc/meminfo: memFree=25929744/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=337112 CPUtime=1.48 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 21054 0 0 0 146 2 0 0 20 0 1 0 342119548 345202688 20968 33554432000 134512640 137136520 4291676976 4291675240 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 84278 20969 5510 641 0 17471 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 337112
[startup+3.10024 s]
/proc/loadavg: 2.14 2.06 2.25 3/177 17483
/proc/meminfo: memFree=25894776/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=393700 CPUtime=3.08 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 40342 0 0 0 303 5 0 0 20 0 1 0 342119548 403148800 40177 33554432000 134512640 137136520 4291676976 4291675176 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 98425 40179 10617 641 0 31618 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 393700
[startup+6.30025 s]
/proc/loadavg: 2.21 2.08 2.25 3/177 17483
/proc/meminfo: memFree=25779216/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=506944 CPUtime=6.29 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 79058 0 0 0 618 11 0 0 20 0 1 0 342119548 519110656 78687 33554432000 134512640 137136520 4291676976 4291675368 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 126736 78688 20869 641 0 59929 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 506944
[startup+12.7002 s]
/proc/loadavg: 2.19 2.08 2.25 3/177 17483
/proc/meminfo: memFree=25556636/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=721000 CPUtime=12.69 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 153413 0 0 0 1249 20 0 0 20 0 1 0 342119548 738304000 152945 33554432000 134512640 137136520 4291676976 4291675176 136504651 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 180250 152946 41488 641 0 113443 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 721000
[startup+25.5003 s]
/proc/loadavg: 2.15 2.07 2.25 3/177 17483
/proc/meminfo: memFree=24987972/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1006228 CPUtime=25.48 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 315188 0 0 0 2502 46 0 0 20 0 1 0 342119548 1030377472 248051 33554432000 134512640 137136520 4291676976 4288691756 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 251557 248051 189 641 0 250913 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1006228
[startup+51.1003 s]
/proc/loadavg: 2.10 2.06 2.24 3/177 17483
/proc/meminfo: memFree=24621172/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1360784 CPUtime=51.08 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 402251 0 0 0 5034 74 0 0 20 0 1 0 342119548 1393442816 336672 33554432000 134512640 137136520 4291676976 4288691564 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 340196 336672 191 641 0 339552 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1360784
[startup+102.307 s]
/proc/loadavg: 2.04 2.05 2.23 3/177 17483
/proc/meminfo: memFree=24587444/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1360784 CPUtime=102.28 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 402267 0 0 0 10137 91 0 0 20 0 1 0 342119548 1393442816 336688 33554432000 134512640 137136520 4291676976 4288691564 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 340196 336688 191 641 0 339552 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1360784
[startup+162.3 s]
/proc/loadavg: 2.01 2.04 2.21 3/177 17483
/proc/meminfo: memFree=24551288/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1360916 CPUtime=162.26 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 402281 0 0 0 16121 105 0 0 20 0 1 0 342119548 1393577984 336702 33554432000 134512640 137136520 4291676976 4288691564 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 340229 336702 191 641 0 339585 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1360916
[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.19 3/177 17484
/proc/meminfo: memFree=24537492/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1347716 CPUtime=222.24 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 402334 0 0 0 22087 137 0 0 20 0 1 0 342119548 1380061184 333438 33554432000 134512640 137136520 4291676976 4291676092 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 336929 333438 197 641 0 336285 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 1347716
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.18 3/178 17487
/proc/meminfo: memFree=24510496/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1347732 CPUtime=282.19 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 403356 0 0 0 28028 191 0 0 20 0 1 0 342119548 1380077568 333442 33554432000 134512640 137136520 4291676976 4291675744 134576268 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 336933 333442 197 641 0 336289 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 1347732
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.16 3/177 17487
/proc/meminfo: memFree=24481500/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1347752 CPUtime=342.14 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 403406 0 0 0 33916 298 0 0 20 0 1 0 342119548 1380098048 333448 33554432000 134512640 137136520 4291676976 4291676092 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 336938 333448 197 641 0 336294 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 1347752
[startup+402.3 s]
/proc/loadavg: 2.07 2.03 2.16 3/177 17487
/proc/meminfo: memFree=24457116/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1347772 CPUtime=402.09 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 403471 0 0 0 39869 340 0 0 20 0 1 0 342119548 1380118528 333467 33554432000 134512640 137136520 4291676976 4291675904 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 336943 333467 197 641 0 336299 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 1347772
[startup+462.3 s]
/proc/loadavg: 2.02 2.02 2.15 3/178 17497
/proc/meminfo: memFree=24437652/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1347804 CPUtime=462.04 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 403519 0 0 0 45856 348 0 0 20 0 1 0 342119548 1380151296 333475 33554432000 134512640 137136520 4291676976 4291675688 136502143 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 336951 333475 197 641 0 336307 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 1347804
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.14 3/177 17498
/proc/meminfo: memFree=24422824/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1347832 CPUtime=521.99 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 403568 0 0 0 51850 349 0 0 20 0 1 0 342119548 1380179968 333482 33554432000 134512640 137136520 4291676976 4291675744 134573541 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 336958 333482 197 641 0 336314 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 1347832
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.12 3/177 17498
/proc/meminfo: memFree=24368044/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1386628 CPUtime=581.96 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 848735 0 0 0 57754 442 0 0 20 0 1 0 342119548 1419907072 343168 33554432000 134512640 137136520 4291676976 4291675904 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 346657 343168 197 641 0 346013 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 1386628
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22542212/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1927404 CPUtime=1121.52 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 10021400 0 0 0 110171 1981 0 0 20 0 1 0 342119548 1973661696 478360 33554432000 134512640 137136520 4291676976 4291675904 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 481851 478360 197 641 0 481207 0
Current children cumulated CPU time (s) 1121.52
Current children cumulated vsize (KiB) 1927404
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/177 17576
/proc/meminfo: memFree=22502072/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=1984384 CPUtime=1181.47 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 10944016 0 0 0 116000 2147 0 0 20 0 1 0 342119548 2032009216 492598 33554432000 134512640 137136520 4291676976 4291675744 134573541 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 496096 492598 197 641 0 495452 0
Current children cumulated CPU time (s) 1181.47
Current children cumulated vsize (KiB) 1984384
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17576
/proc/meminfo: memFree=22460808/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2023268 CPUtime=1241.42 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 11763952 0 0 0 121845 2297 0 0 20 0 1 0 342119548 2071826432 502330 33554432000 134512640 137136520 4291676976 4291675688 136502022 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 505817 502330 197 641 0 505173 0
Current children cumulated CPU time (s) 1241.42
Current children cumulated vsize (KiB) 2023268
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/177 17576
/proc/meminfo: memFree=22403672/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2081452 CPUtime=1301.38 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 12889529 0 0 0 127633 2505 0 0 20 0 1 0 342119548 2131406848 516871 33554432000 134512640 137136520 4291676976 4291675736 135982525 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 520363 516871 197 641 0 519719 0
Current children cumulated CPU time (s) 1301.38
Current children cumulated vsize (KiB) 2081452
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/177 17576
/proc/meminfo: memFree=22327688/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2154712 CPUtime=1361.32 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 14620075 0 0 0 133323 2809 0 0 20 0 1 0 342119548 2206425088 535198 33554432000 134512640 137136520 4291676976 4291675904 134543819 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 538678 535198 197 641 0 538034 0
Current children cumulated CPU time (s) 1361.32
Current children cumulated vsize (KiB) 2154712
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.02 3/177 17577
/proc/meminfo: memFree=22264228/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2220000 CPUtime=1421.28 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 16120177 0 0 0 139060 3068 0 0 20 0 1 0 342119548 2273280000 551498 33554432000 134512640 137136520 4291676976 4291675632 134598069 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 555000 551498 197 641 0 554356 0
Current children cumulated CPU time (s) 1421.28
Current children cumulated vsize (KiB) 2220000
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/178 17580
/proc/meminfo: memFree=22209440/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2274196 CPUtime=1481.21 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 17228264 0 0 0 144860 3261 0 0 20 0 1 0 342119548 2328776704 565066 33554432000 134512640 137136520 4291676976 4291675904 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 568549 565066 197 641 0 567905 0
Current children cumulated CPU time (s) 1481.21
Current children cumulated vsize (KiB) 2274196
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 17580
/proc/meminfo: memFree=22149956/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2333172 CPUtime=1541.16 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 18318066 0 0 0 150654 3462 0 0 20 0 1 0 342119548 2389168128 579792 33554432000 134512640 137136520 4291676976 4291675872 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 583293 579792 197 641 0 582649 0
Current children cumulated CPU time (s) 1541.16
Current children cumulated vsize (KiB) 2333172
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/177 17580
/proc/meminfo: memFree=22086016/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2394196 CPUtime=1601.12 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 19438517 0 0 0 156452 3660 0 0 20 0 1 0 342119548 2451656704 595882 33554432000 134512640 137136520 4291676976 4291675904 134543933 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 598549 595882 197 641 0 597905 0
Current children cumulated CPU time (s) 1601.12
Current children cumulated vsize (KiB) 2394196
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17580
/proc/meminfo: memFree=22026716/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2454676 CPUtime=1661.11 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 20491720 0 0 0 162267 3844 0 0 20 0 1 0 342119548 2513588224 610989 33554432000 134512640 137136520 4291676976 4291675300 136498187 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 613669 610989 197 641 0 613025 0
Current children cumulated CPU time (s) 1661.11
Current children cumulated vsize (KiB) 2454676
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17581
/proc/meminfo: memFree=21982600/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2497236 CPUtime=1721.1 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 21281420 0 0 0 168124 3986 0 0 20 0 1 0 342119548 2557169664 621631 33554432000 134512640 137136520 4291676976 4291675904 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 624309 621631 197 641 0 623665 0
Current children cumulated CPU time (s) 1721.1
Current children cumulated vsize (KiB) 2497236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17581
/proc/meminfo: memFree=21932284/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2546816 CPUtime=1781.1 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 22142383 0 0 0 173966 4144 0 0 20 0 1 0 342119548 2607939584 634038 33554432000 134512640 137136520 4291676976 4291675904 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 636704 634038 197 641 0 636060 0
Current children cumulated CPU time (s) 1781.1
Current children cumulated vsize (KiB) 2546816
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 17581
/proc/meminfo: memFree=21925324/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2555424 CPUtime=1790.7 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 22258761 0 0 0 174906 4164 0 0 20 0 1 0 342119548 2616754176 636206 33554432000 134512640 137136520 4291676976 4291675744 134573541 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 638856 636206 197 641 0 638212 0
Current children cumulated CPU time (s) 1790.7
Current children cumulated vsize (KiB) 2555424
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17581
/proc/meminfo: memFree=21922828/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2556056 CPUtime=1793.9 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 22300688 0 0 0 175219 4171 0 0 20 0 1 0 342119548 2617401344 636337 33554432000 134512640 137136520 4291676976 4291675904 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 639014 636337 197 641 0 638370 0
Current children cumulated CPU time (s) 1793.9
Current children cumulated vsize (KiB) 2556056
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17581
/proc/meminfo: memFree=21920844/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2557148 CPUtime=1795.5 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 22321401 0 0 0 175375 4175 0 0 20 0 1 0 342119548 2618519552 636638 33554432000 134512640 137136520 4291676976 4291675904 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 639287 636638 197 641 0 638643 0
Current children cumulated CPU time (s) 1795.5
Current children cumulated vsize (KiB) 2557148
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17581
/proc/meminfo: memFree=21921092/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2558504 CPUtime=1797.09 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 22344083 0 0 0 175530 4179 0 0 20 0 1 0 342119548 2619908096 636964 33554432000 134512640 137136520 4291676976 4291675904 134544256 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 639626 636964 197 641 0 638982 0
Current children cumulated CPU time (s) 1797.09
Current children cumulated vsize (KiB) 2558504
[startup+1798.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17581
/proc/meminfo: memFree=21920348/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2560716 CPUtime=1797.5 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 22349501 0 0 0 175570 4180 0 0 20 0 1 0 342119548 2622173184 637522 33554432000 134512640 137136520 4291676976 4291675744 134573545 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 640179 637522 197 641 0 639535 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 2560716
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17581
/proc/meminfo: memFree=21920348/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2559040 CPUtime=1797.89 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 22353454 0 0 0 175609 4180 0 0 20 0 1 0 342119548 2620456960 637101 33554432000 134512640 137136520 4291676976 4291675904 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 639760 637101 197 641 0 639116 0
Current children cumulated CPU time (s) 1797.89
Current children cumulated vsize (KiB) 2559040
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17581
/proc/meminfo: memFree=21920348/32873844 swapFree=7628/7628
[pid=17482] ppid=17480 vsize=2559172 CPUtime=1797.99 cores=0,2,4,6
/proc/17482/stat : 17482 (bsolo) R 17480 17482 9489 0 -1 4202496 22354934 0 0 0 175619 4180 0 0 20 0 1 0 342119548 2620592128 637123 33554432000 134512640 137136520 4291676976 4291675904 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/17482/statm: 639793 637123 197 641 0 639149 0
Current children cumulated CPU time (s) 1797.99
Current children cumulated vsize (KiB) 2559172
Child status: 0
Real time (s): 1799.29
CPU time (s): 1798.09
CPU user time (s): 1756.25
CPU system time (s): 41.8326
CPU usage (%): 99.9333
Max. virtual memory (cumulated for all children) (KiB): 2560852
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1756.25
system time used= 41.8326
maximum resident set size= 2550496
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22355922
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= 985
involuntary context switches= 1961
runsolver used 2.41763 second user time and 7.40687 second system time
The end