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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-2.opb
MD5SUM	270e069f649d19b0da4e4d23c0e1ebfc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-30
Optimality of the best value was proved	NO
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.06
Number of variables	760
Total number of constraints	41263
Number of constraints which are clauses	41263
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 39701

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 16:52:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27767 boxname=wulflinc5 idbench=325 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  270e069f649d19b0da4e4d23c0e1ebfc  /oldhome/oroussel/tmp/wulflinc5/normalized-frb40-19-2.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb40-19-2.opb
IDLAUNCH: 27767
/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:        899624 kB
Buffers:         33672 kB
Cached:          76904 kB
SwapCached:        604 kB
Active:          22864 kB
Inactive:        89760 kB
HighTotal:      131008 kB
HighFree:       108696 kB
LowTotal:       903652 kB
LowFree:        790928 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16604 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 17:12:35 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 27767 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41263 constraints.
c After prepocess the problem consists of 760 variables and 29287 constraints.
c preprocess terminated 259.597 s
#### 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.92 0.97 0.94 2/54 6655
Raw data (stat): 6655 (runsolver) R 6654 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 894579080 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.0005 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15610 0 0 0 956 41 0 0 25 0 1 0 894579080 67014656 15527 4294967295 134512640 134716908 3221224576 3221223212 134554926 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16361 15527 1111 63 0 16298 0
vsize: 65444
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 1956 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223080 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 2956 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221222792 1077377227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 3956 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+50.0013 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 4957 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223104 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 5957 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221222968 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+70.0012 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 6956 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221222996 1077378623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+80.0006 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 7956 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223080 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+90.0003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 8957 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 9957 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221222992 134543742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 10957 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223080 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 11957 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221222960 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 12957 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223132 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 13958 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 14958 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 15958 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 16958 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223056 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 17958 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223152 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 18959 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 19959 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223224 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 20959 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 21959 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223232 134627282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 22959 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+240.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15725 0 0 0 23959 41 0 0 25 0 1 0 894579080 67555328 15642 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16493 15642 1111 63 0 16430 0
vsize: 65972
[startup+250.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15810 0 0 0 24959 42 0 0 25 0 1 0 894579080 67899392 15727 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16577 15727 1111 63 0 16514 0
vsize: 66308
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15833 0 0 0 25959 42 0 0 25 0 1 0 894579080 68243456 15750 4294967295 134512640 134716908 3221224576 3221222832 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16661 15750 1111 63 0 16598 0
vsize: 66644
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 15938 0 0 0 26956 44 0 0 25 0 1 0 894579080 68640768 15855 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16758 15855 1111 63 0 16695 0
vsize: 67032
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16025 0 0 0 27955 46 0 0 25 0 1 0 894579080 68988928 15942 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16843 15942 1111 63 0 16780 0
vsize: 67372
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16054 0 0 0 28954 47 0 0 25 0 1 0 894579080 69099520 15971 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 15971 1111 63 0 16807 0
vsize: 67480
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16077 0 0 0 29953 49 0 0 25 0 1 0 894579080 69189632 15994 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16892 15994 1111 63 0 16829 0
vsize: 67568
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16100 0 0 0 30952 49 0 0 25 0 1 0 894579080 69275648 16017 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16913 16017 1111 63 0 16850 0
vsize: 67652
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16121 0 0 0 31952 50 0 0 25 0 1 0 894579080 69357568 16038 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16933 16038 1111 63 0 16870 0
vsize: 67732
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16141 0 0 0 32951 51 0 0 25 0 1 0 894579080 69435392 16058 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16952 16058 1111 63 0 16889 0
vsize: 67808
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16159 0 0 0 33951 51 0 0 25 0 1 0 894579080 69505024 16076 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16969 16076 1111 63 0 16906 0
vsize: 67876
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16176 0 0 0 34950 52 0 0 25 0 1 0 894579080 69570560 16093 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16985 16093 1111 63 0 16922 0
vsize: 67940
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16195 0 0 0 35950 53 0 0 25 0 1 0 894579080 69644288 16112 4294967295 134512640 134716908 3221224576 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17003 16112 1111 63 0 16940 0
vsize: 68012
[startup+370.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16211 0 0 0 36949 54 0 0 25 0 1 0 894579080 69705728 16128 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17018 16128 1111 63 0 16955 0
vsize: 68072
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16227 0 0 0 37949 54 0 0 25 0 1 0 894579080 69767168 16144 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17033 16144 1111 63 0 16970 0
vsize: 68132
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16410 0 0 0 38948 55 0 0 25 0 1 0 894579080 70516736 16327 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16327 1111 63 0 17153 0
vsize: 68864
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16426 0 0 0 39947 56 0 0 25 0 1 0 894579080 70578176 16343 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17231 16343 1111 63 0 17168 0
vsize: 68924
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16441 0 0 0 40946 57 0 0 25 0 1 0 894579080 70635520 16358 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17245 16358 1111 63 0 17182 0
vsize: 68980
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16457 0 0 0 41946 57 0 0 25 0 1 0 894579080 70696960 16374 4294967295 134512640 134716908 3221224576 3221222816 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17260 16374 1111 63 0 17197 0
vsize: 69040
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16472 0 0 0 42946 58 0 0 25 0 1 0 894579080 70758400 16389 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17275 16389 1111 63 0 17212 0
vsize: 69100
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16488 0 0 0 43946 58 0 0 25 0 1 0 894579080 70819840 16405 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17290 16405 1111 63 0 17227 0
vsize: 69160
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 6655
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16671 0 0 0 44945 59 0 0 25 0 1 0 894579080 71565312 16588 4294967295 134512640 134716908 3221224576 3221222816 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17472 16588 1111 63 0 17409 0
vsize: 69888
[startup+460.005 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 6708
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16686 0 0 0 45942 62 0 0 25 0 1 0 894579080 71626752 16603 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17487 16603 1111 63 0 17424 0
vsize: 69948
[startup+470.006 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 6708
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 16702 0 0 0 46940 64 0 0 25 0 1 0 894579080 71688192 16619 4294967295 134512640 134716908 3221224576 3221222736 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17502 16619 1111 63 0 17439 0
vsize: 70008
[startup+480.006 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 6708
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 21875 0 0 0 47930 75 0 0 25 0 1 0 894579080 92880896 19892 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22676 19892 1111 63 0 22613 0
vsize: 90704
[startup+490.006 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 6708
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 22652 0 0 0 48928 77 0 0 25 0 1 0 894579080 92880896 20669 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22676 20669 1111 63 0 22613 0
vsize: 90704
[startup+500.006 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 6708
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 22981 0 0 0 49926 78 0 0 25 0 1 0 894579080 91152384 20209 4294967295 134512640 134716908 3221224576 3221220640 1075090188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22254 20209 1111 63 0 22191 0
vsize: 89016
[startup+510.006 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 6708
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23000 0 0 0 50926 79 0 0 25 0 1 0 894579080 91152384 20228 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22254 20228 1111 63 0 22191 0
vsize: 89016
[startup+520.005 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 6708
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23025 0 0 0 51926 79 0 0 25 0 1 0 894579080 91152384 20253 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22254 20253 1111 63 0 22191 0
vsize: 89016
[startup+530.005 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23034 0 0 0 52926 79 0 0 25 0 1 0 894579080 91152384 20262 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22254 20262 1111 63 0 22191 0
vsize: 89016
[startup+540.006 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23052 0 0 0 53926 80 0 0 25 0 1 0 894579080 91152384 20280 4294967295 134512640 134716908 3221224576 3221220688 1074815284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22254 20280 1111 63 0 22191 0
vsize: 89016
[startup+550.006 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23094 0 0 0 54925 80 0 0 25 0 1 0 894579080 91611136 20322 4294967295 134512640 134716908 3221224576 3221221508 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20322 1111 63 0 22303 0
vsize: 89464
[startup+560.007 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23148 0 0 0 55925 81 0 0 25 0 1 0 894579080 91611136 20376 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20376 1111 63 0 22303 0
vsize: 89464
[startup+570.007 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23164 0 0 0 56925 81 0 0 25 0 1 0 894579080 91611136 20392 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20392 1111 63 0 22303 0
vsize: 89464
[startup+580.007 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23178 0 0 0 57925 82 0 0 25 0 1 0 894579080 91611136 20406 4294967295 134512640 134716908 3221224576 3221220624 1074969471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20406 1111 63 0 22303 0
vsize: 89464
[startup+590.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23185 0 0 0 58924 82 0 0 25 0 1 0 894579080 91611136 20413 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20413 1111 63 0 22303 0
vsize: 89464
[startup+600.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23213 0 0 0 59924 82 0 0 25 0 1 0 894579080 91611136 20441 4294967295 134512640 134716908 3221224576 3221221600 1074834317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20441 1111 63 0 22303 0
vsize: 89464
[startup+610.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23218 0 0 0 60924 82 0 0 25 0 1 0 894579080 91611136 20446 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20446 1111 63 0 22303 0
vsize: 89464
[startup+620.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23224 0 0 0 61924 82 0 0 25 0 1 0 894579080 91611136 20452 4294967295 134512640 134716908 3221224576 3221220752 1074961293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20452 1111 63 0 22303 0
vsize: 89464
[startup+630.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23232 0 0 0 62925 82 0 0 25 0 1 0 894579080 91611136 20460 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20460 1111 63 0 22303 0
vsize: 89464
[startup+640.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23243 0 0 0 63924 83 0 0 25 0 1 0 894579080 91611136 20471 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20471 1111 63 0 22303 0
vsize: 89464
[startup+650.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23252 0 0 0 64924 83 0 0 25 0 1 0 894579080 91611136 20480 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20480 1111 63 0 22303 0
vsize: 89464
[startup+660.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23253 0 0 0 65924 83 0 0 25 0 1 0 894579080 91611136 20481 4294967295 134512640 134716908 3221224576 3221220624 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20481 1111 63 0 22303 0
vsize: 89464
[startup+670.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23263 0 0 0 66924 84 0 0 25 0 1 0 894579080 91611136 20491 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22366 20491 1111 63 0 22303 0
vsize: 89464
[startup+680.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23319 0 0 0 67924 84 0 0 25 0 1 0 894579080 92086272 20547 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20547 1111 63 0 22419 0
vsize: 89928
[startup+690.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23339 0 0 0 68924 84 0 0 25 0 1 0 894579080 92086272 20567 4294967295 134512640 134716908 3221224576 3221220624 1074969486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20567 1111 63 0 22419 0
vsize: 89928
[startup+700.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23373 0 0 0 69923 85 0 0 25 0 1 0 894579080 92086272 20601 4294967295 134512640 134716908 3221224576 3221220624 1074969469 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20601 1111 63 0 22419 0
vsize: 89928
[startup+710.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23387 0 0 0 70923 85 0 0 25 0 1 0 894579080 92086272 20615 4294967295 134512640 134716908 3221224576 3221220608 1075112097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20615 1111 63 0 22419 0
vsize: 89928
[startup+720.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23393 0 0 0 71923 86 0 0 25 0 1 0 894579080 92086272 20621 4294967295 134512640 134716908 3221224576 3221220624 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20621 1111 63 0 22419 0
vsize: 89928
[startup+730.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23393 0 0 0 72923 86 0 0 25 0 1 0 894579080 92086272 20621 4294967295 134512640 134716908 3221224576 3221220388 1074786582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20621 1111 63 0 22419 0
vsize: 89928
[startup+740.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23394 0 0 0 73922 86 0 0 25 0 1 0 894579080 92086272 20622 4294967295 134512640 134716908 3221224576 3221220444 1074788226 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20622 1111 63 0 22419 0
vsize: 89928
[startup+750.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23395 0 0 0 74922 87 0 0 25 0 1 0 894579080 92086272 20623 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20623 1111 63 0 22419 0
vsize: 89928
[startup+760.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23395 0 0 0 75922 87 0 0 25 0 1 0 894579080 92086272 20623 4294967295 134512640 134716908 3221224576 3221220624 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20623 1111 63 0 22419 0
vsize: 89928
[startup+770.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23397 0 0 0 76921 88 0 0 25 0 1 0 894579080 92086272 20625 4294967295 134512640 134716908 3221224576 3221220480 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20625 1111 63 0 22419 0
vsize: 89928
[startup+780.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23398 0 0 0 77921 88 0 0 25 0 1 0 894579080 92086272 20626 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22482 20626 1111 63 0 22419 0
vsize: 89928
[startup+790.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23464 0 0 0 78921 89 0 0 25 0 1 0 894579080 92590080 20692 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22605 20692 1111 63 0 22542 0
vsize: 90420
[startup+800.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23488 0 0 0 79920 89 0 0 25 0 1 0 894579080 92590080 20716 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22605 20716 1111 63 0 22542 0
vsize: 90420
[startup+810.006 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6710
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23489 0 0 0 80920 89 0 0 25 0 1 0 894579080 92590080 20717 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22605 20717 1111 63 0 22542 0
vsize: 90420
[startup+820.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23489 0 0 0 81920 90 0 0 25 0 1 0 894579080 92590080 20717 4294967295 134512640 134716908 3221224576 3221220752 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22605 20717 1111 63 0 22542 0
vsize: 90420
[startup+830.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23497 0 0 0 82920 90 0 0 25 0 1 0 894579080 92590080 20725 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22605 20725 1111 63 0 22542 0
vsize: 90420
[startup+840.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23499 0 0 0 83920 90 0 0 25 0 1 0 894579080 92590080 20727 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22605 20727 1111 63 0 22542 0
vsize: 90420
[startup+850.007 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23499 0 0 0 84921 90 0 0 25 0 1 0 894579080 92590080 20727 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22605 20727 1111 63 0 22542 0
vsize: 90420
[startup+860.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23591 0 0 0 85921 90 0 0 25 0 1 0 894579080 93114368 20819 4294967295 134512640 134716908 3221224576 3221220440 1075964745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20819 1111 63 0 22670 0
vsize: 90932
[startup+870.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23593 0 0 0 86921 90 0 0 25 0 1 0 894579080 93114368 20821 4294967295 134512640 134716908 3221224576 3221220708 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20821 1111 63 0 22670 0
vsize: 90932
[startup+880.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23601 0 0 0 87921 90 0 0 25 0 1 0 894579080 93114368 20829 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20829 1111 63 0 22670 0
vsize: 90932
[startup+890.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23602 0 0 0 88921 90 0 0 25 0 1 0 894579080 93114368 20830 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20830 1111 63 0 22670 0
vsize: 90932
[startup+900.008 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23607 0 0 0 89921 90 0 0 25 0 1 0 894579080 93114368 20835 4294967295 134512640 134716908 3221224576 3221220440 1075964771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20835 1111 63 0 22670 0
vsize: 90932
[startup+910.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23607 0 0 0 90921 90 0 0 25 0 1 0 894579080 93114368 20835 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20835 1111 63 0 22670 0
vsize: 90932
[startup+920.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23607 0 0 0 91922 90 0 0 25 0 1 0 894579080 93114368 20835 4294967295 134512640 134716908 3221224576 3221220544 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20835 1111 63 0 22670 0
vsize: 90932
[startup+930.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23607 0 0 0 92922 90 0 0 25 0 1 0 894579080 93114368 20835 4294967295 134512640 134716908 3221224576 3221220688 1074815259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20835 1111 63 0 22670 0
vsize: 90932
[startup+940.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23607 0 0 0 93922 90 0 0 25 0 1 0 894579080 93114368 20835 4294967295 134512640 134716908 3221224576 3221220688 1074815284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20835 1111 63 0 22670 0
vsize: 90932
[startup+950.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23607 0 0 0 94922 90 0 0 25 0 1 0 894579080 93114368 20835 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20835 1111 63 0 22670 0
vsize: 90932
[startup+960.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23608 0 0 0 95922 91 0 0 25 0 1 0 894579080 93114368 20836 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20836 1111 63 0 22670 0
vsize: 90932
[startup+970.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23608 0 0 0 96922 91 0 0 25 0 1 0 894579080 93114368 20836 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20836 1111 63 0 22670 0
vsize: 90932
[startup+980.009 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23608 0 0 0 97922 91 0 0 25 0 1 0 894579080 93114368 20836 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22733 20836 1111 63 0 22670 0
vsize: 90932
[startup+990.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23685 0 0 0 98922 92 0 0 25 0 1 0 894579080 93659136 20911 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22866 20911 1111 63 0 22803 0
vsize: 91464
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23796 0 0 0 99922 92 0 0 25 0 1 0 894579080 94232576 21022 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23006 21022 1111 63 0 22943 0
vsize: 92024
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 23938 0 0 0 100921 92 0 0 25 0 1 0 894579080 94838784 21164 4294967295 134512640 134716908 3221224576 3221221400 1075964733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23154 21164 1111 63 0 23091 0
vsize: 92616
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24015 0 0 0 101921 93 0 0 25 0 1 0 894579080 95477760 21241 4294967295 134512640 134716908 3221224576 3221220364 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23310 21241 1111 63 0 23247 0
vsize: 93240
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24054 0 0 0 102921 93 0 0 25 0 1 0 894579080 95477760 21280 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23310 21280 1111 63 0 23247 0
vsize: 93240
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24055 0 0 0 103922 93 0 0 25 0 1 0 894579080 95477760 21281 4294967295 134512640 134716908 3221224576 3221220816 1075114277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23310 21281 1111 63 0 23247 0
vsize: 93240
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24062 0 0 0 104922 93 0 0 25 0 1 0 894579080 95477760 21288 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23310 21288 1111 63 0 23247 0
vsize: 93240
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24076 0 0 0 105922 93 0 0 25 0 1 0 894579080 95477760 21302 4294967295 134512640 134716908 3221224576 3221220640 1075095124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23310 21302 1111 63 0 23247 0
vsize: 93240
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24077 0 0 0 106922 93 0 0 25 0 1 0 894579080 95477760 21303 4294967295 134512640 134716908 3221224576 3221220720 1075115747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23310 21303 1111 63 0 23247 0
vsize: 93240
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24077 0 0 0 107922 93 0 0 25 0 1 0 894579080 95477760 21303 4294967295 134512640 134716908 3221224576 3221220640 1075093350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23310 21303 1111 63 0 23247 0
vsize: 93240
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24078 0 0 0 108922 93 0 0 25 0 1 0 894579080 95477760 21304 4294967295 134512640 134716908 3221224576 3221220412 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23310 21304 1111 63 0 23247 0
vsize: 93240
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24190 0 0 0 109922 93 0 0 25 0 1 0 894579080 96149504 21416 4294967295 134512640 134716908 3221224576 3221221024 1075088563 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21416 1111 63 0 23411 0
vsize: 93896
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24200 0 0 0 110922 93 0 0 25 0 1 0 894579080 96149504 21426 4294967295 134512640 134716908 3221224576 3221220944 1075602959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21426 1111 63 0 23411 0
vsize: 93896
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24203 0 0 0 111922 93 0 0 25 0 1 0 894579080 96149504 21429 4294967295 134512640 134716908 3221224576 3221220356 1074786582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21429 1111 63 0 23411 0
vsize: 93896
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24203 0 0 0 112923 93 0 0 25 0 1 0 894579080 96149504 21429 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21429 1111 63 0 23411 0
vsize: 93896
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24210 0 0 0 113923 93 0 0 25 0 1 0 894579080 96149504 21436 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21436 1111 63 0 23411 0
vsize: 93896
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24210 0 0 0 114923 93 0 0 25 0 1 0 894579080 96149504 21436 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21436 1111 63 0 23411 0
vsize: 93896
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24210 0 0 0 115923 93 0 0 25 0 1 0 894579080 96149504 21436 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21436 1111 63 0 23411 0
vsize: 93896
[startup+1170.01 s]
Raw data (loadavg): 1.15 1.02 0.95 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24213 0 0 0 116923 93 0 0 25 0 1 0 894579080 96149504 21439 4294967295 134512640 134716908 3221224576 3221221508 1075964227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21439 1111 63 0 23411 0
vsize: 93896
[startup+1180.01 s]
Raw data (loadavg): 1.13 1.02 0.95 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24213 0 0 0 117923 93 0 0 25 0 1 0 894579080 96149504 21439 4294967295 134512640 134716908 3221224576 3221220708 1075115065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21439 1111 63 0 23411 0
vsize: 93896
[startup+1190.01 s]
Raw data (loadavg): 1.11 1.02 0.95 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24221 0 0 0 118924 93 0 0 25 0 1 0 894579080 96149504 21447 4294967295 134512640 134716908 3221224576 3221220708 1075115043 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21447 1111 63 0 23411 0
vsize: 93896
[startup+1200.01 s]
Raw data (loadavg): 1.09 1.02 0.95 2/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) R 6654 7266 7265 0 -1 0 24229 0 0 0 119924 93 0 0 25 0 1 0 894579080 96149504 21455 4294967295 134512640 134716908 3221224576 3221220412 1074788183 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23474 21455 1111 63 0 23411 0
vsize: 93896
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.09 1.02 0.95 1/54 6712
Raw data (stat): 6655 (bsolo_lpr-v2) Z 6654 7266 7265 0 -1 1036 24229 0 0 0 119924 97 0 0 25 0 1 0 894579080 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.05
CPU time (s): 1200.22
CPU user time (s): 1199.24
CPU system time (s): 0.979851
CPU usage (%): 100.014
Max. virtual memory (Kb): 93896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####