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-3720278-1338509604/watcher-3720278-1338509604 -o /tmp/evaluation-result-3720278-1338509604/solver-3720278-1338509604 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720278-1338509604.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 29431
/proc/meminfo: memFree=27828156/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3108 CPUtime=0 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 329 0 0 0 0 0 0 0 20 0 1 0 317084505 3182592 266 33554432000 134512640 134579096 4293129920 4293128720 134528577 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 777 266 227 17 0 83 0
[startup+0.0434591 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29431
/proc/meminfo: memFree=27828156/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3108 CPUtime=0.04 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 329 0 0 0 4 0 0 0 20 0 1 0 317084505 3182592 266 33554432000 134512640 134579096 4293129920 4293128768 134528360 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 777 266 227 17 0 83 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3108
[startup+0.100209 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29431
/proc/meminfo: memFree=27828156/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3108 CPUtime=0.09 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 329 0 0 0 9 0 0 0 20 0 1 0 317084505 3182592 266 33554432000 134512640 134579096 4293129920 4293128768 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 777 266 227 17 0 83 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3108
[startup+0.300175 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29431
/proc/meminfo: memFree=27828156/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3108 CPUtime=0.29 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 329 0 0 0 29 0 0 0 20 0 1 0 317084505 3182592 266 33554432000 134512640 134579096 4293129920 4293128720 134528560 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 777 266 227 17 0 83 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3108
[startup+0.700172 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29431
/proc/meminfo: memFree=27828156/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3108 CPUtime=0.69 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 329 0 0 0 69 0 0 0 20 0 1 0 317084505 3182592 266 33554432000 134512640 134579096 4293129920 4293128768 134527824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 777 266 227 17 0 83 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3108
[startup+1.50018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29432
/proc/meminfo: memFree=27827784/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3108 CPUtime=1.49 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 336 0 0 0 149 0 0 0 20 0 1 0 317084505 3182592 273 33554432000 134512640 134579096 4293129920 4293128800 134557302 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 777 273 227 17 0 83 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3108
[startup+3.10018 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29432
/proc/meminfo: memFree=27827660/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3240 CPUtime=3.09 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 372 0 0 0 309 0 0 0 20 0 1 0 317084505 3317760 309 33554432000 134512640 134579096 4293129920 4293128768 134527737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 810 309 227 17 0 116 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3240
[startup+6.30017 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 29432
/proc/meminfo: memFree=27827432/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3368 CPUtime=6.29 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 387 0 0 0 629 0 0 0 20 0 1 0 317084505 3448832 324 33554432000 134512640 134579096 4293129920 4293128720 134528713 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 842 324 227 17 0 148 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3368
[startup+12.7002 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 29432
/proc/meminfo: memFree=27827132/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3368 CPUtime=12.69 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 394 0 0 0 1269 0 0 0 20 0 1 0 317084505 3448832 331 33554432000 134512640 134579096 4293129920 4293128740 134556392 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 842 331 227 17 0 148 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3368
[startup+25.5002 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 29432
/proc/meminfo: memFree=27827312/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3368 CPUtime=25.49 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 411 0 0 0 2549 0 0 0 20 0 1 0 317084505 3448832 348 33554432000 134512640 134579096 4293129920 4293128768 134527824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 842 348 227 17 0 148 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3368
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29432
/proc/meminfo: memFree=27827064/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3468 CPUtime=51.09 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 431 0 0 0 5109 0 0 0 20 0 1 0 317084505 3551232 368 33554432000 134512640 134579096 4293129920 4293128708 3072384 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 867 368 227 17 0 173 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3468
[startup+102.306 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29432
/proc/meminfo: memFree=27825948/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3572 CPUtime=102.28 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 449 0 0 0 10228 0 0 0 20 0 1 0 317084505 3657728 386 33554432000 134512640 134579096 4293129920 4293128768 134527737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 893 386 227 17 0 199 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3572
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29432
/proc/meminfo: memFree=27826072/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3572 CPUtime=162.27 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 459 0 0 0 16227 0 0 0 20 0 1 0 317084505 3657728 396 33554432000 134512640 134579096 4293129920 4293128496 3075112 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 893 396 227 17 0 199 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3572
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29433
/proc/meminfo: memFree=27826444/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3572 CPUtime=222.26 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 460 0 0 0 22226 0 0 0 20 0 1 0 317084505 3657728 397 33554432000 134512640 134579096 4293129920 4293128768 134527818 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 893 397 227 17 0 199 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 3572
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29433
/proc/meminfo: memFree=27826324/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3680 CPUtime=282.25 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 475 0 0 0 28225 0 0 0 20 0 1 0 317084505 3768320 412 33554432000 134512640 134579096 4293129920 4293128768 134527762 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 920 412 227 17 0 226 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 3680
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29433
/proc/meminfo: memFree=27826328/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3680 CPUtime=342.24 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 476 0 0 0 34224 0 0 0 20 0 1 0 317084505 3768320 413 33554432000 134512640 134579096 4293129920 4293128768 134527794 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 920 413 227 17 0 226 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 3680
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29436
/proc/meminfo: memFree=27825660/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3680 CPUtime=402.23 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 477 0 0 0 40223 0 0 0 20 0 1 0 317084505 3768320 414 33554432000 134512640 134579096 4293129920 4293128768 134527750 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 920 414 227 17 0 226 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 3680
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29436
/proc/meminfo: memFree=27826324/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3680 CPUtime=462.22 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 491 0 0 0 46222 0 0 0 20 0 1 0 317084505 3768320 428 33554432000 134512640 134579096 4293129920 4293128496 3074896 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 920 428 227 17 0 226 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3680
[startup+522.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 29437
/proc/meminfo: memFree=27826448/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3680 CPUtime=522.21 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 492 0 0 0 52221 0 0 0 20 0 1 0 317084505 3768320 429 33554432000 134512640 134579096 4293129920 4293128720 134528632 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 920 429 227 17 0 226 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 3680
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29437
/proc/meminfo: memFree=27826448/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3756 CPUtime=582.21 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 497 0 0 0 58221 0 0 0 20 0 1 0 317084505 3846144 434 33554432000 134512640 134579096 4293129920 4293128848 134559228 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 939 434 227 17 0 245 0
Current children cumulated CPU time (s) 582.21
Current children cumulated vsize (KiB) 3756
[startup+642.3 s]
################
# More data... #
################
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29439
/proc/meminfo: memFree=27826452/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3756 CPUtime=882.16 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 506 0 0 0 88216 0 0 0 20 0 1 0 317084505 3846144 443 33554432000 134512640 134579096 4293129920 4293128752 134528329 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 939 443 227 17 0 245 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 3756
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29439
/proc/meminfo: memFree=27826576/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3756 CPUtime=942.15 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 508 0 0 0 94215 0 0 0 20 0 1 0 317084505 3846144 445 33554432000 134512640 134579096 4293129920 4293128768 134527759 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 939 445 227 17 0 245 0
Current children cumulated CPU time (s) 942.15
Current children cumulated vsize (KiB) 3756
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29442
/proc/meminfo: memFree=27825528/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3756 CPUtime=1002.14 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 511 0 0 0 100214 0 0 0 20 0 1 0 317084505 3846144 448 33554432000 134512640 134579096 4293129920 4293128768 134527759 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 939 448 227 17 0 245 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 3756
[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29442
/proc/meminfo: memFree=27826212/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3756 CPUtime=1062.13 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 511 0 0 0 106213 0 0 0 20 0 1 0 317084505 3846144 448 33554432000 134512640 134579096 4293129920 4293128768 134527824 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 939 448 227 17 0 245 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3756
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29443
/proc/meminfo: memFree=27826088/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3756 CPUtime=1122.12 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 511 0 0 0 112212 0 0 0 20 0 1 0 317084505 3846144 448 33554432000 134512640 134579096 4293129920 4293128720 134527120 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 939 448 227 17 0 245 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3756
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29443
/proc/meminfo: memFree=27826464/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3756 CPUtime=1182.11 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 511 0 0 0 118211 0 0 0 20 0 1 0 317084505 3846144 448 33554432000 134512640 134579096 4293129920 4293128768 134527724 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 939 448 227 17 0 245 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3756
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29443
/proc/meminfo: memFree=27825720/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3884 CPUtime=1242.11 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 521 0 0 0 124211 0 0 0 20 0 1 0 317084505 3977216 458 33554432000 134512640 134579096 4293129920 4293128768 134527729 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 971 458 227 17 0 277 0
Current children cumulated CPU time (s) 1242.11
Current children cumulated vsize (KiB) 3884
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29443
/proc/meminfo: memFree=27825596/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1302.1 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 528 0 0 0 130210 0 0 0 20 0 1 0 317084505 3940352 465 33554432000 134512640 134579096 4293129920 4293128768 134528346 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 465 227 17 0 268 0
Current children cumulated CPU time (s) 1302.1
Current children cumulated vsize (KiB) 3848
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29443
/proc/meminfo: memFree=27825472/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1362.09 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 530 0 0 0 136209 0 0 0 20 0 1 0 317084505 3940352 467 33554432000 134512640 134579096 4293129920 4293128720 134527184 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 467 227 17 0 268 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 3848
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 29444
/proc/meminfo: memFree=27825348/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1422.08 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 530 0 0 0 142208 0 0 0 20 0 1 0 317084505 3940352 467 33554432000 134512640 134579096 4293129920 4293128768 134527765 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 467 227 17 0 268 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 3848
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29444
/proc/meminfo: memFree=27825224/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1482.07 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 531 0 0 0 148207 0 0 0 20 0 1 0 317084505 3940352 468 33554432000 134512640 134579096 4293129920 4293128768 134527726 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 468 227 17 0 268 0
Current children cumulated CPU time (s) 1482.07
Current children cumulated vsize (KiB) 3848
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29444
/proc/meminfo: memFree=27825224/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1542.06 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 531 0 0 0 154206 0 0 0 20 0 1 0 317084505 3940352 468 33554432000 134512640 134579096 4293129920 4293128768 134527737 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 468 227 17 0 268 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 3848
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29447
/proc/meminfo: memFree=27824820/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1602.05 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 531 0 0 0 160205 0 0 0 20 0 1 0 317084505 3940352 468 33554432000 134512640 134579096 4293129920 4293128768 134527750 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 468 227 17 0 268 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 3848
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29447
/proc/meminfo: memFree=27825852/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1662.04 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 531 0 0 0 166204 0 0 0 20 0 1 0 317084505 3940352 468 33554432000 134512640 134579096 4293129920 4293128740 134556315 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 468 227 17 0 268 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 3848
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29448
/proc/meminfo: memFree=27825728/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1722.03 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 533 0 0 0 172203 0 0 0 20 0 1 0 317084505 3940352 470 33554432000 134512640 134579096 4293129920 4293128768 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 470 227 17 0 268 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 3848
[startup+1782.3 s]
/proc/loadavg: 1.92 1.98 1.99 3/177 29549
/proc/meminfo: memFree=27826508/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1782.02 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 533 0 0 0 178202 0 0 0 20 0 1 0 317084505 3940352 470 33554432000 134512640 134579096 4293129920 4293128768 134527740 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 470 227 17 0 268 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 3848
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 29649
/proc/meminfo: memFree=27824384/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1800.03 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 533 0 0 0 180003 0 0 0 20 0 1 0 317084505 3940352 470 33554432000 134512640 134579096 4293129920 4293128768 134528357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 470 227 17 0 268 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3848
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.3 s]
/proc/loadavg: 1.94 1.98 1.99 3/177 29649
/proc/meminfo: memFree=27824384/32873648 swapFree=7368/7368
[pid=29431] ppid=29429 vsize=3848 CPUtime=1800.03 cores=1,3,5,7
/proc/29431/stat : 29431 (Pueblo) R 29429 29431 28979 0 -1 4202496 533 0 0 0 180003 0 0 0 20 0 1 0 317084505 3940352 470 33554432000 134512640 134579096 4293129920 4293128768 134528357 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29431/statm: 962 470 227 17 0 268 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 3848
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.03
CPU user time (s): 1800.03
CPU system time (s): 0.000999
CPU usage (%): 99.9848
Max. virtual memory (cumulated for all children) (KiB): 3884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.03
system time used= 0.000999
maximum resident set size= 1880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 1856
runsolver used 2.93355 second user time and 8.00178 second system time
The end