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-3462754-1307182654/watcher-3462754-1307182654 -o /tmp/evaluation-result-3462754-1307182654/solver-3462754-1307182654 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462754-1307182654.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.02 2.00 3/561 5689
/proc/meminfo: memFree=29241480/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=12436 CPUtime=0 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 479 0 0 0 0 0 0 0 25 0 1 0 829864113 12734464 433 33554432000 134512640 137138936 4289966240 18446744073709551615 134538746 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 3109 434 181 642 0 2227 0
[startup+0.0966051 s]
/proc/loadavg: 2.00 2.02 2.00 3/561 5689
/proc/meminfo: memFree=29241480/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=22896 CPUtime=0.09 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 3233 0 0 0 9 0 0 0 25 0 1 0 829864113 23445504 3147 33554432000 134512640 137138936 4289966240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 5724 3148 283 642 0 4842 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22896
[startup+0.10059 s]
/proc/loadavg: 2.00 2.02 2.00 3/561 5689
/proc/meminfo: memFree=29241480/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=23444 CPUtime=0.09 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 3357 0 0 0 9 0 0 0 25 0 1 0 829864113 24006656 3271 33554432000 134512640 137138936 4289966240 18446744073709551615 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 5861 3272 288 642 0 4979 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23444
[startup+0.300494 s]
/proc/loadavg: 2.00 2.02 2.00 3/561 5689
/proc/meminfo: memFree=29241480/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=53416 CPUtime=0.29 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 11068 0 0 0 28 1 0 0 25 0 1 0 829864113 54697984 10616 33554432000 134512640 137138936 4289966240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 13354 10616 185 642 0 12710 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53416
[startup+0.7005 s]
/proc/loadavg: 2.00 2.02 2.00 3/561 5689
/proc/meminfo: memFree=29241480/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=53416 CPUtime=0.68 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 11068 0 0 0 67 1 0 0 25 0 1 0 829864113 54697984 10616 33554432000 134512640 137138936 4289966240 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 13354 10616 185 642 0 12710 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 53416
[startup+1.50032 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5690
/proc/meminfo: memFree=29198164/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=53416 CPUtime=1.49 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 11068 0 0 0 147 2 0 0 25 0 1 0 829864113 54697984 10616 33554432000 134512640 137138936 4289966240 18446744073709551615 134542972 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 13354 10616 185 642 0 12710 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 53416
[startup+3.1011 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5690
/proc/meminfo: memFree=29193328/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=57784 CPUtime=3.09 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 71575 0 0 0 298 11 0 0 25 0 1 0 829864113 59170816 11726 33554432000 134512640 137138936 4289966240 18446744073709551615 136504068 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 14446 11726 192 642 0 13802 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 57784
[startup+6.30056 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5690
/proc/meminfo: memFree=29173048/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=78948 CPUtime=6.29 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 367260 0 0 0 588 41 0 0 25 0 1 0 829864113 80842752 16861 33554432000 134512640 137138936 4289966240 18446744073709551615 136573891 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 19737 16888 192 642 0 19093 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 78948
[startup+12.7005 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5690
/proc/meminfo: memFree=29126168/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=118712 CPUtime=12.69 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 919901 0 0 0 1177 92 0 0 25 0 1 0 829864113 121561088 26952 33554432000 134512640 137138936 4289966240 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 29678 26952 192 642 0 29034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 118712
[startup+25.5003 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5690
/proc/meminfo: memFree=29043460/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=187832 CPUtime=25.48 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 1830151 0 0 0 2370 178 0 0 25 0 1 0 829864113 192339968 44252 33554432000 134512640 137138936 4289966240 18446744073709551615 134602749 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 46958 44252 192 642 0 46314 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 187832
[startup+51.101 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5691
/proc/meminfo: memFree=28888100/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=322068 CPUtime=51.08 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 3570090 0 0 0 4756 352 0 0 25 0 1 0 829864113 329797632 77791 33554432000 134512640 137138936 4289966240 18446744073709551615 136500573 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 80517 77791 192 642 0 79873 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 322068
[startup+102.321 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 5692
/proc/meminfo: memFree=28634372/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=531576 CPUtime=102.3 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 6271466 0 0 0 9606 624 0 0 25 0 1 0 829864113 544333824 130167 33554432000 134512640 137138936 4289966240 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 132894 130167 192 642 0 132250 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 531576
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/562 5694
/proc/meminfo: memFree=28418336/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=700648 CPUtime=162.29 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 8445683 0 0 0 15382 847 0 0 25 0 1 0 829864113 717463552 172434 33554432000 134512640 137138936 4289966240 18446744073709551615 134618155 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 175162 172434 192 642 0 174518 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 700648
[startup+222.301 s]
/proc/loadavg: 2.14 2.04 2.01 3/562 5696
/proc/meminfo: memFree=28198828/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=864480 CPUtime=222.29 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 10570893 0 0 0 21153 1076 0 0 25 0 1 0 829864113 885227520 213394 33554432000 134512640 137138936 4289966240 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 216120 213394 192 642 0 215476 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 864480
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/562 5697
/proc/meminfo: memFree=28000656/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1044808 CPUtime=282.29 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 12897943 0 0 0 26925 1304 0 0 25 0 1 0 829864113 1069883392 258494 33554432000 134512640 137138936 4289966240 18446744073709551615 134573759 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 261202 258494 192 642 0 260558 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1044808
[startup+342.301 s]
/proc/loadavg: 2.02 2.02 2.00 3/562 5699
/proc/meminfo: memFree=27988860/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1054248 CPUtime=342.28 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13018114 0 0 0 32910 1318 0 0 25 0 1 0 829864113 1079549952 260831 33554432000 134512640 137138936 4289966240 18446744073709551615 134542497 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 263562 260831 192 642 0 262918 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 1054248
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 5700
/proc/meminfo: memFree=27988708/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1054248 CPUtime=402.29 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13018114 0 0 0 38909 1320 0 0 25 0 1 0 829864113 1079549952 260831 33554432000 134512640 137138936 4289966240 18446744073709551615 134551790 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 263562 260831 192 642 0 262918 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 1054248
[startup+462.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/562 5702
/proc/meminfo: memFree=27988680/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1054248 CPUtime=462.29 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13018114 0 0 0 44907 1322 0 0 25 0 1 0 829864113 1079549952 260831 33554432000 134512640 137138936 4289966240 18446744073709551615 136296998 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 263562 260831 192 642 0 262918 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 1054248
[startup+522.301 s]
/proc/loadavg: 2.16 2.06 2.01 3/562 5704
/proc/meminfo: memFree=27988408/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1054248 CPUtime=522.29 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13018114 0 0 0 50906 1323 0 0 25 0 1 0 829864113 1079549952 260831 33554432000 134512640 137138936 4289966240 18446744073709551615 136504449 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 263562 260831 192 642 0 262918 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 1054248
[startup+582.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/562 5705
/proc/meminfo: memFree=27988880/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1054248 CPUtime=582.29 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13018114 0 0 0 56904 1325 0 0 25 0 1 0 829864113 1079549952 260831 33554432000 134512640 137138936 4289966240 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 263562 260831 192 642 0 262918 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 1054248
[startup+642.301 s]
################
# More data... #
################
/proc/meminfo: memFree=27981712/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1056288 CPUtime=1122.3 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 110884 1346 0 0 25 0 1 0 829864113 1081638912 261341 33554432000 134512640 137138936 4289966240 18446744073709551615 136505585 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 264072 261341 192 642 0 263428 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 1056288
[startup+1182.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/562 5748
/proc/meminfo: memFree=28921980/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1056288 CPUtime=1182.3 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 116882 1348 0 0 25 0 1 0 829864113 1081638912 261341 33554432000 134512640 137138936 4289966240 18446744073709551615 136504225 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 264072 261341 192 642 0 263428 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 1056288
[startup+1242.3 s]
/proc/loadavg: 2.11 2.07 2.01 3/562 5750
/proc/meminfo: memFree=28884748/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1056288 CPUtime=1242.3 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 122879 1351 0 0 25 0 1 0 829864113 1081638912 261341 33554432000 134512640 137138936 4289966240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 264072 261341 192 642 0 263428 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 1056288
[startup+1302.3 s]
/proc/loadavg: 2.12 2.08 2.01 3/562 5751
/proc/meminfo: memFree=28836484/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1056288 CPUtime=1302.31 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 128879 1352 0 0 25 0 1 0 829864113 1081638912 261341 33554432000 134512640 137138936 4289966240 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 264072 261341 192 642 0 263428 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 1056288
[startup+1362.3 s]
/proc/loadavg: 2.09 2.08 2.01 3/562 5753
/proc/meminfo: memFree=28837696/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=1056288 CPUtime=1362.3 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 134876 1354 0 0 25 0 1 0 829864113 1081638912 261341 33554432000 134512640 137138936 4289966240 18446744073709551615 134551345 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 264072 261341 192 642 0 263428 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 1056288
[startup+1422.32 s]
/proc/loadavg: 2.03 2.06 2.01 3/562 5755
/proc/meminfo: memFree=28897816/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1422.32 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 140877 1355 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 996804
[startup+1482.3 s]
/proc/loadavg: 2.01 2.05 2.00 3/562 5756
/proc/meminfo: memFree=28897800/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1482.3 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 146873 1357 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 136504029 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 996804
[startup+1542.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 5758
/proc/meminfo: memFree=28898516/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1542.3 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 152870 1360 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 996804
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 5759
/proc/meminfo: memFree=28898616/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1602.3 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 158869 1361 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 996804
[startup+1662.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/562 5761
/proc/meminfo: memFree=28898464/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1662.31 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 164868 1363 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 996804
[startup+1722.3 s]
/proc/loadavg: 2.10 2.07 2.01 3/562 5763
/proc/meminfo: memFree=28897944/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1722.31 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 170866 1365 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542342 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 996804
[startup+1782.3 s]
/proc/loadavg: 2.06 2.07 2.01 3/562 5764
/proc/meminfo: memFree=28896440/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1782.31 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 176865 1366 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542752 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 996804
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.06 2.07 2.01 3/562 5764
/proc/meminfo: memFree=28897060/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1785.5 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 177184 1366 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1785.5
Current children cumulated vsize (KiB) 996804
[startup+1791.92 s]
/proc/loadavg: 2.06 2.06 2.01 3/562 5764
/proc/meminfo: memFree=28897184/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1791.92 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 177826 1366 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1791.92
Current children cumulated vsize (KiB) 996804
[startup+1795.1 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5764
/proc/meminfo: memFree=28897060/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1795.11 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 178145 1366 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1795.11
Current children cumulated vsize (KiB) 996804
[startup+1796.7 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5765
/proc/meminfo: memFree=28898176/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1796.7 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 178304 1366 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1796.7
Current children cumulated vsize (KiB) 996804
[startup+1797.5 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5765
/proc/meminfo: memFree=28897680/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1797.5 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 178384 1366 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (KiB) 996804
[startup+1797.9 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5765
/proc/meminfo: memFree=28897680/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1797.9 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 178424 1366 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1797.9
Current children cumulated vsize (KiB) 996804
[startup+1798 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 5765
/proc/meminfo: memFree=28897680/32950928 swapFree=41528364/67111528
[pid=5689] ppid=5687 vsize=996804 CPUtime=1798 cores=0,2,4,6
/proc/5689/stat : 5689 (bsolo) R 5687 5689 3716 0 -1 4202496 13055824 0 0 0 178434 1366 0 0 25 0 1 0 829864113 1020727296 246502 33554432000 134512640 137138936 4289966240 18446744073709551615 134542339 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/5689/statm: 249201 246502 192 642 0 248557 0
Current children cumulated CPU time (s) 1798
Current children cumulated vsize (KiB) 996804
Child status: 0
Real time (s): 1798.07
CPU time (s): 1798.07
CPU user time (s): 1784.36
CPU system time (s): 13.7139
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 1056288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1784.36
system time used= 13.7139
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13055825
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= 3895
runsolver used 10.6494 second user time and 22.6106 second system time
The end