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-3463223-1307173955/watcher-3463223-1307173955 -o /tmp/evaluation-result-3463223-1307173955/solver-3463223-1307173955 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463223-1307173955.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: 1.85 1.98 1.98 3/386 7341
/proc/meminfo: memFree=23551216/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=10924 CPUtime=0 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 331 0 0 0 0 0 0 0 25 0 1 0 828998226 11186176 276 33554432000 134512640 137138936 4292398464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 2731 276 184 642 0 2087 0
[startup+0.066261 s]
/proc/loadavg: 1.85 1.98 1.98 3/386 7341
/proc/meminfo: memFree=23551216/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=11312 CPUtime=0.06 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 430 0 0 0 6 0 0 0 25 0 1 0 828998226 11583488 375 33554432000 134512640 137138936 4292398464 18446744073709551615 136501687 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 2828 375 192 642 0 2184 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 11312
[startup+0.100284 s]
/proc/loadavg: 1.85 1.98 1.98 3/386 7341
/proc/meminfo: memFree=23551216/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=11444 CPUtime=0.09 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 484 0 0 0 9 0 0 0 25 0 1 0 828998226 11718656 429 33554432000 134512640 137138936 4292398464 18446744073709551615 134602873 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 2861 429 192 642 0 2217 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11444
[startup+0.300259 s]
/proc/loadavg: 1.85 1.98 1.98 3/386 7341
/proc/meminfo: memFree=23551216/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=12808 CPUtime=0.29 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 821 0 0 0 29 0 0 0 25 0 1 0 828998226 13115392 766 33554432000 134512640 137138936 4292398464 18446744073709551615 134599775 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 3202 766 192 642 0 2558 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12808
[startup+0.700199 s]
/proc/loadavg: 1.85 1.98 1.98 3/386 7341
/proc/meminfo: memFree=23551216/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=14908 CPUtime=0.69 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 1329 0 0 0 69 0 0 0 25 0 1 0 828998226 15265792 1274 33554432000 134512640 137138936 4292398464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 3727 1274 192 642 0 3083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14908
[startup+1.50104 s]
/proc/loadavg: 1.85 1.98 1.98 3/387 7342
/proc/meminfo: memFree=23542280/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=17888 CPUtime=1.49 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 2098 0 0 0 149 0 0 0 25 0 1 0 828998226 18317312 2043 33554432000 134512640 137138936 4292398464 18446744073709551615 136504096 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 4472 2043 192 642 0 3828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17888
[startup+3.10076 s]
/proc/loadavg: 1.85 1.98 1.98 3/387 7342
/proc/meminfo: memFree=23533608/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=22612 CPUtime=3.09 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 3262 0 0 0 308 1 0 0 25 0 1 0 828998226 23154688 3207 33554432000 134512640 137138936 4292398464 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 5653 3207 192 642 0 5009 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22612
[startup+6.30019 s]
/proc/loadavg: 1.86 1.98 1.98 3/387 7342
/proc/meminfo: memFree=23523012/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=26068 CPUtime=6.29 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 4120 0 0 0 628 1 0 0 25 0 1 0 828998226 26693632 4065 33554432000 134512640 137138936 4292398464 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 6517 4065 192 642 0 5873 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26068
[startup+12.7011 s]
/proc/loadavg: 1.88 1.98 1.98 3/387 7343
/proc/meminfo: memFree=23498608/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=27788 CPUtime=12.69 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 4557 0 0 0 1267 2 0 0 25 0 1 0 828998226 28454912 4502 33554432000 134512640 137138936 4292398464 18446744073709551615 134542310 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 6947 4502 192 642 0 6303 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27788
[startup+25.5008 s]
/proc/loadavg: 1.90 1.98 1.98 3/387 7343
/proc/meminfo: memFree=23460740/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=29860 CPUtime=25.49 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 5076 0 0 0 2546 3 0 0 25 0 1 0 828998226 30576640 5021 33554432000 134512640 137138936 4292398464 18446744073709551615 136504172 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 7465 5021 192 642 0 6821 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 29860
[startup+51.1002 s]
/proc/loadavg: 2.00 1.99 1.99 3/387 7344
/proc/meminfo: memFree=23392240/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=34012 CPUtime=51.09 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 6117 0 0 0 5103 6 0 0 25 0 1 0 828998226 34828288 6062 33554432000 134512640 137138936 4292398464 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 8503 6062 192 642 0 7859 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34012
[startup+102.314 s]
/proc/loadavg: 2.07 2.01 1.99 3/387 7345
/proc/meminfo: memFree=23277640/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=37228 CPUtime=102.31 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 6922 0 0 0 10221 10 0 0 25 0 1 0 828998226 38121472 6867 33554432000 134512640 137138936 4292398464 18446744073709551615 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 9307 6867 192 642 0 8663 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 37228
[startup+162.301 s]
/proc/loadavg: 2.02 2.00 1.99 3/387 7347
/proc/meminfo: memFree=23148776/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=41072 CPUtime=162.29 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 7884 0 0 0 16216 13 0 0 25 0 1 0 828998226 42057728 7829 33554432000 134512640 137138936 4292398464 18446744073709551615 136511176 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 10268 7829 192 642 0 9624 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 41072
[startup+222.301 s]
/proc/loadavg: 2.01 2.00 1.99 3/387 7348
/proc/meminfo: memFree=23056980/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=43668 CPUtime=222.3 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 8535 0 0 0 22212 18 0 0 25 0 1 0 828998226 44716032 8480 33554432000 134512640 137138936 4292398464 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 10917 8480 192 642 0 10273 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 43668
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/387 7350
/proc/meminfo: memFree=22952788/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=44004 CPUtime=282.3 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 8620 0 0 0 28208 22 0 0 25 0 1 0 828998226 45060096 8565 33554432000 134512640 137138936 4292398464 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 11001 8565 192 642 0 10357 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 44004
[startup+342.301 s]
/proc/loadavg: 2.05 2.01 2.00 3/387 7351
/proc/meminfo: memFree=22840040/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=47804 CPUtime=342.3 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 9563 0 0 0 34205 25 0 0 25 0 1 0 828998226 48951296 9508 33554432000 134512640 137138936 4292398464 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 11951 9508 192 642 0 11307 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 47804
[startup+402.301 s]
/proc/loadavg: 2.02 2.01 2.00 3/387 7353
/proc/meminfo: memFree=22753448/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=48624 CPUtime=402.3 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 9776 0 0 0 40201 29 0 0 25 0 1 0 828998226 49790976 9721 33554432000 134512640 137138936 4292398464 18446744073709551615 134542214 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 12156 9721 192 642 0 11512 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 48624
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7355
/proc/meminfo: memFree=22677404/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=49332 CPUtime=462.3 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 9962 0 0 0 46198 32 0 0 25 0 1 0 828998226 50515968 9907 33554432000 134512640 137138936 4292398464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 12333 9907 192 642 0 11689 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 49332
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7365
/proc/meminfo: memFree=22593988/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=51372 CPUtime=522.3 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 10469 0 0 0 52195 35 0 0 25 0 1 0 828998226 52604928 10414 33554432000 134512640 137138936 4292398464 18446744073709551615 134542202 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 12843 10414 192 642 0 12199 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 51372
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/387 7367
/proc/meminfo: memFree=22522276/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=51524 CPUtime=582.3 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 10510 0 0 0 58192 38 0 0 25 0 1 0 828998226 52760576 10454 33554432000 134512640 137138936 4292398464 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 12881 10454 192 642 0 12237 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 51524
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22481312/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=60632 CPUtime=1062.32 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 12789 0 0 0 106168 64 0 0 25 0 1 0 828998226 62087168 12733 33554432000 134512640 137138936 4292398464 18446744073709551615 134575109 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 15158 12733 192 642 0 14514 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 60632
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/387 7384
/proc/meminfo: memFree=22481028/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=60632 CPUtime=1122.32 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 12789 0 0 0 112164 68 0 0 25 0 1 0 828998226 62087168 12733 33554432000 134512640 137138936 4292398464 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 15158 12733 192 642 0 14514 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 60632
[startup+1182.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/387 7386
/proc/meminfo: memFree=22480996/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=60632 CPUtime=1182.32 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 12789 0 0 0 118161 71 0 0 25 0 1 0 828998226 62087168 12733 33554432000 134512640 137138936 4292398464 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 15158 12733 192 642 0 14514 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 60632
[startup+1242.3 s]
/proc/loadavg: 2.09 2.04 2.01 3/387 7387
/proc/meminfo: memFree=22479220/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=61096 CPUtime=1242.32 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 12900 0 0 0 124159 73 0 0 25 0 1 0 828998226 62562304 12844 33554432000 134512640 137138936 4292398464 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 15274 12844 192 642 0 14630 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 61096
[startup+1302.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/387 7389
/proc/meminfo: memFree=22477072/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=64132 CPUtime=1302.32 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 13661 0 0 0 130156 76 0 0 25 0 1 0 828998226 65671168 13605 33554432000 134512640 137138936 4292398464 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16033 13605 192 642 0 15389 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 64132
[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/387 7391
/proc/meminfo: memFree=22440204/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65272 CPUtime=1362.32 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 13946 0 0 0 136153 79 0 0 25 0 1 0 828998226 66838528 13890 33554432000 134512640 137138936 4292398464 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16318 13890 192 642 0 15674 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 65272
[startup+1422.31 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 7392
/proc/meminfo: memFree=22374204/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=66072 CPUtime=1422.34 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 142150 84 0 0 25 0 1 0 828998226 67657728 14090 33554432000 134512640 137138936 4292398464 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16518 14090 192 642 0 15874 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 66072
[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/387 7394
/proc/meminfo: memFree=22308076/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=66068 CPUtime=1482.33 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 148146 87 0 0 25 0 1 0 828998226 67653632 14090 33554432000 134512640 137138936 4292398464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16517 14090 192 642 0 15873 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 66068
[startup+1542.3 s]
/proc/loadavg: 2.06 2.05 2.01 3/387 7395
/proc/meminfo: memFree=22271592/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=66064 CPUtime=1542.33 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 154142 91 0 0 25 0 1 0 828998226 67649536 14090 33554432000 134512640 137138936 4292398464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16516 14090 192 642 0 15872 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 66064
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/387 7397
/proc/meminfo: memFree=22271560/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65928 CPUtime=1602.33 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 160139 94 0 0 25 0 1 0 828998226 67510272 14057 33554432000 134512640 137138936 4292398464 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16482 14057 192 642 0 15838 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 65928
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/387 7399
/proc/meminfo: memFree=22271404/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65928 CPUtime=1662.33 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 166135 98 0 0 25 0 1 0 828998226 67510272 14057 33554432000 134512640 137138936 4292398464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16482 14057 192 642 0 15838 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 65928
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/387 7400
/proc/meminfo: memFree=22271120/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65920 CPUtime=1722.33 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 172132 101 0 0 25 0 1 0 828998226 67502080 14055 33554432000 134512640 137138936 4292398464 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16480 14055 192 642 0 15836 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 65920
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/387 7429
/proc/meminfo: memFree=23428636/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65920 CPUtime=1782.33 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 178129 104 0 0 25 0 1 0 828998226 67502080 14055 33554432000 134512640 137138936 4292398464 18446744073709551615 134542490 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16480 14055 192 642 0 15836 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 65920
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.07 2.03 2.00 3/387 7429
/proc/meminfo: memFree=23449608/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65920 CPUtime=1785.53 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 178449 104 0 0 25 0 1 0 828998226 67502080 14055 33554432000 134512640 137138936 4292398464 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16480 14055 192 642 0 15836 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 65920
[startup+1791.91 s]
/proc/loadavg: 2.06 2.03 2.00 3/387 7429
/proc/meminfo: memFree=23420600/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65920 CPUtime=1791.94 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 179090 104 0 0 25 0 1 0 828998226 67502080 14055 33554432000 134512640 137138936 4292398464 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16480 14055 192 642 0 15836 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 65920
[startup+1795.1 s]
/proc/loadavg: 2.06 2.03 2.00 3/387 7429
/proc/meminfo: memFree=23413280/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65920 CPUtime=1795.14 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 179409 105 0 0 25 0 1 0 828998226 67502080 14055 33554432000 134512640 137138936 4292398464 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16480 14055 192 642 0 15836 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 65920
[startup+1796.7 s]
/proc/loadavg: 2.06 2.03 2.00 3/387 7429
/proc/meminfo: memFree=23411296/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65920 CPUtime=1796.74 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 179569 105 0 0 25 0 1 0 828998226 67502080 14055 33554432000 134512640 137138936 4292398464 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16480 14055 192 642 0 15836 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 65920
[startup+1797.5 s]
/proc/loadavg: 2.06 2.03 2.00 3/387 7429
/proc/meminfo: memFree=23410424/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65920 CPUtime=1797.53 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 179648 105 0 0 25 0 1 0 828998226 67502080 14055 33554432000 134512640 137138936 4292398464 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16480 14055 192 642 0 15836 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 65920
[startup+1797.9 s]
/proc/loadavg: 2.06 2.03 2.00 3/387 7429
/proc/meminfo: memFree=23410424/32951124 swapFree=49244120/67111528
[pid=7341] ppid=7339 vsize=65920 CPUtime=1797.93 cores=0,2,4,6
/proc/7341/stat : 7341 (bsolo) R 7339 7341 6095 0 -1 4202496 14146 0 0 0 179688 105 0 0 25 0 1 0 828998226 67502080 14055 33554432000 134512640 137138936 4292398464 18446744073709551615 134542640 0 0 4096 16384 0 0 0 17 4 0 0 0
/proc/7341/statm: 16480 14055 192 642 0 15836 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 65920
Child status: 0
Real time (s): 1797.97
CPU time (s): 1798.01
CPU user time (s): 1796.95
CPU system time (s): 1.05584
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 66072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.95
system time used= 1.05584
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14146
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= 3
involuntary context switches= 4474
runsolver used 7.31589 second user time and 15.4826 second system time
The end