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-3707616-1338213882/watcher-3707616-1338213882 -o /tmp/evaluation-result-3707616-1338213882/solver-3707616-1338213882 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707616-1338213882.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.04 2.01 2.00 3/176 16855
/proc/meminfo: memFree=30647292/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=60628 CPUtime=0 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 287513187 62083072 279 33554432000 134512640 137138936 4294877664 4294875880 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 15157 281 183 642 0 2089 0
[startup+0.103794 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 16855
/proc/meminfo: memFree=30647292/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=65408 CPUtime=0.1 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 1923 0 0 0 10 0 0 0 20 0 1 0 287513187 66977792 1876 33554432000 134512640 137138936 4294877664 4294876072 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 16385 1877 567 642 0 3317 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 65408
[startup+0.200302 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 16855
/proc/meminfo: memFree=30647292/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=69912 CPUtime=0.19 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 3392 0 0 0 19 0 0 0 20 0 1 0 287513187 71589888 3345 33554432000 134512640 137138936 4294877664 4294875880 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 17478 3345 932 642 0 4410 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 69912
[startup+0.300291 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 16855
/proc/meminfo: memFree=30647292/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=74552 CPUtime=0.29 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 4931 0 0 0 29 0 0 0 20 0 1 0 287513187 76341248 4884 33554432000 134512640 137138936 4294877664 4294876144 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 18638 4885 1316 642 0 5570 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 74552
[startup+0.700257 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 16855
/proc/meminfo: memFree=30647292/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=92764 CPUtime=0.69 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 11007 0 0 0 68 1 0 0 20 0 1 0 287513187 94990336 10960 33554432000 134512640 137138936 4294877664 4294876432 134519766 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 23191 10962 2843 642 0 10123 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 92764
[startup+1.50027 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16856
/proc/meminfo: memFree=30597444/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=126260 CPUtime=1.49 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 22404 0 0 0 147 2 0 0 20 0 1 0 287513187 129290240 22317 33554432000 134512640 137138936 4294877664 4294875880 136506636 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 31565 22318 5846 642 0 18497 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 126260
[startup+3.10025 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16856
/proc/meminfo: memFree=30553176/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=188860 CPUtime=3.09 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 43732 0 0 0 303 6 0 0 20 0 1 0 287513187 193392640 43566 33554432000 134512640 137138936 4294877664 4294875880 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 47215 43566 11479 642 0 34147 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 188860
[startup+6.30029 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16856
/proc/meminfo: memFree=30376716/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=281612 CPUtime=6.29 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 80406 0 0 0 613 16 0 0 20 0 1 0 287513187 288370688 67721 33554432000 134512640 137138936 4294877664 4294295228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 70403 67721 184 642 0 69759 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 281612
[startup+12.7003 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 16856
/proc/meminfo: memFree=30376724/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=281612 CPUtime=12.69 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 80412 0 0 0 1247 22 0 0 20 0 1 0 287513187 288370688 67727 33554432000 134512640 137138936 4294877664 4294295228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 70403 67727 184 642 0 69759 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 281612
[startup+25.5002 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16856
/proc/meminfo: memFree=30376940/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=281612 CPUtime=25.49 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 80420 0 0 0 2519 30 0 0 20 0 1 0 287513187 288370688 67735 33554432000 134512640 137138936 4294877664 4294295228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 70403 67735 184 642 0 69759 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 281612
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16856
/proc/meminfo: memFree=30376660/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=281612 CPUtime=51.08 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 80430 0 0 0 5069 39 0 0 20 0 1 0 287513187 288370688 67745 33554432000 134512640 137138936 4294877664 4294295228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 70403 67745 184 642 0 69759 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 281612
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 16856
/proc/meminfo: memFree=30374280/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=281744 CPUtime=102.28 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 80445 0 0 0 10173 55 0 0 20 0 1 0 287513187 288505856 67760 33554432000 134512640 137138936 4294877664 4294295184 134540169 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 70436 67760 184 642 0 69792 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 281744
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16857
/proc/meminfo: memFree=30376236/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=281744 CPUtime=162.27 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 80459 0 0 0 16156 71 0 0 20 0 1 0 287513187 288505856 67774 33554432000 134512640 137138936 4294877664 4294295228 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 70436 67774 184 642 0 69792 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 281744
[startup+222.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16857
/proc/meminfo: memFree=30379696/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=279196 CPUtime=222.26 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 80512 0 0 0 22141 85 0 0 20 0 1 0 287513187 285896704 67172 33554432000 134512640 137138936 4294877664 4294876376 136505207 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 69799 67172 192 642 0 69155 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 279196
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16858
/proc/meminfo: memFree=30325844/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=334000 CPUtime=282.21 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 94216 0 0 0 28131 90 0 0 20 0 1 0 287513187 342016000 80841 33554432000 134512640 137138936 4294877664 4294876416 134575200 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 83500 80841 192 642 0 82856 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 334000
[startup+342.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 16861
/proc/meminfo: memFree=30280604/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=378064 CPUtime=342.18 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 105277 0 0 0 34124 94 0 0 20 0 1 0 287513187 387137536 91866 33554432000 134512640 137138936 4294877664 4294876780 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 94516 91866 192 642 0 93872 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 378064
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16861
/proc/meminfo: memFree=30245672/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=413300 CPUtime=402.13 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 114132 0 0 0 40117 96 0 0 20 0 1 0 287513187 423219200 100673 33554432000 134512640 137138936 4294877664 4294876560 134542319 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 103325 100673 192 642 0 102681 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 413300
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16862
/proc/meminfo: memFree=30209740/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=448840 CPUtime=462.09 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 123057 0 0 0 46110 99 0 0 20 0 1 0 287513187 459612160 109550 33554432000 134512640 137138936 4294877664 4294876592 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 112210 109550 192 642 0 111566 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 448840
[startup+522.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 16862
/proc/meminfo: memFree=30177192/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=481700 CPUtime=522.06 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 131301 0 0 0 52105 101 0 0 20 0 1 0 287513187 493260800 117881 33554432000 134512640 137138936 4294877664 4294876592 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 120425 117881 192 642 0 119781 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 481700
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16862
/proc/meminfo: memFree=30139496/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=519032 CPUtime=582.05 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 140634 0 0 0 58101 104 0 0 20 0 1 0 287513187 531488768 127214 33554432000 134512640 137138936 4294877664 4294876584 135984584 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 129758 127214 192 642 0 129114 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 519032
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29796972/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=826436 CPUtime=1121.94 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 217534 0 0 0 112069 125 0 0 20 0 1 0 287513187 846270464 204065 33554432000 134512640 137138936 4294877664 4294876592 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 206609 204065 192 642 0 205965 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 826436
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16867
/proc/meminfo: memFree=29762776/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=854628 CPUtime=1181.89 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 224629 0 0 0 118062 127 0 0 20 0 1 0 287513187 875139072 211113 33554432000 134512640 137138936 4294877664 4294876592 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 213657 211113 192 642 0 213013 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 854628
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16867
/proc/meminfo: memFree=29741228/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=870176 CPUtime=1241.85 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 228570 0 0 0 124056 129 0 0 20 0 1 0 287513187 891060224 215006 33554432000 134512640 137138936 4294877664 4294876592 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 217544 215006 192 642 0 216900 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 870176
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16867
/proc/meminfo: memFree=29719308/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=886056 CPUtime=1301.8 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 232582 0 0 0 130049 131 0 0 20 0 1 0 287513187 907321344 218970 33554432000 134512640 137138936 4294877664 4294876592 134542351 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 221514 218970 192 642 0 220870 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 886056
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16867
/proc/meminfo: memFree=29699696/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=899536 CPUtime=1361.78 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 235966 0 0 0 136047 131 0 0 20 0 1 0 287513187 921124864 222340 33554432000 134512640 137138936 4294877664 4294876592 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 224884 222340 192 642 0 224240 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 899536
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16868
/proc/meminfo: memFree=29674268/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=919524 CPUtime=1421.78 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 240963 0 0 0 142045 133 0 0 20 0 1 0 287513187 941592576 227337 33554432000 134512640 137138936 4294877664 4294876592 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 229881 227337 192 642 0 229237 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 919524
[startup+1482.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 16868
/proc/meminfo: memFree=29649964/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=941416 CPUtime=1481.76 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 246435 0 0 0 148042 134 0 0 20 0 1 0 287513187 964009984 232809 33554432000 134512640 137138936 4294877664 4294876592 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 235354 232809 192 642 0 234710 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 941416
[startup+1542.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16909
/proc/meminfo: memFree=30200196/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=967216 CPUtime=1541.76 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 252893 0 0 0 154040 136 0 0 20 0 1 0 287513187 990429184 239267 33554432000 134512640 137138936 4294877664 4294876592 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 241804 239267 192 642 0 241160 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 967216
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 16947
/proc/meminfo: memFree=30074344/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1006116 CPUtime=1601.74 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 262611 0 0 0 160034 140 0 0 20 0 1 0 287513187 1030262784 248985 33554432000 134512640 137138936 4294877664 4294876592 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 251529 248985 192 642 0 250885 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 1006116
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16947
/proc/meminfo: memFree=30053884/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1025736 CPUtime=1661.73 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 267516 0 0 0 166032 141 0 0 20 0 1 0 287513187 1050353664 253890 33554432000 134512640 137138936 4294877664 4294876592 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 256434 253890 192 642 0 255790 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 1025736
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16948
/proc/meminfo: memFree=30032928/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1046972 CPUtime=1721.73 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 272835 0 0 0 172030 143 0 0 20 0 1 0 287513187 1072099328 259209 33554432000 134512640 137138936 4294877664 4294876592 134542295 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 261743 259209 192 642 0 261099 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 1046972
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 16955
/proc/meminfo: memFree=30143188/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1048232 CPUtime=1781.71 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 273362 0 0 0 178028 143 0 0 20 0 1 0 287513187 1073389568 259513 33554432000 134512640 137138936 4294877664 4294876516 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 262058 259513 192 642 0 261414 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1048232
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16986
/proc/meminfo: memFree=30124176/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1048232 CPUtime=1791.42 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 273362 0 0 0 178998 144 0 0 20 0 1 0 287513187 1073389568 259513 33554432000 134512640 137138936 4294877664 4294876592 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 262058 259513 192 642 0 261414 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 1048232
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16986
/proc/meminfo: memFree=30130880/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1048232 CPUtime=1794.62 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 273362 0 0 0 179318 144 0 0 20 0 1 0 287513187 1073389568 259513 33554432000 134512640 137138936 4294877664 4294876412 135984593 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 262058 259513 192 642 0 261414 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 1048232
[startup+1796.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16986
/proc/meminfo: memFree=30128648/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1048232 CPUtime=1796.22 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 273362 0 0 0 179478 144 0 0 20 0 1 0 287513187 1073389568 259513 33554432000 134512640 137138936 4294877664 4294876200 136504029 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 262058 259513 192 642 0 261414 0
Current children cumulated CPU time (s) 1796.22
Current children cumulated vsize (KiB) 1048232
[startup+1797.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16986
/proc/meminfo: memFree=30127168/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1048232 CPUtime=1797.02 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 273362 0 0 0 179558 144 0 0 20 0 1 0 287513187 1073389568 259513 33554432000 134512640 137138936 4294877664 4294875892 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 262058 259513 192 642 0 261414 0
Current children cumulated CPU time (s) 1797.02
Current children cumulated vsize (KiB) 1048232
[startup+1798 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16986
/proc/meminfo: memFree=30127168/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1048232 CPUtime=1797.42 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 273362 0 0 0 179598 144 0 0 20 0 1 0 287513187 1073389568 259513 33554432000 134512640 137138936 4294877664 4294876592 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 262058 259513 192 642 0 261414 0
Current children cumulated CPU time (s) 1797.42
Current children cumulated vsize (KiB) 1048232
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16986
/proc/meminfo: memFree=30127168/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1048232 CPUtime=1797.82 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 273362 0 0 0 179638 144 0 0 20 0 1 0 287513187 1073389568 259513 33554432000 134512640 137138936 4294877664 4294875976 136504512 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 262058 259513 192 642 0 261414 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 1048232
[startup+1798.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16986
/proc/meminfo: memFree=30125184/32873844 swapFree=7112/7112
[pid=16855] ppid=16853 vsize=1048232 CPUtime=1797.92 cores=0,2,4,6
/proc/16855/stat : 16855 (bsolo) R 16853 16855 10153 0 -1 4202496 273362 0 0 0 179648 144 0 0 20 0 1 0 287513187 1073389568 259513 33554432000 134512640 137138936 4294877664 4294876592 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/16855/statm: 262058 259513 192 642 0 261414 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 1048232
Child status: 0
Real time (s): 1798.6
CPU time (s): 1798.02
CPU user time (s): 1796.56
CPU system time (s): 1.45678
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 1049124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.56
system time used= 1.45678
maximum resident set size= 1038944
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273362
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= 404
involuntary context switches= 2055
runsolver used 3.2565 second user time and 8.5417 second system time
The end