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-3720033-1338506810/watcher-3720033-1338506810 -o /tmp/evaluation-result-3720033-1338506810/solver-3720033-1338506810 -C 1800 -W 1900 -M 15500 Pueblo HOME/instance-3720033-1338506810.opb
running on 4 cores: 0,2,4,6
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.02 1.86 1.12 3/177 10186
/proc/meminfo: memFree=31270444/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3104 CPUtime=0 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 316806947 3178496 262 33554432000 134512640 134579096 4293544032 4293543200 134554228 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 776 262 222 17 0 82 0
[startup+0.0177879 s]
/proc/loadavg: 2.02 1.86 1.12 3/177 10186
/proc/meminfo: memFree=31270444/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3108 CPUtime=0.01 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 337 0 0 0 1 0 0 0 20 0 1 0 316806947 3182592 274 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 777 274 227 17 0 83 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 3108
[startup+0.100191 s]
/proc/loadavg: 2.02 1.86 1.12 3/177 10186
/proc/meminfo: memFree=31270444/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3108 CPUtime=0.09 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 343 0 0 0 9 0 0 0 20 0 1 0 316806947 3182592 280 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 777 280 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.02 1.86 1.12 3/177 10186
/proc/meminfo: memFree=31270444/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3108 CPUtime=0.29 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 349 0 0 0 28 1 0 0 20 0 1 0 316806947 3182592 286 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 777 286 227 17 0 83 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3108
[startup+0.700166 s]
/proc/loadavg: 2.02 1.86 1.12 3/177 10186
/proc/meminfo: memFree=31270444/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3236 CPUtime=0.69 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 355 0 0 0 67 2 0 0 20 0 1 0 316806947 3313664 292 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 809 292 227 17 0 115 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3236
[startup+1.50017 s]
/proc/loadavg: 2.02 1.86 1.12 3/178 10187
/proc/meminfo: memFree=31270056/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3236 CPUtime=1.48 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 362 0 0 0 143 5 0 0 20 0 1 0 316806947 3313664 299 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 809 299 227 17 0 115 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 3236
[startup+3.10017 s]
/proc/loadavg: 2.02 1.86 1.12 3/178 10187
/proc/meminfo: memFree=31269476/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3236 CPUtime=3.09 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 367 0 0 0 298 11 0 0 20 0 1 0 316806947 3313664 304 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 809 304 227 17 0 115 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3236
[startup+6.30012 s]
/proc/loadavg: 2.02 1.86 1.13 3/178 10187
/proc/meminfo: memFree=31269240/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3236 CPUtime=6.28 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 379 0 0 0 609 19 0 0 20 0 1 0 316806947 3313664 316 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 809 316 227 17 0 115 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3236
[startup+12.7001 s]
/proc/loadavg: 2.01 1.86 1.13 3/178 10187
/proc/meminfo: memFree=31268892/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3368 CPUtime=12.68 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 389 0 0 0 1232 36 0 0 20 0 1 0 316806947 3448832 326 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 842 326 227 17 0 148 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3368
[startup+25.5002 s]
/proc/loadavg: 2.01 1.87 1.14 3/177 10187
/proc/meminfo: memFree=31268924/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3368 CPUtime=25.48 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 403 0 0 0 2475 73 0 0 20 0 1 0 316806947 3448832 340 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 842 340 227 17 0 148 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3368
[startup+51.1001 s]
/proc/loadavg: 2.01 1.88 1.16 3/177 10187
/proc/meminfo: memFree=31269172/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3492 CPUtime=51.08 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 422 0 0 0 4962 146 0 0 20 0 1 0 316806947 3575808 359 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 873 359 227 17 0 179 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 3492
[startup+102.306 s]
/proc/loadavg: 2.00 1.89 1.21 3/177 10188
/proc/meminfo: memFree=31269048/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3492 CPUtime=102.28 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 436 0 0 0 9932 296 0 0 20 0 1 0 316806947 3575808 373 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 873 373 227 17 0 179 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3492
[startup+162.3 s]
/proc/loadavg: 2.00 1.91 1.25 3/177 10188
/proc/meminfo: memFree=31268552/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3620 CPUtime=162.27 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 459 0 0 0 15775 452 0 0 20 0 1 0 316806947 3706880 396 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 905 396 227 17 0 211 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 3620
[startup+222.3 s]
/proc/loadavg: 2.00 1.92 1.30 3/178 10191
/proc/meminfo: memFree=31268804/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3620 CPUtime=222.25 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 479 0 0 0 21628 597 0 0 20 0 1 0 316806947 3706880 416 33554432000 134512640 134579096 4293544032 4293542960 134559572 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 905 416 227 17 0 211 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 3620
[startup+282.3 s]
/proc/loadavg: 2.00 1.93 1.34 3/177 10191
/proc/meminfo: memFree=31268936/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3620 CPUtime=282.24 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 479 0 0 0 27477 747 0 0 20 0 1 0 316806947 3706880 416 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 905 416 227 17 0 211 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 3620
[startup+342.3 s]
/proc/loadavg: 2.00 1.94 1.38 3/177 10191
/proc/meminfo: memFree=31268936/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3752 CPUtime=342.23 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 494 0 0 0 33324 899 0 0 20 0 1 0 316806947 3842048 431 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 938 431 227 17 0 244 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 3752
[startup+402.3 s]
/proc/loadavg: 2.00 1.95 1.41 3/177 10192
/proc/meminfo: memFree=31268816/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3752 CPUtime=402.22 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 495 0 0 0 39176 1046 0 0 20 0 1 0 316806947 3842048 432 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 938 432 227 17 0 244 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 3752
[startup+462.3 s]
/proc/loadavg: 2.03 1.97 1.45 3/177 10192
/proc/meminfo: memFree=31268568/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3752 CPUtime=462.22 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 512 0 0 0 45036 1186 0 0 20 0 1 0 316806947 3842048 449 33554432000 134512640 134579096 4293544032 4293542772 11559302 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 938 449 227 17 0 244 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 3752
[startup+522.3 s]
/proc/loadavg: 2.01 1.97 1.48 3/177 10192
/proc/meminfo: memFree=31268568/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3752 CPUtime=522.2 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 512 0 0 0 50887 1333 0 0 20 0 1 0 316806947 3842048 449 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 938 449 227 17 0 244 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 3752
[startup+582.3 s]
/proc/loadavg: 2.03 1.99 1.52 3/177 10192
/proc/meminfo: memFree=31268320/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3884 CPUtime=582.19 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 517 0 0 0 56754 1465 0 0 20 0 1 0 316806947 3977216 454 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 971 454 227 17 0 277 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 3884
[startup+642.3 s]
/proc/loadavg: 2.01 1.99 1.55 3/177 10192
/proc/meminfo: memFree=31268444/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3884 CPUtime=642.2 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 519 0 0 0 62614 1606 0 0 20 0 1 0 316806947 3977216 456 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 971 456 227 17 0 277 0
Current children cumulated CPU time (s) 642.2
Current children cumulated vsize (KiB) 3884
[startup+702.3 s]
/proc/loadavg: 2.00 1.99 1.57 3/177 10193
/proc/meminfo: memFree=31268072/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3884 CPUtime=702.18 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 536 0 0 0 68463 1755 0 0 20 0 1 0 316806947 3977216 473 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/10186/statm: 971 473 227 17 0 277 0
Current children cumulated CPU time (s) 702.18
Current children cumulated vsize (KiB) 3884
[startup+762.306 s]
/proc/loadavg: 2.00 1.99 1.59 3/177 10193
/proc/meminfo: memFree=31267948/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3884 CPUtime=762.17 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 545 0 0 0 74311 1906 0 0 20 0 1 0 316806947 3977216 482 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 971 482 227 17 0 277 0
Current children cumulated CPU time (s) 762.17
Current children cumulated vsize (KiB) 3884
[startup+822.3 s]
/proc/loadavg: 2.00 1.99 1.62 3/178 10196
/proc/meminfo: memFree=31268076/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3884 CPUtime=822.16 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 545 0 0 0 80169 2047 0 0 20 0 1 0 316806947 3977216 482 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 971 482 227 17 0 277 0
Current children cumulated CPU time (s) 822.16
Current children cumulated vsize (KiB) 3884
[startup+882.3 s]
/proc/loadavg: 2.00 1.99 1.64 3/177 10196
/proc/meminfo: memFree=31267964/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3884 CPUtime=882.15 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 545 0 0 0 86033 2182 0 0 20 0 1 0 316806947 3977216 482 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 971 482 227 17 0 277 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 3884
[startup+942.3 s]
/proc/loadavg: 2.04 2.00 1.66 3/177 10196
/proc/meminfo: memFree=31268088/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3884 CPUtime=942.14 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 545 0 0 0 91890 2324 0 0 20 0 1 0 316806947 3977216 482 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 971 482 227 17 0 277 0
Current children cumulated CPU time (s) 942.14
Current children cumulated vsize (KiB) 3884
[startup+1002.3 s]
/proc/loadavg: 2.01 2.00 1.68 3/174 10228
/proc/meminfo: memFree=31269016/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=3884 CPUtime=1002.13 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 545 0 0 0 97746 2467 0 0 20 0 1 0 316806947 3977216 482 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 971 482 227 17 0 277 0
Current children cumulated CPU time (s) 1002.13
Current children cumulated vsize (KiB) 3884
[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 1.70 3/177 10245
/proc/meminfo: memFree=31260872/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=4016 CPUtime=1062.12 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 546 0 0 0 103605 2607 0 0 20 0 1 0 316806947 4112384 483 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 1004 483 227 17 0 310 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 4016
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.72 3/177 10245
/proc/meminfo: memFree=31260004/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=4016 CPUtime=1122.11 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 546 0 0 0 109470 2741 0 0 20 0 1 0 316806947 4112384 483 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 1004 483 227 17 0 310 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 4016
Solver just ended. Dumping a history of the last processes samples
[startup+1123.11 s]
/proc/loadavg: 2.01 2.01 1.72 3/177 10245
/proc/meminfo: memFree=31260004/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=4016 CPUtime=1122.91 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 546 0 0 0 109549 2742 0 0 20 0 1 0 316806947 4112384 483 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 1004 483 227 17 0 310 0
Current children cumulated CPU time (s) 1122.91
Current children cumulated vsize (KiB) 4016
[startup+1123.9 s]
/proc/loadavg: 2.01 2.01 1.72 3/177 10245
/proc/meminfo: memFree=31260004/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=4016 CPUtime=1123.71 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 546 0 0 0 109626 2745 0 0 20 0 1 0 316806947 4112384 483 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 1004 483 227 17 0 310 0
Current children cumulated CPU time (s) 1123.71
Current children cumulated vsize (KiB) 4016
[startup+1124.1 s]
/proc/loadavg: 2.01 2.01 1.72 3/177 10245
/proc/meminfo: memFree=31260004/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=4016 CPUtime=1123.92 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 546 0 0 0 109646 2746 0 0 20 0 1 0 316806947 4112384 483 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 1004 483 227 17 0 310 0
Current children cumulated CPU time (s) 1123.92
Current children cumulated vsize (KiB) 4016
[startup+1124.21 s]
/proc/loadavg: 2.01 2.01 1.72 3/177 10245
/proc/meminfo: memFree=31260004/32873648 swapFree=7628/7628
[pid=10186] ppid=10184 vsize=4016 CPUtime=1124.02 cores=0,2,4,6
/proc/10186/stat : 10186 (Pueblo) R 10184 10186 9880 0 -1 4202496 546 0 0 0 109656 2746 0 0 20 0 1 0 316806947 4112384 483 33554432000 134512640 134579096 4293544032 4293543004 5776432 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/10186/statm: 1004 483 227 17 0 310 0
Current children cumulated CPU time (s) 1124.02
Current children cumulated vsize (KiB) 4016
Child status: 30
Real time (s): 1124.24
CPU time (s): 1124.06
CPU user time (s): 1096.59
CPU system time (s): 27.4688
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 4016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1096.59
system time used= 27.4688
maximum resident set size= 1952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551
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= 1513
runsolver used 2.14867 second user time and 3.98839 second system time
The end