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-3463152-1307177221/watcher-3463152-1307177221 -o /tmp/evaluation-result-3463152-1307177221/solver-3463152-1307177221 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463152-1307177221.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.02 2.05 1.98 2/550 32234
/proc/meminfo: memFree=20035912/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=11468 CPUtime=0.01 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 504 0 0 0 1 0 0 0 25 0 1 0 829322508 11743232 433 33554432000 134512640 137138936 4287474608 18446744073709551615 136621744 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 2867 433 186 642 0 2223 0
[startup+0.097263 s]
/proc/loadavg: 2.02 2.05 1.98 2/550 32234
/proc/meminfo: memFree=20035912/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=12084 CPUtime=0.09 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 651 0 0 0 9 0 0 0 25 0 1 0 829322508 12374016 580 33554432000 134512640 137138936 4287474608 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 3021 580 192 642 0 2377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12084
[startup+0.100263 s]
/proc/loadavg: 2.02 2.05 1.98 2/550 32234
/proc/meminfo: memFree=20035912/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=12084 CPUtime=0.09 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 656 0 0 0 9 0 0 0 25 0 1 0 829322508 12374016 585 33554432000 134512640 137138936 4287474608 18446744073709551615 134606686 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 3021 586 192 642 0 2377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12084
[startup+0.300229 s]
/proc/loadavg: 2.02 2.05 1.98 2/550 32234
/proc/meminfo: memFree=20035912/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=13296 CPUtime=0.29 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 955 0 0 0 29 0 0 0 25 0 1 0 829322508 13615104 884 33554432000 134512640 137138936 4287474608 18446744073709551615 134618026 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 3324 884 192 642 0 2680 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13296
[startup+0.700183 s]
/proc/loadavg: 2.02 2.05 1.98 2/550 32234
/proc/meminfo: memFree=20035912/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=15408 CPUtime=0.69 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 1481 0 0 0 69 0 0 0 25 0 1 0 829322508 15777792 1410 33554432000 134512640 137138936 4287474608 18446744073709551615 134575640 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 3852 1410 192 642 0 3208 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15408
[startup+1.50104 s]
/proc/loadavg: 2.02 2.05 1.98 3/551 32235
/proc/meminfo: memFree=20028712/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=19600 CPUtime=1.49 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 2541 0 0 0 149 0 0 0 25 0 1 0 829322508 20070400 2470 33554432000 134512640 137138936 4287474608 18446744073709551615 136502651 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 4900 2470 192 642 0 4256 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 19600
[startup+3.10075 s]
/proc/loadavg: 2.02 2.05 1.98 3/551 32235
/proc/meminfo: memFree=20022760/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=24644 CPUtime=3.09 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 3795 0 0 0 309 0 0 0 25 0 1 0 829322508 25235456 3724 33554432000 134512640 137138936 4287474608 18446744073709551615 134573200 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 6161 3727 192 642 0 5517 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 24644
[startup+6.30014 s]
/proc/loadavg: 2.02 2.04 1.98 3/551 32235
/proc/meminfo: memFree=20016828/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=27612 CPUtime=6.29 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 4540 0 0 0 628 1 0 0 25 0 1 0 829322508 28274688 4469 33554432000 134512640 137138936 4287474608 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 6903 4469 192 642 0 6259 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 27612
[startup+12.701 s]
/proc/loadavg: 2.02 2.04 1.98 3/551 32235
/proc/meminfo: memFree=20009608/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=34080 CPUtime=12.69 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 6148 0 0 0 1267 2 0 0 25 0 1 0 829322508 34897920 6077 33554432000 134512640 137138936 4287474608 18446744073709551615 136511187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 8520 6077 192 642 0 7876 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 34080
[startup+25.5007 s]
/proc/loadavg: 2.01 2.04 1.98 3/551 32263
/proc/meminfo: memFree=21100096/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=37832 CPUtime=25.49 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 7092 0 0 0 2546 3 0 0 25 0 1 0 829322508 38739968 7021 33554432000 134512640 137138936 4287474608 18446744073709551615 134607581 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 9458 7021 192 642 0 8814 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 37832
[startup+51.101 s]
/proc/loadavg: 2.01 2.04 1.98 3/551 32263
/proc/meminfo: memFree=21090076/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=43448 CPUtime=51.08 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 8504 0 0 0 5104 4 0 0 25 0 1 0 829322508 44490752 8433 33554432000 134512640 137138936 4287474608 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 10862 8433 192 642 0 10218 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 43448
[startup+102.321 s]
/proc/loadavg: 2.10 2.06 2.00 3/551 32265
/proc/meminfo: memFree=21084212/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=48124 CPUtime=102.31 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 9834 0 0 0 10222 9 0 0 25 0 1 0 829322508 49278976 9602 33554432000 134512640 137138936 4287474608 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 12031 9602 192 642 0 11387 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 48124
[startup+162.301 s]
/proc/loadavg: 2.08 2.06 2.00 3/551 32266
/proc/meminfo: memFree=21074392/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=54660 CPUtime=162.29 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 11497 0 0 0 16214 15 0 0 25 0 1 0 829322508 55971840 11231 33554432000 134512640 137138936 4287474608 18446744073709551615 134574740 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 13665 11231 192 642 0 13021 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 54660
[startup+222.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/551 32268
/proc/meminfo: memFree=21071756/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=55820 CPUtime=222.29 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 11781 0 0 0 22210 19 0 0 25 0 1 0 829322508 57159680 11515 33554432000 134512640 137138936 4287474608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 13955 11515 192 642 0 13311 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 55820
[startup+282.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/551 32270
/proc/meminfo: memFree=21068388/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=59172 CPUtime=282.3 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 12621 0 0 0 28206 24 0 0 25 0 1 0 829322508 60592128 12355 33554432000 134512640 137138936 4287474608 18446744073709551615 134618106 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 14793 12355 192 642 0 14149 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 59172
[startup+342.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 32271
/proc/meminfo: memFree=21067360/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=58832 CPUtime=342.29 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 12621 0 0 0 34200 29 0 0 25 0 1 0 829322508 60243968 12285 33554432000 134512640 137138936 4287474608 18446744073709551615 134551578 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 14708 12285 192 642 0 14064 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 58832
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 32273
/proc/meminfo: memFree=21066220/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=61228 CPUtime=402.3 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 13218 0 0 0 40198 32 0 0 25 0 1 0 829322508 62697472 12882 33554432000 134512640 137138936 4287474608 18446744073709551615 134599804 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 15307 12882 192 642 0 14663 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 61228
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/551 32274
/proc/meminfo: memFree=21060256/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=67376 CPUtime=462.3 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 14750 0 0 0 46195 35 0 0 25 0 1 0 829322508 68993024 14414 33554432000 134512640 137138936 4287474608 18446744073709551615 134606683 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 16844 14414 192 642 0 16200 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 67376
[startup+522.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/551 32276
/proc/meminfo: memFree=21057632/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=69080 CPUtime=522.3 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 15171 0 0 0 52193 37 0 0 25 0 1 0 829322508 70737920 14835 33554432000 134512640 137138936 4287474608 18446744073709551615 134575837 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 17270 14835 192 642 0 16626 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 69080
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/551 32278
/proc/meminfo: memFree=21057844/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=69080 CPUtime=582.3 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 15171 0 0 0 58189 41 0 0 25 0 1 0 829322508 70737920 14835 33554432000 134512640 137138936 4287474608 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 17270 14835 192 642 0 16626 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 69080
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=21052880/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=73176 CPUtime=1062.32 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 16869 0 0 0 106161 71 0 0 25 0 1 0 829322508 74932224 15864 33554432000 134512640 137138936 4287474608 18446744073709551615 134606982 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 18294 15864 192 642 0 17650 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 73176
[startup+1122.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/551 32304
/proc/meminfo: memFree=21052104/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=73804 CPUtime=1122.32 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 17014 0 0 0 112157 75 0 0 25 0 1 0 829322508 75575296 16009 33554432000 134512640 137138936 4287474608 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 18451 16009 192 642 0 17807 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 73804
[startup+1182.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/551 32306
/proc/meminfo: memFree=21049980/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=74772 CPUtime=1182.32 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 17256 0 0 0 118155 77 0 0 25 0 1 0 829322508 76566528 16251 33554432000 134512640 137138936 4287474608 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 18693 16251 192 642 0 18049 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 74772
[startup+1242.3 s]
/proc/loadavg: 2.09 2.08 2.02 3/551 32307
/proc/meminfo: memFree=21048604/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=74772 CPUtime=1242.32 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 17256 0 0 0 124152 80 0 0 25 0 1 0 829322508 76566528 16251 33554432000 134512640 137138936 4287474608 18446744073709551615 134577120 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 18693 16251 192 642 0 18049 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 74772
[startup+1302.3 s]
/proc/loadavg: 2.03 2.06 2.01 3/551 32309
/proc/meminfo: memFree=21047956/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=73788 CPUtime=1302.35 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 17256 0 0 0 130151 84 0 0 25 0 1 0 829322508 75558912 16024 33554432000 134512640 137138936 4287474608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 18447 16024 192 642 0 17803 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 73788
[startup+1362.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/551 32310
/proc/meminfo: memFree=21049668/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=73744 CPUtime=1362.33 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 17452 0 0 0 136146 87 0 0 25 0 1 0 829322508 75513856 16013 33554432000 134512640 137138936 4287474608 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 18436 16013 192 642 0 17792 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 73744
[startup+1422.32 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 32312
/proc/meminfo: memFree=21050868/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=73716 CPUtime=1422.35 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 17636 0 0 0 142144 91 0 0 25 0 1 0 829322508 75485184 16006 33554432000 134512640 137138936 4287474608 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 18429 16006 192 642 0 17785 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 73716
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 32314
/proc/meminfo: memFree=21048360/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=76124 CPUtime=1482.33 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 18285 0 0 0 148140 93 0 0 25 0 1 0 829322508 77950976 16608 33554432000 134512640 137138936 4287474608 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 19031 16608 192 642 0 18387 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 76124
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 32315
/proc/meminfo: memFree=21050816/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=74988 CPUtime=1542.33 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 18599 0 0 0 154137 96 0 0 25 0 1 0 829322508 76787712 16318 33554432000 134512640 137138936 4287474608 18446744073709551615 134606663 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 18747 16318 192 642 0 18103 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 74988
[startup+1602.3 s]
/proc/loadavg: 2.14 2.06 2.01 3/551 32317
/proc/meminfo: memFree=21044340/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=80160 CPUtime=1602.33 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 19893 0 0 0 160133 100 0 0 25 0 1 0 829322508 82083840 17612 33554432000 134512640 137138936 4287474608 18446744073709551615 134551233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 20040 17612 192 642 0 19396 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 80160
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/551 32318
/proc/meminfo: memFree=21044324/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=80380 CPUtime=1662.34 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 20019 0 0 0 166130 104 0 0 25 0 1 0 829322508 82309120 17672 33554432000 134512640 137138936 4287474608 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 20095 17672 192 642 0 19451 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 80380
[startup+1722.3 s]
/proc/loadavg: 2.12 2.07 2.01 3/551 32320
/proc/meminfo: memFree=21045032/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=79760 CPUtime=1722.34 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 20094 0 0 0 172126 108 0 0 25 0 1 0 829322508 81674240 17499 33554432000 134512640 137138936 4287474608 18446744073709551615 136501684 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 19940 17499 192 642 0 19296 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 79760
[startup+1782.3 s]
/proc/loadavg: 2.09 2.07 2.01 3/551 32322
/proc/meminfo: memFree=21043888/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=79872 CPUtime=1782.34 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 20134 0 0 0 178123 111 0 0 25 0 1 0 829322508 81788928 17539 33554432000 134512640 137138936 4287474608 18446744073709551615 136504020 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 19968 17539 192 642 0 19324 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 79872
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.08 2.06 2.01 3/551 32322
/proc/meminfo: memFree=21043392/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=79872 CPUtime=1785.54 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 20134 0 0 0 178443 111 0 0 25 0 1 0 829322508 81788928 17539 33554432000 134512640 137138936 4287474608 18446744073709551615 134551584 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 19968 17539 192 642 0 19324 0
Current children cumulated CPU time (s) 1785.54
Current children cumulated vsize (KiB) 79872
[startup+1791.92 s]
/proc/loadavg: 2.08 2.06 2.01 3/551 32322
/proc/meminfo: memFree=21043764/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=79872 CPUtime=1791.96 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 20134 0 0 0 179085 111 0 0 25 0 1 0 829322508 81788928 17539 33554432000 134512640 137138936 4287474608 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 19968 17539 192 642 0 19324 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 79872
[startup+1795.1 s]
/proc/loadavg: 2.07 2.06 2.01 3/551 32322
/proc/meminfo: memFree=21042276/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=79872 CPUtime=1795.16 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 20134 0 0 0 179405 111 0 0 25 0 1 0 829322508 81788928 17539 33554432000 134512640 137138936 4287474608 18446744073709551615 134603271 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 19968 17539 192 642 0 19324 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 79872
[startup+1796.7 s]
/proc/loadavg: 2.07 2.06 2.01 3/551 32322
/proc/meminfo: memFree=21044012/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=79872 CPUtime=1796.74 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 20134 0 0 0 179563 111 0 0 25 0 1 0 829322508 81788928 17539 33554432000 134512640 137138936 4287474608 18446744073709551615 134551802 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 19968 17539 192 642 0 19324 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 79872
[startup+1797.5 s]
/proc/loadavg: 2.07 2.06 2.01 3/551 32322
/proc/meminfo: memFree=21043516/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=79872 CPUtime=1797.53 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 20134 0 0 0 179642 111 0 0 25 0 1 0 829322508 81788928 17539 33554432000 134512640 137138936 4287474608 18446744073709551615 136296975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 19968 17539 192 642 0 19324 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 79872
[startup+1797.9 s]
/proc/loadavg: 2.07 2.06 2.01 3/551 32322
/proc/meminfo: memFree=21043516/32951124 swapFree=53733252/67111528
[pid=32234] ppid=32232 vsize=79872 CPUtime=1797.93 cores=0,2,4,6
/proc/32234/stat : 32234 (bsolo) R 32232 32234 29102 0 -1 4202496 20134 0 0 0 179682 111 0 0 25 0 1 0 829322508 81788928 17539 33554432000 134512640 137138936 4287474608 18446744073709551615 134618140 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/32234/statm: 19968 17539 192 642 0 19324 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 79872
Child status: 0
Real time (s): 1797.96
CPU time (s): 1798
CPU user time (s): 1796.88
CPU system time (s): 1.12283
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 80700
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.88
system time used= 1.12283
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20135
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= 3053
runsolver used 10.4834 second user time and 22.2096 second system time
The end