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-3707634-1338213550/watcher-3707634-1338213550 -o /tmp/evaluation-result-3707634-1338213550/solver-3707634-1338213550 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707634-1338213550.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.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=20140 CPUtime=0 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 287483538 20623360 285 33554432000 134512640 137138936 4291769472 4291767736 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 5035 285 184 642 0 2090 0
[startup+0.0226821 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=20956 CPUtime=0.02 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 598 0 0 0 2 0 0 0 20 0 1 0 287483538 21458944 551 33554432000 134512640 137138936 4291769472 4291767688 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 5239 551 245 642 0 2294 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 20956
[startup+0.100215 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=24776 CPUtime=0.09 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 1871 0 0 0 9 0 0 0 20 0 1 0 287483538 25370624 1824 33554432000 134512640 137138936 4291769472 4291767736 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 6194 1824 550 642 0 3249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 24776
[startup+0.300203 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=34056 CPUtime=0.29 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 4948 0 0 0 29 0 0 0 20 0 1 0 287483538 34873344 4901 33554432000 134512640 137138936 4291769472 4291767720 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 8515 4902 1314 642 0 5570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34056
[startup+0.700246 s]
/proc/loadavg: 2.03 2.01 1.99 3/176 26784
/proc/meminfo: memFree=30264448/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=50528 CPUtime=0.69 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 12518 0 0 0 67 2 0 0 20 0 1 0 287483538 51740672 10170 33554432000 134512640 137138936 4291769472 4291648700 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 12632 10171 184 642 0 11988 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50528
[startup+1.50031 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30212740/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=61408 CPUtime=1.48 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15222 0 0 0 145 3 0 0 20 0 1 0 287483538 62881792 12874 33554432000 134512640 137138936 4291769472 4291648508 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15352 12874 186 642 0 14708 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 61408
[startup+3.1003 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30212616/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=61408 CPUtime=3.09 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15225 0 0 0 304 5 0 0 20 0 1 0 287483538 62881792 12877 33554432000 134512640 137138936 4291769472 4291648508 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15352 12877 186 642 0 14708 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 61408
[startup+6.3003 s]
/proc/loadavg: 2.03 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30212492/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=61408 CPUtime=6.29 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15229 0 0 0 621 8 0 0 20 0 1 0 287483538 62881792 12881 33554432000 134512640 137138936 4291769472 4291648508 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15352 12881 186 642 0 14708 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 61408
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30214112/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=60236 CPUtime=12.68 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15245 0 0 0 1250 18 0 0 20 0 1 0 287483538 61681664 12620 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15059 12620 192 642 0 14415 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60236
[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30206904/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=60240 CPUtime=25.48 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 15246 0 0 0 2510 38 0 0 20 0 1 0 287483538 61685760 12621 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 15060 12621 192 642 0 14416 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 60240
[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 1.99 3/177 26785
/proc/meminfo: memFree=30171776/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=81992 CPUtime=51.08 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 20675 0 0 0 5049 59 0 0 20 0 1 0 287483538 83959808 18050 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 20498 18050 192 642 0 19854 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 81992
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 26789
/proc/meminfo: memFree=30137164/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=98024 CPUtime=102.24 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 24697 0 0 0 10161 63 0 0 20 0 1 0 287483538 100376576 22052 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 24506 22052 192 642 0 23862 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 98024
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/178 26812
/proc/meminfo: memFree=30066772/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=154364 CPUtime=162.23 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 38822 0 0 0 16133 90 0 0 20 0 1 0 287483538 158068736 36170 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 38591 36170 192 642 0 37947 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 154364
[startup+222.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26812
/proc/meminfo: memFree=30038420/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=168852 CPUtime=222.22 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 42422 0 0 0 22123 99 0 0 20 0 1 0 287483538 172904448 39770 33554432000 134512640 137138936 4291769472 4291768400 134542202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 42213 39770 192 642 0 41569 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 168852
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26812
/proc/meminfo: memFree=30000852/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=198300 CPUtime=282.18 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 49804 0 0 0 28090 128 0 0 20 0 1 0 287483538 203059200 47123 33554432000 134512640 137138936 4291769472 4291768588 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 49575 47123 192 642 0 48931 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 198300
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26812
/proc/meminfo: memFree=29981216/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=206216 CPUtime=342.16 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 51834 0 0 0 34085 131 0 0 20 0 1 0 287483538 211165184 49283 33554432000 134512640 137138936 4291769472 4291768348 136295499 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 51554 49283 192 642 0 50910 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 206216
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29959848/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=214032 CPUtime=402.15 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 53758 0 0 0 40082 133 0 0 20 0 1 0 287483538 219168768 51207 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 53508 51207 192 642 0 52864 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 214032
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29931012/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=220272 CPUtime=462.14 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 55318 0 0 0 46079 135 0 0 20 0 1 0 287483538 225558528 52767 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 55068 52767 192 642 0 54424 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 220272
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29870004/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=226172 CPUtime=522.13 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 56794 0 0 0 52076 137 0 0 20 0 1 0 287483538 231600128 54243 33554432000 134512640 137138936 4291769472 4291768400 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 56543 54243 192 642 0 55899 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 226172
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26813
/proc/meminfo: memFree=29855036/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=229844 CPUtime=582.11 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 57754 0 0 0 58070 141 0 0 20 0 1 0 287483538 235360256 55190 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 57461 55190 192 642 0 56817 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 229844
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29624660/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=315812 CPUtime=1062.03 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 79261 0 0 0 106026 177 0 0 20 0 1 0 287483538 323391488 76681 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 78953 76681 192 642 0 78309 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 315812
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26818
/proc/meminfo: memFree=29563928/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=339504 CPUtime=1122.01 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 85155 0 0 0 112020 181 0 0 20 0 1 0 287483538 347652096 82575 33554432000 134512640 137138936 4291769472 4291768352 136297647 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 84876 82575 192 642 0 84232 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 339504
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26818
/proc/meminfo: memFree=29503440/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=372968 CPUtime=1182 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 93539 0 0 0 118011 189 0 0 20 0 1 0 287483538 381919232 90959 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 93242 90959 192 642 0 92598 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 372968
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26818
/proc/meminfo: memFree=29449252/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=400840 CPUtime=1242 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 100507 0 0 0 124003 197 0 0 20 0 1 0 287483538 410460160 97927 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 100210 97927 192 642 0 99566 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 400840
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26822
/proc/meminfo: memFree=29387864/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=428820 CPUtime=1301.99 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 107485 0 0 0 129995 204 0 0 20 0 1 0 287483538 439111680 104905 33554432000 134512640 137138936 4291769472 4291768328 136501664 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 107205 104905 192 642 0 106561 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 428820
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26822
/proc/meminfo: memFree=29343400/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=456460 CPUtime=1361.95 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 114437 0 0 0 135987 208 0 0 20 0 1 0 287483538 467415040 111817 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 114115 111817 192 642 0 113471 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 456460
[startup+1422.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 26822
/proc/meminfo: memFree=29290976/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=481512 CPUtime=1421.91 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 120742 0 0 0 141977 214 0 0 20 0 1 0 287483538 493068288 118077 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 120378 118077 192 642 0 119734 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 481512
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26822
/proc/meminfo: memFree=29267864/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=493452 CPUtime=1481.87 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 123771 0 0 0 147970 217 0 0 20 0 1 0 287483538 505294848 121083 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 123363 121083 192 642 0 122719 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 493452
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26822
/proc/meminfo: memFree=29245792/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=497468 CPUtime=1541.86 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 124779 0 0 0 153967 219 0 0 20 0 1 0 287483538 509407232 122091 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 124367 122091 192 642 0 123723 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 497468
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29231408/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=501548 CPUtime=1601.85 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 125797 0 0 0 159965 220 0 0 20 0 1 0 287483538 513585152 123109 33554432000 134512640 137138936 4291769472 4291768400 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 125387 123109 192 642 0 124743 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 501548
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29220992/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=507092 CPUtime=1661.84 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 127160 0 0 0 165962 222 0 0 20 0 1 0 287483538 519262208 124472 33554432000 134512640 137138936 4291769472 4291768376 136520963 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 126773 124472 192 642 0 126129 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 507092
[startup+1722.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26823
/proc/meminfo: memFree=29212492/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=512100 CPUtime=1721.83 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 128433 0 0 0 171960 223 0 0 20 0 1 0 287483538 524390400 125745 33554432000 134512640 137138936 4291769472 4291768400 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 128025 125745 192 642 0 127381 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 512100
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26823
/proc/meminfo: memFree=29203096/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=516752 CPUtime=1781.82 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129598 0 0 0 177954 228 0 0 20 0 1 0 287483538 529154048 126910 33554432000 134512640 137138936 4291769472 4291768392 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129188 126910 192 642 0 128544 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 516752
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26823
/proc/meminfo: memFree=29201964/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517248 CPUtime=1791.53 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129729 0 0 0 178925 228 0 0 20 0 1 0 287483538 529661952 127041 33554432000 134512640 137138936 4291769472 4291768332 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129312 127041 192 642 0 128668 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 517248
[startup+1795.2 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29776356/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517624 CPUtime=1794.72 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129793 0 0 0 179244 228 0 0 20 0 1 0 287483538 530046976 127105 33554432000 134512640 137138936 4291769472 4291768400 134542620 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129406 127105 192 642 0 128762 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 517624
[startup+1796.8 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29728740/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517624 CPUtime=1796.32 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129813 0 0 0 179404 228 0 0 20 0 1 0 287483538 530046976 127125 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129406 127125 192 642 0 128762 0
Current children cumulated CPU time (s) 1796.32
Current children cumulated vsize (KiB) 517624
[startup+1797.6 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29688308/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517624 CPUtime=1797.12 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129813 0 0 0 179484 228 0 0 20 0 1 0 287483538 530046976 127125 33554432000 134512640 137138936 4291769472 4291768400 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129406 127125 192 642 0 128762 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (KiB) 517624
[startup+1798.4 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29688308/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517788 CPUtime=1797.92 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129834 0 0 0 179564 228 0 0 20 0 1 0 287483538 530214912 127146 33554432000 134512640 137138936 4291769472 4291768400 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129447 127146 192 642 0 128803 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 517788
[startup+1798.61 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26861
/proc/meminfo: memFree=29624324/32873844 swapFree=7108/7108
[pid=26784] ppid=26782 vsize=517788 CPUtime=1798.12 cores=1,3,5,7
/proc/26784/stat : 26784 (bsolo) R 26782 26784 23491 0 -1 4202496 129834 0 0 0 179584 228 0 0 20 0 1 0 287483538 530214912 127146 33554432000 134512640 137138936 4291769472 4291768332 136520975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26784/statm: 129447 127146 192 642 0 128803 0
Current children cumulated CPU time (s) 1798.12
Current children cumulated vsize (KiB) 517788
Child status: 0
Real time (s): 1798.62
CPU time (s): 1798.15
CPU user time (s): 1795.86
CPU system time (s): 2.29265
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 517788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.85
system time used= 2.29265
maximum resident set size= 508584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 129834
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= 232
involuntary context switches= 1844
runsolver used 2.54961 second user time and 8.90664 second system time
The end