runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3462846-1307184051/watcher-3462846-1307184051 -o /tmp/evaluation-result-3462846-1307184051/solver-3462846-1307184051 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462846-1307184051.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.03 2.00 2/521 32296
/proc/meminfo: memFree=21351864/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=11336 CPUtime=0.01 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 448 0 0 0 1 0 0 0 25 0 1 0 810820604 11608064 397 33554432000 134512640 137138936 4286567744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 2834 397 185 642 0 2190 0
[startup+0.0908269 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 32296
/proc/meminfo: memFree=21351864/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=11336 CPUtime=0.09 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 448 0 0 0 9 0 0 0 25 0 1 0 810820604 11608064 397 33554432000 134512640 137138936 4286567744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 2834 397 185 642 0 2190 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11336
[startup+0.100834 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 32296
/proc/meminfo: memFree=21351864/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=11336 CPUtime=0.1 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 448 0 0 0 10 0 0 0 25 0 1 0 810820604 11608064 397 33554432000 134512640 137138936 4286567744 18446744073709551615 136500283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 2834 397 185 642 0 2190 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 11336
[startup+0.300783 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 32296
/proc/meminfo: memFree=21351864/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=11728 CPUtime=0.29 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 549 0 0 0 29 0 0 0 25 0 1 0 810820604 12009472 498 33554432000 134512640 137138936 4286567744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 2932 498 192 642 0 2288 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 11728
[startup+0.700717 s]
/proc/loadavg: 2.01 2.03 2.00 2/521 32296
/proc/meminfo: memFree=21351864/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=13812 CPUtime=0.69 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 1071 0 0 0 69 0 0 0 25 0 1 0 810820604 14143488 1020 33554432000 134512640 137138936 4286567744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 3453 1020 192 642 0 2809 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13812
[startup+1.50056 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 32297
/proc/meminfo: memFree=21347516/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=16744 CPUtime=1.49 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 1790 0 0 0 149 0 0 0 25 0 1 0 810820604 17145856 1739 33554432000 134512640 137138936 4286567744 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 4186 1739 192 642 0 3542 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16744
[startup+3.10026 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 32297
/proc/meminfo: memFree=21343172/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=21228 CPUtime=3.09 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 2927 0 0 0 308 1 0 0 25 0 1 0 810820604 21737472 2876 33554432000 134512640 137138936 4286567744 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 5307 2876 192 642 0 4663 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21228
[startup+6.30069 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 32297
/proc/meminfo: memFree=21334636/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=27900 CPUtime=6.29 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 4595 0 0 0 627 2 0 0 25 0 1 0 810820604 28569600 4544 33554432000 134512640 137138936 4286567744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 6975 4547 192 642 0 6331 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27900
[startup+12.7005 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 32297
/proc/meminfo: memFree=21324512/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=36472 CPUtime=12.69 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 6735 0 0 0 1265 4 0 0 25 0 1 0 810820604 37347328 6684 33554432000 134512640 137138936 4286567744 18446744073709551615 134542776 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 9118 6684 192 642 0 8474 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 36472
[startup+25.5012 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 32298
/proc/meminfo: memFree=21320300/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=40040 CPUtime=25.49 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 7665 0 0 0 2543 6 0 0 25 0 1 0 810820604 41000960 7578 33554432000 134512640 137138936 4286567744 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 10010 7578 192 642 0 9366 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 40040
[startup+51.1005 s]
/proc/loadavg: 2.12 2.05 2.01 3/522 32298
/proc/meminfo: memFree=21304024/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=46856 CPUtime=51.1 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 9394 0 0 0 5101 9 0 0 25 0 1 0 810820604 47980544 9264 33554432000 134512640 137138936 4286567744 18446744073709551615 134542327 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 11714 9264 192 642 0 11070 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 46856
[startup+102.32 s]
/proc/loadavg: 2.11 2.06 2.01 3/522 32300
/proc/meminfo: memFree=21295060/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=55708 CPUtime=102.31 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 11713 0 0 0 10217 14 0 0 25 0 1 0 810820604 57044992 11485 33554432000 134512640 137138936 4286567744 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 13927 11485 192 642 0 13283 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 55708
[startup+162.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/522 32301
/proc/meminfo: memFree=21288600/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=59156 CPUtime=162.3 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 12623 0 0 0 16211 19 0 0 25 0 1 0 810820604 60575744 12338 33554432000 134512640 137138936 4286567744 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 14789 12338 192 642 0 14145 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 59156
[startup+222.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/522 32303
/proc/meminfo: memFree=21288688/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=60004 CPUtime=222.3 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 12833 0 0 0 22206 24 0 0 25 0 1 0 810820604 61444096 12548 33554432000 134512640 137138936 4286567744 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 15001 12548 192 642 0 14357 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 60004
[startup+282.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 32304
/proc/meminfo: memFree=21288264/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=60004 CPUtime=282.3 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 12833 0 0 0 28199 31 0 0 25 0 1 0 810820604 61444096 12548 33554432000 134512640 137138936 4286567744 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 15001 12548 192 642 0 14357 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 60004
[startup+342.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 32306
/proc/meminfo: memFree=21288476/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=60004 CPUtime=342.3 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 12833 0 0 0 34192 38 0 0 25 0 1 0 810820604 61444096 12548 33554432000 134512640 137138936 4286567744 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 15001 12548 192 642 0 14357 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 60004
[startup+402.301 s]
/proc/loadavg: 2.04 2.03 2.00 3/522 32308
/proc/meminfo: memFree=21288320/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=60004 CPUtime=402.3 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 12833 0 0 0 40186 44 0 0 25 0 1 0 810820604 61444096 12548 33554432000 134512640 137138936 4286567744 18446744073709551615 136502633 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 15001 12548 192 642 0 14357 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 60004
[startup+462.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/522 32309
/proc/meminfo: memFree=21287752/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=60288 CPUtime=462.31 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 12991 0 0 0 46181 50 0 0 25 0 1 0 810820604 61734912 12644 33554432000 134512640 137138936 4286567744 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 15072 12644 192 642 0 14428 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 60288
[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 32311
/proc/meminfo: memFree=21286696/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=62444 CPUtime=522.31 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 13505 0 0 0 52176 55 0 0 25 0 1 0 810820604 63942656 13158 33554432000 134512640 137138936 4286567744 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 15611 13158 192 642 0 14967 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 62444
[startup+582.301 s]
/proc/loadavg: 2.08 2.05 2.01 3/522 32312
/proc/meminfo: memFree=21288400/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=62444 CPUtime=582.31 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 13505 0 0 0 58171 60 0 0 25 0 1 0 810820604 63942656 13158 33554432000 134512640 137138936 4286567744 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 15611 13158 192 642 0 14967 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 62444
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=21415012/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=73440 CPUtime=1062.33 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 16397 0 0 0 106136 97 0 0 25 0 1 0 810820604 75202560 15907 33554432000 134512640 137138936 4286567744 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 18360 15907 192 642 0 17716 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 73440
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/522 32354
/proc/meminfo: memFree=21413376/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=74348 CPUtime=1122.32 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 16624 0 0 0 112131 101 0 0 25 0 1 0 810820604 76132352 16134 33554432000 134512640 137138936 4286567744 18446744073709551615 134542249 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 18587 16134 192 642 0 17943 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 74348
[startup+1182.3 s]
/proc/loadavg: 2.08 2.04 2.01 3/522 32355
/proc/meminfo: memFree=21399464/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=79196 CPUtime=1182.32 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 17934 0 0 0 118127 105 0 0 25 0 1 0 810820604 81096704 17362 33554432000 134512640 137138936 4286567744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 19799 17362 192 642 0 19155 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 79196
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/522 32366
/proc/meminfo: memFree=21399936/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=79196 CPUtime=1242.33 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 17934 0 0 0 124123 110 0 0 25 0 1 0 810820604 81096704 17362 33554432000 134512640 137138936 4286567744 18446744073709551615 136511093 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 19799 17362 192 642 0 19155 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 79196
[startup+1302.3 s]
/proc/loadavg: 2.11 2.05 2.01 3/522 32368
/proc/meminfo: memFree=21399252/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=79820 CPUtime=1302.35 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18074 0 0 0 130122 113 0 0 25 0 1 0 810820604 81735680 17502 33554432000 134512640 137138936 4286567744 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 19955 17502 192 642 0 19311 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 79820
[startup+1362.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/522 32369
/proc/meminfo: memFree=21394020/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=79820 CPUtime=1362.33 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18074 0 0 0 136116 117 0 0 25 0 1 0 810820604 81735680 17502 33554432000 134512640 137138936 4286567744 18446744073709551615 134542243 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 19955 17502 192 642 0 19311 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 79820
[startup+1422.32 s]
/proc/loadavg: 2.03 2.05 2.00 3/522 32371
/proc/meminfo: memFree=21393756/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=79820 CPUtime=1422.36 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18074 0 0 0 142115 121 0 0 25 0 1 0 810820604 81735680 17502 33554432000 134512640 137138936 4286567744 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 19955 17502 192 642 0 19311 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 79820
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/522 32372
/proc/meminfo: memFree=21391740/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=79820 CPUtime=1482.34 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18074 0 0 0 148109 125 0 0 25 0 1 0 810820604 81735680 17502 33554432000 134512640 137138936 4286567744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 19955 17502 192 642 0 19311 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 79820
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 32374
/proc/meminfo: memFree=21392588/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=80892 CPUtime=1542.34 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18342 0 0 0 154106 128 0 0 25 0 1 0 810820604 82833408 17770 33554432000 134512640 137138936 4286567744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 20223 17770 192 642 0 19579 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 80892
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 32376
/proc/meminfo: memFree=21392568/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=80892 CPUtime=1602.34 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18342 0 0 0 160101 133 0 0 25 0 1 0 810820604 82833408 17770 33554432000 134512640 137138936 4286567744 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 20223 17770 192 642 0 19579 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 80892
[startup+1662.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/522 32377
/proc/meminfo: memFree=21387452/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=80892 CPUtime=1662.34 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18342 0 0 0 166097 137 0 0 25 0 1 0 810820604 82833408 17770 33554432000 134512640 137138936 4286567744 18446744073709551615 136521035 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 20223 17770 192 642 0 19579 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 80892
[startup+1722.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/522 32379
/proc/meminfo: memFree=21385196/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=80892 CPUtime=1722.35 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18342 0 0 0 172094 141 0 0 25 0 1 0 810820604 82833408 17770 33554432000 134512640 137138936 4286567744 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 20223 17770 192 642 0 19579 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 80892
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/522 32380
/proc/meminfo: memFree=21383804/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=80892 CPUtime=1782.34 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18342 0 0 0 178089 145 0 0 25 0 1 0 810820604 82833408 17770 33554432000 134512640 137138936 4286567744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 20223 17770 192 642 0 19579 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 80892
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.04 2.04 2.00 3/522 32381
/proc/meminfo: memFree=21384796/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=80892 CPUtime=1785.55 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18342 0 0 0 178409 146 0 0 25 0 1 0 810820604 82833408 17770 33554432000 134512640 137138936 4286567744 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 20223 17770 192 642 0 19579 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 80892
[startup+1791.92 s]
/proc/loadavg: 2.04 2.04 2.00 3/522 32381
/proc/meminfo: memFree=21382192/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=82636 CPUtime=1791.96 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 18790 0 0 0 179050 146 0 0 25 0 1 0 810820604 84619264 18218 33554432000 134512640 137138936 4286567744 18446744073709551615 136500305 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 20659 18218 192 642 0 20015 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 82636
[startup+1795.1 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 32381
/proc/meminfo: memFree=21381448/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=84120 CPUtime=1795.16 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 19178 0 0 0 179370 146 0 0 25 0 1 0 810820604 86138880 18606 33554432000 134512640 137138936 4286567744 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 21030 18606 192 642 0 20386 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 84120
[startup+1796.7 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 32381
/proc/meminfo: memFree=21380828/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=84936 CPUtime=1796.74 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 19364 0 0 0 179528 146 0 0 25 0 1 0 810820604 86974464 18792 33554432000 134512640 137138936 4286567744 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 21234 18792 192 642 0 20590 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 84936
[startup+1797.5 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 32381
/proc/meminfo: memFree=21379216/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=85332 CPUtime=1797.54 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 19456 0 0 0 179608 146 0 0 25 0 1 0 810820604 87379968 18884 33554432000 134512640 137138936 4286567744 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 21333 18884 192 642 0 20689 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (KiB) 85332
[startup+1797.9 s]
/proc/loadavg: 2.03 2.04 2.00 3/522 32381
/proc/meminfo: memFree=21379216/32951124 swapFree=58800704/67111528
[pid=32296] ppid=32294 vsize=85472 CPUtime=1797.94 cores=0,2,4,6
/proc/32296/stat : 32296 (bsolo) R 32294 32296 30263 0 -1 4202496 19506 0 0 0 179648 146 0 0 25 0 1 0 810820604 87523328 18934 33554432000 134512640 137138936 4286567744 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32296/statm: 21368 18934 192 642 0 20724 0
Current children cumulated CPU time (s) 1797.94
Current children cumulated vsize (KiB) 85472
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1796.53
CPU system time (s): 1.47378
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 85472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.53
system time used= 1.47378
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19514
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= 6
involuntary context switches= 2682
runsolver used 9.74452 second user time and 21.2848 second system time
The end