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-dc1c.opb
MD5SUM	bd6d0785955b31f4cbdede5ce3d2b1e9
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	58150
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807821537690881359872
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6808845537690881359872
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1305.36
Number of variables	58150
Total number of constraints	10029
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	8381
Number of constraints which are nor clauses,nor cardinality constraints	1648
Minimum length of a constraint	1
Maximum length of a constraint	58150
Trace number 40144

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 03:12:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28204 boxname=wulflinc5 idbench=1160 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bd6d0785955b31f4cbdede5ce3d2b1e9  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-dc1c.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-dc1c.opb
IDLAUNCH: 28204
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        770504 kB
Buffers:         16328 kB
Cached:         224972 kB
SwapCached:        712 kB
Active:          27920 kB
Inactive:       215548 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        770252 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5152 kB
Slab:            15060 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:32:33 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 28204 7 1200.37 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.90 0.94 0.90 2/54 12852
Raw data (stat): 12852 (runsolver) R 12851 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898299409 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.92 0.94 0.90 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 1895 0 0 0 992 5 0 0 25 0 1 0 898299409 19415040 1815 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 1815 1111 63 0 4677 0
vsize: 18960
[startup+20.0012 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 2971 0 0 0 1991 7 0 0 25 0 1 0 898299409 23891968 2891 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5833 2891 1111 63 0 5770 0
vsize: 23332
[startup+30.0019 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 4046 0 0 0 2989 9 0 0 25 0 1 0 898299409 28221440 3966 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6890 3966 1111 63 0 6827 0
vsize: 27560
[startup+40.0023 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 5206 0 0 0 3987 11 0 0 25 0 1 0 898299409 33001472 5126 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8057 5126 1111 63 0 7994 0
vsize: 32228
[startup+50.0035 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 6548 0 0 0 4986 12 0 0 25 0 1 0 898299409 38522880 6468 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9405 6468 1111 63 0 9342 0
vsize: 37620
[startup+60.0038 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 7669 0 0 0 5984 14 0 0 25 0 1 0 898299409 43139072 7589 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7589 1111 63 0 10469 0
vsize: 42128
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 8897 0 0 0 6982 16 0 0 25 0 1 0 898299409 48214016 8817 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11771 8817 1111 63 0 11708 0
vsize: 47084
[startup+80.0043 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 10064 0 0 0 7981 18 0 0 25 0 1 0 898299409 52998144 9984 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12939 9984 1111 63 0 12876 0
vsize: 51756
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.95 0.91 3/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 11375 0 0 0 8978 21 0 0 25 0 1 0 898299409 58368000 11295 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14250 11295 1111 63 0 14187 0
vsize: 57000
[startup+100.005 s]
Raw data (loadavg): 0.98 0.95 0.91 3/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 12796 0 0 0 9976 23 0 0 25 0 1 0 898299409 64188416 12716 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15671 12716 1111 63 0 15608 0
vsize: 62684
[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 13999 0 0 0 10974 25 0 0 25 0 1 0 898299409 69091328 13919 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16868 13919 1111 63 0 16805 0
vsize: 67472
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 15221 0 0 0 11973 26 0 0 25 0 1 0 898299409 74022912 15141 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 15141 1111 63 0 18009 0
vsize: 72288
[startup+130.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 16600 0 0 0 12971 28 0 0 25 0 1 0 898299409 79695872 16520 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19457 16520 1111 63 0 19394 0
vsize: 77828
[startup+140.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 17754 0 0 0 13970 30 0 0 25 0 1 0 898299409 84471808 17674 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20623 17674 1111 63 0 20560 0
vsize: 82492
[startup+150.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 18908 0 0 0 14968 33 0 0 25 0 1 0 898299409 89100288 18828 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21753 18828 1111 63 0 21690 0
vsize: 87012
[startup+160.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 20032 0 0 0 15967 34 0 0 25 0 1 0 898299409 93728768 19952 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22883 19952 1111 63 0 22820 0
vsize: 91532
[startup+170.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 21394 0 0 0 16965 36 0 0 25 0 1 0 898299409 99405824 21314 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24269 21314 1111 63 0 24206 0
vsize: 97076
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 22681 0 0 0 17962 39 0 0 25 0 1 0 898299409 104628224 22601 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25544 22601 1111 63 0 25481 0
vsize: 102176
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 23896 0 0 0 18959 42 0 0 25 0 1 0 898299409 109555712 23816 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26747 23816 1111 63 0 26684 0
vsize: 106988
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 25163 0 0 0 19957 44 0 0 25 0 1 0 898299409 114769920 25083 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28020 25083 1111 63 0 27957 0
vsize: 112080
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 26514 0 0 0 20955 46 0 0 25 0 1 0 898299409 120274944 26434 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29364 26434 1111 63 0 29301 0
vsize: 117456
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 27846 0 0 0 21954 48 0 0 25 0 1 0 898299409 125804544 27766 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30714 27766 1111 63 0 30651 0
vsize: 122856
[startup+230.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 29128 0 0 0 22951 51 0 0 25 0 1 0 898299409 131026944 29048 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31989 29048 1111 63 0 31926 0
vsize: 127956
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 30386 0 0 0 23950 53 0 0 25 0 1 0 898299409 136253440 30306 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33265 30306 1111 63 0 33202 0
vsize: 133060
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 31662 0 0 0 24948 55 0 0 25 0 1 0 898299409 141475840 31582 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34540 31582 1111 63 0 34477 0
vsize: 138160
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 32903 0 0 0 25946 57 0 0 25 0 1 0 898299409 146558976 32823 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35781 32823 1111 63 0 35718 0
vsize: 143124
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 34257 0 0 0 26943 60 0 0 25 0 1 0 898299409 152080384 34177 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37129 34177 1111 63 0 37066 0
vsize: 148516
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 35764 0 0 0 27940 63 0 0 25 0 1 0 898299409 158199808 35684 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38623 35684 1111 63 0 38560 0
vsize: 154492
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 36952 0 0 0 28938 65 0 0 25 0 1 0 898299409 163131392 36872 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39827 36876 1111 63 0 39764 0
vsize: 159308
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 38147 0 0 0 29937 67 0 0 25 0 1 0 898299409 167907328 38067 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40993 38067 1111 63 0 40930 0
vsize: 163972
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 39344 0 0 0 30935 69 0 0 25 0 1 0 898299409 172834816 39264 4294967295 134512640 134716908 3221224576 3221222804 1077414397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42196 39264 1111 63 0 42133 0
vsize: 168784
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 40577 0 0 0 31933 71 0 0 25 0 1 0 898299409 177909760 40497 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43435 40497 1111 63 0 43372 0
vsize: 173740
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 41847 0 0 0 32932 72 0 0 25 0 1 0 898299409 183132160 41767 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44710 41767 1111 63 0 44647 0
vsize: 178840
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 43123 0 0 0 33930 75 0 0 25 0 1 0 898299409 188358656 43043 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45986 43043 1111 63 0 45923 0
vsize: 183944
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 44369 0 0 0 34927 78 0 0 25 0 1 0 898299409 193437696 44289 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47226 44289 1111 63 0 47163 0
vsize: 188904
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 45621 0 0 0 35925 79 0 0 25 0 1 0 898299409 198512640 45541 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48465 45541 1111 63 0 48402 0
vsize: 193860
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 46945 0 0 0 36923 81 0 0 25 0 1 0 898299409 204038144 46865 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49814 46865 1111 63 0 49751 0
vsize: 199256
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 48464 0 0 0 37920 85 0 0 25 0 1 0 898299409 210161664 48384 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51309 48384 1111 63 0 51246 0
vsize: 205236
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 49714 0 0 0 38917 88 0 0 25 0 1 0 898299409 215384064 49634 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52584 49634 1111 63 0 52521 0
vsize: 210336
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 50960 0 0 0 39914 91 0 0 25 0 1 0 898299409 220459008 50880 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53823 50880 1111 63 0 53760 0
vsize: 215292
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 51812 0 0 0 40912 93 0 0 25 0 1 0 898299409 224038912 51732 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54697 51732 1111 63 0 54634 0
vsize: 218788
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 51929 0 0 0 41912 94 0 0 25 0 1 0 898299409 224489472 51849 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54807 51849 1111 63 0 54744 0
vsize: 219228
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 52046 0 0 0 42912 94 0 0 25 0 1 0 898299409 224940032 51966 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54917 51966 1111 63 0 54854 0
vsize: 219668
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 52165 0 0 0 43912 94 0 0 25 0 1 0 898299409 225386496 52085 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55026 52085 1111 63 0 54963 0
vsize: 220104
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 52282 0 0 0 44912 94 0 0 25 0 1 0 898299409 225837056 52202 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55136 52202 1111 63 0 55073 0
vsize: 220544
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 52400 0 0 0 45912 95 0 0 25 0 1 0 898299409 226439168 52320 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55283 52320 1111 63 0 55220 0
vsize: 221132
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 52522 0 0 0 46912 95 0 0 25 0 1 0 898299409 226889728 52442 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55393 52442 1111 63 0 55330 0
vsize: 221572
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 52641 0 0 0 47912 95 0 0 25 0 1 0 898299409 227340288 52561 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55503 52561 1111 63 0 55440 0
vsize: 222012
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 52765 0 0 0 48912 95 0 0 25 0 1 0 898299409 227934208 52685 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55648 52685 1111 63 0 55585 0
vsize: 222592
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 52884 0 0 0 49912 96 0 0 25 0 1 0 898299409 228388864 52804 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55759 52804 1111 63 0 55696 0
vsize: 223036
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 53001 0 0 0 50912 96 0 0 25 0 1 0 898299409 228835328 52921 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55868 52921 1111 63 0 55805 0
vsize: 223472
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 53133 0 0 0 51912 96 0 0 25 0 1 0 898299409 229437440 53053 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56015 53053 1111 63 0 55952 0
vsize: 224060
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 53253 0 0 0 52912 96 0 0 25 0 1 0 898299409 229883904 53173 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56124 53173 1111 63 0 56061 0
vsize: 224496
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 53376 0 0 0 53912 96 0 0 25 0 1 0 898299409 230334464 53296 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56234 53296 1111 63 0 56171 0
vsize: 224936
[startup+550.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 53500 0 0 0 54913 97 0 0 25 0 1 0 898299409 230936576 53420 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56381 53420 1111 63 0 56318 0
vsize: 225524
[startup+560.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 53618 0 0 0 55913 97 0 0 25 0 1 0 898299409 231387136 53538 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56491 53538 1111 63 0 56428 0
vsize: 225964
[startup+570.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 53738 0 0 0 56913 97 0 0 25 0 1 0 898299409 231837696 53658 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56601 53658 1111 63 0 56538 0
vsize: 226404
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 53868 0 0 0 57913 98 0 0 25 0 1 0 898299409 232431616 53788 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56746 53788 1111 63 0 56683 0
vsize: 226984
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 53993 0 0 0 58913 98 0 0 25 0 1 0 898299409 232886272 53913 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56857 53913 1111 63 0 56794 0
vsize: 227428
[startup+600.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 54118 0 0 0 59913 98 0 0 25 0 1 0 898299409 233332736 54038 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56966 54038 1111 63 0 56903 0
vsize: 227864
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 54251 0 0 0 60913 98 0 0 25 0 1 0 898299409 233934848 54171 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57113 54171 1111 63 0 57050 0
vsize: 228452
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 54383 0 0 0 61913 98 0 0 25 0 1 0 898299409 234532864 54303 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57259 54303 1111 63 0 57196 0
vsize: 229036
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 54500 0 0 0 62913 99 0 0 25 0 1 0 898299409 234983424 54420 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57369 54420 1111 63 0 57306 0
vsize: 229476
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 54633 0 0 0 63912 99 0 0 25 0 1 0 898299409 235433984 54553 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57479 54553 1111 63 0 57416 0
vsize: 229916
[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 54765 0 0 0 64912 99 0 0 25 0 1 0 898299409 236027904 54685 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57624 54685 1111 63 0 57561 0
vsize: 230496
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 54897 0 0 0 65912 100 0 0 25 0 1 0 898299409 236630016 54817 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57771 54817 1111 63 0 57708 0
vsize: 231084
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 55029 0 0 0 66912 100 0 0 25 0 1 0 898299409 237080576 54949 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57881 54949 1111 63 0 57818 0
vsize: 231524
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 55160 0 0 0 67912 100 0 0 25 0 1 0 898299409 237682688 55080 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58028 55080 1111 63 0 57965 0
vsize: 232112
[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 55293 0 0 0 68912 101 0 0 25 0 1 0 898299409 238133248 55213 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58138 55213 1111 63 0 58075 0
vsize: 232552
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 55424 0 0 0 69912 101 0 0 25 0 1 0 898299409 238727168 55344 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58283 55344 1111 63 0 58220 0
vsize: 233132
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 55575 0 0 0 70912 101 0 0 25 0 1 0 898299409 239521792 55495 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58477 55495 1111 63 0 58414 0
vsize: 233908
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 55707 0 0 0 71912 102 0 0 25 0 1 0 898299409 239968256 55627 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58586 55627 1111 63 0 58523 0
vsize: 234344
[startup+730.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 55839 0 0 0 72912 102 0 0 25 0 1 0 898299409 240570368 55759 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58733 55759 1111 63 0 58670 0
vsize: 234932
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 55985 0 0 0 73912 102 0 0 25 0 1 0 898299409 241172480 55905 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58880 55905 1111 63 0 58817 0
vsize: 235520
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 56131 0 0 0 74912 102 0 0 25 0 1 0 898299409 241770496 56051 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59026 56051 1111 63 0 58963 0
vsize: 236104
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 56272 0 0 0 75912 102 0 0 25 0 1 0 898299409 242372608 56192 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59173 56192 1111 63 0 59110 0
vsize: 236692
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 56425 0 0 0 76912 102 0 0 25 0 1 0 898299409 242970624 56345 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59319 56345 1111 63 0 59256 0
vsize: 237276
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 56573 0 0 0 77912 103 0 0 25 0 1 0 898299409 243568640 56493 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59465 56493 1111 63 0 59402 0
vsize: 237860
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 56728 0 0 0 78912 103 0 0 25 0 1 0 898299409 244170752 56648 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59612 56648 1111 63 0 59549 0
vsize: 238448
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 56882 0 0 0 79911 103 0 0 25 0 1 0 898299409 244772864 56802 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59759 56802 1111 63 0 59696 0
vsize: 239036
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 57045 0 0 0 80911 104 0 0 25 0 1 0 898299409 245518336 56965 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59941 56965 1111 63 0 59878 0
vsize: 239764
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 57212 0 0 0 81911 104 0 0 25 0 1 0 898299409 246116352 57132 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60087 57132 1111 63 0 60024 0
vsize: 240348
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 57380 0 0 0 82911 104 0 0 25 0 1 0 898299409 246865920 57300 4294967295 134512640 134716908 3221224576 3221222928 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60270 57300 1111 63 0 60207 0
vsize: 241080
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 57543 0 0 0 83911 105 0 0 25 0 1 0 898299409 247468032 57463 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60417 57463 1111 63 0 60354 0
vsize: 241668
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 57707 0 0 0 84911 105 0 0 25 0 1 0 898299409 248217600 57627 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60600 57627 1111 63 0 60537 0
vsize: 242400
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 57874 0 0 0 85911 105 0 0 25 0 1 0 898299409 248815616 57794 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60746 57794 1111 63 0 60683 0
vsize: 242984
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 58043 0 0 0 86911 105 0 0 25 0 1 0 898299409 249565184 57963 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60929 57963 1111 63 0 60866 0
vsize: 243716
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 58213 0 0 0 87911 105 0 0 25 0 1 0 898299409 250167296 58133 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61076 58133 1111 63 0 61013 0
vsize: 244304
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 58382 0 0 0 88911 106 0 0 25 0 1 0 898299409 250916864 58302 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61259 58302 1111 63 0 61196 0
vsize: 245036
[startup+900.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 58557 0 0 0 89911 106 0 0 25 0 1 0 898299409 251662336 58477 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61441 58477 1111 63 0 61378 0
vsize: 245764
[startup+910.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 58720 0 0 0 90911 106 0 0 25 0 1 0 898299409 252264448 58640 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61588 58640 1111 63 0 61525 0
vsize: 246352
[startup+920.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 58895 0 0 0 91911 106 0 0 25 0 1 0 898299409 253014016 58815 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61771 58815 1111 63 0 61708 0
vsize: 247084
[startup+930.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 59065 0 0 0 92911 107 0 0 25 0 1 0 898299409 253763584 58985 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61954 58985 1111 63 0 61891 0
vsize: 247816
[startup+940.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 59242 0 0 0 93911 107 0 0 25 0 1 0 898299409 254361600 59162 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62100 59162 1111 63 0 62037 0
vsize: 248400
[startup+950.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 59417 0 0 0 94910 108 0 0 25 0 1 0 898299409 255111168 59337 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62283 59337 1111 63 0 62220 0
vsize: 249132
[startup+960.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 59601 0 0 0 95910 108 0 0 25 0 1 0 898299409 255860736 59521 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62466 59521 1111 63 0 62403 0
vsize: 249864
[startup+970.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 59785 0 0 0 96910 108 0 0 25 0 1 0 898299409 256610304 59705 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62649 59705 1111 63 0 62586 0
vsize: 250596
[startup+980.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 59969 0 0 0 97910 109 0 0 25 0 1 0 898299409 257363968 59889 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62833 59889 1111 63 0 62770 0
vsize: 251332
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 60160 0 0 0 98910 109 0 0 25 0 1 0 898299409 258113536 60080 4294967295 134512640 134716908 3221224576 3221222804 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63016 60080 1111 63 0 62953 0
vsize: 252064
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 60351 0 0 0 99909 110 0 0 25 0 1 0 898299409 259006464 60271 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63234 60271 1111 63 0 63171 0
vsize: 252936
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 60541 0 0 0 100909 110 0 0 25 0 1 0 898299409 259756032 60461 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63417 60461 1111 63 0 63354 0
vsize: 253668
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 60733 0 0 0 101909 111 0 0 25 0 1 0 898299409 260476928 60653 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63593 60653 1111 63 0 63530 0
vsize: 254372
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 60925 0 0 0 102908 112 0 0 25 0 1 0 898299409 261226496 60845 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63776 60845 1111 63 0 63713 0
vsize: 255104
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 61122 0 0 0 103908 112 0 0 25 0 1 0 898299409 262127616 61042 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63996 61042 1111 63 0 63933 0
vsize: 255984
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 61321 0 0 0 104908 112 0 0 25 0 1 0 898299409 262877184 61241 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64179 61241 1111 63 0 64116 0
vsize: 256716
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 61520 0 0 0 105908 113 0 0 25 0 1 0 898299409 263778304 61440 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64399 61440 1111 63 0 64336 0
vsize: 257596
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 61719 0 0 0 106908 113 0 0 25 0 1 0 898299409 264527872 61639 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64582 61639 1111 63 0 64519 0
vsize: 258328
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 61925 0 0 0 107908 113 0 0 25 0 1 0 898299409 265424896 61845 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64801 61845 1111 63 0 64738 0
vsize: 259204
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 62137 0 0 0 108907 114 0 0 25 0 1 0 898299409 266174464 62057 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64984 62057 1111 63 0 64921 0
vsize: 259936
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 62350 0 0 0 109907 114 0 0 25 0 1 0 898299409 267071488 62270 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65203 62270 1111 63 0 65140 0
vsize: 260812
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 62555 0 0 0 110907 115 0 0 25 0 1 0 898299409 267972608 62475 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65423 62475 1111 63 0 65360 0
vsize: 261692
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 62775 0 0 0 111907 115 0 0 25 0 1 0 898299409 268869632 62695 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65642 62695 1111 63 0 65579 0
vsize: 262568
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 62988 0 0 0 112907 115 0 0 25 0 1 0 898299409 269770752 62908 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65862 62908 1111 63 0 65799 0
vsize: 263448
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 63207 0 0 0 113907 116 0 0 25 0 1 0 898299409 270671872 63127 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66082 63127 1111 63 0 66019 0
vsize: 264328
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 63467 0 0 0 114907 116 0 0 25 0 1 0 898299409 271925248 63387 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66388 63387 1111 63 0 66325 0
vsize: 265552
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 63687 0 0 0 115906 116 0 0 25 0 1 0 898299409 272797696 63607 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66601 63607 1111 63 0 66538 0
vsize: 266404
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 63916 0 0 0 116906 116 0 0 25 0 1 0 898299409 273698816 63836 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66821 63836 1111 63 0 66758 0
vsize: 267284
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 64145 0 0 0 117906 117 0 0 25 0 1 0 898299409 274743296 64065 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67076 64065 1111 63 0 67013 0
vsize: 268304
[startup+1190.06 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 64381 0 0 0 118906 117 0 0 25 0 1 0 898299409 275644416 64301 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67296 64301 1111 63 0 67233 0
vsize: 269184
[startup+1200.06 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) R 12851 7266 7265 0 -1 0 64615 0 0 0 119906 118 0 0 25 0 1 0 898299409 276541440 64535 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67515 64535 1111 63 0 67452 0
vsize: 270060
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 1.06 0.99 0.91 1/54 12852
Raw data (stat): 12852 (bsolo_lpr-v2) Z 12851 7266 7265 0 -1 1036 64615 0 0 0 119906 130 0 0 25 0 1 0 898299409 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.18
CPU time (s): 1200.37
CPU user time (s): 1199.06
CPU system time (s): 1.3028
CPU usage (%): 100.016
Max. virtual memory (Kb): 270060
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####