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-3733068-1338709315/watcher-3733068-1338709315 -o /tmp/evaluation-result-3733068-1338709315/solver-3733068-1338709315 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3733068-1338709315.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22973
/proc/meminfo: memFree=28302836/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=12036 CPUtime=0 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 368 0 0 0 0 0 0 0 20 0 1 0 337059986 12324864 321 33554432000 134512640 137136520 4290936624 4290935152 136575102 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 3009 323 190 641 0 2123 0
[startup+0.0694371 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22973
/proc/meminfo: memFree=28302836/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=16232 CPUtime=0.06 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 1895 0 0 0 6 0 0 0 20 0 1 0 337059986 16621568 1606 33554432000 134512640 137136520 4290936624 4290935304 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 4058 1609 185 641 0 3414 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16232
[startup+0.100314 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22973
/proc/meminfo: memFree=28302836/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=18080 CPUtime=0.09 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 2370 0 0 0 9 0 0 0 20 0 1 0 337059986 18513920 2081 33554432000 134512640 137136520 4290936624 4290926012 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 4520 2081 190 641 0 3876 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18080
[startup+0.300255 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22973
/proc/meminfo: memFree=28302836/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=17348 CPUtime=0.29 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 2470 0 0 0 28 1 0 0 20 0 1 0 337059986 17764352 1879 33554432000 134512640 137136520 4290936624 4290925768 136504572 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 4337 1882 190 641 0 3693 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17348
[startup+0.70024 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 22973
/proc/meminfo: memFree=28302836/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=23168 CPUtime=0.69 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 4221 0 0 0 68 1 0 0 20 0 1 0 337059986 23724032 3347 33554432000 134512640 137136520 4290936624 4290935152 134600223 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 5792 3347 196 641 0 5148 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 23168
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22974
/proc/meminfo: memFree=28285584/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=33040 CPUtime=1.49 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 6692 0 0 0 147 2 0 0 20 0 1 0 337059986 33832960 5818 33554432000 134512640 137136520 4290936624 4290934904 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 8260 5818 196 641 0 7616 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33040
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22974
/proc/meminfo: memFree=28271936/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=52716 CPUtime=3.09 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 11619 0 0 0 306 3 0 0 20 0 1 0 337059986 53981184 10745 33554432000 134512640 137136520 4290936624 4290935740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 13179 10745 196 641 0 12535 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52716
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22974
/proc/meminfo: memFree=28237712/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=84004 CPUtime=6.29 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 19452 0 0 0 624 5 0 0 20 0 1 0 337059986 86020096 18578 33554432000 134512640 137136520 4290936624 4290935152 134600223 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 21001 18578 197 641 0 20357 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84004
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22974
/proc/meminfo: memFree=28174744/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=142564 CPUtime=12.68 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 34095 0 0 0 1258 10 0 0 20 0 1 0 337059986 145985536 33221 33554432000 134512640 137136520 4290936624 4290935552 134543927 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 35641 33221 197 641 0 34997 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 142564
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22974
/proc/meminfo: memFree=28130352/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=185448 CPUtime=25.49 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 44798 0 0 0 2535 14 0 0 20 0 1 0 337059986 189898752 43924 33554432000 134512640 137136520 4290936624 4290935740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 46362 43924 197 641 0 45718 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 185448
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22974
/proc/meminfo: memFree=27925380/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=347984 CPUtime=51.08 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 85480 0 0 0 5085 23 0 0 20 0 1 0 337059986 356335616 84571 33554432000 134512640 137136520 4290936624 4290935664 134540859 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 86996 84571 197 641 0 86352 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 347984
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=27912484/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=351976 CPUtime=102.28 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 86474 0 0 0 10202 26 0 0 20 0 1 0 337059986 360423424 85565 33554432000 134512640 137136520 4290936624 4290935476 136509072 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 87994 85565 197 641 0 87350 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 351976
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=27883096/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=380608 CPUtime=162.27 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 93669 0 0 0 16195 32 0 0 20 0 1 0 337059986 389742592 92721 33554432000 134512640 137136520 4290936624 4290935520 134544272 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 95152 92721 197 641 0 94508 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 380608
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=27847880/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=415920 CPUtime=222.25 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 102527 0 0 0 22188 37 0 0 20 0 1 0 337059986 425902080 101537 33554432000 134512640 137136520 4290936624 4290935520 134544112 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 103980 101537 197 641 0 103336 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 415920
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=27797020/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=415920 CPUtime=282.24 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 102527 0 0 0 28184 40 0 0 20 0 1 0 337059986 425902080 101537 33554432000 134512640 137136520 4290936624 4290935552 134544112 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 103980 101537 197 641 0 103336 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 415920
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22975
/proc/meminfo: memFree=27757244/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=455344 CPUtime=342.24 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 112427 0 0 0 34179 45 0 0 20 0 1 0 337059986 466272256 111390 33554432000 134512640 137136520 4290936624 4290935520 134543933 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 113836 111390 197 641 0 113192 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 455344
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22976
/proc/meminfo: memFree=27757356/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=455344 CPUtime=402.2 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 112453 0 0 0 40172 48 0 0 20 0 1 0 337059986 466272256 111390 33554432000 134512640 137136520 4290936624 4290935392 134574870 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 113836 111390 197 641 0 113192 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 455344
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22976
/proc/meminfo: memFree=27714356/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=498596 CPUtime=462.15 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 123366 0 0 0 46160 55 0 0 20 0 1 0 337059986 510562304 122207 33554432000 134512640 137136520 4290936624 4290935740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 124649 122207 197 641 0 124005 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 498596
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22979
/proc/meminfo: memFree=27714128/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=498596 CPUtime=522.09 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 123414 0 0 0 52150 59 0 0 20 0 1 0 337059986 510562304 122207 33554432000 134512640 137136520 4290936624 4290935552 134543948 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 124649 122207 197 641 0 124005 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 498596
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 22979
/proc/meminfo: memFree=27714164/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=498596 CPUtime=582.04 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 123461 0 0 0 58142 62 0 0 20 0 1 0 337059986 510562304 122207 33554432000 134512640 137136520 4290936624 4290935740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 124649 122207 197 641 0 124005 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 498596
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27606848/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=547236 CPUtime=1061.89 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 135750 0 0 0 106100 89 0 0 20 0 1 0 337059986 560369664 134357 33554432000 134512640 137136520 4290936624 4290935740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 136809 134357 197 641 0 136165 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 547236
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 22984
/proc/meminfo: memFree=27606536/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=547236 CPUtime=1121.88 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 135750 0 0 0 112096 92 0 0 20 0 1 0 337059986 560369664 134357 33554432000 134512640 137136520 4290936624 4290935300 136501957 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 136809 134357 197 641 0 136165 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 547236
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 23006
/proc/meminfo: memFree=27572560/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=582300 CPUtime=1181.87 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 144525 0 0 0 118090 97 0 0 20 0 1 0 337059986 596275200 143132 33554432000 134512640 137136520 4290936624 4290934904 136504651 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 145575 143132 197 641 0 144931 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 582300
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 23006
/proc/meminfo: memFree=27555208/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598152 CPUtime=1241.86 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148560 0 0 0 124083 103 0 0 20 0 1 0 337059986 612507648 147106 33554432000 134512640 137136520 4290936624 4290935288 136502553 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149538 147106 197 641 0 148894 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 598152
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 23006
/proc/meminfo: memFree=27555208/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598152 CPUtime=1301.86 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148560 0 0 0 130081 105 0 0 20 0 1 0 337059986 612507648 147106 33554432000 134512640 137136520 4290936624 4290935552 134543878 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149538 147106 197 641 0 148894 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 598152
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23055
/proc/meminfo: memFree=28000564/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598152 CPUtime=1361.85 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148560 0 0 0 136077 108 0 0 20 0 1 0 337059986 612507648 147106 33554432000 134512640 137136520 4290936624 4290935552 134544148 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149538 147106 197 641 0 148894 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 598152
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23055
/proc/meminfo: memFree=27606244/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598152 CPUtime=1421.84 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148560 0 0 0 142074 110 0 0 20 0 1 0 337059986 612507648 147106 33554432000 134512640 137136520 4290936624 4290935740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149538 147106 197 641 0 148894 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 598152
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 23055
/proc/meminfo: memFree=27557152/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598152 CPUtime=1481.82 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148571 0 0 0 148069 113 0 0 20 0 1 0 337059986 612507648 147106 33554432000 134512640 137136520 4290936624 4290935552 134544148 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149538 147106 197 641 0 148894 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 598152
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23055
/proc/meminfo: memFree=27548128/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598152 CPUtime=1541.81 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148571 0 0 0 154065 116 0 0 20 0 1 0 337059986 612507648 147106 33554432000 134512640 137136520 4290936624 4290935520 134543831 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149538 147106 197 641 0 148894 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 598152
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 23055
/proc/meminfo: memFree=27474004/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598152 CPUtime=1601.8 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148571 0 0 0 160061 119 0 0 20 0 1 0 337059986 612507648 147106 33554432000 134512640 137136520 4290936624 4290935552 134543948 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149538 147106 197 641 0 148894 0
Current children cumulated CPU time (s) 1601.8
Current children cumulated vsize (KiB) 598152
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 23056
/proc/meminfo: memFree=27474404/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598152 CPUtime=1661.79 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148571 0 0 0 166058 121 0 0 20 0 1 0 337059986 612507648 147106 33554432000 134512640 137136520 4290936624 4290935552 134543948 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149538 147106 197 641 0 148894 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 598152
[startup+1722.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/178 23059
/proc/meminfo: memFree=27474176/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598288 CPUtime=1721.78 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148658 0 0 0 172054 124 0 0 20 0 1 0 337059986 612646912 147131 33554432000 134512640 137136520 4290936624 4290935552 134543819 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149572 147131 197 641 0 148928 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 598288
[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23059
/proc/meminfo: memFree=27428332/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598288 CPUtime=1781.78 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148658 0 0 0 178049 129 0 0 20 0 1 0 337059986 612646912 147131 33554432000 134512640 137136520 4290936624 4290935740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149572 147131 197 641 0 148928 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 598288
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23059
/proc/meminfo: memFree=27428440/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598288 CPUtime=1791.37 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148658 0 0 0 179008 129 0 0 20 0 1 0 337059986 612646912 147131 33554432000 134512640 137136520 4290936624 4290935552 134543948 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149572 147131 197 641 0 148928 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 598288
[startup+1795.1 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23059
/proc/meminfo: memFree=27428440/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598288 CPUtime=1794.58 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148658 0 0 0 179328 130 0 0 20 0 1 0 337059986 612646912 147131 33554432000 134512640 137136520 4290936624 4290935220 136509112 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149572 147131 197 641 0 148928 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 598288
[startup+1796.7 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23059
/proc/meminfo: memFree=27428440/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598288 CPUtime=1796.17 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148658 0 0 0 179487 130 0 0 20 0 1 0 337059986 612646912 147131 33554432000 134512640 137136520 4290936624 4290935552 134543881 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149572 147131 197 641 0 148928 0
Current children cumulated CPU time (s) 1796.17
Current children cumulated vsize (KiB) 598288
[startup+1797.5 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23059
/proc/meminfo: memFree=27428440/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598288 CPUtime=1796.97 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148658 0 0 0 179567 130 0 0 20 0 1 0 337059986 612646912 147131 33554432000 134512640 137136520 4290936624 4290935740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149572 147131 197 641 0 148928 0
Current children cumulated CPU time (s) 1796.97
Current children cumulated vsize (KiB) 598288
[startup+1798.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23059
/proc/meminfo: memFree=27428440/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598288 CPUtime=1797.77 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148658 0 0 0 179647 130 0 0 20 0 1 0 337059986 612646912 147131 33554432000 134512640 137136520 4290936624 4290935740 136568305 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149572 147131 197 641 0 148928 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 598288
[startup+1798.51 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 23059
/proc/meminfo: memFree=27428300/32873844 swapFree=6872/6872
[pid=22973] ppid=22971 vsize=598288 CPUtime=1797.98 cores=1,3,5,7
/proc/22973/stat : 22973 (bsolo) R 22971 22973 8274 0 -1 4202496 148658 0 0 0 179668 130 0 0 20 0 1 0 337059986 612646912 147131 33554432000 134512640 137136520 4290936624 4290935380 136500556 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/22973/statm: 149572 147131 197 641 0 148928 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 598288
Child status: 0
Real time (s): 1798.53
CPU time (s): 1798.01
CPU user time (s): 1796.7
CPU system time (s): 1.3068
CPU usage (%): 99.9711
Max. virtual memory (cumulated for all children) (KiB): 598288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.7
system time used= 1.3068
maximum resident set size= 588772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148660
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= 263
involuntary context switches= 2629
runsolver used 3.06853 second user time and 8.38072 second system time
The end