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-3707624-1338213598/watcher-3707624-1338213598 -o /tmp/evaluation-result-3707624-1338213598/solver-3707624-1338213598 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707624-1338213598.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.05 2.01 2.00 3/176 16790
/proc/meminfo: memFree=30673388/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=122068 CPUtime=0 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 303 0 0 0 0 0 0 0 20 0 1 0 287484890 124997632 256 33554432000 134512640 137138936 4289774992 4289773384 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 30517 256 175 642 0 2056 0
[startup+0.0334029 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 16790
/proc/meminfo: memFree=30673388/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=123432 CPUtime=0.02 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 744 0 0 0 2 0 0 0 20 0 1 0 287484890 126394368 697 33554432000 134512640 137138936 4289774992 4289773240 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 30858 698 278 642 0 2397 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 123432
[startup+0.100273 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 16790
/proc/meminfo: memFree=30673388/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=126712 CPUtime=0.09 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 1820 0 0 0 9 0 0 0 20 0 1 0 287484890 129753088 1773 33554432000 134512640 137138936 4289774992 4289773504 136577166 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 31678 1774 536 642 0 3217 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 126712
[startup+0.300265 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 16790
/proc/meminfo: memFree=30673388/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=136264 CPUtime=0.29 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 4955 0 0 0 29 0 0 0 20 0 1 0 287484890 139534336 4908 33554432000 134512640 137138936 4289774992 4289773240 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 34066 4908 1299 642 0 5605 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 136264
[startup+0.700261 s]
/proc/loadavg: 2.05 2.01 2.00 3/176 16790
/proc/meminfo: memFree=30673388/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=154304 CPUtime=0.69 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 10970 0 0 0 68 1 0 0 20 0 1 0 287484890 158007296 10923 33554432000 134512640 137138936 4289774992 4289773208 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 38576 10923 2792 642 0 10115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 154304
[startup+1.50025 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 16791
/proc/meminfo: memFree=30628120/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=187476 CPUtime=1.48 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 22213 0 0 0 145 3 0 0 20 0 1 0 287484890 191975424 22126 33554432000 134512640 137138936 4289774992 4289773208 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 46869 22127 5730 642 0 18408 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 187476
[startup+3.10027 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 16794
/proc/meminfo: memFree=30586000/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=249396 CPUtime=3.08 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 43261 0 0 0 302 6 0 0 20 0 1 0 287484890 255381504 43095 33554432000 134512640 137138936 4289774992 4289773208 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 62349 43095 11252 642 0 33888 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 249396
[startup+6.30025 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 16794
/proc/meminfo: memFree=30454056/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=371248 CPUtime=6.28 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 84765 0 0 0 615 13 0 0 20 0 1 0 287484890 380157952 84393 33554432000 134512640 137138936 4289774992 4289773208 136506715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 92812 84393 22154 642 0 64351 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 371248
[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 16794
/proc/meminfo: memFree=30228408/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=460356 CPUtime=12.69 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 140445 0 0 0 1241 28 0 0 20 0 1 0 287484890 471404544 112159 33554432000 134512640 137138936 4289774992 4288499152 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 115089 112159 183 642 0 114445 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 460356
[startup+25.5069 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 16794
/proc/meminfo: memFree=30221588/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=465544 CPUtime=25.49 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 141955 0 0 0 2520 29 0 0 20 0 1 0 287484890 476717056 113461 33554432000 134512640 137138936 4289774992 4288499104 134540085 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 116386 113461 185 642 0 115742 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 465544
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 16794
/proc/meminfo: memFree=30219852/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=465544 CPUtime=51.08 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 141955 0 0 0 5076 32 0 0 20 0 1 0 287484890 476717056 113461 33554432000 134512640 137138936 4289774992 4288499104 134540051 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 116386 113461 185 642 0 115742 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 465544
[startup+102.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 16817
/proc/meminfo: memFree=30215884/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=465544 CPUtime=102.27 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 141955 0 0 0 10189 38 0 0 20 0 1 0 287484890 476717056 113461 33554432000 134512640 137138936 4289774992 4288499148 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 116386 113461 185 642 0 115742 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 465544
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16818
/proc/meminfo: memFree=30212668/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=465544 CPUtime=162.26 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 141955 0 0 0 16184 42 0 0 20 0 1 0 287484890 476717056 113461 33554432000 134512640 137138936 4289774992 4288499148 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 116386 113461 185 642 0 115742 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 465544
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16818
/proc/meminfo: memFree=30213312/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=460620 CPUtime=222.26 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 687772 0 0 0 22008 218 0 0 20 0 1 0 287484890 471674880 112255 33554432000 134512640 137138936 4289774992 4289774108 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 115155 112255 192 642 0 114511 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 460620
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 2/172 16842
/proc/meminfo: memFree=30702820/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=460620 CPUtime=282.21 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 2401733 0 0 0 27667 554 0 0 20 0 1 0 287484890 471674880 112256 33554432000 134512640 137138936 4289774992 4289774108 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 115155 112256 192 642 0 114511 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 460620
[startup+342.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 16856
/proc/meminfo: memFree=30376520/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=461452 CPUtime=342.17 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 4267965 0 0 0 33289 928 0 0 20 0 1 0 287484890 472526848 112480 33554432000 134512640 137138936 4289774992 4289773744 134575204 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 115363 112480 192 642 0 114719 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 461452
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16856
/proc/meminfo: memFree=30376300/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=460620 CPUtime=402.12 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 5841733 0 0 0 39034 1178 0 0 20 0 1 0 287484890 471674880 112272 33554432000 134512640 137138936 4289774992 4289773920 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 115155 112272 192 642 0 114511 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 460620
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16857
/proc/meminfo: memFree=30376204/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=461452 CPUtime=462.07 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 6910420 0 0 0 44816 1391 0 0 20 0 1 0 287484890 472526848 112427 33554432000 134512640 137138936 4289774992 4289773744 134572768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 115363 112453 192 642 0 114719 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 461452
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 16857
/proc/meminfo: memFree=30366340/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=460620 CPUtime=522.04 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 7929213 0 0 0 50623 1581 0 0 20 0 1 0 287484890 471674880 112272 33554432000 134512640 137138936 4289774992 4289774108 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 115155 112272 192 642 0 114511 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 460620
[startup+582.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 16858
/proc/meminfo: memFree=30314156/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=461452 CPUtime=582.03 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 8883100 0 0 0 56439 1764 0 0 20 0 1 0 287484890 472526848 112479 33554432000 134512640 137138936 4289774992 4289773744 134572768 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 115363 112480 192 642 0 114719 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 461452
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29999872/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=460620 CPUtime=1061.96 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 14322517 0 0 0 102944 3252 0 0 20 0 1 0 287484890 471674880 112280 33554432000 134512640 137138936 4289774992 4289773744 134578220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 115155 112280 192 642 0 114511 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 460620
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16863
/proc/meminfo: memFree=29953000/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=476288 CPUtime=1121.95 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 18578765 0 0 0 108354 3841 0 0 20 0 1 0 287484890 487718912 116176 33554432000 134512640 137138936 4289774992 4289773920 134542960 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 119072 116176 192 642 0 118428 0
Current children cumulated CPU time (s) 1121.95
Current children cumulated vsize (KiB) 476288
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16863
/proc/meminfo: memFree=29919396/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=478404 CPUtime=1181.94 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 19147571 0 0 0 114139 4055 0 0 20 0 1 0 287484890 489885696 116726 33554432000 134512640 137138936 4289774992 4289773872 136296975 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 119601 116726 192 642 0 118957 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 478404
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 16866
/proc/meminfo: memFree=29884668/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=482628 CPUtime=1241.93 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 19857495 0 0 0 120008 4185 0 0 20 0 1 0 287484890 494211072 117786 33554432000 134512640 137138936 4289774992 4289773920 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 120657 117786 192 642 0 120013 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 482628
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16866
/proc/meminfo: memFree=29850700/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=486588 CPUtime=1301.92 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 20530746 0 0 0 125879 4313 0 0 20 0 1 0 287484890 498266112 118781 33554432000 134512640 137138936 4289774992 4289773920 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 121647 118781 192 642 0 121003 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 486588
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16867
/proc/meminfo: memFree=29817372/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=490812 CPUtime=1361.92 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 21124156 0 0 0 131758 4434 0 0 20 0 1 0 287484890 502591488 119807 33554432000 134512640 137138936 4289774992 4289773888 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 122703 119807 192 642 0 122059 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 490812
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16867
/proc/meminfo: memFree=29788260/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=496488 CPUtime=1421.9 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 21983590 0 0 0 137602 4588 0 0 20 0 1 0 287484890 508403712 121241 33554432000 134512640 137138936 4289774992 4289773920 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 124122 121241 192 642 0 123478 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 496488
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16867
/proc/meminfo: memFree=29755800/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=502428 CPUtime=1481.89 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 22877386 0 0 0 143443 4746 0 0 20 0 1 0 287484890 514486272 122717 33554432000 134512640 137138936 4289774992 4289773920 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 125607 122717 192 642 0 124963 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 502428
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16867
/proc/meminfo: memFree=29735616/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=507972 CPUtime=1541.89 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 23709749 0 0 0 149288 4901 0 0 20 0 1 0 287484890 520163328 124120 33554432000 134512640 137138936 4289774992 4289773920 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 126993 124120 192 642 0 126349 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 507972
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16867
/proc/meminfo: memFree=29713948/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=514176 CPUtime=1601.88 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 24592170 0 0 0 155127 5061 0 0 20 0 1 0 287484890 526516224 125661 33554432000 134512640 137138936 4289774992 4289773920 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 128544 125661 192 642 0 127900 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 514176
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16868
/proc/meminfo: memFree=29693612/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=519984 CPUtime=1661.87 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 25413976 0 0 0 160973 5214 0 0 20 0 1 0 287484890 532463616 127115 33554432000 134512640 137138936 4289774992 4289773920 134542466 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 129996 127115 192 642 0 129352 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 519984
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 16868
/proc/meminfo: memFree=29664844/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=525132 CPUtime=1721.85 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 26168444 0 0 0 166823 5362 0 0 20 0 1 0 287484890 537735168 128415 33554432000 134512640 137138936 4289774992 4289773920 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 131283 128415 192 642 0 130639 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 525132
[startup+1782.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 16868
/proc/meminfo: memFree=29639796/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=527640 CPUtime=1781.85 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 26573397 0 0 0 172746 5439 0 0 20 0 1 0 287484890 540303360 129016 33554432000 134512640 137138936 4289774992 4289773908 136297620 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 131910 129016 192 642 0 131266 0
Current children cumulated CPU time (s) 1781.85
Current children cumulated vsize (KiB) 527640
Solver just ended. Dumping a history of the last processes samples
[startup+1792.11 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16868
/proc/meminfo: memFree=29636200/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=527904 CPUtime=1791.65 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 26634643 0 0 0 173714 5451 0 0 20 0 1 0 287484890 540573696 129110 33554432000 134512640 137138936 4289774992 4289773920 134542554 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 131976 129110 192 642 0 131332 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (KiB) 527904
[startup+1795.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16868
/proc/meminfo: memFree=29635208/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=528036 CPUtime=1794.86 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 26655684 0 0 0 174030 5456 0 0 20 0 1 0 287484890 540708864 129143 33554432000 134512640 137138936 4289774992 4289773920 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 132009 129143 192 642 0 131365 0
Current children cumulated CPU time (s) 1794.86
Current children cumulated vsize (KiB) 528036
[startup+1796.9 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16868
/proc/meminfo: memFree=29635208/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=529000 CPUtime=1796.45 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 26667556 0 0 0 174187 5458 0 0 20 0 1 0 287484890 541696000 129367 33554432000 134512640 137138936 4289774992 4289773744 134576176 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 132250 129367 192 642 0 131606 0
Current children cumulated CPU time (s) 1796.45
Current children cumulated vsize (KiB) 529000
[startup+1797.7 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16868
/proc/meminfo: memFree=29634340/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=528168 CPUtime=1797.25 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 26671933 0 0 0 174266 5459 0 0 20 0 1 0 287484890 540844032 129168 33554432000 134512640 137138936 4289774992 4289773920 134542544 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 132042 129168 192 642 0 131398 0
Current children cumulated CPU time (s) 1797.25
Current children cumulated vsize (KiB) 528168
[startup+1798.1 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16868
/proc/meminfo: memFree=29634340/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=528168 CPUtime=1797.65 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 26673601 0 0 0 174306 5459 0 0 20 0 1 0 287484890 540844032 129172 33554432000 134512640 137138936 4289774992 4289773920 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 132042 129172 192 642 0 131398 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (KiB) 528168
[startup+1798.5 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 16868
/proc/meminfo: memFree=29634340/32873844 swapFree=7112/7112
[pid=16790] ppid=16788 vsize=528168 CPUtime=1798.05 cores=1,3,5,7
/proc/16790/stat : 16790 (bsolo) R 16788 16790 10153 0 -1 4202496 26675891 0 0 0 174345 5460 0 0 20 0 1 0 287484890 540844032 129174 33554432000 134512640 137138936 4289774992 4289773920 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/16790/statm: 132042 129174 192 642 0 131398 0
Current children cumulated CPU time (s) 1798.05
Current children cumulated vsize (KiB) 528168
Child status: 0
Real time (s): 1798.55
CPU time (s): 1798.1
CPU user time (s): 1743.49
CPU system time (s): 54.6107
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 529000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1743.49
system time used= 54.6107
maximum resident set size= 517528
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26676307
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= 206
involuntary context switches= 1845
runsolver used 4.00239 second user time and 8.91764 second system time
The end