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-3732419-1338704000/watcher-3732419-1338704000 -o /tmp/evaluation-result-3732419-1338704000/solver-3732419-1338704000 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 -m15500 HOME/instance-3732419-1338704000.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 2.00 3/176 562
/proc/meminfo: memFree=31391696/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 336526988 11186176 272 33554432000 134512640 137136520 4290599456 4290593836 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 2731 272 188 641 0 2087 0
[startup+0.00775209 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 562
/proc/meminfo: memFree=31391696/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 336526988 11186176 293 33554432000 134512640 137136520 4290599456 4290598572 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 2731 293 196 641 0 2087 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10924
[startup+0.100285 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 562
/proc/meminfo: memFree=31391696/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=11732 CPUtime=0.09 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 543 0 0 0 9 0 0 0 20 0 1 0 336526988 12013568 489 33554432000 134512640 137136520 4290599456 4290594052 136498162 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 2933 489 196 641 0 2289 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11732
[startup+0.30025 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 562
/proc/meminfo: memFree=31391696/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=13280 CPUtime=0.29 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 930 0 0 0 29 0 0 0 20 0 1 0 336526988 13598720 876 33554432000 134512640 137136520 4290599456 4290598572 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 3320 876 196 641 0 2676 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13280
[startup+0.700286 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 562
/proc/meminfo: memFree=31391696/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=14720 CPUtime=0.69 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 1311 0 0 0 69 0 0 0 20 0 1 0 336526988 15073280 1257 33554432000 134512640 137136520 4290599456 4290598572 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 3680 1257 196 641 0 3036 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14720
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 563
/proc/meminfo: memFree=31386976/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=15432 CPUtime=1.49 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 1472 0 0 0 149 0 0 0 20 0 1 0 336526988 15802368 1418 33554432000 134512640 137136520 4290599456 4290596656 134572228 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 3858 1418 197 641 0 3214 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15432
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 563
/proc/meminfo: memFree=31385636/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=16372 CPUtime=3.09 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 1713 0 0 0 309 0 0 0 20 0 1 0 336526988 16764928 1659 33554432000 134512640 137136520 4290599456 4290598572 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 4093 1659 197 641 0 3449 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16372
[startup+6.30021 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 563
/proc/meminfo: memFree=31384520/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=16984 CPUtime=6.29 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 1875 0 0 0 628 1 0 0 20 0 1 0 336526988 17391616 1819 33554432000 134512640 137136520 4290599456 4290598052 136500590 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 4246 1819 197 641 0 3602 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16984
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 563
/proc/meminfo: memFree=31382448/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=18388 CPUtime=12.69 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 2311 0 0 0 1266 3 0 0 20 0 1 0 336526988 18829312 2176 33554432000 134512640 137136520 4290599456 4290598572 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 4597 2176 197 641 0 3953 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18388
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 563
/proc/meminfo: memFree=31381828/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=19768 CPUtime=25.48 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 2717 0 0 0 2542 6 0 0 20 0 1 0 336526988 20242432 2511 33554432000 134512640 137136520 4290599456 4290598384 134544345 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 4942 2511 197 641 0 4298 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19768
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 563
/proc/meminfo: memFree=31380336/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=21064 CPUtime=51.07 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 3145 0 0 0 5095 12 0 0 20 0 1 0 336526988 21569536 2826 33554432000 134512640 137136520 4290599456 4290598048 134616680 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 5266 2826 197 641 0 4622 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21064
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 563
/proc/meminfo: memFree=31378724/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=22888 CPUtime=102.27 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 3627 0 0 0 10203 24 0 0 20 0 1 0 336526988 23437312 3282 33554432000 134512640 137136520 4290599456 4290598384 134543918 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 5722 3282 197 641 0 5078 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 22888
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 563
/proc/meminfo: memFree=31377232/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=24188 CPUtime=162.26 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 4023 0 0 0 16188 38 0 0 20 0 1 0 336526988 24768512 3626 33554432000 134512640 137136520 4290599456 4290594576 134600226 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6047 3626 197 641 0 5403 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 24188
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 563
/proc/meminfo: memFree=31376548/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=24988 CPUtime=222.25 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 4327 0 0 0 22173 52 0 0 20 0 1 0 336526988 25587712 3812 33554432000 134512640 137136520 4290599456 4290597800 134598598 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6247 3812 197 641 0 5603 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 24988
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 564
/proc/meminfo: memFree=31376424/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=25100 CPUtime=282.24 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 4608 0 0 0 28156 68 0 0 20 0 1 0 336526988 25702400 3854 33554432000 134512640 137136520 4290599456 4290598112 134601691 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6275 3854 197 641 0 5631 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 25100
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 564
/proc/meminfo: memFree=31375368/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=26180 CPUtime=342.23 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 4930 0 0 0 34141 82 0 0 20 0 1 0 336526988 26808320 4124 33554432000 134512640 137136520 4290599456 4290598048 134616694 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6545 4124 197 641 0 5901 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 26180
[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 567
/proc/meminfo: memFree=31374816/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=26180 CPUtime=402.22 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 5057 0 0 0 40125 97 0 0 20 0 1 0 336526988 26808320 4124 33554432000 134512640 137136520 4290599456 4290598012 136518901 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6545 4124 197 641 0 5901 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 26180
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 567
/proc/meminfo: memFree=31373136/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=28416 CPUtime=462.21 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 5627 0 0 0 46112 109 0 0 20 0 1 0 336526988 29097984 4683 33554432000 134512640 137136520 4290599456 4290598572 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 7104 4683 197 641 0 6460 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 28416
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 567
/proc/meminfo: memFree=31373008/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=28752 CPUtime=522.2 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 6022 0 0 0 52095 125 0 0 20 0 1 0 336526988 29442048 4767 33554432000 134512640 137136520 4290599456 4290595072 134600759 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 7188 4767 197 641 0 6544 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 28752
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 568
/proc/meminfo: memFree=31371644/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=28620 CPUtime=582.19 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 6022 0 0 0 58081 138 0 0 20 0 1 0 336526988 29306880 4734 33554432000 134512640 137136520 4290599456 4290598572 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 7155 4734 197 641 0 6511 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 28620
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31369096/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1122.11 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 7612 0 0 0 111950 261 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598384 134543957 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 27952
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 573
/proc/meminfo: memFree=31369344/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1182.1 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 7612 0 0 0 117936 274 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598384 134544148 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 27952
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 573
/proc/meminfo: memFree=31369220/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1242.09 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 7612 0 0 0 123921 288 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598384 134544145 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 27952
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 574
/proc/meminfo: memFree=31369336/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1302.09 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 7612 0 0 0 129906 303 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598224 134573545 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 27952
[startup+1362.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 574
/proc/meminfo: memFree=31369344/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1362.08 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 7612 0 0 0 135890 318 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290597984 134600633 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 27952
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 574
/proc/meminfo: memFree=31369344/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1422.08 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 7612 0 0 0 141877 331 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598384 134544384 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 27952
[startup+1482.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 575
/proc/meminfo: memFree=31369344/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1482.06 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 7612 0 0 0 147863 343 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290597988 134551112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 27952
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 575
/proc/meminfo: memFree=31369592/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1542.05 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 7612 0 0 0 153849 356 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290594584 134598949 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 27952
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 578
/proc/meminfo: memFree=31369296/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1602.04 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 7612 0 0 0 159836 368 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598048 134616688 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 27952
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 578
/proc/meminfo: memFree=31369468/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1662.03 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 165821 382 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598300 136500596 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 27952
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 626
/proc/meminfo: memFree=31387992/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1722.02 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 171807 395 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290593952 134600709 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 27952
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 627
/proc/meminfo: memFree=31382748/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1782.01 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 177793 408 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598352 134544112 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 27952
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 627
/proc/meminfo: memFree=31382996/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1791.62 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 178751 411 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598572 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 27952
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 627
/proc/meminfo: memFree=31382624/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1794.81 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 179070 411 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598224 134573436 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 27952
[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 627
/proc/meminfo: memFree=31382624/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1796.41 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 179229 412 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598572 136568305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (KiB) 27952
[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 627
/proc/meminfo: memFree=31382624/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1797.21 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 179309 412 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290597800 134598633 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1797.21
Current children cumulated vsize (KiB) 27952
[startup+1797.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 627
/proc/meminfo: memFree=31382624/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1797.61 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 179349 412 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290596168 134598538 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1797.61
Current children cumulated vsize (KiB) 27952
[startup+1798.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 627
/proc/meminfo: memFree=31382624/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1797.81 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 179369 412 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290598384 134544127 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 27952
[startup+1798.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 627
/proc/meminfo: memFree=31382624/32873844 swapFree=7116/7116
[pid=562] ppid=560 vsize=27952 CPUtime=1797.91 cores=0,2,4,6
/proc/562/stat : 562 (bsolo) R 560 562 29538 0 -1 4202496 8017 0 0 0 179379 412 0 0 20 0 1 0 336526988 28622848 4566 33554432000 134512640 137136520 4290599456 4290597988 134551902 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/562/statm: 6988 4566 197 641 0 6344 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 27952
Child status: 0
Real time (s): 1798.28
CPU time (s): 1798
CPU user time (s): 1793.88
CPU system time (s): 4.12237
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 29952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.88
system time used= 4.12237
maximum resident set size= 20256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8019
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= 11
involuntary context switches= 1854
runsolver used 8.95364 second user time and 13.2 second system time
The end