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.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM	552cc7fcebca47ae66a3cb1c13679513
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	103
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4602
Total number of constraints	34781
Number of constraints which are clauses	29160
Number of constraints which are cardinality constraints (but not clauses)	5543
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 39735

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 18:43:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27801 boxname=wulflinc6 idbench=359 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 27801
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        911028 kB
Buffers:         33972 kB
Cached:          66712 kB
SwapCached:       1792 kB
Active:          29792 kB
Inactive:        73836 kB
HighTotal:      131008 kB
HighFree:        78008 kB
LowTotal:       903652 kB
LowFree:        833020 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5048 kB
Slab:            14348 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 19:03:07 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 27801 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4602 variables and 30353 constraints.
c After prepocess the problem consists of 4602 variables and 30353 constraints.
c preprocess terminated 52.829 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.91 0.95 0.90 2/54 17225
Raw data (stat): 17225 (runsolver) R 17224 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895244219 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 42926 0 0 0 878 119 0 0 25 0 1 0 895244219 51822592 11792 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12652 11792 1111 63 0 12589 0
vsize: 50608
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 121108 0 0 0 1663 335 0 0 25 0 1 0 895244219 51822592 11792 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12652 11792 1111 63 0 12589 0
vsize: 50608
[startup+30.003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 135542 0 0 0 2620 377 0 0 25 0 1 0 895244219 70369280 16320 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16320 1111 63 0 17117 0
vsize: 68720
[startup+40.0035 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 147460 0 0 0 3588 410 0 0 25 0 1 0 895244219 70369280 16320 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16320 1111 63 0 17117 0
vsize: 68720
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156198 0 0 0 4563 435 0 0 25 0 1 0 895244219 70369280 16320 4294967295 134512640 134716908 3221224576 3221223156 1077374508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16320 1111 63 0 17117 0
vsize: 68720
[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 5560 438 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+70.0058 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 6559 439 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+80.0067 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 7559 440 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221222972 1077379991 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+90.0068 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 8558 441 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223136 134542706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 9558 442 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 10557 443 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 11557 444 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 12556 445 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223184 134549488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+140.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 13556 445 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223216 134539432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 14556 445 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 15556 446 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 16556 446 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223216 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 17556 447 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 18556 447 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 19556 448 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223240 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 20556 448 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 21555 449 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 22555 449 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156213 0 0 0 23555 450 0 0 25 0 1 0 895244219 70369280 16335 4294967295 134512640 134716908 3221224576 3221223312 134528801 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16335 1111 63 0 17117 0
vsize: 68720
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156264 0 0 0 24555 450 0 0 25 0 1 0 895244219 70639616 16386 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17246 16386 1111 63 0 17183 0
vsize: 68984
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156361 0 0 0 25554 451 0 0 25 0 1 0 895244219 71024640 16483 4294967295 134512640 134716908 3221224576 3221223216 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17340 16483 1111 63 0 17277 0
vsize: 69360
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156537 0 0 0 26553 452 0 0 25 0 1 0 895244219 71700480 16659 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17505 16659 1111 63 0 17442 0
vsize: 70020
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156620 0 0 0 27553 453 0 0 25 0 1 0 895244219 72105984 16742 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17604 16742 1111 63 0 17541 0
vsize: 70416
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156698 0 0 0 28552 454 0 0 25 0 1 0 895244219 72376320 16820 4294967295 134512640 134716908 3221224576 3221223216 134543108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17670 16820 1111 63 0 17607 0
vsize: 70680
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156741 0 0 0 29552 455 0 0 25 0 1 0 895244219 72650752 16863 4294967295 134512640 134716908 3221224576 3221223144 1077377416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17737 16863 1111 63 0 17674 0
vsize: 70948
[startup+310.009 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156846 0 0 0 30551 456 0 0 25 0 1 0 895244219 73056256 16968 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17836 16968 1111 63 0 17773 0
vsize: 71344
[startup+320.008 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 156960 0 0 0 31550 457 0 0 25 0 1 0 895244219 73461760 17082 4294967295 134512640 134716908 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17935 17082 1111 63 0 17872 0
vsize: 71740
[startup+330.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157052 0 0 0 32550 458 0 0 25 0 1 0 895244219 73867264 17174 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18034 17174 1111 63 0 17971 0
vsize: 72136
[startup+340.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157142 0 0 0 33549 459 0 0 25 0 1 0 895244219 74272768 17264 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18133 17264 1111 63 0 18070 0
vsize: 72532
[startup+350.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157219 0 0 0 34549 460 0 0 25 0 1 0 895244219 74539008 17341 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18198 17341 1111 63 0 18135 0
vsize: 72792
[startup+360.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157315 0 0 0 35548 460 0 0 25 0 1 0 895244219 74944512 17437 4294967295 134512640 134716908 3221224576 3221223116 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18297 17437 1111 63 0 18234 0
vsize: 73188
[startup+370.008 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157404 0 0 0 36547 462 0 0 25 0 1 0 895244219 75350016 17526 4294967295 134512640 134716908 3221224576 3221223360 134529304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17526 1111 63 0 18333 0
vsize: 73584
[startup+380.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157528 0 0 0 37546 463 0 0 25 0 1 0 895244219 75755520 17650 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17650 1111 63 0 18432 0
vsize: 73980
[startup+390.006 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157658 0 0 0 38546 464 0 0 25 0 1 0 895244219 76292096 17780 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18626 17780 1111 63 0 18563 0
vsize: 74504
[startup+400.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157780 0 0 0 39545 465 0 0 25 0 1 0 895244219 76832768 17902 4294967295 134512640 134716908 3221224576 3221223168 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18758 17902 1111 63 0 18695 0
vsize: 75032
[startup+410.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157863 0 0 0 40544 466 0 0 25 0 1 0 895244219 77221888 17985 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18853 17985 1111 63 0 18790 0
vsize: 75412
[startup+420.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157927 0 0 0 41543 467 0 0 25 0 1 0 895244219 77410304 18049 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18899 18049 1111 63 0 18836 0
vsize: 75596
[startup+430.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 157974 0 0 0 42543 468 0 0 25 0 1 0 895244219 77643776 18096 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18956 18096 1111 63 0 18893 0
vsize: 75824
[startup+440.004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158062 0 0 0 43542 469 0 0 25 0 1 0 895244219 78012416 18184 4294967295 134512640 134716908 3221224576 3221223084 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19046 18184 1111 63 0 18983 0
vsize: 76184
[startup+450.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158121 0 0 0 44541 470 0 0 25 0 1 0 895244219 78282752 18243 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19112 18243 1111 63 0 19049 0
vsize: 76448
[startup+460.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158162 0 0 0 45541 470 0 0 25 0 1 0 895244219 78417920 18284 4294967295 134512640 134716908 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19145 18284 1111 63 0 19082 0
vsize: 76580
[startup+470.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158239 0 0 0 46541 470 0 0 25 0 1 0 895244219 78680064 18361 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19209 18361 1111 63 0 19146 0
vsize: 76836
[startup+480.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158241 0 0 0 47541 471 0 0 25 0 1 0 895244219 78680064 18363 4294967295 134512640 134716908 3221224576 3221223060 134699585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19209 18363 1111 63 0 19146 0
vsize: 76836
[startup+490.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158319 0 0 0 48540 472 0 0 25 0 1 0 895244219 79085568 18441 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19308 18441 1111 63 0 19245 0
vsize: 77232
[startup+500.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158360 0 0 0 49540 472 0 0 25 0 1 0 895244219 79167488 18482 4294967295 134512640 134716908 3221224576 3221223248 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19328 18482 1111 63 0 19265 0
vsize: 77312
[startup+510.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158399 0 0 0 50540 473 0 0 25 0 1 0 895244219 79413248 18521 4294967295 134512640 134716908 3221224576 3221223160 134549708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19388 18521 1111 63 0 19325 0
vsize: 77552
[startup+520 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158459 0 0 0 51540 473 0 0 25 0 1 0 895244219 79683584 18581 4294967295 134512640 134716908 3221224576 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19454 18581 1111 63 0 19391 0
vsize: 77816
[startup+529.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158541 0 0 0 52539 474 0 0 25 0 1 0 895244219 79953920 18663 4294967295 134512640 134716908 3221224576 3221223136 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19520 18663 1111 63 0 19457 0
vsize: 78080
[startup+540 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158590 0 0 0 53539 474 0 0 25 0 1 0 895244219 80224256 18712 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19586 18712 1111 63 0 19523 0
vsize: 78344
[startup+550 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158730 0 0 0 54539 475 0 0 25 0 1 0 895244219 80740352 18852 4294967295 134512640 134716908 3221224576 3221222264 134699838 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19712 18852 1111 63 0 19649 0
vsize: 78848
[startup+559.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158739 0 0 0 55538 476 0 0 25 0 1 0 895244219 80740352 18861 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19712 18861 1111 63 0 19649 0
vsize: 78848
[startup+569.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158786 0 0 0 56538 476 0 0 25 0 1 0 895244219 80990208 18908 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19773 18908 1111 63 0 19710 0
vsize: 79092
[startup+579.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158836 0 0 0 57538 477 0 0 25 0 1 0 895244219 81227776 18958 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19831 18958 1111 63 0 19768 0
vsize: 79324
[startup+589.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158865 0 0 0 58537 478 0 0 25 0 1 0 895244219 81354752 18987 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19862 18987 1111 63 0 19799 0
vsize: 79448
[startup+599.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158921 0 0 0 59537 478 0 0 25 0 1 0 895244219 81469440 19043 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19890 19043 1111 63 0 19827 0
vsize: 79560
[startup+609.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 158967 0 0 0 60536 479 0 0 25 0 1 0 895244219 81707008 19089 4294967295 134512640 134716908 3221224576 3221223360 134528943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19948 19089 1111 63 0 19885 0
vsize: 79792
[startup+619.996 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159072 0 0 0 61536 480 0 0 25 0 1 0 895244219 82112512 19194 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20047 19194 1111 63 0 19984 0
vsize: 80188
[startup+629.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159121 0 0 0 62536 480 0 0 25 0 1 0 895244219 82329600 19243 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20100 19243 1111 63 0 20037 0
vsize: 80400
[startup+639.995 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159209 0 0 0 63536 481 0 0 25 0 1 0 895244219 82735104 19331 4294967295 134512640 134716908 3221224576 3221223292 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20199 19331 1111 63 0 20136 0
vsize: 80796
[startup+649.994 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159305 0 0 0 64535 481 0 0 25 0 1 0 895244219 83140608 19427 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20298 19427 1111 63 0 20235 0
vsize: 81192
[startup+659.994 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159421 0 0 0 65535 482 0 0 25 0 1 0 895244219 83542016 19543 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20396 19543 1111 63 0 20333 0
vsize: 81584
[startup+669.994 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159528 0 0 0 66534 483 0 0 25 0 1 0 895244219 83947520 19650 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20495 19650 1111 63 0 20432 0
vsize: 81980
[startup+679.994 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159562 0 0 0 67534 484 0 0 25 0 1 0 895244219 84217856 19684 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19684 1111 63 0 20498 0
vsize: 82244
[startup+689.993 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159597 0 0 0 68533 485 0 0 25 0 1 0 895244219 84320256 19719 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20586 19719 1111 63 0 20523 0
vsize: 82344
[startup+699.992 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159705 0 0 0 69533 485 0 0 25 0 1 0 895244219 84725760 19827 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20685 19827 1111 63 0 20622 0
vsize: 82740
[startup+709.992 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159789 0 0 0 70532 487 0 0 25 0 1 0 895244219 85127168 19911 4294967295 134512640 134716908 3221224576 3221223320 134551621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20783 19911 1111 63 0 20720 0
vsize: 83132
[startup+719.992 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159891 0 0 0 71532 487 0 0 25 0 1 0 895244219 85512192 20013 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20877 20013 1111 63 0 20814 0
vsize: 83508
[startup+729.991 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159943 0 0 0 72531 488 0 0 25 0 1 0 895244219 85647360 20065 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20910 20065 1111 63 0 20847 0
vsize: 83640
[startup+739.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 159987 0 0 0 73531 488 0 0 25 0 1 0 895244219 85893120 20109 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20970 20109 1111 63 0 20907 0
vsize: 83880
[startup+749.991 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160010 0 0 0 74531 488 0 0 25 0 1 0 895244219 86028288 20132 4294967295 134512640 134716908 3221224576 3221223104 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21003 20132 1111 63 0 20940 0
vsize: 84012
[startup+759.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160093 0 0 0 75531 489 0 0 25 0 1 0 895244219 86388736 20215 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21091 20215 1111 63 0 21028 0
vsize: 84364
[startup+769.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160132 0 0 0 76530 490 0 0 25 0 1 0 895244219 86511616 20254 4294967295 134512640 134716908 3221224576 3221223224 1077374049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21121 20254 1111 63 0 21058 0
vsize: 84484
[startup+779.99 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160196 0 0 0 77530 490 0 0 25 0 1 0 895244219 86781952 20318 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21187 20318 1111 63 0 21124 0
vsize: 84748
[startup+789.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160227 0 0 0 78530 491 0 0 25 0 1 0 895244219 86917120 20349 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21220 20349 1111 63 0 21157 0
vsize: 84880
[startup+799.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160294 0 0 0 79529 492 0 0 25 0 1 0 895244219 87187456 20416 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21286 20416 1111 63 0 21223 0
vsize: 85144
[startup+809.989 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160379 0 0 0 80529 492 0 0 25 0 1 0 895244219 87457792 20501 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21352 20501 1111 63 0 21289 0
vsize: 85408
[startup+819.988 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160482 0 0 0 81529 493 0 0 25 0 1 0 895244219 87863296 20604 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21451 20604 1111 63 0 21388 0
vsize: 85804
[startup+829.987 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160514 0 0 0 82528 494 0 0 25 0 1 0 895244219 87994368 20636 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21483 20636 1111 63 0 21420 0
vsize: 85932
[startup+839.987 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160603 0 0 0 83528 494 0 0 25 0 1 0 895244219 88375296 20725 4294967295 134512640 134716908 3221224576 3221223332 134655251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21576 20725 1111 63 0 21513 0
vsize: 86304
[startup+849.988 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160658 0 0 0 84528 494 0 0 25 0 1 0 895244219 88645632 20780 4294967295 134512640 134716908 3221224576 3221223240 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21642 20780 1111 63 0 21579 0
vsize: 86568
[startup+859.987 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160701 0 0 0 85528 495 0 0 25 0 1 0 895244219 88780800 20823 4294967295 134512640 134716908 3221224576 3221223232 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21675 20823 1111 63 0 21612 0
vsize: 86700
[startup+869.987 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160732 0 0 0 86528 495 0 0 25 0 1 0 895244219 88903680 20854 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21705 20854 1111 63 0 21642 0
vsize: 86820
[startup+879.987 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160732 0 0 0 87527 496 0 0 25 0 1 0 895244219 88903680 20854 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21705 20854 1111 63 0 21642 0
vsize: 86820
[startup+889.987 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160784 0 0 0 88527 497 0 0 25 0 1 0 895244219 89165824 20906 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21769 20906 1111 63 0 21706 0
vsize: 87076
[startup+899.986 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160878 0 0 0 89527 497 0 0 25 0 1 0 895244219 89522176 21000 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21856 21000 1111 63 0 21793 0
vsize: 87424
[startup+909.986 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160961 0 0 0 90527 498 0 0 25 0 1 0 895244219 89923584 21083 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21954 21083 1111 63 0 21891 0
vsize: 87816
[startup+919.986 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 160996 0 0 0 91527 498 0 0 25 0 1 0 895244219 90058752 21118 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21987 21118 1111 63 0 21924 0
vsize: 87948
[startup+929.985 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161075 0 0 0 92526 499 0 0 25 0 1 0 895244219 90329088 21197 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22053 21197 1111 63 0 21990 0
vsize: 88212
[startup+939.986 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161145 0 0 0 93526 500 0 0 25 0 1 0 895244219 90595328 21267 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22118 21267 1111 63 0 22055 0
vsize: 88472
[startup+949.986 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161145 0 0 0 94526 500 0 0 25 0 1 0 895244219 90595328 21267 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22118 21267 1111 63 0 22055 0
vsize: 88472
[startup+959.986 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161187 0 0 0 95526 500 0 0 25 0 1 0 895244219 90853376 21309 4294967295 134512640 134716908 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22181 21309 1111 63 0 22118 0
vsize: 88724
[startup+969.986 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161255 0 0 0 96526 501 0 0 25 0 1 0 895244219 91103232 21377 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22242 21377 1111 63 0 22179 0
vsize: 88968
[startup+979.986 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161324 0 0 0 97526 501 0 0 25 0 1 0 895244219 91340800 21446 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22300 21446 1111 63 0 22237 0
vsize: 89200
[startup+989.986 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 17225
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161380 0 0 0 98526 502 0 0 25 0 1 0 895244219 91611136 21502 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22366 21502 1111 63 0 22303 0
vsize: 89464
[startup+999.987 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 17284
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161418 0 0 0 99525 502 0 0 25 0 1 0 895244219 91746304 21540 4294967295 134512640 134716908 3221224576 3221223316 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22399 21540 1111 63 0 22336 0
vsize: 89596
[startup+1009.99 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 17284
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161439 0 0 0 100525 502 0 0 25 0 1 0 895244219 91807744 21561 4294967295 134512640 134716908 3221224576 3221223200 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22414 21561 1111 63 0 22351 0
vsize: 89656
[startup+1019.99 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 17284
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161461 0 0 0 101525 503 0 0 25 0 1 0 895244219 91942912 21583 4294967295 134512640 134716908 3221224576 3221223168 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22447 21583 1111 63 0 22384 0
vsize: 89788
[startup+1029.99 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 17284
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161500 0 0 0 102525 504 0 0 25 0 1 0 895244219 92065792 21622 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22477 21622 1111 63 0 22414 0
vsize: 89908
[startup+1039.99 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 17284
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161596 0 0 0 103524 505 0 0 25 0 1 0 895244219 92467200 21718 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22575 21718 1111 63 0 22512 0
vsize: 90300
[startup+1049.99 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 17284
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161643 0 0 0 104524 505 0 0 25 0 1 0 895244219 92737536 21765 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22641 21765 1111 63 0 22578 0
vsize: 90564
[startup+1059.99 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161660 0 0 0 105524 506 0 0 25 0 1 0 895244219 92737536 21782 4294967295 134512640 134716908 3221224576 3221223160 134542787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22641 21782 1111 63 0 22578 0
vsize: 90564
[startup+1069.99 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161756 0 0 0 106524 506 0 0 25 0 1 0 895244219 93130752 21878 4294967295 134512640 134716908 3221224576 3221223340 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22737 21878 1111 63 0 22674 0
vsize: 90948
[startup+1079.99 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161776 0 0 0 107524 506 0 0 25 0 1 0 895244219 93265920 21898 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22770 21898 1111 63 0 22707 0
vsize: 91080
[startup+1089.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161877 0 0 0 108524 507 0 0 25 0 1 0 895244219 93642752 21999 4294967295 134512640 134716908 3221224576 3221223132 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22862 21999 1111 63 0 22799 0
vsize: 91448
[startup+1099.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161892 0 0 0 109524 507 0 0 25 0 1 0 895244219 93642752 22014 4294967295 134512640 134716908 3221224576 3221223084 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22862 22014 1111 63 0 22799 0
vsize: 91448
[startup+1109.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161910 0 0 0 110524 507 0 0 25 0 1 0 895244219 93777920 22032 4294967295 134512640 134716908 3221224576 3221223300 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22895 22032 1111 63 0 22832 0
vsize: 91580
[startup+1119.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161912 0 0 0 111524 508 0 0 25 0 1 0 895244219 93777920 22034 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22895 22034 1111 63 0 22832 0
vsize: 91580
[startup+1129.99 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 161952 0 0 0 112524 508 0 0 25 0 1 0 895244219 93913088 22074 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22928 22074 1111 63 0 22865 0
vsize: 91712
[startup+1139.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 162026 0 0 0 113523 509 0 0 25 0 1 0 895244219 94183424 22148 4294967295 134512640 134716908 3221224576 3221223344 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22994 22148 1111 63 0 22931 0
vsize: 91976
[startup+1149.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 162089 0 0 0 114523 510 0 0 25 0 1 0 895244219 94453760 22211 4294967295 134512640 134716908 3221224576 3221223032 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23060 22211 1111 63 0 22997 0
vsize: 92240
[startup+1159.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 162147 0 0 0 115523 510 0 0 25 0 1 0 895244219 94687232 22269 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23117 22269 1111 63 0 23054 0
vsize: 92468
[startup+1169.99 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 162205 0 0 0 116523 511 0 0 25 0 1 0 895244219 94957568 22327 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23183 22327 1111 63 0 23120 0
vsize: 92732
[startup+1174.71 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 17286
Raw data (stat): 17225 (bsolo_lpr-v2) R 17224 25568 25567 0 -1 0 162205 0 0 0 116523 511 0 0 25 0 1 0 895244219 94957568 22327 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23183 22327 1111 63 0 23120 0
vsize: 0

Child status: 0
Real time (s): 1174.71
CPU time (s): 1175.06
CPU user time (s): 1169.91
CPU system time (s): 5.15622
CPU usage (%): 100.03
Max. virtual memory (Kb): 92732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####