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-3463026-1307177430/watcher-3463026-1307177430 -o /tmp/evaluation-result-3463026-1307177430/solver-3463026-1307177430 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463026-1307177430.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.13 2.03 1.93 2/400 9489
/proc/meminfo: memFree=30009504/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=11400 CPUtime=0 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 420 0 0 0 0 0 0 0 25 0 1 0 829342807 11673600 374 33554432000 134512640 137138936 4286699248 18446744073709551615 134516218 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 2850 375 196 642 0 2158 0
[startup+0.0931379 s]
/proc/loadavg: 2.13 2.03 1.93 2/400 9489
/proc/meminfo: memFree=30009504/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=12280 CPUtime=0.09 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 724 0 0 0 9 0 0 0 25 0 1 0 829342807 12574720 630 33554432000 134512640 137138936 4286699248 18446744073709551615 134607601 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 3070 630 192 642 0 2426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12280
[startup+0.101131 s]
/proc/loadavg: 2.13 2.03 1.93 2/400 9489
/proc/meminfo: memFree=30009504/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=12280 CPUtime=0.09 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 742 0 0 0 9 0 0 0 25 0 1 0 829342807 12574720 648 33554432000 134512640 137138936 4286699248 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 3070 648 192 642 0 2426 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12280
[startup+0.300978 s]
/proc/loadavg: 2.13 2.03 1.93 2/400 9489
/proc/meminfo: memFree=30009504/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=13576 CPUtime=0.29 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 1065 0 0 0 29 0 0 0 25 0 1 0 829342807 13901824 971 33554432000 134512640 137138936 4286699248 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 3394 971 192 642 0 2750 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13576
[startup+0.701015 s]
/proc/loadavg: 2.13 2.03 1.93 2/400 9489
/proc/meminfo: memFree=30009504/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=16228 CPUtime=0.69 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 1729 0 0 0 69 0 0 0 25 0 1 0 829342807 16617472 1635 33554432000 134512640 137138936 4286699248 18446744073709551615 136511173 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 4057 1635 192 642 0 3413 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16228
[startup+1.50087 s]
/proc/loadavg: 2.13 2.03 1.93 3/401 9490
/proc/meminfo: memFree=30000824/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=20128 CPUtime=1.49 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 2688 0 0 0 149 0 0 0 25 0 1 0 829342807 20611072 2594 33554432000 134512640 137138936 4286699248 18446744073709551615 134607006 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 5032 2594 192 642 0 4388 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 20128
[startup+3.10051 s]
/proc/loadavg: 2.13 2.03 1.93 3/401 9490
/proc/meminfo: memFree=29996172/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=25496 CPUtime=3.09 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 4036 0 0 0 309 0 0 0 25 0 1 0 829342807 26107904 3942 33554432000 134512640 137138936 4286699248 18446744073709551615 134607598 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 6374 3942 192 642 0 5730 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25496
[startup+6.30102 s]
/proc/loadavg: 2.12 2.03 1.93 3/401 9490
/proc/meminfo: memFree=29988092/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=32284 CPUtime=6.29 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 5729 0 0 0 629 0 0 0 25 0 1 0 829342807 33058816 5635 33554432000 134512640 137138936 4286699248 18446744073709551615 135984544 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 8071 5635 192 642 0 7427 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32284
[startup+12.7009 s]
/proc/loadavg: 2.11 2.03 1.93 3/401 9490
/proc/meminfo: memFree=29964064/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=55556 CPUtime=12.69 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 11552 0 0 0 1267 2 0 0 25 0 1 0 829342807 56889344 11458 33554432000 134512640 137138936 4286699248 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 13889 11458 192 642 0 13245 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 55556
[startup+25.5006 s]
/proc/loadavg: 2.09 2.03 1.93 3/401 9491
/proc/meminfo: memFree=29959220/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=58624 CPUtime=25.49 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 12320 0 0 0 2546 3 0 0 25 0 1 0 829342807 60030976 12226 33554432000 134512640 137138936 4286699248 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 14656 12226 192 642 0 14012 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 58624
[startup+51.101 s]
/proc/loadavg: 2.06 2.03 1.93 3/401 9491
/proc/meminfo: memFree=29942080/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=75388 CPUtime=51.09 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 16506 0 0 0 5105 4 0 0 25 0 1 0 829342807 77197312 16412 33554432000 134512640 137138936 4286699248 18446744073709551615 136502581 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 18847 16412 192 642 0 18203 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 75388
[startup+102.315 s]
/proc/loadavg: 2.02 2.02 1.93 3/401 9493
/proc/meminfo: memFree=29922828/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=94032 CPUtime=102.31 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 21158 0 0 0 10223 8 0 0 25 0 1 0 829342807 96288768 21064 33554432000 134512640 137138936 4286699248 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 23508 21064 192 642 0 22864 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 94032
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/401 9494
/proc/meminfo: memFree=29915356/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=101192 CPUtime=162.3 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 22959 0 0 0 16219 11 0 0 25 0 1 0 829342807 103620608 22865 33554432000 134512640 137138936 4286699248 18446744073709551615 134607604 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 25298 22865 192 642 0 24654 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 101192
[startup+222.301 s]
/proc/loadavg: 2.00 2.01 1.93 3/401 9496
/proc/meminfo: memFree=29907504/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=109952 CPUtime=222.3 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 25155 0 0 0 22218 12 0 0 25 0 1 0 829342807 112590848 25061 33554432000 134512640 137138936 4286699248 18446744073709551615 134603046 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 27488 25061 192 642 0 26844 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 109952
[startup+282.301 s]
/proc/loadavg: 2.05 2.02 1.93 3/401 9524
/proc/meminfo: memFree=29917112/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=111844 CPUtime=282.3 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 25631 0 0 0 28217 13 0 0 25 0 1 0 829342807 114528256 25537 33554432000 134512640 137138936 4286699248 18446744073709551615 134607615 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 27961 25537 192 642 0 27317 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 111844
[startup+342.301 s]
/proc/loadavg: 2.02 2.01 1.93 3/401 9526
/proc/meminfo: memFree=29451376/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=112580 CPUtime=342.3 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 25798 0 0 0 34216 14 0 0 25 0 1 0 829342807 115281920 25704 33554432000 134512640 137138936 4286699248 18446744073709551615 134606628 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 28145 25704 192 642 0 27501 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 112580
[startup+402.301 s]
/proc/loadavg: 2.19 2.06 1.95 3/401 9528
/proc/meminfo: memFree=29167628/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=112580 CPUtime=402.3 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 25798 0 0 0 40214 16 0 0 25 0 1 0 829342807 115281920 25704 33554432000 134512640 137138936 4286699248 18446744073709551615 134606979 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 28145 25704 192 642 0 27501 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 112580
[startup+462.301 s]
/proc/loadavg: 2.12 2.06 1.95 3/401 9529
/proc/meminfo: memFree=28905208/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=115140 CPUtime=462.3 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 26461 0 0 0 46211 19 0 0 25 0 1 0 829342807 117903360 26362 33554432000 134512640 137138936 4286699248 18446744073709551615 134606673 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 28785 26362 192 642 0 28141 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 115140
[startup+522.301 s]
/proc/loadavg: 2.04 2.05 1.95 3/401 9531
/proc/meminfo: memFree=28905184/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=116512 CPUtime=522.3 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 26788 0 0 0 52209 21 0 0 25 0 1 0 829342807 119308288 26689 33554432000 134512640 137138936 4286699248 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 29128 26689 192 642 0 28484 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 116512
[startup+582.3 s]
/proc/loadavg: 2.01 2.04 1.95 3/401 9532
/proc/meminfo: memFree=28902780/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=118444 CPUtime=582.3 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 27277 0 0 0 58207 23 0 0 25 0 1 0 829342807 121286656 27178 33554432000 134512640 137138936 4286699248 18446744073709551615 134542525 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 29611 27178 192 642 0 28967 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 118444
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=28879260/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=131580 CPUtime=1062.31 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31349 0 0 0 106196 35 0 0 25 0 1 0 829342807 134737920 30473 33554432000 134512640 137138936 4286699248 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32895 30473 192 642 0 32251 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 131580
[startup+1122.3 s]
/proc/loadavg: 2.02 2.03 1.97 3/401 9559
/proc/meminfo: memFree=28879344/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=131580 CPUtime=1122.31 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31349 0 0 0 112195 36 0 0 25 0 1 0 829342807 134737920 30473 33554432000 134512640 137138936 4286699248 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32895 30473 192 642 0 32251 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 131580
[startup+1182.3 s]
/proc/loadavg: 2.05 2.04 1.98 3/401 9560
/proc/meminfo: memFree=28879284/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=131520 CPUtime=1182.32 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31349 0 0 0 118194 38 0 0 25 0 1 0 829342807 134676480 30458 33554432000 134512640 137138936 4286699248 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32880 30458 192 642 0 32236 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 131520
[startup+1242.3 s]
/proc/loadavg: 2.02 2.03 1.98 3/401 9562
/proc/meminfo: memFree=28879512/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=131952 CPUtime=1242.32 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31481 0 0 0 124193 39 0 0 25 0 1 0 829342807 135118848 30549 33554432000 134512640 137138936 4286699248 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32988 30549 192 642 0 32344 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 131952
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/401 9564
/proc/meminfo: memFree=28879468/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=131948 CPUtime=1302.33 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31481 0 0 0 130193 40 0 0 25 0 1 0 829342807 135114752 30549 33554432000 134512640 137138936 4286699248 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32987 30549 192 642 0 32343 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 131948
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 1.98 3/401 9565
/proc/meminfo: memFree=28879684/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=131916 CPUtime=1362.32 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31481 0 0 0 136191 41 0 0 25 0 1 0 829342807 135081984 30549 33554432000 134512640 137138936 4286699248 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32979 30549 192 642 0 32335 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 131916
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.98 3/401 9567
/proc/meminfo: memFree=28879660/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=131640 CPUtime=1422.33 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31481 0 0 0 142191 42 0 0 25 0 1 0 829342807 134799360 30488 33554432000 134512640 137138936 4286699248 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32910 30488 192 642 0 32266 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 131640
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/401 9568
/proc/meminfo: memFree=28879216/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=131356 CPUtime=1482.33 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31481 0 0 0 148188 45 0 0 25 0 1 0 829342807 134508544 30417 33554432000 134512640 137138936 4286699248 18446744073709551615 134599706 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32839 30417 192 642 0 32195 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 131356
[startup+1542.3 s]
/proc/loadavg: 2.09 2.03 1.99 3/401 9570
/proc/meminfo: memFree=28881392/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1542.32 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 154185 47 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 129640
[startup+1602.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/401 9572
/proc/meminfo: memFree=28880496/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1602.33 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 160182 51 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134606620 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 129640
[startup+1662.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/401 9573
/proc/meminfo: memFree=28881324/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1662.33 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 166180 53 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 129640
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/401 9575
/proc/meminfo: memFree=28881276/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1722.33 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 172178 55 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 129640
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9576
/proc/meminfo: memFree=28880232/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1782.33 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 178177 56 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134607023 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 129640
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9577
/proc/meminfo: memFree=28880232/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1785.53 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 178497 56 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134544862 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 129640
[startup+1791.92 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9577
/proc/meminfo: memFree=28881344/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1791.95 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 179139 56 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1791.95
Current children cumulated vsize (KiB) 129640
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9577
/proc/meminfo: memFree=28881344/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1795.14 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 179458 56 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 129640
[startup+1796.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9577
/proc/meminfo: memFree=28881344/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1796.73 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 179617 56 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1796.73
Current children cumulated vsize (KiB) 129640
[startup+1797.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9577
/proc/meminfo: memFree=28881220/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1797.53 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 179697 56 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134606964 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 129640
[startup+1797.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/401 9577
/proc/meminfo: memFree=28881220/32950904 swapFree=56615552/67111528
[pid=9489] ppid=9487 vsize=129640 CPUtime=1797.93 cores=0,2,4,6
/proc/9489/stat : 9489 (bsolo) R 9487 9489 8078 0 -1 4202496 31482 0 0 0 179737 56 0 0 25 0 1 0 829342807 132751360 29989 33554432000 134512640 137138936 4286699248 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/9489/statm: 32410 29989 192 642 0 31766 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 129640
Child status: 0
Real time (s): 1797.98
CPU time (s): 1798.02
CPU user time (s): 1797.45
CPU system time (s): 0.571913
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 133224
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.45
system time used= 0.571913
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31483
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= 3103
runsolver used 7.03293 second user time and 15.8326 second system time
The end