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-3707703-1338229948/watcher-3707703-1338229948 -o /tmp/evaluation-result-3707703-1338229948/solver-3707703-1338229948 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707703-1338229948.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.10 2.04 2.00 4/176 24789
/proc/meminfo: memFree=31024424/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=19256 CPUtime=0 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 289119372 19718144 309 33554432000 134512640 137138936 4291164000 4291162280 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24789/statm: 4814 309 177 642 0 4078 0
[startup+0.0132271 s]
/proc/loadavg: 2.10 2.04 2.00 4/176 24789
/proc/meminfo: memFree=31024424/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=11716 CPUtime=0.01 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 449 0 0 0 1 0 0 0 20 0 1 0 289119372 11997184 402 33554432000 134512640 137138936 4291164000 4291162512 136577166 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24789/statm: 2929 402 199 642 0 2193 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 11716
[startup+0.100204 s]
/proc/loadavg: 2.10 2.04 2.00 4/176 24789
/proc/meminfo: memFree=31024424/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=12916 CPUtime=0.09 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 902 0 0 0 9 0 0 0 20 0 1 0 289119372 13225984 763 33554432000 134512640 137138936 4291164000 4291092120 136504212 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24789/statm: 3229 763 184 642 0 2585 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12916
[startup+0.300174 s]
/proc/loadavg: 2.10 2.04 2.00 4/176 24789
/proc/meminfo: memFree=31024424/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=12916 CPUtime=0.29 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 903 0 0 0 29 0 0 0 20 0 1 0 289119372 13225984 764 33554432000 134512640 137138936 4291164000 4291092328 135984558 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24789/statm: 3229 764 184 642 0 2585 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12916
[startup+0.700172 s]
/proc/loadavg: 2.10 2.04 2.00 4/176 24789
/proc/meminfo: memFree=31024424/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=12916 CPUtime=0.69 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 903 0 0 0 69 0 0 0 20 0 1 0 289119372 13225984 764 33554432000 134512640 137138936 4291164000 4291092120 136504025 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24789/statm: 3229 764 184 642 0 2585 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12916
[startup+1.50018 s]
/proc/loadavg: 2.10 2.04 2.00 4/177 24790
/proc/meminfo: memFree=31017844/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=13788 CPUtime=1.48 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 1252 0 0 0 147 1 0 0 20 0 1 0 289119372 14118912 1024 33554432000 134512640 137138936 4291164000 4291162920 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24789/statm: 3447 1024 192 642 0 2803 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13788
[startup+3.10018 s]
/proc/loadavg: 2.10 2.04 2.00 3/177 24790
/proc/meminfo: memFree=31012380/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=18724 CPUtime=3.09 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 2470 0 0 0 305 4 0 0 20 0 1 0 289119372 19173376 2242 33554432000 134512640 137138936 4291164000 4291162448 136297742 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24789/statm: 4681 2242 192 642 0 4037 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18724
[startup+6.30018 s]
/proc/loadavg: 2.09 2.04 2.00 4/177 24790
/proc/meminfo: memFree=30992796/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=28260 CPUtime=6.29 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 4867 0 0 0 620 9 0 0 20 0 1 0 289119372 28938240 4635 33554432000 134512640 137138936 4291164000 4291162424 134606598 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/24789/statm: 7065 4635 192 642 0 6421 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 28260
[startup+12.7002 s]
/proc/loadavg: 2.08 2.04 2.00 4/177 24790
/proc/meminfo: memFree=30957364/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=45648 CPUtime=12.68 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 9285 0 0 0 1257 11 0 0 20 0 1 0 289119372 46743552 8977 33554432000 134512640 137138936 4291164000 4291162608 134544782 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 11412 8977 192 642 0 10768 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 45648
[startup+25.5003 s]
/proc/loadavg: 2.06 2.04 2.00 4/176 24790
/proc/meminfo: memFree=30886552/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=85976 CPUtime=25.48 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 19418 0 0 0 2532 16 0 0 20 0 1 0 289119372 88039424 19072 33554432000 134512640 137138936 4291164000 4291162528 134603105 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 21494 19072 192 642 0 20850 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85976
[startup+51.1002 s]
/proc/loadavg: 2.04 2.03 2.00 4/176 24790
/proc/meminfo: memFree=30793132/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=135604 CPUtime=51.08 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 32312 0 0 0 5087 21 0 0 20 0 1 0 289119372 138858496 31484 33554432000 134512640 137138936 4291164000 4291163116 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 33901 31484 192 642 0 33257 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 135604
[startup+102.306 s]
/proc/loadavg: 2.02 2.03 2.00 4/177 24792
/proc/meminfo: memFree=30593652/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=237424 CPUtime=102.27 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 59166 0 0 0 10194 33 0 0 20 0 1 0 289119372 243122176 56935 33554432000 134512640 137138936 4291164000 4291162920 135984569 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 59356 56935 192 642 0 58712 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 237424
[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 4/178 24793
/proc/meminfo: memFree=30410648/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=321132 CPUtime=162.26 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 81683 0 0 0 16183 43 0 0 20 0 1 0 289119372 328839168 77861 33554432000 134512640 137138936 4291164000 4291162928 134542295 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 80283 77861 192 642 0 79639 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 321132
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 24793
/proc/meminfo: memFree=30249732/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=400900 CPUtime=222.25 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 104309 0 0 0 22175 50 0 0 20 0 1 0 289119372 410521600 97798 33554432000 134512640 137138936 4291164000 4291162424 134606982 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 100225 97798 192 642 0 99581 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 400900
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 4/177 24793
/proc/meminfo: memFree=30099844/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=471228 CPUtime=282.24 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 122562 0 0 0 28167 57 0 0 20 0 1 0 289119372 482537472 115382 33554432000 134512640 137138936 4291164000 4291162928 134542484 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 117807 115382 192 642 0 117163 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 471228
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24793
/proc/meminfo: memFree=30002180/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=528648 CPUtime=342.21 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 137152 0 0 0 34160 61 0 0 20 0 1 0 289119372 541335552 129727 33554432000 134512640 137138936 4291164000 4291162420 136511176 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 132162 129727 192 642 0 131518 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 528648
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24794
/proc/meminfo: memFree=29871140/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=594960 CPUtime=402.18 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 156220 0 0 0 40150 68 0 0 20 0 1 0 289119372 609239040 146331 33554432000 134512640 137138936 4291164000 4291162928 134542233 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 148740 146331 192 642 0 148096 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 594960
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 24797
/proc/meminfo: memFree=29729048/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=670992 CPUtime=462.14 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 176501 0 0 0 46138 76 0 0 20 0 1 0 289119372 687095808 165314 33554432000 134512640 137138936 4291164000 4291163116 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 167748 165314 192 642 0 167104 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 670992
[startup+522.3 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 24797
/proc/meminfo: memFree=29612408/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=751420 CPUtime=522.09 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 197376 0 0 0 52123 86 0 0 20 0 1 0 289119372 769454080 185426 33554432000 134512640 137138936 4291164000 4291163116 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 187855 185426 192 642 0 187211 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 751420
[startup+582.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 24797
/proc/meminfo: memFree=29484716/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=821200 CPUtime=582.05 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 215574 0 0 0 58111 94 0 0 20 0 1 0 289119372 840908800 202865 33554432000 134512640 137138936 4291164000 4291162544 134607615 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 205300 202865 192 642 0 204656 0
Current children cumulated CPU time (s) 582.05
Current children cumulated vsize (KiB) 821200
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=28969732/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1121.81 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 112034 147 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542624 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 1043028
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24802
/proc/meminfo: memFree=28969732/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1181.8 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 118026 154 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 1043028
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24802
/proc/meminfo: memFree=28969360/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1241.79 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 124019 160 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162424 134606592 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1043028
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24802
/proc/meminfo: memFree=28969084/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1301.79 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 130010 169 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542516 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 1043028
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24803
/proc/meminfo: memFree=28969360/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1361.77 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 136003 174 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542351 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1361.77
Current children cumulated vsize (KiB) 1043028
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24803
/proc/meminfo: memFree=28969636/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1421.77 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 142001 176 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1043028
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24803
/proc/meminfo: memFree=28969416/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1481.75 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 147998 177 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1043028
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 4/177 24803
/proc/meminfo: memFree=28969692/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1541.74 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 153997 177 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542490 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 1043028
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 4/177 24803
/proc/meminfo: memFree=28969572/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1601.73 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 159994 179 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1043028
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 24807
/proc/meminfo: memFree=28969432/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1661.72 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 165991 181 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162896 134542301 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 1043028
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/178 24829
/proc/meminfo: memFree=28969052/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1721.71 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 171988 183 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542316 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 1043028
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24829
/proc/meminfo: memFree=28968952/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1781.71 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 177984 187 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 1043028
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 24829
/proc/meminfo: memFree=28968952/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1791.31 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 178944 187 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162344 134599801 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1791.31
Current children cumulated vsize (KiB) 1043028
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24867
/proc/meminfo: memFree=29997828/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1794.51 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 179264 187 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542770 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1794.51
Current children cumulated vsize (KiB) 1043028
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24867
/proc/meminfo: memFree=29996712/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1796.1 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 179423 187 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1796.1
Current children cumulated vsize (KiB) 1043028
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24867
/proc/meminfo: memFree=29994480/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1796.91 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 179503 188 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542339 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1796.91
Current children cumulated vsize (KiB) 1043028
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24867
/proc/meminfo: memFree=29994480/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1797.71 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 179583 188 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162928 134542752 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 1043028
[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24867
/proc/meminfo: memFree=29991504/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1797.91 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 179603 188 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162424 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 1043028
[startup+1798.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24867
/proc/meminfo: memFree=29991504/32873844 swapFree=6080/6080
[pid=24789] ppid=24787 vsize=1043028 CPUtime=1798.01 cores=0,2,4,6
/proc/24789/stat : 24789 (bsolo) R 24787 24789 24091 0 -1 4202496 272650 0 0 0 179613 188 0 0 20 0 1 0 289119372 1068060672 258331 33554432000 134512640 137138936 4291164000 4291162544 134607584 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/24789/statm: 260757 258331 192 642 0 260113 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 1043028
Child status: 0
Real time (s): 1798.66
CPU time (s): 1798.08
CPU user time (s): 1796.19
CPU system time (s): 1.88471
CPU usage (%): 99.9674
Max. virtual memory (cumulated for all children) (KiB): 1043028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.19
system time used= 1.88471
maximum resident set size= 1033736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 272650
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= 477
involuntary context switches= 1861
runsolver used 3.20951 second user time and 9.56455 second system time
The end