runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462777-1307182798/watcher-3462777-1307182798 -o /tmp/evaluation-result-3462777-1307182798/solver-3462777-1307182798 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462777-1307182798.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.05 2.00 3/415 8736
/proc/meminfo: memFree=25707584/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=12296 CPUtime=0 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 575 0 0 0 0 0 0 0 25 0 1 0 285889220 12591104 529 33554432000 134512640 137138936 4293029232 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 3074 529 184 642 0 2328 0
[startup+0.050229 s]
/proc/loadavg: 2.03 2.05 2.00 3/415 8736
/proc/meminfo: memFree=25707584/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=17924 CPUtime=0.04 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 2037 0 0 0 4 0 0 0 25 0 1 0 285889220 18354176 1951 33554432000 134512640 137138936 4293029232 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 4481 1952 239 642 0 3735 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 17924
[startup+0.101222 s]
/proc/loadavg: 2.03 2.05 2.00 3/415 8736
/proc/meminfo: memFree=25707584/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=28408 CPUtime=0.09 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 4793 0 0 0 9 0 0 0 25 0 1 0 285889220 29089792 4605 33554432000 134512640 137138936 4293029232 18446744073709551615 136511209 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 7102 4605 184 642 0 6458 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28408
[startup+0.301188 s]
/proc/loadavg: 2.03 2.05 2.00 3/415 8736
/proc/meminfo: memFree=25707584/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=28716 CPUtime=0.29 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 4828 0 0 0 29 0 0 0 25 0 1 0 285889220 29405184 4640 33554432000 134512640 137138936 4293029232 18446744073709551615 134543407 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 7179 4640 185 642 0 6535 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28716
[startup+0.701117 s]
/proc/loadavg: 2.03 2.05 2.00 3/415 8736
/proc/meminfo: memFree=25707584/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=31380 CPUtime=0.69 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 5933 0 0 0 67 2 0 0 25 0 1 0 285889220 32133120 5297 33554432000 134512640 137138936 4293029232 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 7845 5297 192 642 0 7201 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31380
[startup+1.50098 s]
/proc/loadavg: 2.03 2.05 2.00 4/416 8737
/proc/meminfo: memFree=25682900/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=38428 CPUtime=1.49 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 7695 0 0 0 147 2 0 0 25 0 1 0 285889220 39350272 7059 33554432000 134512640 137138936 4293029232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 9607 7059 192 642 0 8963 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38428
[startup+3.10069 s]
/proc/loadavg: 2.03 2.05 2.00 5/416 8737
/proc/meminfo: memFree=25672484/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=51548 CPUtime=3.09 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 10975 0 0 0 306 3 0 0 25 0 1 0 285889220 52785152 10339 33554432000 134512640 137138936 4293029232 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 12887 10339 192 642 0 12243 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 51548
[startup+6.30113 s]
/proc/loadavg: 2.03 2.05 2.00 5/416 8737
/proc/meminfo: memFree=25644780/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=77908 CPUtime=6.29 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 17560 0 0 0 625 4 0 0 25 0 1 0 285889220 79777792 16924 33554432000 134512640 137138936 4293029232 18446744073709551615 134551813 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 19477 16924 192 642 0 18833 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 77908
[startup+12.701 s]
/proc/loadavg: 2.02 2.05 2.00 5/416 8737
/proc/meminfo: memFree=25588632/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=129256 CPUtime=12.69 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 30397 0 0 0 1262 7 0 0 25 0 1 0 285889220 132358144 29761 33554432000 134512640 137138936 4293029232 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 32314 29761 192 642 0 31670 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 129256
[startup+25.5007 s]
/proc/loadavg: 2.02 2.04 2.00 5/416 8737
/proc/meminfo: memFree=25484352/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=226004 CPUtime=25.49 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 54578 0 0 0 2538 11 0 0 25 0 1 0 285889220 231428096 53942 33554432000 134512640 137138936 4293029232 18446744073709551615 134550932 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 56501 53942 192 642 0 55857 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 226004
[startup+51.1012 s]
/proc/loadavg: 2.01 2.04 2.00 4/416 8738
/proc/meminfo: memFree=25343520/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=360636 CPUtime=51.09 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 88234 0 0 0 5090 19 0 0 25 0 1 0 285889220 369291264 87598 33554432000 134512640 137138936 4293029232 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 90159 87598 192 642 0 89515 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 360636
[startup+102.316 s]
/proc/loadavg: 2.00 2.03 2.00 5/416 8739
/proc/meminfo: memFree=25119820/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=567444 CPUtime=102.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 139958 0 0 0 10202 28 0 0 25 0 1 0 285889220 581062656 139322 33554432000 134512640 137138936 4293029232 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 141861 139322 192 642 0 141217 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 567444
[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 5/416 8741
/proc/meminfo: memFree=25109636/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=567444 CPUtime=162.29 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 139958 0 0 0 16199 30 0 0 25 0 1 0 285889220 581062656 139322 33554432000 134512640 137138936 4293029232 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 141861 139322 192 642 0 141217 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 567444
[startup+222.301 s]
/proc/loadavg: 2.00 2.02 2.00 5/416 8743
/proc/meminfo: memFree=25058784/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=605116 CPUtime=222.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 149382 0 0 0 22195 35 0 0 25 0 1 0 285889220 619638784 148746 33554432000 134512640 137138936 4293029232 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 151279 148746 192 642 0 150635 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 605116
[startup+282.3 s]
/proc/loadavg: 2.08 2.03 2.01 5/416 8744
/proc/meminfo: memFree=25045012/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=605116 CPUtime=282.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 149382 0 0 0 28192 38 0 0 25 0 1 0 285889220 619638784 148746 33554432000 134512640 137138936 4293029232 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 151279 148746 192 642 0 150635 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 605116
[startup+342.301 s]
/proc/loadavg: 2.25 2.07 2.02 5/416 8746
/proc/meminfo: memFree=25010776/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=625680 CPUtime=342.29 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 154527 0 0 0 34189 40 0 0 25 0 1 0 285889220 640696320 153891 33554432000 134512640 137138936 4293029232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 156420 153891 192 642 0 155776 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 625680
[startup+402.3 s]
/proc/loadavg: 2.16 2.07 2.02 5/416 8747
/proc/meminfo: memFree=24996876/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=625680 CPUtime=402.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 154527 0 0 0 40187 43 0 0 25 0 1 0 285889220 640696320 153891 33554432000 134512640 137138936 4293029232 18446744073709551615 136504035 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 156420 153891 192 642 0 155776 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 625680
[startup+462.301 s]
/proc/loadavg: 2.06 2.05 2.01 5/416 8749
/proc/meminfo: memFree=24966856/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=641588 CPUtime=462.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 158488 0 0 0 46184 46 0 0 25 0 1 0 285889220 656986112 157852 33554432000 134512640 137138936 4293029232 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 160397 157852 192 642 0 159753 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 641588
[startup+522.301 s]
/proc/loadavg: 2.02 2.04 2.00 5/416 8751
/proc/meminfo: memFree=24942544/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=650200 CPUtime=522.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 160656 0 0 0 52182 48 0 0 25 0 1 0 285889220 665804800 160020 33554432000 134512640 137138936 4293029232 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 162550 160020 192 642 0 161906 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 650200
[startup+582.3 s]
/proc/loadavg: 2.00 2.03 2.00 5/416 8752
/proc/meminfo: memFree=24927784/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=650200 CPUtime=582.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 160656 0 0 0 58179 51 0 0 25 0 1 0 285889220 665804800 160020 33554432000 134512640 137138936 4293029232 18446744073709551615 134603195 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 162550 160020 192 642 0 161906 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 650200
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=24848580/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=623764 CPUtime=1122.32 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 187461 0 0 0 112160 72 0 0 25 0 1 0 285889220 638734336 153412 33554432000 134512640 137138936 4293029232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8736/statm: 155941 153412 192 642 0 155297 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 623764
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 5/416 8768
/proc/meminfo: memFree=24839400/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=623764 CPUtime=1182.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 187461 0 0 0 118157 73 0 0 25 0 1 0 285889220 638734336 153412 33554432000 134512640 137138936 4293029232 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 155941 153412 192 642 0 155297 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 623764
[startup+1242.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/416 8770
/proc/meminfo: memFree=24796472/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=659180 CPUtime=1242.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 196290 0 0 0 124153 77 0 0 25 0 1 0 285889220 675000320 162241 33554432000 134512640 137138936 4293029232 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 164795 162241 192 642 0 164151 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 659180
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/416 8771
/proc/meminfo: memFree=24789264/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=659180 CPUtime=1302.31 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 196290 0 0 0 130152 79 0 0 25 0 1 0 285889220 675000320 162241 33554432000 134512640 137138936 4293029232 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 164795 162241 192 642 0 164151 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 659180
[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/416 8800
/proc/meminfo: memFree=25243432/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=679496 CPUtime=1362.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 201384 0 0 0 136147 83 0 0 25 0 1 0 285889220 695803904 167335 33554432000 134512640 137138936 4293029232 18446744073709551615 136297742 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 169874 167335 192 642 0 169230 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 679496
[startup+1422.32 s]
/proc/loadavg: 2.13 2.04 2.01 3/416 8802
/proc/meminfo: memFree=25211020/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=692528 CPUtime=1422.32 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 204622 0 0 0 142145 87 0 0 25 0 1 0 285889220 709148672 170573 33554432000 134512640 137138936 4293029232 18446744073709551615 136504119 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 173132 170573 192 642 0 172488 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 692528
[startup+1482.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/416 8803
/proc/meminfo: memFree=25211116/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=692528 CPUtime=1482.3 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 204622 0 0 0 148141 89 0 0 25 0 1 0 285889220 709148672 170573 33554432000 134512640 137138936 4293029232 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 173132 170573 192 642 0 172488 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 692528
[startup+1542.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/416 8805
/proc/meminfo: memFree=25201552/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=702920 CPUtime=1542.31 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 154138 93 0 0 25 0 1 0 285889220 719790080 173176 33554432000 134512640 137138936 4293029232 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 175730 173176 192 642 0 175086 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 702920
[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/416 8806
/proc/meminfo: memFree=25201652/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=702920 CPUtime=1602.31 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 160136 95 0 0 25 0 1 0 285889220 719790080 173176 33554432000 134512640 137138936 4293029232 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 175730 173176 192 642 0 175086 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 702920
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8808
/proc/meminfo: memFree=25209940/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=688860 CPUtime=1662.31 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 166134 97 0 0 25 0 1 0 285889220 705392640 169686 33554432000 134512640 137138936 4293029232 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 172215 169686 192 642 0 171571 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 688860
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/416 8810
/proc/meminfo: memFree=25209928/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=688860 CPUtime=1722.31 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 172131 100 0 0 25 0 1 0 285889220 705392640 169686 33554432000 134512640 137138936 4293029232 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 172215 169686 192 642 0 171571 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 688860
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8811
/proc/meminfo: memFree=25205940/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=688860 CPUtime=1782.32 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 178129 103 0 0 25 0 1 0 285889220 705392640 169686 33554432000 134512640 137138936 4293029232 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 172215 169686 192 642 0 171571 0
Current children cumulated CPU time (s) 1782.32
Current children cumulated vsize (KiB) 688860
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8811
/proc/meminfo: memFree=25206560/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=688860 CPUtime=1785.51 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 178448 103 0 0 25 0 1 0 285889220 705392640 169686 33554432000 134512640 137138936 4293029232 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 172215 169686 192 642 0 171571 0
Current children cumulated CPU time (s) 1785.51
Current children cumulated vsize (KiB) 688860
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8812
/proc/meminfo: memFree=25205444/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=688860 CPUtime=1791.93 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 179090 103 0 0 25 0 1 0 285889220 705392640 169686 33554432000 134512640 137138936 4293029232 18446744073709551615 136504212 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 172215 169686 192 642 0 171571 0
Current children cumulated CPU time (s) 1791.93
Current children cumulated vsize (KiB) 688860
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8812
/proc/meminfo: memFree=25204944/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=688860 CPUtime=1795.12 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 179409 103 0 0 25 0 1 0 285889220 705392640 169686 33554432000 134512640 137138936 4293029232 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 172215 169686 192 642 0 171571 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (KiB) 688860
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8812
/proc/meminfo: memFree=25204820/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=688860 CPUtime=1796.71 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 179568 103 0 0 25 0 1 0 285889220 705392640 169686 33554432000 134512640 137138936 4293029232 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 172215 169686 192 642 0 171571 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 688860
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8812
/proc/meminfo: memFree=25204692/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=688860 CPUtime=1797.51 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 179648 103 0 0 25 0 1 0 285889220 705392640 169686 33554432000 134512640 137138936 4293029232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 172215 169686 192 642 0 171571 0
Current children cumulated CPU time (s) 1797.51
Current children cumulated vsize (KiB) 688860
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8812
/proc/meminfo: memFree=25204692/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=688860 CPUtime=1797.91 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202496 207225 0 0 0 179688 103 0 0 25 0 1 0 285889220 705392640 169686 33554432000 134512640 137138936 4293029232 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/8736/statm: 172215 169686 192 642 0 171571 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 688860
[startup+1798 s]
/proc/loadavg: 2.00 2.01 2.00 3/416 8812
/proc/meminfo: memFree=25204692/32950928 swapFree=52006644/67111528
[pid=8736] ppid=8734 vsize=0 CPUtime=1798.01 cores=0,2,4,6
/proc/8736/stat : 8736 (bsolo) R 8734 8736 6914 0 -1 4202500 207226 0 0 0 179696 105 0 0 25 0 1 0 285889220 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 2 0 0 0
/proc/8736/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.03
CPU user time (s): 1796.96
CPU system time (s): 1.06784
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 702920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.96
system time used= 1.06784
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 207226
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= 5
involuntary context switches= 2681
runsolver used 7.57485 second user time and 16.9284 second system time
The end