runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3707733-1338184283/watcher-3707733-1338184283 -o /tmp/evaluation-result-3707733-1338184283/solver-3707733-1338184283 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707733-1338184283.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.99 1.99 1.99 3/176 10061
/proc/meminfo: memFree=31186532/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=11536 CPUtime=0 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 418 0 0 0 0 0 0 0 20 0 1 0 284553223 11812864 371 33554432000 134512640 137138936 4290550688 4290549216 134517643 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 2884 371 178 642 0 2192 0
[startup+0.063772 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 10061
/proc/meminfo: memFree=31186532/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=17880 CPUtime=0.05 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 2082 0 0 0 5 0 0 0 20 0 1 0 284553223 18309120 1987 33554432000 134512640 137138936 4290550688 4290385804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 4470 1987 185 642 0 3826 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 17880
[startup+0.100308 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 10061
/proc/meminfo: memFree=31186532/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=17880 CPUtime=0.09 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 2083 0 0 0 9 0 0 0 20 0 1 0 284553223 18309120 1988 33554432000 134512640 137138936 4290550688 4290385804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 4470 1988 185 642 0 3826 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 17880
[startup+0.300239 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 10061
/proc/meminfo: memFree=31186532/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=17880 CPUtime=0.29 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 2083 0 0 0 29 0 0 0 20 0 1 0 284553223 18309120 1988 33554432000 134512640 137138936 4290550688 4290385804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 4470 1988 185 642 0 3826 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 17880
[startup+0.700247 s]
/proc/loadavg: 1.99 1.99 1.99 3/176 10061
/proc/meminfo: memFree=31186532/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=17880 CPUtime=0.69 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 2083 0 0 0 69 0 0 0 20 0 1 0 284553223 18309120 1988 33554432000 134512640 137138936 4290550688 4290385804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 4470 1988 185 642 0 3826 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 17880
[startup+1.50025 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10062
/proc/meminfo: memFree=31178580/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=17880 CPUtime=1.49 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 2083 0 0 0 149 0 0 0 20 0 1 0 284553223 18309120 1988 33554432000 134512640 137138936 4290550688 4290385804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 4470 1988 185 642 0 3826 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17880
[startup+3.10025 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10062
/proc/meminfo: memFree=31177960/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=17880 CPUtime=3.09 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 2083 0 0 0 308 1 0 0 20 0 1 0 284553223 18309120 1988 33554432000 134512640 137138936 4290550688 4290385804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 4470 1988 185 642 0 3826 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17880
[startup+6.30025 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10062
/proc/meminfo: memFree=31171256/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=26384 CPUtime=6.29 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 4670 0 0 0 624 5 0 0 20 0 1 0 284553223 27017216 4142 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 6596 4142 192 642 0 5952 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 26384
[startup+12.7003 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10062
/proc/meminfo: memFree=31138528/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=53876 CPUtime=12.69 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 11563 0 0 0 1260 9 0 0 20 0 1 0 284553223 55169024 11035 33554432000 134512640 137138936 4290550688 4290549616 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 13469 11035 192 642 0 12825 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53876
[startup+25.5003 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10062
/proc/meminfo: memFree=31082464/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=102924 CPUtime=25.48 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 23829 0 0 0 2536 12 0 0 20 0 1 0 284553223 105394176 23301 33554432000 134512640 137138936 4290550688 4290549216 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 25731 23301 192 642 0 25087 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 102924
[startup+51.1003 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10062
/proc/meminfo: memFree=30960772/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=215500 CPUtime=51.08 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 51959 0 0 0 5087 21 0 0 20 0 1 0 284553223 220672000 51431 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 53875 51431 192 642 0 53231 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 215500
[startup+102.306 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10062
/proc/meminfo: memFree=30777172/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=376304 CPUtime=102.28 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 92150 0 0 0 10195 33 0 0 20 0 1 0 284553223 385335296 91622 33554432000 134512640 137138936 4290550688 4290549584 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 94076 91622 192 642 0 93432 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 376304
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/177 10063
/proc/meminfo: memFree=30577024/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=554148 CPUtime=162.23 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 136646 0 0 0 16176 47 0 0 20 0 1 0 284553223 567447552 136088 33554432000 134512640 137138936 4290550688 4290549616 134542319 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 138537 136088 192 642 0 137893 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 554148
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10063
/proc/meminfo: memFree=30398492/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=710856 CPUtime=222.18 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 175886 0 0 0 22156 62 0 0 20 0 1 0 284553223 727916544 175284 33554432000 134512640 137138936 4290550688 4290549216 134602746 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 177714 175284 192 642 0 177070 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 710856
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 10063
/proc/meminfo: memFree=30252944/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=840568 CPUtime=282.12 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 208349 0 0 0 28138 74 0 0 20 0 1 0 284553223 860741632 207702 33554432000 134512640 137138936 4290550688 4290548968 136506715 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 210142 207702 192 642 0 209498 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 840568
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10063
/proc/meminfo: memFree=30061144/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1015100 CPUtime=342.07 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 252001 0 0 0 34119 88 0 0 20 0 1 0 284553223 1039462400 251323 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 253775 251323 192 642 0 253131 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 1015100
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10063
/proc/meminfo: memFree=30016532/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043628 CPUtime=402.03 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259343 0 0 0 40111 92 0 0 20 0 1 0 284553223 1068675072 258466 33554432000 134512640 137138936 4290550688 4290536788 136500305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260907 258466 192 642 0 260263 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 1043628
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10064
/proc/meminfo: memFree=30003548/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=461.98 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259389 0 0 0 46101 97 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549616 134542544 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 1043300
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10067
/proc/meminfo: memFree=29989152/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=521.94 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259415 0 0 0 52094 100 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 1043300
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 10089
/proc/meminfo: memFree=29973052/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=581.9 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259444 0 0 0 58087 103 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549348 136504021 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 1043300
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29842452/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1121.73 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 112045 128 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549584 134542725 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1121.73
Current children cumulated vsize (KiB) 1043300
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10094
/proc/meminfo: memFree=29835888/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1181.73 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 118041 132 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1181.73
Current children cumulated vsize (KiB) 1043300
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10094
/proc/meminfo: memFree=29823364/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1241.72 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 124037 135 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1241.72
Current children cumulated vsize (KiB) 1043300
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10094
/proc/meminfo: memFree=29810716/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1301.71 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 130032 139 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549728 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1301.71
Current children cumulated vsize (KiB) 1043300
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 10094
/proc/meminfo: memFree=29800176/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1361.7 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 136028 142 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549584 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 1043300
[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 10095
/proc/meminfo: memFree=29790504/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1421.69 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 142024 145 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549728 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 1043300
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29777856/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1481.67 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 148019 148 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 1043300
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29766944/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1541.66 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 154015 151 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549440 134540747 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 1043300
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 10095
/proc/meminfo: memFree=29755288/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1601.66 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 160009 157 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 1043300
[startup+1662.3 s]
/proc/loadavg: 1.66 1.92 1.97 2/171 10119
/proc/meminfo: memFree=30283544/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1661.64 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 166004 160 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549112 134607134 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 1043300
[startup+1722.3 s]
/proc/loadavg: 1.31 1.77 1.91 2/172 10123
/proc/meminfo: memFree=30283768/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1721.64 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 172003 161 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549112 134606673 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1043300
[startup+1782.3 s]
/proc/loadavg: 1.11 1.62 1.85 2/171 10123
/proc/meminfo: memFree=30283792/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1781.63 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 177999 164 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1043300
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.09 1.60 1.85 2/171 10123
/proc/meminfo: memFree=30283916/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1791.23 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 178959 164 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549804 136570369 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 1043300
[startup+1795.1 s]
/proc/loadavg: 1.09 1.59 1.84 2/171 10123
/proc/meminfo: memFree=30283916/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1794.43 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 179279 164 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290543216 134603248 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 1043300
[startup+1796.7 s]
/proc/loadavg: 1.09 1.59 1.84 2/171 10123
/proc/meminfo: memFree=30283916/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1796.03 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 179438 165 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549616 134542199 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1796.03
Current children cumulated vsize (KiB) 1043300
[startup+1797.5 s]
/proc/loadavg: 1.08 1.58 1.84 2/171 10123
/proc/meminfo: memFree=30283916/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1796.83 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 179518 165 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549616 134542307 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 1043300
[startup+1798.3 s]
/proc/loadavg: 1.08 1.58 1.84 2/171 10123
/proc/meminfo: memFree=30283916/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1797.63 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 179598 165 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549584 134542770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 1043300
[startup+1798.51 s]
/proc/loadavg: 1.08 1.58 1.84 2/171 10123
/proc/meminfo: memFree=30283916/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1797.84 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 179619 165 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549224 136504225 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 1043300
[startup+1798.6 s]
/proc/loadavg: 1.08 1.58 1.84 2/171 10123
/proc/meminfo: memFree=30283916/32873844 swapFree=7112/7112
[pid=10061] ppid=10059 vsize=1043300 CPUtime=1797.93 cores=0,2,4,6
/proc/10061/stat : 10061 (bsolo) R 10059 10061 7024 0 -1 4202496 259546 0 0 0 179628 165 0 0 20 0 1 0 284553223 1068339200 258398 33554432000 134512640 137138936 4290550688 4290549440 134575900 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/10061/statm: 260825 258398 192 642 0 260181 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 1043300
Child status: 0
Real time (s): 1798.67
CPU time (s): 1798.01
CPU user time (s): 1796.35
CPU system time (s): 1.65475
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (KiB): 1044268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.35
system time used= 1.65475
maximum resident set size= 1034504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 259546
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= 408
involuntary context switches= 1839
runsolver used 3.69944 second user time and 10.2554 second system time
The end