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-3463071-1307177667/watcher-3463071-1307177667 -o /tmp/evaluation-result-3463071-1307177667/solver-3463071-1307177667 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463071-1307177667.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.01 1.93 3/434 8450
/proc/meminfo: memFree=12474208/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=12040 CPUtime=0 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 364 0 0 0 0 0 0 0 25 0 1 0 829366389 12328960 318 33554432000 134512640 137138936 4294696128 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 3010 318 185 642 0 2123 0
[startup+0.0481461 s]
/proc/loadavg: 2.00 2.01 1.93 3/434 8450
/proc/meminfo: memFree=12474208/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=14792 CPUtime=0.04 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 1232 0 0 0 4 0 0 0 25 0 1 0 829366389 15147008 1186 33554432000 134512640 137138936 4294696128 18446744073709551615 136577166 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 3698 1187 352 642 0 2811 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14792
[startup+0.101158 s]
/proc/loadavg: 2.00 2.01 1.93 3/434 8450
/proc/meminfo: memFree=12474208/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=18088 CPUtime=0.09 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 2378 0 0 0 9 0 0 0 25 0 1 0 829366389 18522112 2089 33554432000 134512640 137138936 4294696128 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 4522 2089 185 642 0 3878 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18088
[startup+0.301123 s]
/proc/loadavg: 2.00 2.01 1.93 3/434 8450
/proc/meminfo: memFree=12474208/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=17060 CPUtime=0.29 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 2712 0 0 0 28 1 0 0 25 0 1 0 829366389 17469440 1834 33554432000 134512640 137138936 4294696128 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 4265 1834 192 642 0 3621 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17060
[startup+0.701054 s]
/proc/loadavg: 2.00 2.01 1.93 3/434 8450
/proc/meminfo: memFree=12474208/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=22492 CPUtime=0.69 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 4069 0 0 0 68 1 0 0 25 0 1 0 829366389 23031808 3191 33554432000 134512640 137138936 4294696128 18446744073709551615 134603150 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 5623 3191 192 642 0 4979 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22492
[startup+1.50092 s]
/proc/loadavg: 2.00 2.01 1.93 3/435 8451
/proc/meminfo: memFree=12458200/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=32204 CPUtime=1.49 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 6488 0 0 0 147 2 0 0 25 0 1 0 829366389 32976896 5610 33554432000 134512640 137138936 4294696128 18446744073709551615 134551566 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 8051 5610 192 642 0 7407 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32204
[startup+3.10061 s]
/proc/loadavg: 2.00 2.01 1.93 3/435 8451
/proc/meminfo: memFree=12444436/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=50056 CPUtime=3.09 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 10941 0 0 0 307 2 0 0 25 0 1 0 829366389 51257344 10063 33554432000 134512640 137138936 4294696128 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 12514 10063 192 642 0 11870 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 50056
[startup+6.39206 s]
/proc/loadavg: 2.00 2.01 1.93 3/435 8451
/proc/meminfo: memFree=12401784/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=85016 CPUtime=6.39 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 19691 0 0 0 635 4 0 0 25 0 1 0 829366389 87056384 18813 33554432000 134512640 137138936 4294696128 18446744073709551615 134599777 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 21254 18813 192 642 0 20610 0
Current children cumulated CPU time (s) 6.39
Current children cumulated vsize (KiB) 85016
[startup+12.701 s]
/proc/loadavg: 2.00 2.01 1.93 3/435 8451
/proc/meminfo: memFree=12346732/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=143124 CPUtime=12.69 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 34215 0 0 0 1263 6 0 0 25 0 1 0 829366389 146558976 33337 33554432000 134512640 137138936 4294696128 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 35781 33337 192 642 0 35137 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 143124
[startup+25.5008 s]
/proc/loadavg: 2.00 2.01 1.93 3/435 8452
/proc/meminfo: memFree=12258708/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=227868 CPUtime=25.49 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 55410 0 0 0 2538 11 0 0 25 0 1 0 829366389 233336832 54532 33554432000 134512640 137138936 4294696128 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 56967 54532 192 642 0 56323 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 227868
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 1.93 3/435 8452
/proc/meminfo: memFree=12132208/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=350124 CPUtime=51.09 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 86018 0 0 0 5092 17 0 0 25 0 1 0 829366389 358526976 85105 33554432000 134512640 137138936 4294696128 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 87531 85105 192 642 0 86887 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 350124
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/435 8454
/proc/meminfo: memFree=12065608/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=416812 CPUtime=102.29 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 102681 0 0 0 10208 21 0 0 25 0 1 0 829366389 426815488 101768 33554432000 134512640 137138936 4294696128 18446744073709551615 136511078 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 104203 101768 192 642 0 103559 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 416812
[startup+162.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/435 8455
/proc/meminfo: memFree=12061880/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=418820 CPUtime=162.29 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 103225 0 0 0 16206 23 0 0 25 0 1 0 829366389 428871680 102269 33554432000 134512640 137138936 4294696128 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 104705 102269 192 642 0 104061 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 418820
[startup+222.301 s]
/proc/loadavg: 2.04 2.01 1.93 3/435 8457
/proc/meminfo: memFree=12021200/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=458832 CPUtime=222.29 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 113263 0 0 0 22202 27 0 0 25 0 1 0 829366389 469843968 112260 33554432000 134512640 137138936 4294696128 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 114708 112260 192 642 0 114064 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 458832
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/435 8458
/proc/meminfo: memFree=12022932/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=458832 CPUtime=282.3 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 113263 0 0 0 28200 30 0 0 25 0 1 0 829366389 469843968 112260 33554432000 134512640 137138936 4294696128 18446744073709551615 136504143 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 114708 112260 192 642 0 114064 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 458832
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.93 3/435 8460
/proc/meminfo: memFree=12022924/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=459044 CPUtime=342.29 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 113307 0 0 0 34196 33 0 0 25 0 1 0 829366389 470061056 112304 33554432000 134512640 137138936 4294696128 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 114761 112304 192 642 0 114117 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 459044
[startup+402.316 s]
/proc/loadavg: 2.15 2.03 1.94 3/435 8471
/proc/meminfo: memFree=11977112/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=502660 CPUtime=402.31 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 124272 0 0 0 40194 37 0 0 25 0 1 0 829366389 514723840 123218 33554432000 134512640 137138936 4294696128 18446744073709551615 136296960 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 125665 123218 192 642 0 125021 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 502660
[startup+462.301 s]
/proc/loadavg: 2.12 2.04 1.95 3/435 8472
/proc/meminfo: memFree=11977396/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=502660 CPUtime=462.3 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 124272 0 0 0 46190 40 0 0 25 0 1 0 829366389 514723840 123218 33554432000 134512640 137138936 4294696128 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 125665 123218 192 642 0 125021 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 502660
[startup+522.301 s]
/proc/loadavg: 2.11 2.06 1.96 3/435 8474
/proc/meminfo: memFree=11977512/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=502660 CPUtime=522.29 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 124272 0 0 0 52187 42 0 0 25 0 1 0 829366389 514723840 123218 33554432000 134512640 137138936 4294696128 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 125665 123218 192 642 0 125021 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 502660
[startup+582.301 s]
/proc/loadavg: 2.04 2.05 1.96 3/435 8475
/proc/meminfo: memFree=11977496/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=502660 CPUtime=582.3 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 124272 0 0 0 58185 45 0 0 25 0 1 0 829366389 514723840 123218 33554432000 134512640 137138936 4294696128 18446744073709551615 136296988 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 125665 123218 192 642 0 125021 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 502660
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=11931648/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=548388 CPUtime=1122.3 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 135906 0 0 0 112163 67 0 0 25 0 1 0 829366389 561549312 134642 33554432000 134512640 137138936 4294696128 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 137097 134642 192 642 0 136453 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 548388
[startup+1182.3 s]
/proc/loadavg: 2.01 2.03 1.98 3/435 8494
/proc/meminfo: memFree=11931392/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=549088 CPUtime=1182.3 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 136080 0 0 0 118161 69 0 0 25 0 1 0 829366389 562266112 134816 33554432000 134512640 137138936 4294696128 18446744073709551615 134539684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 137272 134816 192 642 0 136628 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 549088
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/435 8496
/proc/meminfo: memFree=11931384/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=549088 CPUtime=1242.3 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 136080 0 0 0 124159 71 0 0 25 0 1 0 829366389 562266112 134816 33554432000 134512640 137138936 4294696128 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 137272 134816 192 642 0 136628 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 549088
[startup+1302.3 s]
/proc/loadavg: 2.13 2.05 2.00 3/435 8525
/proc/meminfo: memFree=11879612/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1302.31 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 130155 76 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 602216
[startup+1362.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8526
/proc/meminfo: memFree=11839276/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1362.31 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 136153 78 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 602216
[startup+1422.32 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 8528
/proc/meminfo: memFree=11829844/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1422.32 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 142152 80 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 602216
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8529
/proc/meminfo: memFree=11829456/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1482.3 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 148149 81 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 602216
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/435 8531
/proc/meminfo: memFree=11813076/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1542.31 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 154148 83 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1542.31
Current children cumulated vsize (KiB) 602216
[startup+1602.3 s]
/proc/loadavg: 2.14 2.05 2.01 3/435 8533
/proc/meminfo: memFree=11813196/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1602.3 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 160146 84 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 602216
[startup+1662.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8534
/proc/meminfo: memFree=11813564/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1662.3 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 166144 86 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 602216
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/435 8536
/proc/meminfo: memFree=11811448/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1722.31 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 172143 88 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 602216
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/435 8537
/proc/meminfo: memFree=11797176/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1782.31 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 178141 90 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 602216
Solver just ended. Dumping a history of the last processes samples
[startup+1787.7 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8537
/proc/meminfo: memFree=11796308/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1787.71 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 178681 90 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1787.71
Current children cumulated vsize (KiB) 602216
[startup+1794.12 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8538
/proc/meminfo: memFree=11795436/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1794.12 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 179322 90 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1794.12
Current children cumulated vsize (KiB) 602216
[startup+1795.7 s]
/proc/loadavg: 2.05 2.04 2.00 3/435 8538
/proc/meminfo: memFree=11795188/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1795.71 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 179481 90 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1795.71
Current children cumulated vsize (KiB) 602216
[startup+1797.3 s]
/proc/loadavg: 2.04 2.04 2.00 3/435 8538
/proc/meminfo: memFree=11794940/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1797.31 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 179641 90 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 136511187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1797.31
Current children cumulated vsize (KiB) 602216
[startup+1797.7 s]
/proc/loadavg: 2.04 2.04 2.00 3/435 8538
/proc/meminfo: memFree=11794940/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1797.71 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 179681 90 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1797.71
Current children cumulated vsize (KiB) 602216
[startup+1797.9 s]
/proc/loadavg: 2.04 2.04 2.00 3/435 8538
/proc/meminfo: memFree=11794940/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=602216 CPUtime=1797.91 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202496 149440 0 0 0 179701 90 0 0 25 0 1 0 829366389 616669184 148114 33554432000 134512640 137138936 4294696128 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/8450/statm: 150554 148114 192 642 0 149910 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 602216
[startup+1798 s]
/proc/loadavg: 2.04 2.04 2.00 3/435 8538
/proc/meminfo: memFree=11794940/32951132 swapFree=67093840/67111528
[pid=8450] ppid=8448 vsize=0 CPUtime=1798.01 cores=0,2,4,6
/proc/8450/stat : 8450 (bsolo) R 8448 8450 6192 0 -1 4202500 149441 0 0 0 179709 92 0 0 25 0 1 0 829366389 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 4 0 0 0
/proc/8450/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.03
CPU user time (s): 1797.1
CPU system time (s): 0.932858
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 602216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.1
system time used= 0.932858
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 149441
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= 5
involuntary context switches= 3348
runsolver used 8.59569 second user time and 17.4903 second system time
The end