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-3463007-1307175510/watcher-3463007-1307175510 -o /tmp/evaluation-result-3463007-1307175510/solver-3463007-1307175510 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3463007-1307175510.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17718
/proc/meminfo: memFree=23093992/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=10792 CPUtime=0 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 287 0 0 0 0 0 0 0 25 0 1 0 907781715 11051008 230 33554432000 134512640 137138936 4291997248 18446744073709551615 136625440 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 2698 230 166 642 0 2054 0
[startup+0.098728 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17718
/proc/meminfo: memFree=23093992/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=12544 CPUtime=0.08 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 737 0 0 0 8 0 0 0 25 0 1 0 907781715 12845056 646 33554432000 134512640 137138936 4291997248 18446744073709551615 135466274 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 3136 646 278 642 0 2492 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 12544
[startup+0.100725 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17718
/proc/meminfo: memFree=23093992/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=12544 CPUtime=0.09 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 738 0 0 0 9 0 0 0 25 0 1 0 907781715 12845056 647 33554432000 134512640 137138936 4291997248 18446744073709551615 135499299 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 3136 648 278 642 0 2492 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12544
[startup+0.300686 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17718
/proc/meminfo: memFree=23093992/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=13312 CPUtime=0.29 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 1129 0 0 0 29 0 0 0 25 0 1 0 907781715 13631488 722 33554432000 134512640 137138936 4291997248 18446744073709551615 135445910 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 3328 722 278 642 0 2684 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13312
[startup+0.700617 s]
/proc/loadavg: 2.00 2.03 2.00 3/515 17718
/proc/meminfo: memFree=23093992/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=13384 CPUtime=0.68 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 1995 0 0 0 68 0 0 0 25 0 1 0 907781715 13705216 695 33554432000 134512640 137138936 4291997248 18446744073709551615 135439898 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 3346 695 283 642 0 2702 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 13384
[startup+1.50046 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 17719
/proc/meminfo: memFree=23092116/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=13492 CPUtime=1.48 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 6513 0 0 0 148 0 0 0 25 0 1 0 907781715 13815808 585 33554432000 134512640 137138936 4291997248 18446744073709551615 134768848 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 3373 585 283 642 0 2729 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 13492
[startup+3.10115 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 17720
/proc/meminfo: memFree=23091120/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=13536 CPUtime=3.08 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 18827 0 0 0 306 2 0 0 25 0 1 0 907781715 13860864 514 33554432000 134512640 137138936 4291997248 18446744073709551615 134734537 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 3384 514 283 642 0 2740 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13536
[startup+6.30055 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 17720
/proc/meminfo: memFree=23089260/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=13988 CPUtime=6.28 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 44303 0 0 0 623 5 0 0 25 0 1 0 907781715 14323712 765 33554432000 134512640 137138936 4291997248 18446744073709551615 135466081 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 3497 765 291 642 0 2853 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13988
[startup+12.7003 s]
/proc/loadavg: 2.16 2.06 2.01 3/516 17720
/proc/meminfo: memFree=23087744/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=15544 CPUtime=12.68 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 112904 0 0 0 1253 15 0 0 25 0 1 0 907781715 15917056 1016 33554432000 134512640 137138936 4291997248 18446744073709551615 135445280 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 3886 1016 292 642 0 3242 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15544
[startup+25.5009 s]
/proc/loadavg: 2.12 2.06 2.01 3/516 17720
/proc/meminfo: memFree=23085512/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=18108 CPUtime=25.49 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 237688 0 0 0 2516 33 0 0 25 0 1 0 907781715 18542592 1630 33554432000 134512640 137138936 4291997248 18446744073709551615 134768923 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 4527 1630 292 642 0 3883 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18108
[startup+51.1011 s]
/proc/loadavg: 2.08 2.05 2.01 3/516 17721
/proc/meminfo: memFree=23070040/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=34200 CPUtime=51.09 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 600050 0 0 0 5024 85 0 0 25 0 1 0 907781715 35020800 5586 33554432000 134512640 137138936 4291997248 18446744073709551615 135441031 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 8550 5586 292 642 0 7906 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 34200
[startup+102.319 s]
/proc/loadavg: 2.08 2.06 2.01 3/516 17722
/proc/meminfo: memFree=23036536/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=66100 CPUtime=102.31 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 1364612 0 0 0 10031 200 0 0 25 0 1 0 907781715 67686400 13534 33554432000 134512640 137138936 4291997248 18446744073709551615 134734501 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 16525 13534 292 642 0 15881 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 66100
[startup+162.301 s]
/proc/loadavg: 2.19 2.08 2.01 3/516 17724
/proc/meminfo: memFree=23020020/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=82108 CPUtime=162.29 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 2036857 0 0 0 15898 331 0 0 25 0 1 0 907781715 84078592 17625 33554432000 134512640 137138936 4291997248 18446744073709551615 135457360 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 20527 17625 292 642 0 19883 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 82108
[startup+222.301 s]
/proc/loadavg: 2.14 2.08 2.01 3/516 17725
/proc/meminfo: memFree=23021224/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=81252 CPUtime=222.29 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 2641996 0 0 0 21750 479 0 0 25 0 1 0 907781715 83202048 17617 33554432000 134512640 137138936 4291997248 18446744073709551615 134733524 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 20313 17617 292 642 0 19669 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 81252
[startup+282.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/516 17727
/proc/meminfo: memFree=22997396/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=106292 CPUtime=282.29 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 3476535 0 0 0 27581 648 0 0 25 0 1 0 907781715 108843008 23740 33554432000 134512640 137138936 4291997248 18446744073709551615 136574033 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 26057 23732 292 642 0 25413 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 106292
[startup+342.301 s]
/proc/loadavg: 2.02 2.05 2.00 3/516 17729
/proc/meminfo: memFree=22991904/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=108100 CPUtime=342.3 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 4160867 0 0 0 33418 812 0 0 25 0 1 0 907781715 110694400 24699 33554432000 134512640 137138936 4291997248 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 27025 24699 292 642 0 26381 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 108100
[startup+402.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/516 17730
/proc/meminfo: memFree=22986800/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=113996 CPUtime=402.3 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 4857193 0 0 0 39255 975 0 0 25 0 1 0 907781715 116731904 26174 33554432000 134512640 137138936 4291997248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 28499 26174 292 642 0 27855 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 113996
[startup+462.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 17732
/proc/meminfo: memFree=22986140/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=116204 CPUtime=462.3 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 5530707 0 0 0 45083 1147 0 0 25 0 1 0 907781715 118992896 26184 33554432000 134512640 137138936 4291997248 18446744073709551615 135473167 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 29051 26184 292 642 0 28407 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 116204
[startup+522.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 17733
/proc/meminfo: memFree=22979912/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=120064 CPUtime=522.3 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 6224545 0 0 0 50920 1310 0 0 25 0 1 0 907781715 122945536 27691 33554432000 134512640 137138936 4291997248 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 30016 27691 292 642 0 29372 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 120064
[startup+582.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/516 17735
/proc/meminfo: memFree=22976764/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=123196 CPUtime=582.31 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 6863319 0 0 0 56766 1465 0 0 25 0 1 0 907781715 126152704 28474 33554432000 134512640 137138936 4291997248 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 30799 28474 292 642 0 30155 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 123196
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=22939880/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149896 CPUtime=1062.32 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518070 0 0 0 103891 2341 0 0 25 0 1 0 907781715 153493504 35055 33554432000 134512640 137138936 4291997248 18446744073709551615 134599775 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37474 35055 292 642 0 36830 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 149896
[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/516 17830
/proc/meminfo: memFree=22939208/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149896 CPUtime=1122.32 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518070 0 0 0 109888 2344 0 0 25 0 1 0 907781715 153493504 35055 33554432000 134512640 137138936 4291997248 18446744073709551615 135783810 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37474 35055 292 642 0 36830 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 149896
[startup+1182.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/516 17832
/proc/meminfo: memFree=22940048/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149896 CPUtime=1182.33 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518070 0 0 0 115886 2347 0 0 25 0 1 0 907781715 153493504 35055 33554432000 134512640 137138936 4291997248 18446744073709551615 134730579 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37474 35055 292 642 0 36830 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 149896
[startup+1242.3 s]
/proc/loadavg: 2.22 2.07 2.02 3/516 17872
/proc/meminfo: memFree=22865036/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149896 CPUtime=1242.33 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518070 0 0 0 121883 2350 0 0 25 0 1 0 907781715 153493504 35055 33554432000 134512640 137138936 4291997248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37474 35055 292 642 0 36830 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 149896
[startup+1302.3 s]
/proc/loadavg: 2.18 2.09 2.02 3/516 17874
/proc/meminfo: memFree=22586536/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149896 CPUtime=1302.35 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518070 0 0 0 127881 2354 0 0 25 0 1 0 907781715 153493504 35055 33554432000 134512640 137138936 4291997248 18446744073709551615 135213886 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37474 35055 292 642 0 36830 0
Current children cumulated CPU time (s) 1302.35
Current children cumulated vsize (KiB) 149896
[startup+1362.3 s]
/proc/loadavg: 2.06 2.07 2.02 3/516 17876
/proc/meminfo: memFree=22392580/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149896 CPUtime=1362.34 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518070 0 0 0 133877 2357 0 0 25 0 1 0 907781715 153493504 35055 33554432000 134512640 137138936 4291997248 18446744073709551615 135260722 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37474 35055 292 642 0 36830 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 149896
[startup+1422.32 s]
/proc/loadavg: 2.02 2.05 2.01 3/516 17877
/proc/meminfo: memFree=22228848/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149896 CPUtime=1422.36 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518070 0 0 0 139876 2360 0 0 25 0 1 0 907781715 153493504 35055 33554432000 134512640 137138936 4291997248 18446744073709551615 135473115 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37474 35055 292 642 0 36830 0
Current children cumulated CPU time (s) 1422.36
Current children cumulated vsize (KiB) 149896
[startup+1482.3 s]
/proc/loadavg: 2.01 2.04 2.01 3/516 17879
/proc/meminfo: memFree=22089552/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149896 CPUtime=1482.34 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518070 0 0 0 145872 2362 0 0 25 0 1 0 907781715 153493504 35055 33554432000 134512640 137138936 4291997248 18446744073709551615 134849646 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37474 35055 292 642 0 36830 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 149896
[startup+1542.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/516 17881
/proc/meminfo: memFree=21971956/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149896 CPUtime=1542.34 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518070 0 0 0 151870 2364 0 0 25 0 1 0 907781715 153493504 35055 33554432000 134512640 137138936 4291997248 18446744073709551615 134840676 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37474 35055 292 642 0 36830 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 149896
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/516 17882
/proc/meminfo: memFree=21891308/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149908 CPUtime=1602.34 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518074 0 0 0 157867 2367 0 0 25 0 1 0 907781715 153505792 35059 33554432000 134512640 137138936 4291997248 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37477 35059 292 642 0 36833 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 149908
[startup+1662.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/516 17884
/proc/meminfo: memFree=21891392/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149908 CPUtime=1662.34 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518074 0 0 0 163864 2370 0 0 25 0 1 0 907781715 153505792 35059 33554432000 134512640 137138936 4291997248 18446744073709551615 134730654 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37477 35059 292 642 0 36833 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 149908
[startup+1722.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/516 17885
/proc/meminfo: memFree=21891356/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=149908 CPUtime=1722.34 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10518074 0 0 0 169862 2372 0 0 25 0 1 0 907781715 153505792 35059 33554432000 134512640 137138936 4291997248 18446744073709551615 134841017 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37477 35059 292 642 0 36833 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 149908
[startup+1782.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/516 17887
/proc/meminfo: memFree=21890064/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=152508 CPUtime=1782.35 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10695603 0 0 0 175816 2419 0 0 25 0 1 0 907781715 156168192 35207 33554432000 134512640 137138936 4291997248 18446744073709551615 134851564 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 38127 35207 292 642 0 37483 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 152508
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.17 2.08 2.02 3/516 17887
/proc/meminfo: memFree=21890064/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=151752 CPUtime=1785.55 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10733650 0 0 0 176127 2428 0 0 25 0 1 0 907781715 155394048 35203 33554432000 134512640 137138936 4291997248 18446744073709551615 135381138 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 38127 35206 292 642 0 37483 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 151752
[startup+1791.92 s]
/proc/loadavg: 2.16 2.08 2.02 3/516 17887
/proc/meminfo: memFree=21890060/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=150224 CPUtime=1791.97 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10795077 0 0 0 176755 2442 0 0 25 0 1 0 907781715 153829376 35199 33554432000 134512640 137138936 4291997248 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37556 35199 292 642 0 36912 0
Current children cumulated CPU time (s) 1791.97
Current children cumulated vsize (KiB) 150224
[startup+1795.1 s]
/proc/loadavg: 2.14 2.08 2.02 3/516 17887
/proc/meminfo: memFree=21890184/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=152496 CPUtime=1795.16 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10827481 0 0 0 177064 2452 0 0 25 0 1 0 907781715 156155904 35205 33554432000 134512640 137138936 4291997248 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 38124 35205 292 642 0 37480 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 152496
[startup+1796.7 s]
/proc/loadavg: 2.14 2.08 2.02 3/516 17887
/proc/meminfo: memFree=21890184/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=150084 CPUtime=1796.75 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10843964 0 0 0 177218 2457 0 0 25 0 1 0 907781715 153686016 35196 33554432000 134512640 137138936 4291997248 18446744073709551615 135782981 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37521 35196 292 642 0 36877 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 150084
[startup+1797.5 s]
/proc/loadavg: 2.14 2.08 2.02 3/516 17887
/proc/meminfo: memFree=21890184/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=152508 CPUtime=1797.55 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10852234 0 0 0 177296 2459 0 0 25 0 1 0 907781715 156168192 35206 33554432000 134512640 137138936 4291997248 18446744073709551615 136506636 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 38127 35206 292 642 0 37483 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (KiB) 152508
[startup+1797.9 s]
/proc/loadavg: 2.14 2.08 2.02 3/516 17887
/proc/meminfo: memFree=21890184/32950928 swapFree=58671692/67111528
[pid=17718] ppid=17716 vsize=150084 CPUtime=1797.95 cores=0,2,4,6
/proc/17718/stat : 17718 (bsolo) R 17716 17718 16455 0 -1 4202496 10856352 0 0 0 177335 2460 0 0 25 0 1 0 907781715 153686016 35196 33554432000 134512640 137138936 4291997248 18446744073709551615 134750313 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/17718/statm: 37521 35196 292 642 0 36877 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 150084
Child status: 0
Real time (s): 1797.95
CPU time (s): 1798.01
CPU user time (s): 1773.4
CPU system time (s): 24.6163
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 153004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1773.4
system time used= 24.6163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10856779
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= 20692
runsolver used 9.69753 second user time and 21.1178 second system time
The end