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-3720255-1338509595/watcher-3720255-1338509595 -o /tmp/evaluation-result-3720255-1338509595/solver-3720255-1338509595 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720255-1338509595.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.01 2.00 1.91 3/176 10376
/proc/meminfo: memFree=31176680/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3108 CPUtime=0 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 335 0 0 0 0 0 0 0 20 0 1 0 317085530 3182592 272 33554432000 134512640 134579096 4293754896 4293753384 11562932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 777 272 227 17 0 83 0
[startup+0.048514 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 10376
/proc/meminfo: memFree=31176680/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3108 CPUtime=0.04 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 346 0 0 0 4 0 0 0 20 0 1 0 317085530 3182592 283 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 777 283 227 17 0 83 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3108
[startup+0.100154 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 10376
/proc/meminfo: memFree=31176680/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3240 CPUtime=0.09 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 359 0 0 0 9 0 0 0 20 0 1 0 317085530 3317760 296 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 810 296 227 17 0 116 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3240
[startup+0.300103 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 10376
/proc/meminfo: memFree=31176680/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3240 CPUtime=0.29 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 374 0 0 0 29 0 0 0 20 0 1 0 317085530 3317760 311 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 810 311 227 17 0 116 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3240
[startup+0.700099 s]
/proc/loadavg: 2.01 2.00 1.91 3/176 10376
/proc/meminfo: memFree=31176680/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3372 CPUtime=0.69 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 388 0 0 0 68 1 0 0 20 0 1 0 317085530 3452928 325 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 843 325 227 17 0 149 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3372
[startup+1.50018 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 10377
/proc/meminfo: memFree=31176548/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3372 CPUtime=1.49 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 391 0 0 0 147 2 0 0 20 0 1 0 317085530 3452928 328 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 843 328 227 17 0 149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 3372
[startup+3.10018 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 10377
/proc/meminfo: memFree=31176052/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3372 CPUtime=3.08 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 391 0 0 0 305 3 0 0 20 0 1 0 317085530 3452928 328 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 843 328 227 17 0 149 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 3372
[startup+6.30018 s]
/proc/loadavg: 2.01 2.00 1.91 3/177 10377
/proc/meminfo: memFree=31176104/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3372 CPUtime=6.29 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 391 0 0 0 623 6 0 0 20 0 1 0 317085530 3452928 328 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 843 328 227 17 0 149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 3372
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10377
/proc/meminfo: memFree=31175648/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3372 CPUtime=12.68 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 391 0 0 0 1257 11 0 0 20 0 1 0 317085530 3452928 328 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 843 328 227 17 0 149 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3372
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10377
/proc/meminfo: memFree=31176092/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3372 CPUtime=25.49 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 394 0 0 0 2527 22 0 0 20 0 1 0 317085530 3452928 331 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 843 331 227 17 0 149 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3372
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10377
/proc/meminfo: memFree=31175844/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3632 CPUtime=51.07 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 470 0 0 0 5064 43 0 0 20 0 1 0 317085530 3719168 407 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 908 407 227 17 0 214 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3632
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10378
/proc/meminfo: memFree=31175720/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3884 CPUtime=102.28 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 517 0 0 0 10144 84 0 0 20 0 1 0 317085530 3977216 454 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 971 454 227 17 0 277 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3884
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10427
/proc/meminfo: memFree=31251568/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=3884 CPUtime=162.27 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 539 0 0 0 16095 132 0 0 20 0 1 0 317085530 3977216 476 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 971 476 227 17 0 277 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3884
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 10427
/proc/meminfo: memFree=31243392/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4012 CPUtime=222.25 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 564 0 0 0 22053 172 0 0 20 0 1 0 317085530 4108288 501 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1003 501 227 17 0 309 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 4012
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 10427
/proc/meminfo: memFree=31236732/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4012 CPUtime=282.24 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 568 0 0 0 28013 211 0 0 20 0 1 0 317085530 4108288 505 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1003 505 227 17 0 309 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 4012
[startup+342.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 10427
/proc/meminfo: memFree=31233012/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4128 CPUtime=342.24 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 585 0 0 0 33973 251 0 0 20 0 1 0 317085530 4227072 522 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1032 522 227 17 0 338 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 4128
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 10428
/proc/meminfo: memFree=31229552/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4128 CPUtime=402.23 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 585 0 0 0 39932 291 0 0 20 0 1 0 317085530 4227072 522 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1032 522 227 17 0 338 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 4128
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 10431
/proc/meminfo: memFree=31226460/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=462.22 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 608 0 0 0 45891 331 0 0 20 0 1 0 317085530 4345856 545 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 545 227 17 0 367 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 4244
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 10431
/proc/meminfo: memFree=31221168/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=522.2 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 609 0 0 0 51850 370 0 0 20 0 1 0 317085530 4345856 546 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 546 227 17 0 367 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 4244
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 10431
/proc/meminfo: memFree=31220984/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=582.2 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 609 0 0 0 57807 413 0 0 20 0 1 0 317085530 4345856 546 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 546 227 17 0 367 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 4244
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31204388/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=882.16 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 615 0 0 0 87595 621 0 0 20 0 1 0 317085530 4345856 552 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 552 227 17 0 367 0
Current children cumulated CPU time (s) 882.16
Current children cumulated vsize (KiB) 4244
[startup+942.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10433
/proc/meminfo: memFree=31204388/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=942.14 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 615 0 0 0 93551 663 0 0 20 0 1 0 317085530 4345856 552 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 552 227 17 0 367 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 4244
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10434
/proc/meminfo: memFree=31204512/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=1002.13 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 615 0 0 0 99508 705 0 0 20 0 1 0 317085530 4345856 552 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 552 227 17 0 367 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 4244
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10437
/proc/meminfo: memFree=31204264/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=1062.13 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 635 0 0 0 105464 749 0 0 20 0 1 0 317085530 4345856 572 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 572 227 17 0 367 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 4244
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10437
/proc/meminfo: memFree=31204396/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=1122.11 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 635 0 0 0 111422 789 0 0 20 0 1 0 317085530 4345856 572 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 572 227 17 0 367 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 4244
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10437
/proc/meminfo: memFree=31204276/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=1182.1 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 635 0 0 0 117374 836 0 0 20 0 1 0 317085530 4345856 572 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 572 227 17 0 367 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 4244
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10437
/proc/meminfo: memFree=31204400/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4244 CPUtime=1242.1 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 635 0 0 0 123331 879 0 0 20 0 1 0 317085530 4345856 572 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1061 572 227 17 0 367 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4244
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10438
/proc/meminfo: memFree=31204028/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4376 CPUtime=1302.09 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 664 0 0 0 129290 919 0 0 20 0 1 0 317085530 4481024 601 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1094 601 227 17 0 400 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4376
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10438
/proc/meminfo: memFree=31197704/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4376 CPUtime=1362.08 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 664 0 0 0 135245 963 0 0 20 0 1 0 317085530 4481024 601 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1094 601 227 17 0 400 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 4376
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10438
/proc/meminfo: memFree=31196540/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4376 CPUtime=1422.08 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 664 0 0 0 141207 1001 0 0 20 0 1 0 317085530 4481024 601 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1094 601 227 17 0 400 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4376
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10438
/proc/meminfo: memFree=31192944/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4376 CPUtime=1482.06 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 664 0 0 0 147166 1040 0 0 20 0 1 0 317085530 4481024 601 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1094 601 227 17 0 400 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4376
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10438
/proc/meminfo: memFree=31193440/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4492 CPUtime=1542.06 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 671 0 0 0 153125 1081 0 0 20 0 1 0 317085530 4599808 608 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1123 608 227 17 0 429 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4492
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10439
/proc/meminfo: memFree=31193316/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4492 CPUtime=1602.05 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 685 0 0 0 159080 1125 0 0 20 0 1 0 317085530 4599808 622 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1123 622 227 17 0 429 0
Current children cumulated CPU time (s) 1602.05
Current children cumulated vsize (KiB) 4492
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/178 10442
/proc/meminfo: memFree=31192816/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4616 CPUtime=1662.04 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 700 0 0 0 165036 1168 0 0 20 0 1 0 317085530 4726784 637 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1154 637 227 17 0 460 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 4616
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10442
/proc/meminfo: memFree=31186004/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4616 CPUtime=1722.03 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 704 0 0 0 170991 1212 0 0 20 0 1 0 317085530 4726784 641 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1154 641 227 17 0 460 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 4616
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10442
/proc/meminfo: memFree=31186196/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4616 CPUtime=1782.01 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 704 0 0 0 176946 1255 0 0 20 0 1 0 317085530 4726784 641 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1154 641 227 17 0 460 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 4616
Solver just ended. Dumping a history of the last processes samples
[startup+1782.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10442
/proc/meminfo: memFree=31186196/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4616 CPUtime=1782.42 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 704 0 0 0 176986 1256 0 0 20 0 1 0 317085530 4726784 641 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1154 641 227 17 0 460 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 4616
[startup+1783.11 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10442
/proc/meminfo: memFree=31186072/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4616 CPUtime=1782.82 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 704 0 0 0 177026 1256 0 0 20 0 1 0 317085530 4726784 641 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1154 641 227 17 0 460 0
Current children cumulated CPU time (s) 1782.82
Current children cumulated vsize (KiB) 4616
[startup+1783.2 s]
/proc/loadavg: 2.00 2.00 1.93 3/177 10442
/proc/meminfo: memFree=31186072/32873648 swapFree=7628/7628
[pid=10376] ppid=10374 vsize=4616 CPUtime=1782.92 cores=1,3,5,7
/proc/10376/stat : 10376 (Pueblo) R 10374 10376 9880 0 -1 4202496 704 0 0 0 177036 1256 0 0 20 0 1 0 317085530 4726784 641 33554432000 134512640 134579096 4293754896 4293753868 1823792 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/10376/statm: 1154 641 227 17 0 460 0
Current children cumulated CPU time (s) 1782.92
Current children cumulated vsize (KiB) 4616
Child status: 10
Real time (s): 1783.28
CPU time (s): 1783.01
CPU user time (s): 1770.44
CPU system time (s): 12.5651
CPU usage (%): 99.9846
Max. virtual memory (cumulated for all children) (KiB): 4616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1770.44
system time used= 12.5651
maximum resident set size= 2584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 709
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= 9
involuntary context switches= 1837
runsolver used 3.02254 second user time and 7.02193 second system time
The end