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-3741829-1338776646/watcher-3741829-1338776646 -o /tmp/evaluation-result-3741829-1338776646/solver-3741829-1338776646 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3741829-1338776646.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.00 2.00 1.92 3/176 2242
/proc/meminfo: memFree=26920484/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=11636 CPUtime=0 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 393 0 0 0 0 0 0 0 20 0 1 0 343790687 11915264 347 33554432000 134512640 137136520 4291504784 4291503248 136575102 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2242/statm: 2909 347 186 641 0 2159 0
[startup+0.0878519 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 2242
/proc/meminfo: memFree=26920484/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=13264 CPUtime=0.08 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 1004 0 0 0 8 0 0 0 20 0 1 0 343790687 13582336 852 33554432000 134512640 137136520 4291504784 4291422700 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2242/statm: 3316 852 189 641 0 2672 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13264
[startup+0.100145 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 2242
/proc/meminfo: memFree=26920484/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=13264 CPUtime=0.09 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 1004 0 0 0 9 0 0 0 20 0 1 0 343790687 13582336 852 33554432000 134512640 137136520 4291504784 4291422700 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2242/statm: 3316 852 189 641 0 2672 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13264
[startup+0.300104 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 2242
/proc/meminfo: memFree=26920484/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=13264 CPUtime=0.29 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 1005 0 0 0 29 0 0 0 20 0 1 0 343790687 13582336 853 33554432000 134512640 137136520 4291504784 4291422700 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2242/statm: 3316 853 189 641 0 2672 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13264
[startup+0.700103 s]
/proc/loadavg: 2.00 2.00 1.92 3/176 2242
/proc/meminfo: memFree=26920484/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=13264 CPUtime=0.69 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 1005 0 0 0 69 0 0 0 20 0 1 0 343790687 13582336 853 33554432000 134512640 137136520 4291504784 4291422700 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2242/statm: 3316 853 189 641 0 2672 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13264
[startup+1.5001 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2243
/proc/meminfo: memFree=26918004/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=13824 CPUtime=1.49 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 1289 0 0 0 148 1 0 0 20 0 1 0 343790687 14155776 1023 33554432000 134512640 137136520 4291504784 4291503900 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2242/statm: 3456 1023 198 641 0 2812 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13824
[startup+3.1001 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2243
/proc/meminfo: memFree=26916688/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=17204 CPUtime=3.09 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 2137 0 0 0 301 8 0 0 20 0 1 0 343790687 17616896 1871 33554432000 134512640 137136520 4291504784 4291503900 136568305 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/2242/statm: 4301 1871 198 641 0 3657 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17204
[startup+6.30019 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2243
/proc/meminfo: memFree=26910364/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=24244 CPUtime=6.29 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 3908 0 0 0 612 17 0 0 20 0 1 0 343790687 24825856 3642 33554432000 134512640 137136520 4291504784 4291503712 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 6061 3642 198 641 0 5417 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24244
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2243
/proc/meminfo: memFree=26892808/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=40652 CPUtime=12.69 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 8012 0 0 0 1241 28 0 0 20 0 1 0 343790687 41627648 7746 33554432000 134512640 137136520 4291504784 4291503376 134616680 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 10163 7746 198 641 0 9519 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 40652
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 2243
/proc/meminfo: memFree=26853864/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=76116 CPUtime=25.48 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 16873 0 0 0 2511 37 0 0 20 0 1 0 343790687 77942784 16600 33554432000 134512640 137136520 4291504784 4291503900 136568305 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 19029 16600 198 641 0 18385 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 76116
[startup+51.1003 s]
/proc/loadavg: 2.07 2.02 1.93 3/177 2243
/proc/meminfo: memFree=26807084/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=120468 CPUtime=51.08 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 28014 0 0 0 5051 57 0 0 20 0 1 0 343790687 123359232 27677 33554432000 134512640 137136520 4291504784 4291503712 134543948 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 30117 27677 198 641 0 29473 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 120468
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.93 3/177 2243
/proc/meminfo: memFree=26720932/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=198232 CPUtime=102.28 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 48189 0 0 0 10148 80 0 0 20 0 1 0 343790687 202989568 47145 33554432000 134512640 137136520 4291504784 4291503712 134544176 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 49558 47145 198 641 0 48914 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 198232
[startup+162.3 s]
/proc/loadavg: 2.08 2.02 1.93 3/176 2243
/proc/meminfo: memFree=26635436/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=272160 CPUtime=162.24 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 66673 0 0 0 16122 102 0 0 20 0 1 0 343790687 278691840 65622 33554432000 134512640 137136520 4291504784 4291503712 134543939 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 68040 65622 198 641 0 67396 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 272160
[startup+222.3 s]
/proc/loadavg: 2.03 2.02 1.93 3/178 2246
/proc/meminfo: memFree=26557204/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=339892 CPUtime=222.2 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 83697 0 0 0 22095 125 0 0 20 0 1 0 343790687 348049408 82553 33554432000 134512640 137136520 4291504784 4291503448 136502385 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 84973 82553 198 641 0 84329 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 339892
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/177 2246
/proc/meminfo: memFree=26484824/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=404536 CPUtime=282.16 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 100112 0 0 0 28075 141 0 0 20 0 1 0 343790687 414244864 98726 33554432000 134512640 137136520 4291504784 4291503712 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 101134 98726 198 641 0 100490 0
Current children cumulated CPU time (s) 282.16
Current children cumulated vsize (KiB) 404536
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2246
/proc/meminfo: memFree=26414920/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=464612 CPUtime=342.11 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 115372 0 0 0 34061 150 0 0 20 0 1 0 343790687 475762688 113721 33554432000 134512640 137136520 4291504784 4291503680 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 116153 113721 198 641 0 115509 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 464612
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 2249
/proc/meminfo: memFree=26340680/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=530616 CPUtime=402.08 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 133848 0 0 0 40044 164 0 0 20 0 1 0 343790687 543350784 130248 33554432000 134512640 137136520 4291504784 4291503712 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 132654 130248 198 641 0 132010 0
Current children cumulated CPU time (s) 402.08
Current children cumulated vsize (KiB) 530616
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2249
/proc/meminfo: memFree=26283660/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=580160 CPUtime=462.04 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 146269 0 0 0 46028 176 0 0 20 0 1 0 343790687 594083840 142611 33554432000 134512640 137136520 4291504784 4291503712 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 145040 142611 198 641 0 144396 0
Current children cumulated CPU time (s) 462.04
Current children cumulated vsize (KiB) 580160
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2250
/proc/meminfo: memFree=26215380/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=641136 CPUtime=521.99 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 161631 0 0 0 52013 186 0 0 20 0 1 0 343790687 656523264 157881 33554432000 134512640 137136520 4291504784 4291503712 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 160284 157881 198 641 0 159640 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 641136
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 2250
/proc/meminfo: memFree=26112724/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=733216 CPUtime=581.96 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 186471 0 0 0 58000 196 0 0 20 0 1 0 343790687 750813184 180896 33554432000 134512640 137136520 4291504784 4291503712 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 183304 180896 198 641 0 182660 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 733216
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=25982784/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1077420 CPUtime=1061.88 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 277901 0 0 0 105938 250 0 0 20 0 1 0 343790687 1103278080 266949 33554432000 134512640 137136520 4291504784 4291503376 134616694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 269355 266949 198 641 0 268711 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 1077420
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/177 2303
/proc/meminfo: memFree=25843036/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1142168 CPUtime=1121.87 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 298958 0 0 0 111931 256 0 0 20 0 1 0 343790687 1169580032 283137 33554432000 134512640 137136520 4291504784 4291503108 136498202 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 285542 283137 198 641 0 284898 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 1142168
[startup+1182.3 s]
/proc/loadavg: 2.06 2.02 1.94 3/177 2303
/proc/meminfo: memFree=25685184/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1203184 CPUtime=1181.86 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 319515 0 0 0 117923 263 0 0 20 0 1 0 343790687 1232060416 298393 33554432000 134512640 137136520 4291504784 4291503712 134544402 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 300796 298393 198 641 0 300152 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1203184
[startup+1242.3 s]
/proc/loadavg: 2.08 2.03 1.95 3/177 2303
/proc/meminfo: memFree=25566204/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1253304 CPUtime=1241.85 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 335080 0 0 0 123917 268 0 0 20 0 1 0 343790687 1283383296 310917 33554432000 134512640 137136520 4291504784 4291503712 134543918 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 313326 310917 198 641 0 312682 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 1253304
[startup+1302.3 s]
/proc/loadavg: 2.13 2.05 1.96 3/177 2303
/proc/meminfo: memFree=25441244/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1317620 CPUtime=1301.82 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 354441 0 0 0 129909 273 0 0 20 0 1 0 343790687 1349242880 326977 33554432000 134512640 137136520 4291504784 4291503376 134616694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 329405 326977 198 641 0 328761 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1317620
[startup+1362.3 s]
/proc/loadavg: 2.15 2.07 1.97 3/177 2303
/proc/meminfo: memFree=25334028/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1365440 CPUtime=1361.78 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 367410 0 0 0 135897 281 0 0 20 0 1 0 343790687 1398210560 338937 33554432000 134512640 137136520 4291504784 4291503632 136501952 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 341360 338937 198 641 0 340716 0
Current children cumulated CPU time (s) 1361.78
Current children cumulated vsize (KiB) 1365440
[startup+1422.31 s]
/proc/loadavg: 2.20 2.10 1.98 3/177 2304
/proc/meminfo: memFree=25179660/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1437584 CPUtime=1421.75 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 387098 0 0 0 141887 288 0 0 20 0 1 0 343790687 1472086016 356983 33554432000 134512640 137136520 4291504784 4291503712 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 359396 356983 198 641 0 358752 0
Current children cumulated CPU time (s) 1421.75
Current children cumulated vsize (KiB) 1437584
[startup+1482.3 s]
/proc/loadavg: 2.13 2.09 1.99 3/177 2304
/proc/meminfo: memFree=25059440/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1499696 CPUtime=1481.72 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 405053 0 0 0 147878 294 0 0 20 0 1 0 343790687 1535688704 372507 33554432000 134512640 137136520 4291504784 4291503712 134543971 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 374924 372507 198 641 0 374280 0
Current children cumulated CPU time (s) 1481.72
Current children cumulated vsize (KiB) 1499696
[startup+1542.3 s]
/proc/loadavg: 2.11 2.09 2.00 3/177 2304
/proc/meminfo: memFree=24942932/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1553172 CPUtime=1541.69 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 420224 0 0 0 153869 300 0 0 20 0 1 0 343790687 1590448128 385886 33554432000 134512640 137136520 4291504784 4291503712 134543957 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 388293 385886 198 641 0 387649 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 1553172
[startup+1602.3 s]
/proc/loadavg: 2.10 2.09 2.00 3/178 2307
/proc/meminfo: memFree=24847280/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1595592 CPUtime=1601.65 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 431872 0 0 0 159860 305 0 0 20 0 1 0 343790687 1633886208 396470 33554432000 134512640 137136520 4291504784 4291503712 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 398898 396470 198 641 0 398254 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 1595592
[startup+1662.3 s]
/proc/loadavg: 2.04 2.07 2.00 3/177 2307
/proc/meminfo: memFree=24747128/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1644588 CPUtime=1661.62 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 445973 0 0 0 165851 311 0 0 20 0 1 0 343790687 1684058112 408716 33554432000 134512640 137136520 4291504784 4291503680 134543865 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 411147 408716 198 641 0 410503 0
Current children cumulated CPU time (s) 1661.62
Current children cumulated vsize (KiB) 1644588
[startup+1722.3 s]
/proc/loadavg: 2.07 2.07 2.00 3/177 2308
/proc/meminfo: memFree=24655396/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1687520 CPUtime=1721.58 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 457814 0 0 0 171843 315 0 0 20 0 1 0 343790687 1728020480 419457 33554432000 134512640 137136520 4291504784 4291503376 134616694 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 421880 419457 198 641 0 421236 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 1687520
[startup+1782.3 s]
/proc/loadavg: 2.09 2.07 2.00 3/177 2308
/proc/meminfo: memFree=24568004/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1727052 CPUtime=1781.56 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 468077 0 0 0 177835 321 0 0 20 0 1 0 343790687 1768501248 429360 33554432000 134512640 137136520 4291504784 4291503712 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 431763 429360 198 641 0 431119 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 1727052
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.07 2.07 2.00 3/177 2308
/proc/meminfo: memFree=24550256/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1735896 CPUtime=1791.15 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 470287 0 0 0 178794 321 0 0 20 0 1 0 343790687 1777557504 431547 33554432000 134512640 137136520 4291504784 4291503408 134542173 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 433974 431547 198 641 0 433330 0
Current children cumulated CPU time (s) 1791.15
Current children cumulated vsize (KiB) 1735896
[startup+1795.1 s]
/proc/loadavg: 2.07 2.07 2.00 3/177 2308
/proc/meminfo: memFree=24542552/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1739680 CPUtime=1794.35 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 471396 0 0 0 179113 322 0 0 20 0 1 0 343790687 1781432320 432517 33554432000 134512640 137136520 4291504784 4291503636 136509014 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 434920 432517 198 641 0 434276 0
Current children cumulated CPU time (s) 1794.35
Current children cumulated vsize (KiB) 1739680
[startup+1796.7 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 2308
/proc/meminfo: memFree=24540196/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1741388 CPUtime=1795.94 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 471917 0 0 0 179272 322 0 0 20 0 1 0 343790687 1783181312 432943 33554432000 134512640 137136520 4291504784 4291503680 134544148 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 435347 432943 198 641 0 434703 0
Current children cumulated CPU time (s) 1795.94
Current children cumulated vsize (KiB) 1741388
[startup+1797.5 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 2308
/proc/meminfo: memFree=24538212/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1741820 CPUtime=1796.74 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 472032 0 0 0 179352 322 0 0 20 0 1 0 343790687 1783623680 433052 33554432000 134512640 137136520 4291504784 4291503712 134543831 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 435455 433052 198 641 0 434811 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 1741820
[startup+1798.3 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 2308
/proc/meminfo: memFree=24538212/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1742776 CPUtime=1797.54 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 472364 0 0 0 179432 322 0 0 20 0 1 0 343790687 1784602624 433281 33554432000 134512640 137136520 4291504784 4291503712 134544112 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 435694 433281 198 641 0 435050 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 1742776
[startup+1798.7 s]
/proc/loadavg: 2.07 2.06 2.00 3/177 2308
/proc/meminfo: memFree=24535608/32873648 swapFree=6860/6860
[pid=2242] ppid=2240 vsize=1743672 CPUtime=1797.94 cores=0,2,4,6
/proc/2242/stat : 2242 (bsolo) R 2240 2242 2050 0 -1 4202496 472590 0 0 0 179472 322 0 0 20 0 1 0 343790687 1785520128 433507 33554432000 134512640 137136520 4291504784 4291503712 134544256 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/2242/statm: 435918 433507 198 641 0 435274 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 1743672
Child status: 0
Real time (s): 1798.78
CPU time (s): 1798.03
CPU user time (s): 1794.79
CPU system time (s): 3.23951
CPU usage (%): 99.9585
Max. virtual memory (cumulated for all children) (KiB): 1743672
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.79
system time used= 3.23951
maximum resident set size= 1734072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 472602
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= 721
involuntary context switches= 1922
runsolver used 2.58761 second user time and 7.28289 second system time
The end