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-3719783-1338505994/watcher-3719783-1338505994 -o /tmp/evaluation-result-3719783-1338505994/solver-3719783-1338505994 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3719783-1338505994.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: 0.00 0.00 0.00 2/171 25377
/proc/meminfo: memFree=28768360/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=296 CPUtime=0 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) D 25375 25377 25340 0 -1 4194304 73 0 0 0 0 0 0 0 20 0 1 0 316723845 303104 28 33554432000 134512640 134579096 4292341440 4292339608 3744590 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/25377/statm: 74 28 22 17 0 24 0
[startup+0.0872569 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 25377
/proc/meminfo: memFree=28768360/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=2912 CPUtime=0 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) D 25375 25377 25340 0 -1 4194304 189 0 7 0 0 0 0 0 20 0 1 0 316723845 2981888 135 33554432000 134512640 134579096 4292341440 4292341232 2198512 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 7 0 0
/proc/25377/statm: 728 135 114 17 0 34 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2912
[startup+0.100283 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 25377
/proc/meminfo: memFree=28768360/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=2912 CPUtime=0 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) D 25375 25377 25340 0 -1 4194304 243 0 13 0 0 0 0 0 20 0 1 0 316723845 2981888 194 33554432000 134512640 134579096 4292341440 4292340724 2361472 0 0 4096 0 18446744071579943789 0 0 17 5 0 0 8 0 0
/proc/25377/statm: 728 194 172 17 0 34 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2912
[startup+0.300217 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 25377
/proc/meminfo: memFree=28768360/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=6164 CPUtime=0.18 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 1071 0 18 0 18 0 0 0 20 0 1 0 316723845 6311936 1027 33554432000 134512640 134579096 4292341440 4292208864 134546737 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 1541 1027 221 17 0 847 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 6164
[startup+0.700172 s]
/proc/loadavg: 0.00 0.00 0.00 2/171 25377
/proc/meminfo: memFree=28768360/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=11968 CPUtime=0.57 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 2512 0 18 0 57 0 0 0 20 0 1 0 316723845 12255232 2468 33554432000 134512640 134579096 4292341440 4292340272 134517713 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 2992 2468 230 17 0 2298 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 11968
[startup+1.50018 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 25399
/proc/meminfo: memFree=28752880/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=11968 CPUtime=1.37 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 2512 0 18 0 137 0 0 0 20 0 1 0 316723845 12255232 2468 33554432000 134512640 134579096 4292341440 4292340256 134519100 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 2992 2468 230 17 0 2298 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 11968
[startup+3.10018 s]
/proc/loadavg: 0.00 0.00 0.00 3/177 25399
/proc/meminfo: memFree=28751880/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=11968 CPUtime=2.97 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 2512 0 18 0 297 0 0 0 20 0 1 0 316723845 12255232 2468 33554432000 134512640 134579096 4292341440 4292340096 134522754 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 2992 2468 230 17 0 2298 0
Current children cumulated CPU time (s) 2.97
Current children cumulated vsize (KiB) 11968
[startup+6.30023 s]
/proc/loadavg: 0.16 0.03 0.01 3/177 25399
/proc/meminfo: memFree=28751136/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=12460 CPUtime=6.17 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 2643 0 18 0 617 0 0 0 20 0 1 0 316723845 12759040 2599 33554432000 134512640 134579096 4292341440 4292340356 134526610 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 3115 2599 230 17 0 2421 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 12460
[startup+12.7002 s]
/proc/loadavg: 0.31 0.07 0.02 3/177 25399
/proc/meminfo: memFree=28747464/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=15320 CPUtime=12.58 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 3638 0 18 0 1257 1 0 0 20 0 1 0 316723845 15687680 3286 33554432000 134512640 134579096 4292341440 4292340256 134519114 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 3830 3286 230 17 0 3136 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 15320
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/177 25399
/proc/meminfo: memFree=28745380/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=17308 CPUtime=25.38 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 4279 0 18 0 2537 1 0 0 20 0 1 0 316723845 17723392 3803 33554432000 134512640 134579096 4292341440 4292340096 134522754 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 4327 3803 230 17 0 3633 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 17308
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/177 25399
/proc/meminfo: memFree=28738552/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=23188 CPUtime=50.97 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 5986 0 18 0 5096 1 0 0 20 0 1 0 316723845 23744512 5285 33554432000 134512640 134579096 4292341440 4292340096 134522754 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 5797 5285 230 17 0 5103 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 23188
[startup+102.3 s]
/proc/loadavg: 1.62 0.56 0.20 3/177 25399
/proc/meminfo: memFree=28733588/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=27280 CPUtime=102.16 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 7417 0 18 0 10215 1 0 0 20 0 1 0 316723845 27934720 6308 33554432000 134512640 134579096 4292341440 4292340096 134522742 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 6820 6308 230 17 0 6126 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 27280
[startup+162.3 s]
/proc/loadavg: 1.90 0.84 0.31 3/177 25399
/proc/meminfo: memFree=28728808/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=32292 CPUtime=162.15 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 8711 0 18 0 16213 2 0 0 20 0 1 0 316723845 33067008 7539 33554432000 134512640 134579096 4292341440 4292340096 134522726 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 8073 7539 230 17 0 7379 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 32292
[startup+222.307 s]
/proc/loadavg: 1.96 1.05 0.42 3/177 25399
/proc/meminfo: memFree=28719500/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=40888 CPUtime=222.14 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 11809 0 18 0 22212 2 0 0 20 0 1 0 316723845 41869312 9710 33554432000 134512640 134579096 4292341440 4292340096 134522754 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 10222 9710 230 17 0 9528 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 40888
[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.51 3/177 25447
/proc/meminfo: memFree=28662052/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=64592 CPUtime=282.13 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 18722 0 18 0 28208 5 0 0 20 0 1 0 316723845 66142208 15627 33554432000 134512640 134579096 4292341440 4292340096 134522706 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 16148 15627 230 17 0 15454 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 64592
[startup+342.3 s]
/proc/loadavg: 1.99 1.36 0.60 3/177 25448
/proc/meminfo: memFree=28654280/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=64592 CPUtime=342.12 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 18722 0 18 0 34207 5 0 0 20 0 1 0 316723845 66142208 15627 33554432000 134512640 134579096 4292341440 4292340272 134517922 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 16148 15627 230 17 0 15454 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 64592
[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.69 3/177 25448
/proc/meminfo: memFree=28644100/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=64592 CPUtime=402.11 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 18722 0 18 0 40206 5 0 0 20 0 1 0 316723845 66142208 15627 33554432000 134512640 134579096 4292341440 4292340096 134524544 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 16148 15627 230 17 0 15454 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 64592
[startup+462.3 s]
/proc/loadavg: 1.99 1.56 0.77 3/178 25451
/proc/meminfo: memFree=28644336/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=64592 CPUtime=462.11 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 18722 0 18 0 46206 5 0 0 20 0 1 0 316723845 66142208 15627 33554432000 134512640 134579096 4292341440 4292340272 134517893 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 16148 15627 230 17 0 15454 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 64592
[startup+522.3 s]
/proc/loadavg: 1.99 1.64 0.84 3/177 25451
/proc/meminfo: memFree=28641240/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=64592 CPUtime=522.1 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 18722 0 18 0 52205 5 0 0 20 0 1 0 316723845 66142208 15627 33554432000 134512640 134579096 4292341440 4292340256 134519114 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 16148 15627 230 17 0 15454 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 64592
[startup+582.3 s]
/proc/loadavg: 1.99 1.70 0.91 3/177 25451
/proc/meminfo: memFree=28629032/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=72136 CPUtime=582.08 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 20867 0 18 0 58203 5 0 0 20 0 1 0 316723845 73867264 17519 33554432000 134512640 134579096 4292341440 4292340272 134517885 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 18034 17519 230 17 0 17340 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 72136
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 1.99 1.86 1.15 3/177 25452
/proc/meminfo: memFree=28565660/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=119932 CPUtime=822.04 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 33180 0 18 0 82197 7 0 0 20 0 1 0 316723845 122810368 29471 33554432000 134512640 134579096 4292341440 4292340096 134524561 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 29983 29471 230 17 0 29289 0
Current children cumulated CPU time (s) 822.04
Current children cumulated vsize (KiB) 119932
[startup+882.307 s]
/proc/loadavg: 1.99 1.88 1.20 3/177 25452
/proc/meminfo: memFree=28564172/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=119932 CPUtime=882.03 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 33180 0 18 0 88196 7 0 0 20 0 1 0 316723845 122810368 29471 33554432000 134512640 134579096 4292341440 4292340096 134522742 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 29983 29471 230 17 0 29289 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 119932
[startup+942.3 s]
/proc/loadavg: 1.99 1.90 1.25 3/177 25453
/proc/meminfo: memFree=28563860/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=119932 CPUtime=942.02 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 33180 0 18 0 94195 7 0 0 20 0 1 0 316723845 122810368 29471 33554432000 134512640 134579096 4292341440 4292340272 134517919 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 29983 29471 230 17 0 29289 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 119932
[startup+1002.3 s]
/proc/loadavg: 1.99 1.92 1.29 3/177 25453
/proc/meminfo: memFree=28558280/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=119932 CPUtime=1002.01 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 33180 0 18 0 100194 7 0 0 20 0 1 0 316723845 122810368 29471 33554432000 134512640 134579096 4292341440 4292340096 134522754 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 29983 29471 230 17 0 29289 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 119932
[startup+1062.3 s]
/proc/loadavg: 1.99 1.93 1.33 3/178 25456
/proc/meminfo: memFree=28550392/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=128708 CPUtime=1062 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 35530 0 18 0 106192 8 0 0 20 0 1 0 316723845 131796992 31616 33554432000 134512640 134579096 4292341440 4292340272 134517901 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 32177 31616 230 17 0 31483 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 128708
[startup+1122.3 s]
/proc/loadavg: 1.99 1.94 1.37 3/177 25456
/proc/meminfo: memFree=28528748/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=145636 CPUtime=1121.99 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 40251 0 18 0 112190 9 0 0 20 0 1 0 316723845 149131264 35865 33554432000 134512640 134579096 4292341440 4292340272 134517933 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 36409 35865 230 17 0 35715 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 145636
[startup+1182.3 s]
/proc/loadavg: 1.99 1.95 1.41 3/177 25456
/proc/meminfo: memFree=28511384/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=160092 CPUtime=1181.99 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 44291 0 18 0 118189 10 0 0 20 0 1 0 316723845 163934208 39479 33554432000 134512640 134579096 4292341440 4292340272 134517885 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 40023 39479 230 17 0 39329 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 160092
[startup+1242.3 s]
/proc/loadavg: 1.99 1.95 1.44 3/177 25457
/proc/meminfo: memFree=28496528/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=174836 CPUtime=1241.98 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 48328 0 18 0 124187 11 0 0 20 0 1 0 316723845 179032064 43173 33554432000 134512640 134579096 4292341440 4292340256 134519122 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 43709 43173 230 17 0 43015 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 174836
[startup+1302.3 s]
/proc/loadavg: 1.99 1.96 1.47 3/177 25457
/proc/meminfo: memFree=28480524/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=188424 CPUtime=1301.97 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 52027 0 18 0 130185 12 0 0 20 0 1 0 316723845 192946176 46535 33554432000 134512640 134579096 4292341440 4292340272 134517933 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 47106 46535 230 17 0 46412 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 188424
[startup+1362.3 s]
/proc/loadavg: 1.99 1.96 1.50 3/177 25457
/proc/meminfo: memFree=28469488/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=199512 CPUtime=1361.95 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 54953 0 18 0 136183 12 0 0 20 0 1 0 316723845 204300288 49312 33554432000 134512640 134579096 4292341440 4292340096 134524561 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 49878 49312 230 17 0 49184 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 199512
[startup+1422.3 s]
/proc/loadavg: 2.03 1.98 1.54 3/177 25457
/proc/meminfo: memFree=28453400/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=215392 CPUtime=1421.95 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 59649 0 18 0 142182 13 0 0 20 0 1 0 316723845 220561408 53301 33554432000 134512640 134579096 4292341440 4292340096 134522754 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 53848 53301 230 17 0 53154 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 215392
[startup+1482.3 s]
/proc/loadavg: 2.01 1.98 1.56 3/177 25457
/proc/meminfo: memFree=28442416/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=226672 CPUtime=1481.94 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 62920 0 18 0 148180 14 0 0 20 0 1 0 316723845 232112128 56109 33554432000 134512640 134579096 4292341440 4292340256 134519125 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 56668 56109 230 17 0 55974 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 226672
[startup+1542.31 s]
/proc/loadavg: 2.00 1.98 1.59 3/177 25458
/proc/meminfo: memFree=28427908/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=241076 CPUtime=1541.93 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 66836 0 18 0 154179 14 0 0 20 0 1 0 316723845 246861824 59716 33554432000 134512640 134579096 4292341440 4292340096 134522706 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 60269 59716 230 17 0 59575 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 241076
[startup+1602.3 s]
/proc/loadavg: 2.00 1.98 1.61 3/177 25458
/proc/meminfo: memFree=28401620/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=258720 CPUtime=1601.91 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 71410 0 18 0 160176 15 0 0 20 0 1 0 316723845 264929280 64133 33554432000 134512640 134579096 4292341440 4292340256 134519125 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 64680 64133 230 17 0 63986 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 258720
[startup+1662.3 s]
/proc/loadavg: 2.05 2.00 1.64 3/177 25461
/proc/meminfo: memFree=28396000/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=258428 CPUtime=1661.9 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 71454 0 18 0 166175 15 0 0 20 0 1 0 316723845 264630272 64095 33554432000 134512640 134579096 4292341440 4292340272 134517922 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 64607 64095 230 17 0 63913 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 258428
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 1.66 3/177 25462
/proc/meminfo: memFree=28395676/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=258428 CPUtime=1721.89 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 71454 0 18 0 172174 15 0 0 20 0 1 0 316723845 264630272 64095 33554432000 134512640 134579096 4292341440 4292340272 134517903 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 64607 64095 230 17 0 63913 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 258428
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.67 3/177 25462
/proc/meminfo: memFree=28395056/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=258428 CPUtime=1781.89 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 71873 0 18 0 178173 16 0 0 20 0 1 0 316723845 264630272 64095 33554432000 134512640 134579096 4292341440 4292340096 134522726 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 64607 64095 230 17 0 63913 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 258428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.68 3/177 25462
/proc/meminfo: memFree=28395056/32873844 swapFree=7632/7632
[pid=25377] ppid=25375 vsize=258656 CPUtime=1800.09 cores=1,3,5,7
/proc/25377/stat : 25377 (Pueblo) R 25375 25377 25340 0 -1 4202496 72030 0 18 0 179993 16 0 0 20 0 1 0 316723845 264863744 64119 33554432000 134512640 134579096 4292341440 4292340272 134517928 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/25377/statm: 64664 64119 230 17 0 63970 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 258656
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1799.94
CPU system time (s): 0.162975
CPU usage (%): 99.9772
Max. virtual memory (cumulated for all children) (KiB): 259100
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.94
system time used= 0.162975
maximum resident set size= 256920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72030
page faults= 18
swaps= 0
block input operations= 5472
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 82
involuntary context switches= 1868
runsolver used 3.17152 second user time and 8.95364 second system time
The end