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/submitted/manquinho/primes-dimacs-cnf/normalized-ssa2670-130.opb
MD5SUM	600cdaf1f0eedf797341aa9f45a30b93
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2718
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	2718
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2718
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.164974
Number of variables	2718
Total number of constraints	4680
Number of constraints which are clauses	4680
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	1
Maximum length of a constraint	5
Trace number 39601

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 14:45:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27666 boxname=wulflinc4 idbench=224 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  600cdaf1f0eedf797341aa9f45a30b93  /oldhome/oroussel/tmp/wulflinc4/normalized-ssa2670-130.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-ssa2670-130.opb
IDLAUNCH: 27666
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        395848 kB
Buffers:         34888 kB
Cached:         580420 kB
SwapCached:        568 kB
Active:          57492 kB
Inactive:       559944 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        395596 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15712 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 15:04:50 (client local time) WITH STATUS 0 IN 1176.21 SECONDS
stats: 27666 7 1176.21 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2718 variables and 4680 constraints.
c After prepocess the problem consists of 715 variables and 1657 constraints.
c preprocess terminated 253.554 s
c Initial Lower Bound: 1263
c Lower Bound Elapsed time: 0.4515
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1176.14 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.84 0.86 0.87 2/54 15596
Raw data (stat): 15596 (runsolver) R 15595 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 893805684 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.87 0.86 0.87 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 7560 0 0 0 976 21 0 0 25 0 1 0 893805684 18305024 3625 4294967295 134512640 134716908 3221224576 3221223056 134524076 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4469 3625 1111 63 0 4406 0
vsize: 17876
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.86 0.87 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 62098 0 0 0 1847 151 0 0 25 0 1 0 893805684 26144768 5539 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6383 5539 1111 63 0 6320 0
vsize: 25532
[startup+30.0024 s]
Raw data (loadavg): 0.90 0.87 0.87 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 74021 0 0 0 2818 180 0 0 25 0 1 0 893805684 30650368 6628 4294967295 134512640 134716908 3221224576 3221223216 134594944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7483 6628 1111 63 0 7420 0
vsize: 29932
[startup+40.0032 s]
Raw data (loadavg): 0.92 0.87 0.87 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 96344 0 0 0 3765 233 0 0 25 0 1 0 893805684 34004992 7440 4294967295 134512640 134716908 3221224576 3221223328 134630814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8302 7440 1111 63 0 8239 0
vsize: 33208
[startup+50.0047 s]
Raw data (loadavg): 0.93 0.88 0.87 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 118630 0 0 0 4709 289 0 0 25 0 1 0 893805684 38891520 8626 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9495 8626 1111 63 0 9432 0
vsize: 37980
[startup+60.005 s]
Raw data (loadavg): 0.94 0.88 0.87 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 131810 0 0 0 5678 320 0 0 25 0 1 0 893805684 40517632 9048 4294967295 134512640 134716908 3221224576 3221223032 134536665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9892 9048 1111 63 0 9829 0
vsize: 39568
[startup+70.0059 s]
Raw data (loadavg): 0.95 0.88 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 147760 0 0 0 6639 359 0 0 25 0 1 0 893805684 42340352 9493 4294967295 134512640 134716908 3221224576 3221223208 134556937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10337 9493 1111 63 0 10274 0
vsize: 41348
[startup+80.0072 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 163387 0 0 0 7600 398 0 0 25 0 1 0 893805684 44433408 10004 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10848 10004 1111 63 0 10785 0
vsize: 43392
[startup+90.0076 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 171315 0 0 0 8579 419 0 0 25 0 1 0 893805684 45600768 10287 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11133 10287 1111 63 0 11070 0
vsize: 44532
[startup+100.009 s]
Raw data (loadavg): 0.97 0.89 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 179183 0 0 0 9560 438 0 0 25 0 1 0 893805684 47222784 10661 4294967295 134512640 134716908 3221224576 3221223296 134618231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11529 10661 1111 63 0 11466 0
vsize: 46116
[startup+110.01 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 190968 0 0 0 10531 467 0 0 25 0 1 0 893805684 48529408 11004 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11848 11004 1111 63 0 11785 0
vsize: 47392
[startup+120.01 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 199483 0 0 0 11511 487 0 0 25 0 1 0 893805684 50151424 11368 4294967295 134512640 134716908 3221224576 3221223304 134675289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12244 11368 1111 63 0 12181 0
vsize: 48976
[startup+130.011 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 213524 0 0 0 12478 521 0 0 25 0 1 0 893805684 51286016 11650 4294967295 134512640 134716908 3221224576 3221223376 134617640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12521 11650 1111 63 0 12458 0
vsize: 50084
[startup+140.012 s]
Raw data (loadavg): 0.98 0.90 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 243561 0 0 0 13404 595 0 0 25 0 1 0 893805684 52748288 12034 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12878 12034 1111 63 0 12815 0
vsize: 51512
[startup+150.013 s]
Raw data (loadavg): 0.98 0.91 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 255315 0 0 0 14376 622 0 0 25 0 1 0 893805684 53661696 12257 4294967295 134512640 134716908 3221224576 3221222972 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13101 12257 1111 63 0 13038 0
vsize: 52404
[startup+160.014 s]
Raw data (loadavg): 0.99 0.91 0.88 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 271128 0 0 0 15338 661 0 0 25 0 1 0 893805684 55111680 12611 4294967295 134512640 134716908 3221224576 3221223092 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13455 12611 1111 63 0 13392 0
vsize: 53820
[startup+170.014 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 278387 0 0 0 16320 679 0 0 25 0 1 0 893805684 55869440 12796 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13640 12796 1111 63 0 13577 0
vsize: 54560
[startup+180.015 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 282832 0 0 0 17310 689 0 0 25 0 1 0 893805684 57073664 13090 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+190.016 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 283874 0 0 0 18308 692 0 0 25 0 1 0 893805684 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+200.018 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 283874 0 0 0 19307 692 0 0 25 0 1 0 893805684 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+210.018 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 283874 0 0 0 20307 692 0 0 25 0 1 0 893805684 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+220.018 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 283874 0 0 0 21307 692 0 0 25 0 1 0 893805684 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+230.019 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 283874 0 0 0 22307 692 0 0 25 0 1 0 893805684 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+240.02 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 283874 0 0 0 23308 692 0 0 25 0 1 0 893805684 57073664 13090 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+250.021 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 283874 0 0 0 24308 693 0 0 25 0 1 0 893805684 57073664 13090 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13934 13090 1111 63 0 13871 0
vsize: 55736
[startup+260.021 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 300313 0 0 0 25275 725 0 0 25 0 1 0 893805684 120324096 28206 4294967295 134512640 134716908 3221224576 3221220392 1074788348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29376 28206 1111 63 0 29313 0
vsize: 117504
[startup+270.021 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 301709 0 0 0 26271 729 0 0 25 0 1 0 893805684 119324672 28109 4294967295 134512640 134716908 3221224576 3221222220 1077378451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29132 28109 1111 63 0 29069 0
vsize: 116528
[startup+280.022 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 303359 0 0 0 27266 734 0 0 25 0 1 0 893805684 120176640 28225 4294967295 134512640 134716908 3221224576 3221220588 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29340 28225 1111 63 0 29277 0
vsize: 117360
[startup+290.023 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 307814 0 0 0 28254 746 0 0 25 0 1 0 893805684 121819136 28718 4294967295 134512640 134716908 3221224576 3221222856 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29741 28718 1111 63 0 29678 0
vsize: 118964
[startup+300.024 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 310644 0 0 0 29247 754 0 0 25 0 1 0 893805684 123215872 28891 4294967295 134512640 134716908 3221224576 3221221232 1075967858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30082 28891 1111 63 0 30019 0
vsize: 120328
[startup+310.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 312379 0 0 0 30242 758 0 0 25 0 1 0 893805684 123068416 28833 4294967295 134512640 134716908 3221224576 3221220804 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30046 28833 1111 63 0 29983 0
vsize: 120184
[startup+320.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 315133 0 0 0 31236 765 0 0 25 0 1 0 893805684 122056704 28780 4294967295 134512640 134716908 3221224576 3221222880 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29799 28780 1111 63 0 29736 0
vsize: 119196
[startup+330.025 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 318842 0 0 0 32227 774 0 0 25 0 1 0 893805684 122482688 28884 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29903 28884 1111 63 0 29840 0
vsize: 119612
[startup+340.026 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 321460 0 0 0 33220 781 0 0 25 0 1 0 893805684 122515456 28892 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29911 28892 1111 63 0 29848 0
vsize: 119644
[startup+350.027 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 325050 0 0 0 34211 790 0 0 25 0 1 0 893805684 123564032 29037 4294967295 134512640 134716908 3221224576 3221220672 1074790218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30167 29037 1111 63 0 30104 0
vsize: 120668
[startup+360.027 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 328345 0 0 0 35202 799 0 0 25 0 1 0 893805684 122781696 28957 4294967295 134512640 134716908 3221224576 3221222900 1077402435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29976 28957 1111 63 0 29913 0
vsize: 119904
[startup+370.027 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 330832 0 0 0 36194 807 0 0 25 0 1 0 893805684 123768832 29019 4294967295 134512640 134716908 3221224576 3221220524 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30217 29019 1111 63 0 30154 0
vsize: 120868
[startup+380.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 333793 0 0 0 37186 816 0 0 25 0 1 0 893805684 123092992 29034 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30052 29034 1111 63 0 29989 0
vsize: 120208
[startup+390.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 337561 0 0 0 38178 824 0 0 25 0 1 0 893805684 123088896 29026 4294967295 134512640 134716908 3221224576 3221222888 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30051 29026 1111 63 0 29988 0
vsize: 120204
[startup+400.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 341637 0 0 0 39168 835 0 0 25 0 1 0 893805684 123219968 29065 4294967295 134512640 134716908 3221224576 3221222976 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30083 29065 1111 63 0 30020 0
vsize: 120332
[startup+410.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 345521 0 0 0 40159 843 0 0 25 0 1 0 893805684 123469824 29093 4294967295 134512640 134716908 3221224576 3221221060 1075863672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30144 29093 1111 63 0 30081 0
vsize: 120576
[startup+420.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 349055 0 0 0 41150 853 0 0 25 0 1 0 893805684 124317696 29194 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30420 29197 1111 63 0 30357 0
vsize: 121404
[startup+430.03 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 351712 0 0 0 42143 860 0 0 25 0 1 0 893805684 123813888 29208 4294967295 134512640 134716908 3221224576 3221222880 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30228 29208 1111 63 0 30165 0
vsize: 120912
[startup+440.031 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 354440 0 0 0 43135 868 0 0 25 0 1 0 893805684 123912192 29231 4294967295 134512640 134716908 3221224576 3221222880 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30252 29231 1111 63 0 30189 0
vsize: 121008
[startup+450.032 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 357409 0 0 0 44127 876 0 0 25 0 1 0 893805684 124112896 29275 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30301 29275 1111 63 0 30238 0
vsize: 121204
[startup+460.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 359866 0 0 0 45120 883 0 0 25 0 1 0 893805684 124424192 29351 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30377 29351 1111 63 0 30314 0
vsize: 121508
[startup+470.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 361549 0 0 0 46115 888 0 0 25 0 1 0 893805684 124493824 29369 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30394 29369 1111 63 0 30331 0
vsize: 121576
[startup+480.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 363404 0 0 0 47111 894 0 0 25 0 1 0 893805684 125517824 29442 4294967295 134512640 134716908 3221224576 3221221648 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30644 29442 1111 63 0 30581 0
vsize: 122576
[startup+490.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 365320 0 0 0 48105 899 0 0 25 0 1 0 893805684 125423616 29500 4294967295 134512640 134716908 3221224576 3221220620 1075663500 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30621 29500 1111 63 0 30558 0
vsize: 122484
[startup+500.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 367309 0 0 0 49100 904 0 0 25 0 1 0 893805684 124735488 29435 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30453 29435 1111 63 0 30390 0
vsize: 121812
[startup+510.035 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 368956 0 0 0 50097 907 0 0 25 0 1 0 893805684 124735488 29435 4294967295 134512640 134716908 3221224576 3221222928 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30453 29435 1111 63 0 30390 0
vsize: 121812
[startup+520.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 370688 0 0 0 51092 913 0 0 25 0 1 0 893805684 124735488 29435 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30453 29435 1111 63 0 30390 0
vsize: 121812
[startup+530.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 372526 0 0 0 52088 917 0 0 25 0 1 0 893805684 124776448 29445 4294967295 134512640 134716908 3221224576 3221222976 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30463 29445 1111 63 0 30400 0
vsize: 121852
[startup+540.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 374106 0 0 0 53084 921 0 0 25 0 1 0 893805684 125665280 29499 4294967295 134512640 134716908 3221224576 3221220620 1074873336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30680 29499 1111 63 0 30617 0
vsize: 122720
[startup+550.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 375918 0 0 0 54079 926 0 0 25 0 1 0 893805684 124809216 29448 4294967295 134512640 134716908 3221224576 3221222576 1074918559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30471 29448 1111 63 0 30408 0
vsize: 121884
[startup+560.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 377860 0 0 0 55075 931 0 0 25 0 1 0 893805684 124882944 29471 4294967295 134512640 134716908 3221224576 3221222960 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30489 29471 1111 63 0 30426 0
vsize: 121956
[startup+570.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 379977 0 0 0 56070 936 0 0 25 0 1 0 893805684 125804544 29512 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30714 29512 1111 63 0 30651 0
vsize: 122856
[startup+580.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 381930 0 0 0 57064 942 0 0 25 0 1 0 893805684 124846080 29463 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30480 29463 1111 63 0 30417 0
vsize: 121920
[startup+590.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 384685 0 0 0 58056 950 0 0 25 0 1 0 893805684 124915712 29480 4294967295 134512640 134716908 3221224576 3221222928 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30497 29480 1111 63 0 30434 0
vsize: 121988
[startup+600.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 387513 0 0 0 59049 957 0 0 25 0 1 0 893805684 125587456 29616 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30661 29616 1111 63 0 30598 0
vsize: 122644
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 389736 0 0 0 60045 962 0 0 25 0 1 0 893805684 125820928 29699 4294967295 134512640 134716908 3221224576 3221222880 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30718 29699 1111 63 0 30655 0
vsize: 122872
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 391599 0 0 0 61040 967 0 0 25 0 1 0 893805684 125816832 29698 4294967295 134512640 134716908 3221224576 3221222296 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30717 29698 1111 63 0 30654 0
vsize: 122868
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 393666 0 0 0 62034 972 0 0 25 0 1 0 893805684 126881792 29780 4294967295 134512640 134716908 3221224576 3221221648 1074867299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30977 29780 1111 63 0 30914 0
vsize: 123908
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 395489 0 0 0 63029 977 0 0 25 0 1 0 893805684 126922752 29822 4294967295 134512640 134716908 3221224576 3221221008 1075119627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30987 29822 1111 63 0 30924 0
vsize: 123948
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 397762 0 0 0 64023 984 0 0 25 0 1 0 893805684 126226432 29769 4294967295 134512640 134716908 3221224576 3221222712 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30817 29769 1111 63 0 30754 0
vsize: 123268
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 399684 0 0 0 65017 990 0 0 25 0 1 0 893805684 127184896 29865 4294967295 134512640 134716908 3221224576 3221220524 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31051 29865 1111 63 0 30988 0
vsize: 124204
[startup+670.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 401367 0 0 0 66012 995 0 0 25 0 1 0 893805684 126885888 29963 4294967295 134512640 134716908 3221224576 3221222608 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30978 29963 1111 63 0 30915 0
vsize: 123912
[startup+680.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 403774 0 0 0 67006 1002 0 0 25 0 1 0 893805684 128782336 30062 4294967295 134512640 134716908 3221224576 3221220620 1074873715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31441 30062 1111 63 0 31378 0
vsize: 125764
[startup+690.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 405311 0 0 0 68003 1005 0 0 25 0 1 0 893805684 126480384 29865 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30879 29865 1111 63 0 30816 0
vsize: 123516
[startup+700.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 409999 0 0 0 68992 1016 0 0 25 0 1 0 893805684 126578688 29872 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30903 29872 1111 63 0 30840 0
vsize: 123612
[startup+710.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 415165 0 0 0 69979 1029 0 0 25 0 1 0 893805684 126705664 29920 4294967295 134512640 134716908 3221224576 3221222556 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30934 29920 1111 63 0 30871 0
vsize: 123736
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 420286 0 0 0 70967 1042 0 0 25 0 1 0 893805684 126939136 29977 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30991 29977 1111 63 0 30928 0
vsize: 123964
[startup+730.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 425164 0 0 0 71954 1054 0 0 25 0 1 0 893805684 127680512 30041 4294967295 134512640 134716908 3221224576 3221221552 1074810494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31172 30041 1111 63 0 31109 0
vsize: 124688
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 427336 0 0 0 72947 1062 0 0 25 0 1 0 893805684 131067904 30881 4294967295 134512640 134716908 3221224576 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31999 30881 1111 63 0 31936 0
vsize: 127996
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 429383 0 0 0 73941 1067 0 0 25 0 1 0 893805684 127352832 30078 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31092 30078 1111 63 0 31029 0
vsize: 124368
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 432168 0 0 0 74933 1076 0 0 25 0 1 0 893805684 128692224 30172 4294967295 134512640 134716908 3221224576 3221221344 1076083427 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31419 30172 1111 63 0 31356 0
vsize: 125676
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 436490 0 0 0 75922 1087 0 0 25 0 1 0 893805684 127352832 30078 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31092 30078 1111 63 0 31029 0
vsize: 124368
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 439362 0 0 0 76915 1095 0 0 25 0 1 0 893805684 127385600 30078 4294967295 134512640 134716908 3221224576 3221222576 1074916167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31100 30078 1111 63 0 31037 0
vsize: 124400
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 445404 0 0 0 77900 1110 0 0 25 0 1 0 893805684 128851968 30208 4294967295 134512640 134716908 3221224576 3221221696 1074837202 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31213 30120 1111 63 0 31150 0
vsize: 125832
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 450055 0 0 0 78889 1121 0 0 25 0 1 0 893805684 127746048 30174 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31188 30174 1111 63 0 31125 0
vsize: 124752
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 452835 0 0 0 79882 1128 0 0 25 0 1 0 893805684 127811584 30190 4294967295 134512640 134716908 3221224576 3221222736 1074206628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31204 30190 1111 63 0 31141 0
vsize: 124816
[startup+820.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 456256 0 0 0 80875 1135 0 0 25 0 1 0 893805684 129851392 30214 4294967295 134512640 134716908 3221224576 3221221696 1074834343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31702 30214 1111 63 0 31639 0
vsize: 126808
[startup+830.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 460511 0 0 0 81866 1145 0 0 25 0 1 0 893805684 128425984 30277 4294967295 134512640 134716908 3221224576 3221221904 1074829542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31354 30277 1111 63 0 31291 0
vsize: 125416
[startup+840.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 463534 0 0 0 82858 1152 0 0 25 0 1 0 893805684 127979520 30223 4294967295 134512640 134716908 3221224576 3221222928 1074115339 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31245 30223 1111 63 0 31182 0
vsize: 124980
[startup+850.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 467968 0 0 0 83847 1164 0 0 25 0 1 0 893805684 128352256 30261 4294967295 134512640 134716908 3221224576 3221220968 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31336 30261 1111 63 0 31273 0
vsize: 125344
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 472546 0 0 0 84834 1177 0 0 25 0 1 0 893805684 128344064 30320 4294967295 134512640 134716908 3221224576 3221222840 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31334 30320 1111 63 0 31271 0
vsize: 125336
[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 476749 0 0 0 85823 1189 0 0 25 0 1 0 893805684 128913408 30459 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31473 30459 1111 63 0 31410 0
vsize: 125892
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15596
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 478216 0 0 0 86819 1193 0 0 25 0 1 0 893805684 130920448 30510 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31963 30510 1111 63 0 31900 0
vsize: 127852
[startup+890.043 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 15610
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 479495 0 0 0 87815 1196 0 0 25 0 1 0 893805684 128909312 30451 4294967295 134512640 134716908 3221224576 3221222528 1074918510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31472 30451 1111 63 0 31409 0
vsize: 125888
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15649
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 481602 0 0 0 88809 1202 0 0 25 0 1 0 893805684 128876544 30450 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31464 30450 1111 63 0 31401 0
vsize: 125856
[startup+910.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15649
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 483634 0 0 0 89803 1208 0 0 25 0 1 0 893805684 130949120 30502 4294967295 134512640 134716908 3221224576 3221220660 1075964390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31970 30502 1111 63 0 31907 0
vsize: 127880
[startup+920.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15649
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 485461 0 0 0 90799 1212 0 0 25 0 1 0 893805684 129679360 30512 4294967295 134512640 134716908 3221224576 3221220584 1074789584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31660 30513 1111 63 0 31597 0
vsize: 126640
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15649
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 487426 0 0 0 91795 1217 0 0 25 0 1 0 893805684 129458176 30516 4294967295 134512640 134716908 3221224576 3221221448 1074950105 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31606 30516 1111 63 0 31543 0
vsize: 126424
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15649
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 489248 0 0 0 92790 1222 0 0 25 0 1 0 893805684 131121152 30531 4294967295 134512640 134716908 3221224576 3221220604 1074788128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32012 30531 1111 63 0 31949 0
vsize: 128048
[startup+950.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15649
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 491170 0 0 0 93785 1227 0 0 25 0 1 0 893805684 131297280 30575 4294967295 134512640 134716908 3221224576 3221220736 1074883623 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32055 30575 1111 63 0 31992 0
vsize: 128220
[startup+960.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 493097 0 0 0 94779 1234 0 0 25 0 1 0 893805684 129290240 30546 4294967295 134512640 134716908 3221224576 3221222880 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31565 30546 1111 63 0 31502 0
vsize: 126260
[startup+970.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 495277 0 0 0 95774 1239 0 0 25 0 1 0 893805684 131612672 30649 4294967295 134512640 134716908 3221224576 3221220632 1074789611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32132 30649 1111 63 0 32069 0
vsize: 128528
[startup+980.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 497189 0 0 0 96769 1244 0 0 25 0 1 0 893805684 131825664 30713 4294967295 134512640 134716908 3221224576 3221220804 1075114940 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32184 30713 1111 63 0 32121 0
vsize: 128736
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 499065 0 0 0 97765 1248 0 0 25 0 1 0 893805684 129884160 30688 4294967295 134512640 134716908 3221224576 3221222792 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31710 30688 1111 63 0 31647 0
vsize: 126840
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 501100 0 0 0 98759 1254 0 0 25 0 1 0 893805684 132251648 30820 4294967295 134512640 134716908 3221224576 3221221580 1074621027 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32288 30820 1111 63 0 32225 0
vsize: 129152
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 503034 0 0 0 99753 1260 0 0 25 0 1 0 893805684 130134016 30757 4294967295 134512640 134716908 3221224576 3221222976 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31771 30757 1111 63 0 31708 0
vsize: 127084
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 504989 0 0 0 100748 1265 0 0 25 0 1 0 893805684 130166784 30757 4294967295 134512640 134716908 3221224576 3221222880 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31779 30757 1111 63 0 31716 0
vsize: 127116
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 506918 0 0 0 101743 1271 0 0 25 0 1 0 893805684 132390912 30853 4294967295 134512640 134716908 3221224576 3221220848 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32322 30853 1111 63 0 32259 0
vsize: 129288
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 508763 0 0 0 102738 1276 0 0 25 0 1 0 893805684 132423680 30855 4294967295 134512640 134716908 3221224576 3221220848 1074961205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32330 30855 1111 63 0 32267 0
vsize: 129320
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 510767 0 0 0 103732 1282 0 0 25 0 1 0 893805684 130592768 30869 4294967295 134512640 134716908 3221224576 3221222960 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31883 30869 1111 63 0 31820 0
vsize: 127532
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 512756 0 0 0 104727 1287 0 0 25 0 1 0 893805684 130592768 30869 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31883 30869 1111 63 0 31820 0
vsize: 127532
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 514438 0 0 0 105722 1292 0 0 25 0 1 0 893805684 130592768 30869 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31883 30869 1111 63 0 31820 0
vsize: 127532
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 516299 0 0 0 106718 1296 0 0 25 0 1 0 893805684 130592768 30869 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31883 30869 1111 63 0 31820 0
vsize: 127532
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 518109 0 0 0 107713 1301 0 0 25 0 1 0 893805684 130625536 30870 4294967295 134512640 134716908 3221224576 3221222432 1075799603 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31891 30870 1111 63 0 31828 0
vsize: 127564
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 520315 0 0 0 108708 1307 0 0 25 0 1 0 893805684 130592768 30869 4294967295 134512640 134716908 3221224576 3221222976 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31883 30869 1111 63 0 31820 0
vsize: 127532
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 522619 0 0 0 109703 1312 0 0 25 0 1 0 893805684 130625536 30870 4294967295 134512640 134716908 3221224576 3221222860 1074208560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31891 30870 1111 63 0 31828 0
vsize: 127564
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 525749 0 0 0 110693 1322 0 0 25 0 1 0 893805684 130592768 30869 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31883 30869 1111 63 0 31820 0
vsize: 127532
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 527600 0 0 0 111689 1326 0 0 25 0 1 0 893805684 130662400 30886 4294967295 134512640 134716908 3221224576 3221222744 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31900 30886 1111 63 0 31837 0
vsize: 127600
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 529737 0 0 0 112683 1332 0 0 25 0 1 0 893805684 132775936 30917 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32416 30922 1111 63 0 32353 0
vsize: 129664
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 531727 0 0 0 113678 1338 0 0 25 0 1 0 893805684 130838528 30929 4294967295 134512640 134716908 3221224576 3221222976 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31943 30929 1111 63 0 31880 0
vsize: 127772
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 534383 0 0 0 114671 1345 0 0 25 0 1 0 893805684 133021696 30998 4294967295 134512640 134716908 3221224576 3221220720 1074969455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32476 30998 1111 63 0 32413 0
vsize: 129904
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 536522 0 0 0 115666 1350 0 0 25 0 1 0 893805684 131678208 31072 4294967295 134512640 134716908 3221224576 3221220496 1075965287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32148 31072 1111 63 0 32085 0
vsize: 128592
[startup+1176.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 15651
Raw data (stat): 15596 (bsolo_lpr-v2) R 15595 21152 21151 0 -1 0 536522 0 0 0 115666 1350 0 0 25 0 1 0 893805684 131678208 31072 4294967295 134512640 134716908 3221224576 3221220496 1075965287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32148 31072 1111 63 0 32085 0
vsize: 0

Child status: 0
Real time (s): 1176.09
CPU time (s): 1176.21
CPU user time (s): 1162.61
CPU system time (s): 13.5939
CPU usage (%): 100.01
Max. virtual memory (Kb): 129904
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####