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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
MD5SUM	3525728b1c2480586834886de2d50400
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	63309
Biggest coefficient in the objective function	53687091200000000000
Number of bits for the biggest coefficient in the objective function	66
Sum of the numbers in the objective function	215947469635884908544
Number of bits of the sum of numbers in the objective function	68
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	215947469635884908544
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	290.253
Number of variables	63009
Total number of constraints	63518
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63011
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	59416
Trace number 40148

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 03:19:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28212 boxname=wulflinc6 idbench=1168 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  3525728b1c2480586834886de2d50400  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-rail507.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-rail507.opb
IDLAUNCH: 28212
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        597548 kB
Buffers:         24360 kB
Cached:         390372 kB
SwapCached:       1020 kB
Active:          37548 kB
Inactive:       379316 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        597268 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            14576 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:39:23 (client local time) WITH STATUS 0 IN 1200.66 SECONDS
stats: 28212 7 1200.66 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.87 0.94 0.90 2/54 24060
Raw data (stat): 24060 (runsolver) R 24059 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898339452 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 1804 0 0 0 993 5 0 0 25 0 1 0 898339452 18817024 1724 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4594 1724 1111 63 0 4531 0
vsize: 18376
[startup+20.0013 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 2746 0 0 0 1991 6 0 0 25 0 1 0 898339452 22695936 2666 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5541 2666 1111 63 0 5478 0
vsize: 22164
[startup+30.0019 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 3692 0 0 0 2990 8 0 0 25 0 1 0 898339452 26578944 3612 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6489 3612 1111 63 0 6426 0
vsize: 25956
[startup+40.0031 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 4640 0 0 0 3988 10 0 0 25 0 1 0 898339452 30457856 4560 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7436 4560 1111 63 0 7373 0
vsize: 29744
[startup+50.0037 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 5588 0 0 0 4986 13 0 0 25 0 1 0 898339452 34340864 5508 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8384 5508 1111 63 0 8321 0
vsize: 33536
[startup+60.0044 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 6542 0 0 0 5984 15 0 0 25 0 1 0 898339452 38223872 6462 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9332 6462 1111 63 0 9269 0
vsize: 37328
[startup+70.0045 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 7498 0 0 0 6982 17 0 0 25 0 1 0 898339452 42242048 7418 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10313 7418 1111 63 0 10250 0
vsize: 41252
[startup+80.0052 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 8452 0 0 0 7981 19 0 0 25 0 1 0 898339452 46125056 8372 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8372 1111 63 0 11198 0
vsize: 45044
[startup+90.0058 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 9412 0 0 0 8979 21 0 0 25 0 1 0 898339452 50008064 9332 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12209 9332 1111 63 0 12146 0
vsize: 48836
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 10372 0 0 0 9978 22 0 0 25 0 1 0 898339452 54038528 10292 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13193 10292 1111 63 0 13130 0
vsize: 52772
[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 11338 0 0 0 10977 24 0 0 25 0 1 0 898339452 57921536 11258 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14141 11258 1111 63 0 14078 0
vsize: 56564
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 12304 0 0 0 11975 26 0 0 25 0 1 0 898339452 61952000 12224 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15125 12224 1111 63 0 15062 0
vsize: 60500
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 13275 0 0 0 12972 29 0 0 25 0 1 0 898339452 65810432 13195 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16067 13195 1111 63 0 16004 0
vsize: 64268
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 14249 0 0 0 13971 31 0 0 25 0 1 0 898339452 69840896 14169 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17051 14169 1111 63 0 16988 0
vsize: 68204
[startup+150.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 15221 0 0 0 14970 32 0 0 25 0 1 0 898339452 73875456 15141 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18036 15141 1111 63 0 17973 0
vsize: 72144
[startup+160.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 16197 0 0 0 15968 34 0 0 25 0 1 0 898339452 77897728 16117 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19018 16117 1111 63 0 18955 0
vsize: 76072
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 17176 0 0 0 16967 35 0 0 25 0 1 0 898339452 81780736 17096 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19966 17096 1111 63 0 19903 0
vsize: 79864
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 18154 0 0 0 17965 37 0 0 25 0 1 0 898339452 85811200 18074 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20950 18074 1111 63 0 20887 0
vsize: 83800
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 19138 0 0 0 18964 39 0 0 25 0 1 0 898339452 89845760 19058 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21935 19058 1111 63 0 21872 0
vsize: 87740
[startup+200.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 20122 0 0 0 19962 41 0 0 25 0 1 0 898339452 93876224 20042 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22919 20042 1111 63 0 22856 0
vsize: 91676
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 21106 0 0 0 20960 44 0 0 25 0 1 0 898339452 97906688 21026 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23903 21026 1111 63 0 23840 0
vsize: 95612
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 22097 0 0 0 21958 46 0 0 25 0 1 0 898339452 101937152 22017 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24887 22017 1111 63 0 24824 0
vsize: 99548
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 23093 0 0 0 22956 48 0 0 25 0 1 0 898339452 106119168 23013 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25908 23013 1111 63 0 25845 0
vsize: 103632
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 24090 0 0 0 23955 49 0 0 25 0 1 0 898339452 110149632 24010 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26892 24010 1111 63 0 26829 0
vsize: 107568
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 25086 0 0 0 24954 50 0 0 25 0 1 0 898339452 114184192 25006 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27877 25006 1111 63 0 27814 0
vsize: 111508
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 26095 0 0 0 25953 53 0 0 25 0 1 0 898339452 118337536 26015 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28891 26015 1111 63 0 28828 0
vsize: 115564
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 27098 0 0 0 26951 54 0 0 25 0 1 0 898339452 122515456 27018 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29911 27018 1111 63 0 29848 0
vsize: 119644
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 28100 0 0 0 27949 56 0 0 25 0 1 0 898339452 126550016 28020 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30896 28020 1111 63 0 30833 0
vsize: 123584
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 29110 0 0 0 28948 58 0 0 25 0 1 0 898339452 130727936 29030 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31916 29030 1111 63 0 31853 0
vsize: 127664
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 30106 0 0 0 29947 59 0 0 25 0 1 0 898339452 134762496 30026 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32901 30026 1111 63 0 32838 0
vsize: 131604
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 31115 0 0 0 30945 61 0 0 25 0 1 0 898339452 138940416 31035 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33921 31035 1111 63 0 33858 0
vsize: 135684
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 32118 0 0 0 31944 63 0 0 25 0 1 0 898339452 143122432 32038 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34942 32038 1111 63 0 34879 0
vsize: 139768
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 33127 0 0 0 32942 65 0 0 25 0 1 0 898339452 147152896 33047 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35926 33047 1111 63 0 35863 0
vsize: 143704
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 34135 0 0 0 33942 66 0 0 25 0 1 0 898339452 151334912 34055 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36947 34055 1111 63 0 36884 0
vsize: 147788
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 35151 0 0 0 34941 67 0 0 25 0 1 0 898339452 155516928 35071 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37968 35071 1111 63 0 37905 0
vsize: 151872
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 36165 0 0 0 35939 70 0 0 25 0 1 0 898339452 159694848 36085 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38988 36085 1111 63 0 38925 0
vsize: 155952
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 37186 0 0 0 36937 72 0 0 25 0 1 0 898339452 163876864 37106 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40009 37106 1111 63 0 39946 0
vsize: 160036
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 38208 0 0 0 37936 73 0 0 25 0 1 0 898339452 168058880 38128 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41030 38128 1111 63 0 40967 0
vsize: 164120
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 39234 0 0 0 38934 75 0 0 25 0 1 0 898339452 172236800 39154 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42050 39154 1111 63 0 41987 0
vsize: 168200
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 40261 0 0 0 39933 77 0 0 25 0 1 0 898339452 176418816 40181 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43071 40181 1111 63 0 43008 0
vsize: 172284
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 41295 0 0 0 40931 79 0 0 25 0 1 0 898339452 180596736 41215 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44091 41215 1111 63 0 44028 0
vsize: 176364
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 42328 0 0 0 41930 81 0 0 25 0 1 0 898339452 184930304 42248 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45149 42248 1111 63 0 45086 0
vsize: 180596
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 43360 0 0 0 42928 83 0 0 25 0 1 0 898339452 189108224 43280 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46169 43280 1111 63 0 46106 0
vsize: 184676
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 44399 0 0 0 43927 85 0 0 25 0 1 0 898339452 193290240 44319 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47190 44319 1111 63 0 47127 0
vsize: 188760
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 45444 0 0 0 44925 86 0 0 25 0 1 0 898339452 197619712 45364 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48247 45364 1111 63 0 48184 0
vsize: 192988
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 46489 0 0 0 45924 88 0 0 25 0 1 0 898339452 201949184 46409 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49304 46409 1111 63 0 49241 0
vsize: 197216
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 47534 0 0 0 46923 90 0 0 25 0 1 0 898339452 206131200 47454 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50325 47454 1111 63 0 50262 0
vsize: 201300
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 48585 0 0 0 47921 92 0 0 25 0 1 0 898339452 210460672 48505 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51382 48505 1111 63 0 51319 0
vsize: 205528
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 49652 0 0 0 48920 93 0 0 25 0 1 0 898339452 214933504 49572 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52474 49572 1111 63 0 52411 0
vsize: 209896
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 50711 0 0 0 49919 94 0 0 25 0 1 0 898339452 219262976 50631 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53531 50631 1111 63 0 53468 0
vsize: 214124
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 51774 0 0 0 50918 96 0 0 25 0 1 0 898339452 223592448 51694 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54588 51694 1111 63 0 54525 0
vsize: 218352
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 52837 0 0 0 51916 98 0 0 25 0 1 0 898339452 227921920 52757 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55645 52757 1111 63 0 55582 0
vsize: 222580
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 53900 0 0 0 52915 100 0 0 25 0 1 0 898339452 232255488 53820 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56703 53820 1111 63 0 56640 0
vsize: 226812
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 54975 0 0 0 53914 101 0 0 25 0 1 0 898339452 236732416 54895 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57796 54895 1111 63 0 57733 0
vsize: 231184
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 56045 0 0 0 54912 103 0 0 25 0 1 0 898339452 241061888 55965 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58853 55965 1111 63 0 58790 0
vsize: 235412
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 57122 0 0 0 55911 105 0 0 25 0 1 0 898339452 245542912 57042 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59947 57042 1111 63 0 59884 0
vsize: 239788
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 58203 0 0 0 56909 107 0 0 25 0 1 0 898339452 249872384 58123 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61004 58123 1111 63 0 60941 0
vsize: 244016
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 59284 0 0 0 57908 108 0 0 25 0 1 0 898339452 254349312 59204 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62097 59204 1111 63 0 62034 0
vsize: 248388
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 60372 0 0 0 58907 110 0 0 25 0 1 0 898339452 258826240 60292 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63190 60292 1111 63 0 63127 0
vsize: 252760
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 61465 0 0 0 59906 111 0 0 25 0 1 0 898339452 263307264 61385 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64284 61385 1111 63 0 64221 0
vsize: 257136
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 62566 0 0 0 60904 113 0 0 25 0 1 0 898339452 267784192 62486 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65377 62486 1111 63 0 65314 0
vsize: 261508
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 63666 0 0 0 61903 115 0 0 25 0 1 0 898339452 272265216 63586 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66471 63586 1111 63 0 66408 0
vsize: 265884
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 64772 0 0 0 62902 117 0 0 25 0 1 0 898339452 276893696 64692 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67601 64692 1111 63 0 67538 0
vsize: 270404
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 65877 0 0 0 63900 119 0 0 25 0 1 0 898339452 281370624 65797 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68694 65797 1111 63 0 68631 0
vsize: 274776
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 66989 0 0 0 64898 121 0 0 25 0 1 0 898339452 285851648 66909 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69788 66909 1111 63 0 69725 0
vsize: 279152
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 68109 0 0 0 65897 123 0 0 25 0 1 0 898339452 290484224 68029 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70919 68029 1111 63 0 70856 0
vsize: 283676
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 69227 0 0 0 66896 124 0 0 25 0 1 0 898339452 295112704 69147 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72049 69147 1111 63 0 71986 0
vsize: 288196
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 70352 0 0 0 67894 126 0 0 25 0 1 0 898339452 299741184 70272 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73179 70272 1111 63 0 73116 0
vsize: 292716
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 71475 0 0 0 68894 127 0 0 25 0 1 0 898339452 304218112 71395 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74272 71395 1111 63 0 74209 0
vsize: 297088
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 72611 0 0 0 69893 128 0 0 25 0 1 0 898339452 308994048 72531 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75438 72531 1111 63 0 75375 0
vsize: 301752
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 73741 0 0 0 70891 130 0 0 25 0 1 0 898339452 313622528 73661 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76568 73661 1111 63 0 76505 0
vsize: 306272
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 74884 0 0 0 71889 132 0 0 25 0 1 0 898339452 318251008 74804 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77698 74804 1111 63 0 77635 0
vsize: 310792
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 76027 0 0 0 72888 134 0 0 25 0 1 0 898339452 322879488 75947 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78828 75947 1111 63 0 78765 0
vsize: 315312
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 77175 0 0 0 73886 136 0 0 25 0 1 0 898339452 327655424 77095 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79994 77095 1111 63 0 79931 0
vsize: 319976
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 78323 0 0 0 74885 138 0 0 25 0 1 0 898339452 332283904 78243 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81124 78243 1111 63 0 81061 0
vsize: 324496
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 79477 0 0 0 75884 139 0 0 25 0 1 0 898339452 337059840 79397 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82290 79397 1111 63 0 82227 0
vsize: 329160
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 80640 0 0 0 76882 141 0 0 25 0 1 0 898339452 341843968 80560 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83458 80560 1111 63 0 83395 0
vsize: 333832
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 81807 0 0 0 77881 143 0 0 25 0 1 0 898339452 346619904 81727 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84624 81727 1111 63 0 84561 0
vsize: 338496
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 82974 0 0 0 78879 145 0 0 25 0 1 0 898339452 351399936 82894 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85791 82894 1111 63 0 85728 0
vsize: 343164
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 84146 0 0 0 79877 147 0 0 25 0 1 0 898339452 356175872 84066 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86957 84066 1111 63 0 86894 0
vsize: 347828
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 85324 0 0 0 80876 149 0 0 25 0 1 0 898339452 360951808 85244 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88123 85244 1111 63 0 88060 0
vsize: 352492
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 86504 0 0 0 81874 152 0 0 25 0 1 0 898339452 365879296 86424 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89326 86424 1111 63 0 89263 0
vsize: 357304
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 87688 0 0 0 82872 154 0 0 25 0 1 0 898339452 370655232 87608 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90492 87608 1111 63 0 90429 0
vsize: 361968
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 88881 0 0 0 83871 155 0 0 25 0 1 0 898339452 375586816 88801 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 88801 1111 63 0 91633 0
vsize: 366784
[startup+850.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 90078 0 0 0 84868 158 0 0 25 0 1 0 898339452 380514304 89998 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92899 89998 1111 63 0 92836 0
vsize: 371596
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 91274 0 0 0 85867 160 0 0 25 0 1 0 898339452 385290240 91194 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94065 91194 1111 63 0 94002 0
vsize: 376260
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 92483 0 0 0 86865 162 0 0 25 0 1 0 898339452 390365184 92403 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95304 92403 1111 63 0 95241 0
vsize: 381216
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 93692 0 0 0 87863 164 0 0 25 0 1 0 898339452 395292672 93612 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96507 93612 1111 63 0 96444 0
vsize: 386028
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 94901 0 0 0 88862 166 0 0 25 0 1 0 898339452 400216064 94821 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97709 94821 1111 63 0 97646 0
vsize: 390836
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 96123 0 0 0 89859 169 0 0 25 0 1 0 898339452 405151744 96043 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98914 96043 1111 63 0 98851 0
vsize: 395656
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 97350 0 0 0 90858 171 0 0 25 0 1 0 898339452 410226688 97270 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100153 97270 1111 63 0 100090 0
vsize: 400612
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 98595 0 0 0 91856 173 0 0 25 0 1 0 898339452 415518720 98515 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101445 98515 1111 63 0 101382 0
vsize: 405780
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 99828 0 0 0 92854 175 0 0 25 0 1 0 898339452 420442112 99748 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102647 99748 1111 63 0 102584 0
vsize: 410588
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 101067 0 0 0 93852 178 0 0 25 0 1 0 898339452 425517056 100987 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103886 100987 1111 63 0 103823 0
vsize: 415544
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 102313 0 0 0 94849 181 0 0 25 0 1 0 898339452 430743552 102233 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105162 102233 1111 63 0 105099 0
vsize: 420648
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 103559 0 0 0 95848 183 0 0 25 0 1 0 898339452 435822592 103479 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106402 103479 1111 63 0 106339 0
vsize: 425608
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 104818 0 0 0 96847 184 0 0 25 0 1 0 898339452 440897536 104738 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107641 104738 1111 63 0 107578 0
vsize: 430564
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 106075 0 0 0 97845 187 0 0 25 0 1 0 898339452 446124032 105995 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 108917 105995 1111 63 0 108854 0
vsize: 435668
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 107344 0 0 0 98842 190 0 0 25 0 1 0 898339452 451346432 107264 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110192 107264 1111 63 0 110129 0
vsize: 440768
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 108616 0 0 0 99841 191 0 0 25 0 1 0 898339452 456429568 108536 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111433 108536 1111 63 0 111370 0
vsize: 445732
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 109892 0 0 0 100839 194 0 0 25 0 1 0 898339452 461651968 109812 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112708 109812 1111 63 0 112645 0
vsize: 450832
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 111180 0 0 0 101837 196 0 0 25 0 1 0 898339452 467025920 111100 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114020 111100 1111 63 0 113957 0
vsize: 456080
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 112462 0 0 0 102835 198 0 0 25 0 1 0 898339452 472248320 112382 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115295 112382 1111 63 0 115232 0
vsize: 461180
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 113757 0 0 0 103833 200 0 0 25 0 1 0 898339452 477474816 113677 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116571 113677 1111 63 0 116508 0
vsize: 466284
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 115064 0 0 0 104831 202 0 0 25 0 1 0 898339452 482852864 114984 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117884 114984 1111 63 0 117821 0
vsize: 471536
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 116369 0 0 0 105829 205 0 0 25 0 1 0 898339452 488226816 116289 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119196 116289 1111 63 0 119133 0
vsize: 476784
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 117682 0 0 0 106828 206 0 0 25 0 1 0 898339452 493600768 117602 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120508 117602 1111 63 0 120445 0
vsize: 482032
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 119002 0 0 0 107827 208 0 0 25 0 1 0 898339452 498978816 118922 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121821 118922 1111 63 0 121758 0
vsize: 487284
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 120326 0 0 0 108825 210 0 0 25 0 1 0 898339452 504504320 120246 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123170 120246 1111 63 0 123107 0
vsize: 492680
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 121663 0 0 0 109823 213 0 0 25 0 1 0 898339452 509874176 121583 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124481 121583 1111 63 0 124418 0
vsize: 497924
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 123006 0 0 0 110821 215 0 0 25 0 1 0 898339452 515399680 122926 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 125830 122926 1111 63 0 125767 0
vsize: 503320
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 124356 0 0 0 111818 218 0 0 25 0 1 0 898339452 520925184 124276 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127179 124276 1111 63 0 127116 0
vsize: 508716
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 125704 0 0 0 112816 221 0 0 25 0 1 0 898339452 526450688 125624 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128528 125624 1111 63 0 128465 0
vsize: 514112
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 127065 0 0 0 113813 224 0 0 25 0 1 0 898339452 531972096 126985 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129876 126985 1111 63 0 129813 0
vsize: 519504
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 128433 0 0 0 114811 226 0 0 25 0 1 0 898339452 537649152 128353 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131262 128353 1111 63 0 131199 0
vsize: 525048
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 129807 0 0 0 115809 229 0 0 25 0 1 0 898339452 543322112 129727 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132647 129727 1111 63 0 132584 0
vsize: 530588
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 131185 0 0 0 116807 231 0 0 25 0 1 0 898339452 548843520 131105 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133995 131105 1111 63 0 133932 0
vsize: 535980
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 132577 0 0 0 117806 233 0 0 25 0 1 0 898339452 554668032 132497 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135417 132497 1111 63 0 135354 0
vsize: 541668
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 133969 0 0 0 118803 236 0 0 25 0 1 0 898339452 560340992 133889 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136802 133889 1111 63 0 136739 0
vsize: 547208
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) R 24059 25568 25567 0 -1 0 135373 0 0 0 119801 239 0 0 25 0 1 0 898339452 566013952 135293 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138187 135293 1111 63 0 138124 0
vsize: 552748
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.3 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24060
Raw data (stat): 24060 (bsolo_lpr-v2) Z 24059 25568 25567 0 -1 1036 135373 0 0 0 119801 264 0 0 25 0 1 0 898339452 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.3
CPU time (s): 1200.66
CPU user time (s): 1198.01
CPU system time (s): 2.6436
CPU usage (%): 100.03
Max. virtual memory (Kb): 552748
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####