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-3462435-1307184779/watcher-3462435-1307184779 -o /tmp/evaluation-result-3462435-1307184779/solver-3462435-1307184779 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462435-1307184779.opb
running on 4 cores: 1,3,5,7
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.03 2.00 2/446 24498
/proc/meminfo: memFree=31300848/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=13004 CPUtime=0 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 623 0 0 0 0 0 0 0 25 0 1 0 830076668 13316096 577 33554432000 134512640 137138936 4293027792 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 3251 577 185 642 0 2365 0
[startup+0.108554 s]
/proc/loadavg: 2.02 2.03 2.00 2/446 24498
/proc/meminfo: memFree=31300848/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=25704 CPUtime=0.1 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 3971 0 0 0 10 0 0 0 25 0 1 0 830076668 26320896 3806 33554432000 134512640 137138936 4293027792 18446744073709551615 134517592 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 6426 3808 314 642 0 5540 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 25704
[startup+0.200538 s]
/proc/loadavg: 2.02 2.03 2.00 2/446 24498
/proc/meminfo: memFree=31300848/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=39780 CPUtime=0.19 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 7791 0 0 0 18 1 0 0 25 0 1 0 830076668 40734720 7335 33554432000 134512640 137138936 4293027792 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 9945 7339 183 642 0 9301 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 39780
[startup+0.300524 s]
/proc/loadavg: 2.02 2.03 2.00 2/446 24498
/proc/meminfo: memFree=31300848/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=51624 CPUtime=0.29 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10650 0 0 0 28 1 0 0 25 0 1 0 830076668 52862976 10194 33554432000 134512640 137138936 4293027792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 12906 10194 185 642 0 12262 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51624
[startup+0.700397 s]
/proc/loadavg: 2.02 2.03 2.00 2/446 24498
/proc/meminfo: memFree=31300848/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=52416 CPUtime=0.69 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10854 0 0 0 68 1 0 0 25 0 1 0 830076668 53673984 10398 33554432000 134512640 137138936 4293027792 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 13104 10398 185 642 0 12460 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 52416
[startup+1.50033 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24499
/proc/meminfo: memFree=31258928/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=52416 CPUtime=1.49 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10865 0 0 0 148 1 0 0 25 0 1 0 830076668 53673984 10409 33554432000 134512640 137138936 4293027792 18446744073709551615 134542007 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 13104 10409 185 642 0 12460 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 52416
[startup+3.10097 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24499
/proc/meminfo: memFree=31257976/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=52416 CPUtime=3.09 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10865 0 0 0 308 1 0 0 25 0 1 0 830076668 53673984 10409 33554432000 134512640 137138936 4293027792 18446744073709551615 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 13104 10409 185 642 0 12460 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52416
[startup+6.30049 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 24499
/proc/meminfo: memFree=31257944/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=52416 CPUtime=6.29 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10865 0 0 0 628 1 0 0 25 0 1 0 830076668 53673984 10409 33554432000 134512640 137138936 4293027792 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 13104 10409 185 642 0 12460 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 52416
[startup+12.7003 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24499
/proc/meminfo: memFree=31257080/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=52416 CPUtime=12.69 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10865 0 0 0 1267 2 0 0 25 0 1 0 830076668 53673984 10409 33554432000 134512640 137138936 4293027792 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 13104 10409 185 642 0 12460 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 52416
[startup+25.501 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24500
/proc/meminfo: memFree=31257332/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=52416 CPUtime=25.49 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10866 0 0 0 2547 2 0 0 25 0 1 0 830076668 53673984 10410 33554432000 134512640 137138936 4293027792 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 13104 10410 185 642 0 12460 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 52416
[startup+51.1005 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24500
/proc/meminfo: memFree=31256180/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=52416 CPUtime=51.1 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10867 0 0 0 5107 3 0 0 25 0 1 0 830076668 53673984 10411 33554432000 134512640 137138936 4293027792 18446744073709551615 134566282 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 13104 10411 185 642 0 12460 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 52416
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24529
/proc/meminfo: memFree=31203900/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=52416 CPUtime=102.31 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10867 0 0 0 10227 4 0 0 25 0 1 0 830076668 53673984 10411 33554432000 134512640 137138936 4293027792 18446744073709551615 135984589 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 13104 10411 185 642 0 12460 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 52416
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24530
/proc/meminfo: memFree=31139036/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=52416 CPUtime=162.3 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 10867 0 0 0 16225 5 0 0 25 0 1 0 830076668 53673984 10411 33554432000 134512640 137138936 4293027792 18446744073709551615 136520975 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 13104 10411 185 642 0 12460 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 52416
[startup+222.317 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24532
/proc/meminfo: memFree=31091372/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=82788 CPUtime=222.31 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 933621 0 0 0 22115 116 0 0 25 0 1 0 830076668 84774912 18156 33554432000 134512640 137138936 4293027792 18446744073709551615 134607563 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 20697 18156 192 642 0 20053 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 82788
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24534
/proc/meminfo: memFree=31016808/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=158244 CPUtime=282.3 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 2548733 0 0 0 27913 317 0 0 25 0 1 0 830076668 162041856 37031 33554432000 134512640 137138936 4293027792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 39561 37031 192 642 0 38917 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 158244
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24535
/proc/meminfo: memFree=30957724/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=212812 CPUtime=342.3 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 3769567 0 0 0 33756 474 0 0 25 0 1 0 830076668 217919488 50667 33554432000 134512640 137138936 4293027792 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 53203 50667 192 642 0 52559 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 212812
[startup+402.301 s]
/proc/loadavg: 2.07 2.03 2.01 3/447 24537
/proc/meminfo: memFree=30890584/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=263668 CPUtime=402.3 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 4855367 0 0 0 39618 612 0 0 25 0 1 0 830076668 269996032 63369 33554432000 134512640 137138936 4293027792 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 65917 63369 192 642 0 65273 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 263668
[startup+462.301 s]
/proc/loadavg: 2.07 2.03 2.00 3/447 24538
/proc/meminfo: memFree=30841440/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=312372 CPUtime=462.3 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 5857645 0 0 0 45488 742 0 0 25 0 1 0 830076668 319868928 75542 33554432000 134512640 137138936 4293027792 18446744073709551615 134542508 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 78093 75542 192 642 0 77449 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 312372
[startup+522.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/447 24549
/proc/meminfo: memFree=30799876/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=353496 CPUtime=522.3 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 6759848 0 0 0 51361 869 0 0 25 0 1 0 830076668 361979904 85831 33554432000 134512640 137138936 4293027792 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 88374 85831 192 642 0 87730 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 353496
[startup+582.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/447 24551
/proc/meminfo: memFree=30732004/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=396876 CPUtime=582.31 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 7718916 0 0 0 57228 1003 0 0 25 0 1 0 830076668 406401024 96663 33554432000 134512640 137138936 4293027792 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 99219 96663 192 642 0 98575 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 396876
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=30375196/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=715160 CPUtime=1062.32 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 15012792 0 0 0 104246 1986 0 0 25 0 1 0 830076668 732323840 176257 33554432000 134512640 137138936 4293027792 18446744073709551615 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 178939 176274 192 642 0 178295 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 715160
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 24568
/proc/meminfo: memFree=30341308/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=748768 CPUtime=1122.32 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 15827719 0 0 0 110129 2103 0 0 25 0 1 0 830076668 766738432 184647 33554432000 134512640 137138936 4293027792 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 187192 184647 192 642 0 186548 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 748768
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24570
/proc/meminfo: memFree=30309772/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=780248 CPUtime=1182.32 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 16595208 0 0 0 116020 2212 0 0 25 0 1 0 830076668 798973952 192534 33554432000 134512640 137138936 4293027792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 195062 192534 192 642 0 194418 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 780248
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24571
/proc/meminfo: memFree=30270928/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=818668 CPUtime=1242.32 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 17440989 0 0 0 121904 2328 0 0 25 0 1 0 830076668 838316032 202127 33554432000 134512640 137138936 4293027792 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 204667 202127 192 642 0 204023 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 818668
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/447 24573
/proc/meminfo: memFree=30236896/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=853316 CPUtime=1302.32 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 18232652 0 0 0 127786 2446 0 0 25 0 1 0 830076668 873795584 210795 33554432000 134512640 137138936 4293027792 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 213329 210795 192 642 0 212685 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 853316
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24574
/proc/meminfo: memFree=30204364/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=885744 CPUtime=1362.33 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 18957147 0 0 0 133681 2552 0 0 25 0 1 0 830076668 907001856 218898 33554432000 134512640 137138936 4293027792 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 221436 218898 192 642 0 220792 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 885744
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/447 24576
/proc/meminfo: memFree=30166260/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=923152 CPUtime=1422.33 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 19802380 0 0 0 139561 2672 0 0 25 0 1 0 830076668 945307648 228241 33554432000 134512640 137138936 4293027792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 230788 228241 192 642 0 230144 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 923152
[startup+1482.3 s]
/proc/loadavg: 2.12 2.03 2.01 3/447 24578
/proc/meminfo: memFree=30130764/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=959348 CPUtime=1482.33 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 20565690 0 0 0 145448 2785 0 0 25 0 1 0 830076668 982372352 237313 33554432000 134512640 137138936 4293027792 18446744073709551615 134542513 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 239837 237313 192 642 0 239193 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 959348
[startup+1542.32 s]
/proc/loadavg: 2.19 2.07 2.02 3/447 24579
/proc/meminfo: memFree=30081608/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1007648 CPUtime=1542.34 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 21483681 0 0 0 151325 2909 0 0 25 0 1 0 830076668 1031831552 249384 33554432000 134512640 137138936 4293027792 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 251912 249384 192 642 0 251268 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1007648
[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/447 24581
/proc/meminfo: memFree=30010772/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1049448 CPUtime=1602.33 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 22323750 0 0 0 157204 3029 0 0 25 0 1 0 830076668 1074634752 259818 33554432000 134512640 137138936 4293027792 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 262362 259818 192 642 0 261718 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 1049448
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.01 3/447 24582
/proc/meminfo: memFree=30010980/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1049448 CPUtime=1662.33 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 22323899 0 0 0 163192 3041 0 0 25 0 1 0 830076668 1074634752 259818 33554432000 134512640 137138936 4293027792 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 262362 259818 192 642 0 261718 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 1049448
[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/447 24584
/proc/meminfo: memFree=30011060/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1049448 CPUtime=1722.34 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 22323899 0 0 0 169153 3081 0 0 25 0 1 0 830076668 1074634752 259818 33554432000 134512640 137138936 4293027792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 262362 259818 192 642 0 261718 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 1049448
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24586
/proc/meminfo: memFree=30009772/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1049448 CPUtime=1782.34 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 22323899 0 0 0 175123 3111 0 0 25 0 1 0 830076668 1074634752 259818 33554432000 134512640 137138936 4293027792 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 262362 259818 192 642 0 261718 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 1049448
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24586
/proc/meminfo: memFree=30011012/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1049448 CPUtime=1785.63 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 22323899 0 0 0 175452 3111 0 0 25 0 1 0 830076668 1074634752 259818 33554432000 134512640 137138936 4293027792 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 262362 259818 192 642 0 261718 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 1049448
[startup+1792.02 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24586
/proc/meminfo: memFree=30011120/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1049448 CPUtime=1792.05 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 22323899 0 0 0 176092 3113 0 0 25 0 1 0 830076668 1074634752 259818 33554432000 134512640 137138936 4293027792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 262362 259818 192 642 0 261718 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 1049448
[startup+1795.2 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24586
/proc/meminfo: memFree=30011120/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1049448 CPUtime=1795.24 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 22323899 0 0 0 176409 3115 0 0 25 0 1 0 830076668 1074634752 259818 33554432000 134512640 137138936 4293027792 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 262362 259818 192 642 0 261718 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 1049448
[startup+1796.8 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24586
/proc/meminfo: memFree=30011120/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1049448 CPUtime=1796.83 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 22323899 0 0 0 176568 3115 0 0 25 0 1 0 830076668 1074634752 259818 33554432000 134512640 137138936 4293027792 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 262362 259818 192 642 0 261718 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 1049448
[startup+1797.6 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24586
/proc/meminfo: memFree=30010624/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=1049448 CPUtime=1797.64 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202496 22323899 0 0 0 176648 3116 0 0 25 0 1 0 830076668 1074634752 259818 33554432000 134512640 137138936 4293027792 18446744073709551615 134573444 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/24498/statm: 262362 259818 192 642 0 261718 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (KiB) 1049448
[startup+1798 s]
/proc/loadavg: 2.00 2.02 2.00 3/447 24586
/proc/meminfo: memFree=30010624/32950928 swapFree=34365992/67111528
[pid=24498] ppid=24496 vsize=0 CPUtime=1798.03 cores=1,3,5,7
/proc/24498/stat : 24498 (bsolo) R 24496 24498 22425 0 -1 4202500 22323899 0 0 0 176684 3119 0 0 18 0 1 0 830076668 0 0 33554432000 0 0 0 0 0 0 0 4096 16384 18446744073709551615 0 0 17 3 0 0 0
/proc/24498/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1798.03
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1798.01
CPU time (s): 1798.05
CPU user time (s): 1766.85
CPU system time (s): 31.2033
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 1050056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1766.85
system time used= 31.2033
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22323899
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6
involuntary context switches= 1293
runsolver used 7.56885 second user time and 18.5912 second system time
The end