PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb
MD5SUM	389a3363aac4cd4681aed244ad9f1688
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39143259648
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39143259648
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.975851
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 39268

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-03 01:17:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27334 boxname=wulflinc2 idbench=1462 idsolver=19 numberseed=0
MD5SUM SOLVER: 259c660e62244fe20bfb2a303545faea  /oldhome/oroussel/solvers/Pueblo-v2
MD5SUM BENCH:  389a3363aac4cd4681aed244ad9f1688  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n3700.opb
REAL COMMAND:  Pueblo-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n3700.opb
IDLAUNCH: 27334
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        395360 kB
Buffers:         31844 kB
Cached:         584640 kB
SwapCached:       1160 kB
Active:          64620 kB
Inactive:       554320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        395108 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14628 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-03 01:37:41 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 27334 7 1200.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.94 0.90 2/54 2657
Raw data (stat): 2657 (runsolver) R 2656 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854407816 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 82031 0 0 0 847 151 0 0 25 0 1 0 854407816 57372672 12424 4294967295 134512640 134581267 3221224576 3221223544 1075710225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14110 12435 566 18 0 14092 0
vsize: 56028
[startup+19.9997 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 398319 0 0 0 1311 688 0 0 25 0 1 0 854407816 59416576 12914 4294967295 134512640 134581267 3221224576 3221223568 134531694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14506 12922 566 18 0 14488 0
vsize: 58024
[startup+29.9994 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 559220 0 0 0 2037 962 0 0 25 0 1 0 854407816 58892288 12826 4294967295 134512640 134581267 3221224576 3221223440 134528246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14378 12826 566 18 0 14360 0
vsize: 57512
[startup+39.9991 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 559220 0 0 0 3037 962 0 0 25 0 1 0 854407816 58892288 12826 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14378 12826 566 18 0 14360 0
vsize: 57512
[startup+49.9998 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 559817 0 0 0 4036 964 0 0 25 0 1 0 854407816 61259776 13423 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14956 13423 566 18 0 14938 0
vsize: 59824
[startup+59.9995 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 560870 0 0 0 5033 967 0 0 25 0 1 0 854407816 65617920 14476 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16020 14476 566 18 0 16002 0
vsize: 64080
[startup+69.9992 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 561904 0 0 0 6031 969 0 0 25 0 1 0 854407816 69832704 15510 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17049 15510 566 18 0 17031 0
vsize: 68196
[startup+80.0003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 562969 0 0 0 7029 971 0 0 25 0 1 0 854407816 74166272 16575 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18107 16575 566 18 0 18089 0
vsize: 72428
[startup+89.9996 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 564028 0 0 0 8027 973 0 0 25 0 1 0 854407816 78495744 17634 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19164 17634 566 18 0 19146 0
vsize: 76656
[startup+99.9993 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 565074 0 0 0 9024 976 0 0 25 0 1 0 854407816 82808832 18680 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20217 18680 566 18 0 20199 0
vsize: 80868
[startup+109.999 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 566128 0 0 0 10022 978 0 0 25 0 1 0 854407816 87142400 19734 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21275 19734 566 18 0 21257 0
vsize: 85100
[startup+119.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 567194 0 0 0 11021 980 0 0 25 0 1 0 854407816 91475968 20800 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22333 20800 566 18 0 22315 0
vsize: 89332
[startup+129.998 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 568235 0 0 0 12018 982 0 0 25 0 1 0 854407816 95817728 21841 4294967295 134512640 134581267 3221224576 3221223488 134527782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23393 21841 566 18 0 23375 0
vsize: 93572
[startup+139.999 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 569289 0 0 0 13016 985 0 0 25 0 1 0 854407816 100052992 22895 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24427 22895 566 18 0 24409 0
vsize: 97708
[startup+149.999 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 570351 0 0 0 14014 987 0 0 25 0 1 0 854407816 104402944 23957 4294967295 134512640 134581267 3221224576 3221223488 134527782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25489 23957 566 18 0 25471 0
vsize: 101956
[startup+159.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 571401 0 0 0 15011 990 0 0 25 0 1 0 854407816 108769280 25007 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26555 25007 566 18 0 26537 0
vsize: 106220
[startup+169.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 572462 0 0 0 16008 993 0 0 25 0 1 0 854407816 113152000 26068 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27625 26068 566 18 0 27607 0
vsize: 110500
[startup+179.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 573492 0 0 0 17005 996 0 0 25 0 1 0 854407816 117305344 27098 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28639 27098 566 18 0 28621 0
vsize: 114556
[startup+189.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 574550 0 0 0 18003 999 0 0 25 0 1 0 854407816 121696256 28156 4294967295 134512640 134581267 3221224576 3221223488 134527774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29711 28156 566 18 0 29693 0
vsize: 118844
[startup+199.998 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 575596 0 0 0 19000 1002 0 0 25 0 1 0 854407816 125968384 29202 4294967295 134512640 134581267 3221224576 3221223488 134527782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30754 29202 566 18 0 30736 0
vsize: 123016
[startup+209.997 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 576658 0 0 0 19998 1004 0 0 25 0 1 0 854407816 130252800 30264 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31800 30264 566 18 0 31782 0
vsize: 127200
[startup+219.997 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 577713 0 0 0 20996 1006 0 0 25 0 1 0 854407816 134545408 31319 4294967295 134512640 134581267 3221224576 3221223488 134527539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32848 31319 566 18 0 32830 0
vsize: 131392
[startup+229.996 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 578758 0 0 0 21994 1008 0 0 25 0 1 0 854407816 138846208 32364 4294967295 134512640 134581267 3221224576 3221223584 134560525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33898 32364 566 18 0 33880 0
vsize: 135592
[startup+239.996 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 579814 0 0 0 22992 1011 0 0 25 0 1 0 854407816 143159296 33420 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34951 33420 566 18 0 34933 0
vsize: 139804
[startup+249.996 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 580859 0 0 0 23989 1013 0 0 25 0 1 0 854407816 147517440 34465 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36015 34465 566 18 0 35997 0
vsize: 144060
[startup+259.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 581892 0 0 0 24987 1016 0 0 25 0 1 0 854407816 151797760 35498 4294967295 134512640 134581267 3221224576 3221223488 134527459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37060 35498 566 18 0 37042 0
vsize: 148240
[startup+269.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 582934 0 0 0 25985 1018 0 0 25 0 1 0 854407816 156086272 36540 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38107 36540 566 18 0 38089 0
vsize: 152428
[startup+279.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 583989 0 0 0 26982 1021 0 0 25 0 1 0 854407816 160378880 37595 4294967295 134512640 134581267 3221224576 3221223488 134527639 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39155 37595 566 18 0 39137 0
vsize: 156620
[startup+289.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 585026 0 0 0 27980 1024 0 0 25 0 1 0 854407816 164544512 38632 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40172 38632 566 18 0 40154 0
vsize: 160688
[startup+299.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 586083 0 0 0 28977 1026 0 0 25 0 1 0 854407816 168960000 39689 4294967295 134512640 134581267 3221224576 3221223488 134527445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41250 39689 566 18 0 41232 0
vsize: 165000
[startup+309.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 587129 0 0 0 29974 1029 0 0 25 0 1 0 854407816 173252608 40735 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42298 40735 566 18 0 42280 0
vsize: 169192
[startup+319.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 588168 0 0 0 30972 1032 0 0 25 0 1 0 854407816 177405952 41774 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43312 41774 566 18 0 43294 0
vsize: 173248
[startup+329.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 589217 0 0 0 31969 1035 0 0 25 0 1 0 854407816 181682176 42823 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44356 42823 566 18 0 44338 0
vsize: 177424
[startup+339.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 590254 0 0 0 32967 1037 0 0 25 0 1 0 854407816 185954304 43860 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45399 43860 566 18 0 45381 0
vsize: 181596
[startup+349.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 591301 0 0 0 33965 1040 0 0 25 0 1 0 854407816 190218240 44907 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46440 44907 566 18 0 46422 0
vsize: 185760
[startup+359.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 592335 0 0 0 34962 1042 0 0 25 0 1 0 854407816 194482176 45941 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47481 45941 566 18 0 47463 0
vsize: 189924
[startup+369.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 593381 0 0 0 35959 1045 0 0 25 0 1 0 854407816 198742016 46987 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48521 46987 566 18 0 48503 0
vsize: 194084
[startup+379.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 594390 0 0 0 36957 1048 0 0 25 0 1 0 854407816 202870784 47996 4294967295 134512640 134581267 3221224576 3221223488 134527429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49529 47996 566 18 0 49511 0
vsize: 198116
[startup+389.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 595433 0 0 0 37955 1050 0 0 25 0 1 0 854407816 207249408 49039 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50598 49039 566 18 0 50580 0
vsize: 202392
[startup+399.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 596481 0 0 0 38952 1053 0 0 25 0 1 0 854407816 211492864 50087 4294967295 134512640 134581267 3221224576 3221223488 134527692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51634 50087 566 18 0 51616 0
vsize: 206536
[startup+409.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 597512 0 0 0 39950 1055 0 0 25 0 1 0 854407816 215736320 51118 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52670 51118 566 18 0 52652 0
vsize: 210680
[startup+419.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 598553 0 0 0 40948 1057 0 0 25 0 1 0 854407816 219975680 52159 4294967295 134512640 134581267 3221224576 3221223520 134558768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53705 52159 566 18 0 53687 0
vsize: 214820
[startup+429.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 599583 0 0 0 41946 1060 0 0 25 0 1 0 854407816 224219136 53189 4294967295 134512640 134581267 3221224576 3221223348 1074910316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54741 53189 566 18 0 54723 0
vsize: 218964
[startup+439.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 600622 0 0 0 42943 1062 0 0 25 0 1 0 854407816 228454400 54228 4294967295 134512640 134581267 3221224576 3221223488 134527432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55775 54228 566 18 0 55757 0
vsize: 223100
[startup+449.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 601651 0 0 0 43942 1064 0 0 25 0 1 0 854407816 232697856 55257 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56811 55257 566 18 0 56793 0
vsize: 227244
[startup+459.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 602688 0 0 0 44939 1067 0 0 25 0 1 0 854407816 236838912 56294 4294967295 134512640 134581267 3221224576 3221223440 134528321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57822 56294 566 18 0 57804 0
vsize: 231288
[startup+469.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603715 0 0 0 45937 1069 0 0 25 0 1 0 854407816 241213440 57321 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58890 57321 566 18 0 58872 0
vsize: 235560
[startup+479.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 46936 1070 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223504 134519924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+489.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 47936 1070 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223520 134559225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+499.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 48936 1071 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527687 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+509.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 49936 1071 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+519.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 50935 1072 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+529.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 51936 1072 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+539.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 52935 1072 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223520 134559429 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+549.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 53935 1072 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+559.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 54935 1073 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+569.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 55935 1073 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+579.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 56935 1073 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223520 134559156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+589.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 57935 1074 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+599.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 58935 1074 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+609.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 59935 1074 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+619.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 60935 1074 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+629.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 61934 1074 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+639.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 62935 1075 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+649.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 63934 1075 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+659.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 64934 1075 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+669.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 65934 1075 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+679.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 66934 1076 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+689.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 67934 1076 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+699.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 68934 1076 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223440 134528284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+709.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 69934 1076 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527525 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+719.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 70934 1076 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+729.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 71933 1077 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+739.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 72933 1078 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+749.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 73933 1078 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+759.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 74932 1079 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134528040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+769.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 75932 1079 0 0 25 0 1 0 854407816 242204672 57569 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59132 57569 566 18 0 59114 0
vsize: 236528
[startup+779.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 76932 1080 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+789.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 77931 1080 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134528047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+799.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 78931 1080 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134528053 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+809.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 79931 1081 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223440 134528321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+819.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 80931 1081 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+829.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 81931 1081 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+839.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 82931 1081 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+849.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 83931 1082 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+859.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 84931 1082 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527658 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+869.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 85931 1082 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+879.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 86931 1082 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+889.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 87930 1083 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223212 1075288589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+899.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 88930 1083 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+909.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 89930 1083 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+919.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 90930 1084 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223472 134517806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+929.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 91930 1084 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223440 134528287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+939.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 92930 1084 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+949.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 93930 1085 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+959.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 94929 1085 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+969.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 95929 1085 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223520 134558840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+979.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 96929 1086 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+989.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 97929 1086 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+999.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 98929 1086 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 99929 1086 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 100929 1086 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 101929 1086 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 102929 1087 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223488 134527534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 103929 1087 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223324 1075285189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+1059.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603963 0 0 0 104928 1087 0 0 25 0 1 0 854407816 240881664 57254 4294967295 134512640 134581267 3221224576 3221223504 134519928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57254 566 18 0 58791 0
vsize: 235236
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 105928 1088 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 106928 1088 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1089.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 107928 1088 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 108928 1089 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 109928 1089 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 110928 1089 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527955 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1129.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 111927 1089 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223568 134561045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1139.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 112927 1090 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1149.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 113927 1090 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1159.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 114927 1090 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134528056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1169.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 115927 1090 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1179.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 116927 1090 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1189.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 117927 1091 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
[startup+1199.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2657
Raw data (stat): 2657 (Pueblo-v2) R 2656 31399 31398 0 -1 0 603964 0 0 0 118927 1091 0 0 25 0 1 0 854407816 240881664 57255 4294967295 134512640 134581267 3221224576 3221223488 134527943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58809 57255 566 18 0 58791 0
vsize: 235236
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 2657
Raw data (stat): 2657 (Pueblo-v2) Z 2656 31399 31398 0 -1 1036 603964 0 0 0 118927 1102 0 0 25 0 1 0 854407816 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.29
CPU user time (s): 1189.27
CPU system time (s): 11.0223
CPU usage (%): 100.016
Max. virtual memory (Kb): 236528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####