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-3738383-1338740740/watcher-3738383-1338740740 -o /tmp/evaluation-result-3738383-1338740740/solver-3738383-1338740740 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3738383-1338740740.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.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=11844 CPUtime=0 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 384 0 0 0 0 0 0 0 20 0 1 0 340198791 12128256 337 33554432000 134512640 137136520 4293150208 4293148488 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 2961 337 189 641 0 2123 0
[startup+0.033234 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=13196 CPUtime=0.03 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 772 0 0 0 3 0 0 0 20 0 1 0 340198791 13512704 725 33554432000 134512640 137136520 4293150208 4293147304 136504651 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3299 725 264 641 0 2461 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13196
[startup+0.100223 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15604 CPUtime=0.09 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1690 0 0 0 9 0 0 0 20 0 1 0 340198791 15978496 1449 33554432000 134512640 137136520 4293150208 4293047820 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3901 1449 189 641 0 3257 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15604
[startup+0.300219 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15604 CPUtime=0.29 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1690 0 0 0 29 0 0 0 20 0 1 0 340198791 15978496 1449 33554432000 134512640 137136520 4293150208 4293047632 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3901 1449 189 641 0 3257 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 15604
[startup+0.700217 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 17720
/proc/meminfo: memFree=29092916/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15604 CPUtime=0.69 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1690 0 0 0 69 0 0 0 20 0 1 0 340198791 15978496 1449 33554432000 134512640 137136520 4293150208 4293047632 134544384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3901 1449 189 641 0 3257 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15604
[startup+1.50022 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17721
/proc/meminfo: memFree=29084012/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15604 CPUtime=1.49 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1690 0 0 0 149 0 0 0 20 0 1 0 340198791 15978496 1449 33554432000 134512640 137136520 4293150208 4293047632 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3901 1449 189 641 0 3257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15604
[startup+3.10022 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 17721
/proc/meminfo: memFree=29080516/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15816 CPUtime=3.09 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1791 0 0 0 309 0 0 0 20 0 1 0 340198791 16195584 1484 33554432000 134512640 137136520 4293150208 4293047612 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3954 1484 191 641 0 3310 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15816
[startup+6.30022 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17721
/proc/meminfo: memFree=29074208/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=15816 CPUtime=6.29 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 1791 0 0 0 628 1 0 0 20 0 1 0 340198791 16195584 1484 33554432000 134512640 137136520 4293150208 4293047544 134532433 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 3954 1484 191 641 0 3310 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15816
[startup+12.7001 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17721
/proc/meminfo: memFree=29050144/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=32508 CPUtime=12.68 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 6073 0 0 0 1259 9 0 0 20 0 1 0 340198791 33288192 5705 33554432000 134512640 137136520 4293150208 4293149324 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 8127 5705 198 641 0 7483 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32508
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17721
/proc/meminfo: memFree=28987136/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=72660 CPUtime=25.49 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 16496 0 0 0 2518 31 0 0 20 0 1 0 340198791 74403840 15721 33554432000 134512640 137136520 4293150208 4293148736 134600223 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 18165 15722 198 641 0 17521 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 72660
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17721
/proc/meminfo: memFree=28849200/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=147840 CPUtime=51.09 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 35360 0 0 0 5072 37 0 0 20 0 1 0 340198791 151388160 34526 33554432000 134512640 137136520 4293150208 4293149136 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 36960 34526 198 641 0 36316 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 147840
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=28661756/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=236976 CPUtime=102.28 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 57732 0 0 0 10170 58 0 0 20 0 1 0 340198791 242663424 56818 33554432000 134512640 137136520 4293150208 4293149136 134544402 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 59244 56818 198 641 0 58600 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 236976
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=28422836/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=405604 CPUtime=162.27 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 105757 0 0 0 16156 71 0 0 20 0 1 0 340198791 415338496 98961 33554432000 134512640 137136520 4293150208 4293149136 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 101401 98961 198 641 0 100757 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 405604
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17722
/proc/meminfo: memFree=28228556/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=522988 CPUtime=222.26 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 138959 0 0 0 22144 82 0 0 20 0 1 0 340198791 535539712 128326 33554432000 134512640 137136520 4293150208 4293149136 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 130747 128326 198 641 0 130103 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 522988
[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/180 17725
/proc/meminfo: memFree=28078496/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=620380 CPUtime=282.25 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 166322 0 0 0 28132 93 0 0 20 0 1 0 340198791 635269120 152686 33554432000 134512640 137136520 4293150208 4293148976 134573092 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 155095 152686 198 641 0 154451 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 620380
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17725
/proc/meminfo: memFree=27950316/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=676132 CPUtime=342.2 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 181160 0 0 0 34120 100 0 0 20 0 1 0 340198791 692359168 166595 33554432000 134512640 137136520 4293150208 4293149136 134543921 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 169033 166595 198 641 0 168389 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 676132
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27856724/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=708204 CPUtime=402.16 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 189234 0 0 0 40105 111 0 0 20 0 1 0 340198791 725200896 174627 33554432000 134512640 137136520 4293150208 4293149136 134544562 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 177051 174627 198 641 0 176407 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 708204
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27657608/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=857852 CPUtime=462.12 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 226678 0 0 0 46089 123 0 0 20 0 1 0 340198791 878440448 212028 33554432000 134512640 137136520 4293150208 4293149136 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 214463 212028 198 641 0 213819 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 857852
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27504744/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=967440 CPUtime=522.09 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 254110 0 0 0 52077 132 0 0 20 0 1 0 340198791 990658560 239431 33554432000 134512640 137136520 4293150208 4293149104 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 241860 239431 198 641 0 241216 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 967440
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17726
/proc/meminfo: memFree=27406564/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1049216 CPUtime=582.07 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 274578 0 0 0 58068 139 0 0 20 0 1 0 340198791 1074397184 259883 33554432000 134512640 137136520 4293150208 4293149136 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 262304 259883 198 641 0 261660 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 1049216
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26832944/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1623724 CPUtime=1121.79 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 418782 0 0 0 111966 213 0 0 20 0 1 0 340198791 1662693376 403506 33554432000 134512640 137136520 4293150208 4293148892 136501953 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 405931 403506 198 641 0 405287 0
Current children cumulated CPU time (s) 1121.79
Current children cumulated vsize (KiB) 1623724
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26664952/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1791764 CPUtime=1181.74 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 460952 0 0 0 117948 226 0 0 20 0 1 0 340198791 1834766336 445511 33554432000 134512640 137136520 4293150208 4293149136 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 447941 445511 198 641 0 447297 0
Current children cumulated CPU time (s) 1181.74
Current children cumulated vsize (KiB) 1791764
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26581900/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1872152 CPUtime=1241.7 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 481278 0 0 0 123932 238 0 0 20 0 1 0 340198791 1917083648 465629 33554432000 134512640 137136520 4293150208 4293148848 134606742 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 468038 465629 198 641 0 467394 0
Current children cumulated CPU time (s) 1241.7
Current children cumulated vsize (KiB) 1872152
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17731
/proc/meminfo: memFree=26456316/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=1964276 CPUtime=1301.67 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 504473 0 0 0 129917 250 0 0 20 0 1 0 340198791 2011418624 488645 33554432000 134512640 137136520 4293150208 4293149324 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 491069 488645 198 641 0 490425 0
Current children cumulated CPU time (s) 1301.67
Current children cumulated vsize (KiB) 1964276
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17732
/proc/meminfo: memFree=26303824/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2086740 CPUtime=1361.63 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 535304 0 0 0 135903 260 0 0 20 0 1 0 340198791 2136821760 519262 33554432000 134512640 137136520 4293150208 4293148976 134571159 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 521685 519262 198 641 0 521041 0
Current children cumulated CPU time (s) 1361.63
Current children cumulated vsize (KiB) 2086740
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 17732
/proc/meminfo: memFree=26234536/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2121956 CPUtime=1421.6 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 544161 0 0 0 141895 265 0 0 20 0 1 0 340198791 2172882944 528078 33554432000 134512640 137136520 4293150208 4293149136 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 530489 528078 198 641 0 529845 0
Current children cumulated CPU time (s) 1421.6
Current children cumulated vsize (KiB) 2121956
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 17735
/proc/meminfo: memFree=26171564/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2154988 CPUtime=1481.56 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 552421 0 0 0 147886 270 0 0 20 0 1 0 340198791 2206707712 536315 33554432000 134512640 137136520 4293150208 4293149136 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 538747 536315 198 641 0 538103 0
Current children cumulated CPU time (s) 1481.56
Current children cumulated vsize (KiB) 2154988
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17735
/proc/meminfo: memFree=26113692/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2181660 CPUtime=1541.54 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 559101 0 0 0 153880 274 0 0 20 0 1 0 340198791 2234019840 542974 33554432000 134512640 137136520 4293150208 4293149136 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 545415 542974 198 641 0 544771 0
Current children cumulated CPU time (s) 1541.54
Current children cumulated vsize (KiB) 2181660
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17735
/proc/meminfo: memFree=26064740/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2205036 CPUtime=1601.48 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 565013 0 0 0 159871 277 0 0 20 0 1 0 340198791 2257956864 548838 33554432000 134512640 137136520 4293150208 4293149136 134543865 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 551259 548838 198 641 0 550615 0
Current children cumulated CPU time (s) 1601.48
Current children cumulated vsize (KiB) 2205036
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17736
/proc/meminfo: memFree=26014320/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2225656 CPUtime=1661.47 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 570176 0 0 0 165867 280 0 0 20 0 1 0 340198791 2279071744 553994 33554432000 134512640 137136520 4293150208 4293149104 134543831 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 556414 553994 198 641 0 555770 0
Current children cumulated CPU time (s) 1661.47
Current children cumulated vsize (KiB) 2225656
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17736
/proc/meminfo: memFree=25974392/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2239860 CPUtime=1721.46 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 573727 0 0 0 171864 282 0 0 20 0 1 0 340198791 2293616640 557545 33554432000 134512640 137136520 4293150208 4293149136 134543819 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 559965 557545 198 641 0 559321 0
Current children cumulated CPU time (s) 1721.46
Current children cumulated vsize (KiB) 2239860
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 17736
/proc/meminfo: memFree=25930744/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2256308 CPUtime=1781.45 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 577836 0 0 0 177851 294 0 0 20 0 1 0 340198791 2310459392 561654 33554432000 134512640 137136520 4293150208 4293149136 134544080 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 564077 561654 198 641 0 563433 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (KiB) 2256308
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26862052/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2265200 CPUtime=1791.06 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 580200 0 0 0 178809 297 0 0 20 0 1 0 340198791 2319564800 563864 33554432000 134512640 137136520 4293150208 4293149136 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 566300 563864 198 641 0 565656 0
Current children cumulated CPU time (s) 1791.06
Current children cumulated vsize (KiB) 2265200
[startup+1795.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26850520/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2269148 CPUtime=1794.26 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581283 0 0 0 179129 297 0 0 20 0 1 0 340198791 2323607552 564877 33554432000 134512640 137136520 4293150208 4293149136 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567287 564877 198 641 0 566643 0
Current children cumulated CPU time (s) 1794.26
Current children cumulated vsize (KiB) 2269148
[startup+1796.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26847352/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2270632 CPUtime=1795.85 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581624 0 0 0 179288 297 0 0 20 0 1 0 340198791 2325127168 565218 33554432000 134512640 137136520 4293150208 4293149136 134544245 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567658 565218 198 641 0 567014 0
Current children cumulated CPU time (s) 1795.85
Current children cumulated vsize (KiB) 2270632
[startup+1797.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26844376/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2271056 CPUtime=1796.65 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581729 0 0 0 179368 297 0 0 20 0 1 0 340198791 2325561344 565323 33554432000 134512640 137136520 4293150208 4293149136 134544256 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567764 565323 198 641 0 567120 0
Current children cumulated CPU time (s) 1796.65
Current children cumulated vsize (KiB) 2271056
[startup+1798.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26844376/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2271564 CPUtime=1797.45 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581876 0 0 0 179448 297 0 0 20 0 1 0 340198791 2326081536 565450 33554432000 134512640 137136520 4293150208 4293149324 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567891 565450 198 641 0 567247 0
Current children cumulated CPU time (s) 1797.45
Current children cumulated vsize (KiB) 2271564
[startup+1798.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26842392/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2271844 CPUtime=1797.85 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581976 0 0 0 179488 297 0 0 20 0 1 0 340198791 2326368256 565550 33554432000 134512640 137136520 4293150208 4293149136 134543965 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567961 565550 198 641 0 567317 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 2271844
[startup+1798.8 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 18506
/proc/meminfo: memFree=26842392/32873844 swapFree=7620/7620
[pid=17720] ppid=17718 vsize=2271844 CPUtime=1797.95 cores=0,2,4,6
/proc/17720/stat : 17720 (bsolo) R 17718 17720 13121 0 -1 4202496 581976 0 0 0 179498 297 0 0 20 0 1 0 340198791 2326368256 565550 33554432000 134512640 137136520 4293150208 4293149136 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/17720/statm: 567961 565550 198 641 0 567317 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 2271844
Child status: 0
Real time (s): 1798.89
CPU time (s): 1798.05
CPU user time (s): 1795.06
CPU system time (s): 2.98754
CPU usage (%): 99.9531
Max. virtual memory (cumulated for all children) (KiB): 2271844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.06
system time used= 2.98754
maximum resident set size= 2262240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 581987
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= 800
involuntary context switches= 2194
runsolver used 3.61145 second user time and 9.50855 second system time
The end