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-3707944-1338154025/watcher-3707944-1338154025 -o /tmp/evaluation-result-3707944-1338154025/solver-3707944-1338154025 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3707944-1338154025.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.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=12828 CPUtime=0 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 347 0 0 0 0 0 0 0 20 0 1 0 281527104 13135872 300 33554432000 134512640 137138936 4287139552 4287138080 136577166 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 3240 301 181 642 0 2124 0
[startup+0.024878 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=14200 CPUtime=0.02 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 737 0 0 0 2 0 0 0 20 0 1 0 281527104 14540800 690 33554432000 134512640 137138936 4287139552 4287137816 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 3550 690 254 642 0 2434 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14200
[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=19016 CPUtime=0.09 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 2255 0 0 0 9 0 0 0 20 0 1 0 281527104 19472384 2208 33554432000 134512640 137138936 4287139552 4287137960 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 4754 2209 549 642 0 3638 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19016
[startup+0.300314 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=24976 CPUtime=0.29 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 4325 0 0 0 28 1 0 0 20 0 1 0 281527104 25575424 3806 33554432000 134512640 137138936 4287139552 4287124236 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 6244 3806 185 642 0 5600 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24976
[startup+0.700289 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 17055
/proc/meminfo: memFree=30575344/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=24976 CPUtime=0.69 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 4325 0 0 0 66 3 0 0 20 0 1 0 281527104 25575424 3806 33554432000 134512640 137138936 4287139552 4287124000 136500372 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 6244 3806 185 642 0 5600 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 24976
[startup+1.50022 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30559696/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=32884 CPUtime=1.49 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 7516 0 0 0 145 4 0 0 20 0 1 0 281527104 33673216 5789 33554432000 134512640 137138936 4287139552 4287124352 134602805 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 8221 5789 192 642 0 7577 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32884
[startup+3.10023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30545064/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=52984 CPUtime=3.09 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 12542 0 0 0 303 6 0 0 20 0 1 0 281527104 54255616 10815 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 13246 10815 192 642 0 12602 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 52984
[startup+6.30023 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30506624/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=88416 CPUtime=6.28 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 21405 0 0 0 621 7 0 0 20 0 1 0 281527104 90537984 19678 33554432000 134512640 137138936 4287139552 4287138080 134602746 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 22104 19678 192 642 0 21460 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 88416
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30440820/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=151036 CPUtime=12.69 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 37060 0 0 0 1258 11 0 0 20 0 1 0 281527104 154660864 35333 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 37759 35333 192 642 0 37115 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 151036
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30324632/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=263636 CPUtime=25.49 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 65201 0 0 0 2531 18 0 0 20 0 1 0 281527104 269963264 63474 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 65909 63474 192 642 0 65265 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 263636
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17056
/proc/meminfo: memFree=30141856/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=448124 CPUtime=51.08 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 111315 0 0 0 5078 30 0 0 20 0 1 0 281527104 458878976 109589 33554432000 134512640 137138936 4287139552 4287137832 136506715 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 112031 109592 192 642 0 111387 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 448124
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17057
/proc/meminfo: memFree=29845744/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=739320 CPUtime=102.28 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 184128 0 0 0 10181 47 0 0 20 0 1 0 281527104 757063680 182401 33554432000 134512640 137138936 4287139552 4287138480 134542325 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 184830 182401 192 642 0 184186 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 739320
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17057
/proc/meminfo: memFree=29591668/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=996492 CPUtime=162.27 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 248425 0 0 0 16158 69 0 0 20 0 1 0 281527104 1020407808 246698 33554432000 134512640 137138936 4287139552 4287138068 134551170 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 249123 246698 192 642 0 248479 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 996492
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 17060
/proc/meminfo: memFree=29541688/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1041712 CPUtime=222.25 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 259790 0 0 0 22152 73 0 0 20 0 1 0 281527104 1066713088 257992 33554432000 134512640 137138936 4287139552 4287138448 134542613 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 260428 257992 192 642 0 259784 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1041712
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 17060
/proc/meminfo: memFree=29541696/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1041712 CPUtime=282.25 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 259790 0 0 0 28149 76 0 0 20 0 1 0 281527104 1066713088 257992 33554432000 134512640 137138936 4287139552 4287138300 135984544 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 260428 257992 192 642 0 259784 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1041712
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17060
/proc/meminfo: memFree=29541696/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1041712 CPUtime=342.24 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 259790 0 0 0 34146 78 0 0 20 0 1 0 281527104 1066713088 257992 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 260428 257992 192 642 0 259784 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1041712
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17061
/proc/meminfo: memFree=29538524/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1045284 CPUtime=402.23 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 260664 0 0 0 40143 80 0 0 20 0 1 0 281527104 1070370816 258865 33554432000 134512640 137138936 4287139552 4287138480 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 261321 258865 192 642 0 260677 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1045284
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17099
/proc/meminfo: memFree=30026504/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1045284 CPUtime=462.19 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 260707 0 0 0 46136 83 0 0 20 0 1 0 281527104 1070370816 258865 33554432000 134512640 137138936 4287139552 4287138096 134607606 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 261321 258865 192 642 0 260677 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 1045284
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17099
/proc/meminfo: memFree=29962176/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1045284 CPUtime=522.15 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 260753 0 0 0 52129 86 0 0 20 0 1 0 281527104 1070370816 258865 33554432000 134512640 137138936 4287139552 4287138480 134542199 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 261321 258865 192 642 0 260677 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1045284
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17099
/proc/meminfo: memFree=29934676/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1046684 CPUtime=582.11 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 261148 0 0 0 58122 89 0 0 20 0 1 0 281527104 1071804416 259215 33554432000 134512640 137138936 4287139552 4287138304 134575044 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 261671 259215 192 642 0 261027 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 1046684
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=29881772/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049944 CPUtime=1061.86 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262277 0 0 0 106076 110 0 0 20 0 1 0 281527104 1075142656 260030 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262486 260030 192 642 0 261842 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 1049944
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17104
/proc/meminfo: memFree=29853528/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049944 CPUtime=1121.85 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262277 0 0 0 112074 111 0 0 20 0 1 0 281527104 1075142656 260030 33554432000 134512640 137138936 4287139552 4287138480 134542214 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262486 260030 192 642 0 261842 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 1049944
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17104
/proc/meminfo: memFree=29853308/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049944 CPUtime=1181.84 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262277 0 0 0 118071 113 0 0 20 0 1 0 281527104 1075142656 260030 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262486 260030 192 642 0 261842 0
Current children cumulated CPU time (s) 1181.84
Current children cumulated vsize (KiB) 1049944
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17104
/proc/meminfo: memFree=29851868/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1241.84 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 124069 115 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138412 136520918 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1051284
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17105
/proc/meminfo: memFree=29851744/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1301.83 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 130067 116 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138668 136570369 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 1051284
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 17105
/proc/meminfo: memFree=29851992/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1361.82 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 136063 119 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138256 136297655 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 1051284
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17108
/proc/meminfo: memFree=29853224/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1421.82 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 142061 121 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287123988 136500388 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1051284
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 17108
/proc/meminfo: memFree=29853232/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1481.79 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 148056 123 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138448 134542770 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 1051284
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17108
/proc/meminfo: memFree=29853232/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1541.78 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 154052 126 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138480 134542327 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1051284
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 17120
/proc/meminfo: memFree=29853100/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1601.77 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 160049 128 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138480 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1601.77
Current children cumulated vsize (KiB) 1051284
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17120
/proc/meminfo: memFree=29852984/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1661.76 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 166046 130 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138448 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1051284
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 17120
/proc/meminfo: memFree=29852860/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1051284 CPUtime=1721.76 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 172044 132 0 0 20 0 1 0 281527104 1076514816 260382 33554432000 134512640 137138936 4287139552 4287138480 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262821 260382 192 642 0 262177 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 1051284
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854100/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1781.75 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 178041 134 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138080 134603204 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 1049592
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1791.36 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179001 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138088 136504096 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1791.36
Current children cumulated vsize (KiB) 1049592
[startup+1795.1 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1794.55 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179320 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138480 134542316 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1794.55
Current children cumulated vsize (KiB) 1049592
[startup+1796.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1796.15 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179480 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287137976 134606982 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1796.15
Current children cumulated vsize (KiB) 1049592
[startup+1797.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1796.95 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179560 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138480 134542525 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1796.95
Current children cumulated vsize (KiB) 1049592
[startup+1798.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1797.75 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179640 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138480 134542295 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (KiB) 1049592
[startup+1798.51 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 17120
/proc/meminfo: memFree=29854472/32873844 swapFree=6080/6080
[pid=17055] ppid=17053 vsize=1049592 CPUtime=1797.95 cores=1,3,5,7
/proc/17055/stat : 17055 (bsolo) R 17053 17055 24278 0 -1 4202496 262701 0 0 0 179660 135 0 0 20 0 1 0 281527104 1074782208 259974 33554432000 134512640 137138936 4287139552 4287138480 134542495 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/17055/statm: 262398 259974 192 642 0 261754 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 1049592
Child status: 0
Real time (s): 1798.55
CPU time (s): 1798.01
CPU user time (s): 1796.65
CPU system time (s): 1.36079
CPU usage (%): 99.9699
Max. virtual memory (cumulated for all children) (KiB): 1051284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.65
system time used= 1.36079
maximum resident set size= 1041816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 262702
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= 453
involuntary context switches= 1972
runsolver used 3.54446 second user time and 7.8548 second system time
The end