PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb
MD5SUM	8225997c3fd9c39c0ae1e7fa3d3e4160
Bench Category	optimization, big integers (OPTBIGINT)
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	98250
Biggest coefficient in the objective function	16496969383936000
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	33458351340667289600
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	16496969383936000
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	33458351340667289600
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.886864
Number of variables	98820
Total number of constraints	927
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	927
Minimum length of a constraint	30
Maximum length of a constraint	11190
Trace number 39803

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 20:41:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27864 boxname=wulflinc1 idbench=820 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  8225997c3fd9c39c0ae1e7fa3d3e4160  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-czprob.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-czprob.opb
IDLAUNCH: 27864
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        870156 kB
Buffers:         31804 kB
Cached:         107016 kB
SwapCached:       1192 kB
Active:          34312 kB
Inactive:       106824 kB
HighTotal:      131008 kB
HighFree:        29456 kB
LowTotal:       903652 kB
LowFree:        840700 kB
SwapTotal:     2097136 kB
SwapFree:      2094852 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            17628 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:01:09 (client local time) WITH STATUS 0 IN 1200.19 SECONDS
stats: 27864 7 1200.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.75 0.90 0.89 2/55 9683
Raw data (stat): 9683 (runsolver) R 9682 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 839093747 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.0001 s]
Raw data (loadavg): 0.79 0.90 0.89 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1333 0 0 0 992 5 0 0 25 0 1 0 839093747 15364096 1253 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1253 1111 63 0 3688 0
vsize: 15004
[startup+20.0009 s]
Raw data (loadavg): 0.82 0.91 0.89 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1393 0 0 0 1992 5 0 0 25 0 1 0 839093747 15667200 1313 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3825 1313 1111 63 0 3762 0
vsize: 15300
[startup+30.0006 s]
Raw data (loadavg): 0.85 0.91 0.89 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1467 0 0 0 2992 6 0 0 25 0 1 0 839093747 15949824 1387 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3894 1387 1111 63 0 3831 0
vsize: 15576
[startup+40.0004 s]
Raw data (loadavg): 0.87 0.91 0.89 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1527 0 0 0 3992 6 0 0 25 0 1 0 839093747 16240640 1447 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 1447 1111 63 0 3902 0
vsize: 15860
[startup+50.0012 s]
Raw data (loadavg): 0.89 0.91 0.89 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1600 0 0 0 4992 6 0 0 25 0 1 0 839093747 16543744 1520 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 1520 1111 63 0 3976 0
vsize: 16156
[startup+60.001 s]
Raw data (loadavg): 0.91 0.92 0.89 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1667 0 0 0 5991 6 0 0 25 0 1 0 839093747 16695296 1587 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4076 1587 1111 63 0 4013 0
vsize: 16304
[startup+70.0008 s]
Raw data (loadavg): 0.92 0.92 0.89 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1733 0 0 0 6991 7 0 0 25 0 1 0 839093747 17002496 1653 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4151 1653 1111 63 0 4088 0
vsize: 16604
[startup+80.0016 s]
Raw data (loadavg): 0.93 0.92 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1796 0 0 0 7991 7 0 0 25 0 1 0 839093747 17285120 1716 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4220 1716 1111 63 0 4157 0
vsize: 16880
[startup+90.0014 s]
Raw data (loadavg): 0.94 0.92 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1868 0 0 0 8991 8 0 0 25 0 1 0 839093747 17584128 1788 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4293 1788 1111 63 0 4230 0
vsize: 17172
[startup+100.001 s]
Raw data (loadavg): 0.95 0.92 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 1929 0 0 0 9991 8 0 0 25 0 1 0 839093747 17862656 1849 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1849 1111 63 0 4298 0
vsize: 17444
[startup+110.001 s]
Raw data (loadavg): 0.96 0.93 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2002 0 0 0 10991 8 0 0 25 0 1 0 839093747 18165760 1922 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4435 1922 1111 63 0 4372 0
vsize: 17740
[startup+120.002 s]
Raw data (loadavg): 0.96 0.93 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2061 0 0 0 11991 8 0 0 25 0 1 0 839093747 18313216 1981 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4471 1981 1111 63 0 4408 0
vsize: 17884
[startup+130.002 s]
Raw data (loadavg): 0.97 0.93 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2135 0 0 0 12991 9 0 0 25 0 1 0 839093747 18612224 2055 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4544 2055 1111 63 0 4481 0
vsize: 18176
[startup+140.001 s]
Raw data (loadavg): 0.97 0.93 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2202 0 0 0 13991 9 0 0 25 0 1 0 839093747 18890752 2122 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4612 2122 1111 63 0 4549 0
vsize: 18448
[startup+150.002 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2272 0 0 0 14991 9 0 0 25 0 1 0 839093747 19189760 2192 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4685 2192 1111 63 0 4622 0
vsize: 18740
[startup+160.002 s]
Raw data (loadavg): 0.98 0.93 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2340 0 0 0 15990 9 0 0 25 0 1 0 839093747 19484672 2260 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 2260 1111 63 0 4694 0
vsize: 19028
[startup+170.002 s]
Raw data (loadavg): 0.98 0.94 0.90 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2406 0 0 0 16990 10 0 0 25 0 1 0 839093747 19787776 2326 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4831 2326 1111 63 0 4768 0
vsize: 19324
[startup+180.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2479 0 0 0 17990 10 0 0 25 0 1 0 839093747 20090880 2399 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4905 2399 1111 63 0 4842 0
vsize: 19620
[startup+190.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2545 0 0 0 18990 10 0 0 25 0 1 0 839093747 20389888 2465 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4978 2465 1111 63 0 4915 0
vsize: 19912
[startup+200.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2614 0 0 0 19990 11 0 0 25 0 1 0 839093747 20668416 2534 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 2534 1111 63 0 4983 0
vsize: 20184
[startup+210.002 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2687 0 0 0 20990 11 0 0 25 0 1 0 839093747 20967424 2607 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5119 2607 1111 63 0 5056 0
vsize: 20476
[startup+220.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2752 0 0 0 21989 11 0 0 25 0 1 0 839093747 21266432 2672 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5192 2672 1111 63 0 5129 0
vsize: 20768
[startup+230.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2820 0 0 0 22990 11 0 0 25 0 1 0 839093747 21422080 2740 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5230 2740 1111 63 0 5167 0
vsize: 20920
[startup+240.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2886 0 0 0 23989 12 0 0 25 0 1 0 839093747 21721088 2806 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 2806 1111 63 0 5240 0
vsize: 21212
[startup+250.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 2952 0 0 0 24989 12 0 0 25 0 1 0 839093747 22024192 2872 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5377 2872 1111 63 0 5314 0
vsize: 21508
[startup+260.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3020 0 0 0 25989 12 0 0 25 0 1 0 839093747 22327296 2940 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5451 2940 1111 63 0 5388 0
vsize: 21804
[startup+270.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3085 0 0 0 26989 13 0 0 25 0 1 0 839093747 22630400 3005 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5525 3005 1111 63 0 5462 0
vsize: 22100
[startup+280.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3151 0 0 0 27989 13 0 0 25 0 1 0 839093747 22781952 3071 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5562 3071 1111 63 0 5499 0
vsize: 22248
[startup+290.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3218 0 0 0 28988 14 0 0 25 0 1 0 839093747 23080960 3138 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5635 3138 1111 63 0 5572 0
vsize: 22540
[startup+300.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3299 0 0 0 29988 14 0 0 25 0 1 0 839093747 23523328 3219 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5743 3219 1111 63 0 5680 0
vsize: 22972
[startup+310.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3359 0 0 0 30988 14 0 0 25 0 1 0 839093747 23674880 3279 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5780 3279 1111 63 0 5717 0
vsize: 23120
[startup+320.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3432 0 0 0 31988 14 0 0 25 0 1 0 839093747 23977984 3352 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5854 3352 1111 63 0 5791 0
vsize: 23416
[startup+330.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3500 0 0 0 32988 15 0 0 25 0 1 0 839093747 24281088 3420 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5928 3420 1111 63 0 5865 0
vsize: 23712
[startup+340.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3565 0 0 0 33987 16 0 0 25 0 1 0 839093747 24584192 3485 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6002 3485 1111 63 0 5939 0
vsize: 24008
[startup+350.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3632 0 0 0 34987 16 0 0 25 0 1 0 839093747 24883200 3552 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6075 3552 1111 63 0 6012 0
vsize: 24300
[startup+360.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3699 0 0 0 35987 16 0 0 25 0 1 0 839093747 25030656 3619 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6111 3619 1111 63 0 6048 0
vsize: 24444
[startup+370.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3773 0 0 0 36987 16 0 0 25 0 1 0 839093747 25456640 3693 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6215 3693 1111 63 0 6152 0
vsize: 24860
[startup+380.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3839 0 0 0 37987 16 0 0 25 0 1 0 839093747 25608192 3759 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6252 3759 1111 63 0 6189 0
vsize: 25008
[startup+390.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3908 0 0 0 38987 17 0 0 25 0 1 0 839093747 25911296 3828 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3828 1111 63 0 6263 0
vsize: 25304
[startup+400.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 3980 0 0 0 39987 17 0 0 25 0 1 0 839093747 26214400 3900 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6400 3900 1111 63 0 6337 0
vsize: 25600
[startup+410.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4053 0 0 0 40987 17 0 0 25 0 1 0 839093747 26517504 3973 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6474 3973 1111 63 0 6411 0
vsize: 25896
[startup+420.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4113 0 0 0 41986 18 0 0 25 0 1 0 839093747 26816512 4033 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6547 4033 1111 63 0 6484 0
vsize: 26188
[startup+430.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4187 0 0 0 42987 18 0 0 25 0 1 0 839093747 27123712 4107 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6622 4107 1111 63 0 6559 0
vsize: 26488
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4261 0 0 0 43987 18 0 0 25 0 1 0 839093747 27422720 4181 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6695 4181 1111 63 0 6632 0
vsize: 26780
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4334 0 0 0 44987 19 0 0 25 0 1 0 839093747 27721728 4254 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6768 4254 1111 63 0 6705 0
vsize: 27072
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4403 0 0 0 45987 19 0 0 25 0 1 0 839093747 28028928 4323 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6843 4323 1111 63 0 6780 0
vsize: 27372
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4476 0 0 0 46986 20 0 0 25 0 1 0 839093747 28327936 4396 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6916 4396 1111 63 0 6853 0
vsize: 27664
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4544 0 0 0 47986 20 0 0 25 0 1 0 839093747 28475392 4464 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4464 1111 63 0 6889 0
vsize: 27808
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4618 0 0 0 48986 20 0 0 25 0 1 0 839093747 28782592 4538 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 4538 1111 63 0 6964 0
vsize: 28108
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4690 0 0 0 49986 21 0 0 25 0 1 0 839093747 29085696 4610 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7101 4610 1111 63 0 7038 0
vsize: 28404
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4763 0 0 0 50985 21 0 0 25 0 1 0 839093747 29384704 4683 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7174 4683 1111 63 0 7111 0
vsize: 28696
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4831 0 0 0 51985 22 0 0 25 0 1 0 839093747 29691904 4751 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7249 4751 1111 63 0 7186 0
vsize: 28996
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4904 0 0 0 52985 22 0 0 25 0 1 0 839093747 29990912 4824 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7322 4824 1111 63 0 7259 0
vsize: 29288
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 4972 0 0 0 53985 22 0 0 25 0 1 0 839093747 30289920 4892 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7395 4892 1111 63 0 7332 0
vsize: 29580
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5046 0 0 0 54985 22 0 0 25 0 1 0 839093747 30597120 4966 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7470 4966 1111 63 0 7407 0
vsize: 29880
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5119 0 0 0 55984 23 0 0 25 0 1 0 839093747 30896128 5039 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7543 5039 1111 63 0 7480 0
vsize: 30172
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5193 0 0 0 56984 23 0 0 25 0 1 0 839093747 31195136 5113 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7616 5113 1111 63 0 7553 0
vsize: 30464
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5278 0 0 0 57984 24 0 0 25 0 1 0 839093747 31657984 5198 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7729 5198 1111 63 0 7666 0
vsize: 30916
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5351 0 0 0 58984 24 0 0 25 0 1 0 839093747 31961088 5271 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7803 5271 1111 63 0 7740 0
vsize: 31212
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5424 0 0 0 59984 24 0 0 25 0 1 0 839093747 32260096 5344 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7876 5344 1111 63 0 7813 0
vsize: 31504
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5500 0 0 0 60984 24 0 0 25 0 1 0 839093747 32567296 5420 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7951 5420 1111 63 0 7888 0
vsize: 31804
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5573 0 0 0 61984 24 0 0 25 0 1 0 839093747 32866304 5493 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8024 5493 1111 63 0 7961 0
vsize: 32096
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5653 0 0 0 62984 24 0 0 25 0 1 0 839093747 33165312 5573 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8097 5573 1111 63 0 8034 0
vsize: 32388
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5723 0 0 0 63984 24 0 0 25 0 1 0 839093747 33472512 5643 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8172 5643 1111 63 0 8109 0
vsize: 32688
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5796 0 0 0 64984 24 0 0 25 0 1 0 839093747 33771520 5716 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8245 5716 1111 63 0 8182 0
vsize: 32980
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5869 0 0 0 65984 24 0 0 25 0 1 0 839093747 34074624 5789 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8319 5789 1111 63 0 8256 0
vsize: 33276
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 5944 0 0 0 66984 25 0 0 25 0 1 0 839093747 34377728 5864 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8393 5864 1111 63 0 8330 0
vsize: 33572
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6018 0 0 0 67984 25 0 0 25 0 1 0 839093747 34680832 5938 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8467 5938 1111 63 0 8404 0
vsize: 33868
[startup+690.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6091 0 0 0 68984 25 0 0 25 0 1 0 839093747 34979840 6011 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8540 6011 1111 63 0 8477 0
vsize: 34160
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6166 0 0 0 69983 25 0 0 25 0 1 0 839093747 35287040 6086 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 6086 1111 63 0 8552 0
vsize: 34460
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6241 0 0 0 70983 26 0 0 25 0 1 0 839093747 35586048 6161 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8688 6161 1111 63 0 8625 0
vsize: 34752
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6320 0 0 0 71983 26 0 0 25 0 1 0 839093747 35885056 6240 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8761 6240 1111 63 0 8698 0
vsize: 35044
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6395 0 0 0 72983 26 0 0 25 0 1 0 839093747 36192256 6315 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 6315 1111 63 0 8773 0
vsize: 35344
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6470 0 0 0 73983 26 0 0 25 0 1 0 839093747 36491264 6390 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 6390 1111 63 0 8846 0
vsize: 35636
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6543 0 0 0 74983 26 0 0 25 0 1 0 839093747 36794368 6463 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8983 6463 1111 63 0 8920 0
vsize: 35932
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6625 0 0 0 75983 27 0 0 25 0 1 0 839093747 37097472 6545 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9057 6545 1111 63 0 8994 0
vsize: 36228
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6698 0 0 0 76983 27 0 0 25 0 1 0 839093747 37400576 6618 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9131 6618 1111 63 0 9068 0
vsize: 36524
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6773 0 0 0 77983 27 0 0 25 0 1 0 839093747 37699584 6693 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9204 6693 1111 63 0 9141 0
vsize: 36816
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6848 0 0 0 78983 27 0 0 25 0 1 0 839093747 38006784 6768 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9279 6768 1111 63 0 9216 0
vsize: 37116
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6921 0 0 0 79983 27 0 0 25 0 1 0 839093747 38305792 6841 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9352 6841 1111 63 0 9289 0
vsize: 37408
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 6995 0 0 0 80983 27 0 0 25 0 1 0 839093747 38604800 6915 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9425 6915 1111 63 0 9362 0
vsize: 37700
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7077 0 0 0 81983 28 0 0 25 0 1 0 839093747 38912000 6997 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9500 6997 1111 63 0 9437 0
vsize: 38000
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7157 0 0 0 82983 28 0 0 25 0 1 0 839093747 39211008 7077 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9573 7077 1111 63 0 9510 0
vsize: 38292
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7231 0 0 0 83983 28 0 0 25 0 1 0 839093747 39514112 7151 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9647 7151 1111 63 0 9584 0
vsize: 38588
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7307 0 0 0 84983 28 0 0 25 0 1 0 839093747 39817216 7227 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9721 7227 1111 63 0 9658 0
vsize: 38884
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7380 0 0 0 85983 29 0 0 25 0 1 0 839093747 40120320 7300 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9795 7300 1111 63 0 9732 0
vsize: 39180
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7454 0 0 0 86983 29 0 0 25 0 1 0 839093747 40419328 7374 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9868 7374 1111 63 0 9805 0
vsize: 39472
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7536 0 0 0 87983 29 0 0 25 0 1 0 839093747 40878080 7456 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9980 7456 1111 63 0 9917 0
vsize: 39920
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7610 0 0 0 88983 29 0 0 25 0 1 0 839093747 41177088 7530 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10053 7530 1111 63 0 9990 0
vsize: 40212
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7690 0 0 0 89983 30 0 0 25 0 1 0 839093747 41476096 7610 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10126 7610 1111 63 0 10063 0
vsize: 40504
[startup+910.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7766 0 0 0 90983 30 0 0 25 0 1 0 839093747 41783296 7686 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10201 7686 1111 63 0 10138 0
vsize: 40804
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7840 0 0 0 91983 30 0 0 25 0 1 0 839093747 42086400 7760 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10275 7760 1111 63 0 10212 0
vsize: 41100
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7913 0 0 0 92983 30 0 0 25 0 1 0 839093747 42385408 7833 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10348 7833 1111 63 0 10285 0
vsize: 41392
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 7989 0 0 0 93983 30 0 0 25 0 1 0 839093747 42692608 7909 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10423 7909 1111 63 0 10360 0
vsize: 41692
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8062 0 0 0 94983 30 0 0 25 0 1 0 839093747 42991616 7982 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10496 7982 1111 63 0 10433 0
vsize: 41984
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8143 0 0 0 95983 31 0 0 25 0 1 0 839093747 43290624 8063 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10569 8063 1111 63 0 10506 0
vsize: 42276
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8225 0 0 0 96983 31 0 0 25 0 1 0 839093747 43597824 8145 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10644 8145 1111 63 0 10581 0
vsize: 42576
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8306 0 0 0 97983 31 0 0 25 0 1 0 839093747 43896832 8226 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10717 8226 1111 63 0 10654 0
vsize: 42868
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8388 0 0 0 98983 32 0 0 25 0 1 0 839093747 44351488 8308 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10828 8308 1111 63 0 10765 0
vsize: 43312
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8462 0 0 0 99983 32 0 0 25 0 1 0 839093747 44650496 8382 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10901 8382 1111 63 0 10838 0
vsize: 43604
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8537 0 0 0 100983 32 0 0 25 0 1 0 839093747 44953600 8457 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10975 8457 1111 63 0 10912 0
vsize: 43900
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8625 0 0 0 101983 32 0 0 25 0 1 0 839093747 45260800 8545 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11050 8545 1111 63 0 10987 0
vsize: 44200
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8698 0 0 0 102983 32 0 0 25 0 1 0 839093747 45559808 8618 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11123 8618 1111 63 0 11060 0
vsize: 44492
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8757 0 0 0 103983 32 0 0 25 0 1 0 839093747 45858816 8677 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11196 8677 1111 63 0 11133 0
vsize: 44784
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8824 0 0 0 104983 32 0 0 25 0 1 0 839093747 46010368 8744 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11233 8744 1111 63 0 11170 0
vsize: 44932
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8891 0 0 0 105983 32 0 0 25 0 1 0 839093747 46317568 8811 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11308 8811 1111 63 0 11245 0
vsize: 45232
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 8971 0 0 0 106983 32 0 0 25 0 1 0 839093747 46616576 8891 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11381 8891 1111 63 0 11318 0
vsize: 45524
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9053 0 0 0 107983 33 0 0 25 0 1 0 839093747 47071232 8973 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11492 8973 1111 63 0 11429 0
vsize: 45968
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9126 0 0 0 108983 33 0 0 25 0 1 0 839093747 47370240 9046 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11565 9046 1111 63 0 11502 0
vsize: 46260
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9224 0 0 0 109983 33 0 0 25 0 1 0 839093747 47865856 9144 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11686 9144 1111 63 0 11623 0
vsize: 46744
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9305 0 0 0 110983 33 0 0 25 0 1 0 839093747 48164864 9225 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11759 9225 1111 63 0 11696 0
vsize: 47036
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9379 0 0 0 111983 33 0 0 25 0 1 0 839093747 48463872 9299 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11832 9299 1111 63 0 11769 0
vsize: 47328
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9683
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9454 0 0 0 112983 33 0 0 25 0 1 0 839093747 48762880 9374 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11905 9374 1111 63 0 11842 0
vsize: 47620
[startup+1140.02 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 9736
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9541 0 0 0 113983 34 0 0 25 0 1 0 839093747 49070080 9461 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11980 9461 1111 63 0 11917 0
vsize: 47920
[startup+1150.02 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 9736
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9615 0 0 0 114982 34 0 0 25 0 1 0 839093747 49369088 9535 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12053 9535 1111 63 0 11990 0
vsize: 48212
[startup+1160.02 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 9736
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9690 0 0 0 115981 35 0 0 25 0 1 0 839093747 49668096 9610 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12126 9610 1111 63 0 12063 0
vsize: 48504
[startup+1170.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9736
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9777 0 0 0 116982 35 0 0 25 0 1 0 839093747 50122752 9697 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12237 9697 1111 63 0 12174 0
vsize: 48948
[startup+1180.02 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9736
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9851 0 0 0 117981 35 0 0 25 0 1 0 839093747 50421760 9771 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12310 9771 1111 63 0 12247 0
vsize: 49240
[startup+1190.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9736
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 9933 0 0 0 118982 35 0 0 25 0 1 0 839093747 50720768 9853 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12383 9853 1111 63 0 12320 0
vsize: 49532
[startup+1200.02 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9740
Raw data (stat): 9683 (bsolo_lpr-v2) R 9682 8378 8377 0 -1 0 10014 0 0 0 119981 35 0 0 25 0 1 0 839093747 51027968 9934 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 9934 1111 63 0 12395 0
vsize: 49832
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.03 0.99 0.91 1/55 9740
Raw data (stat): 9683 (bsolo_lpr-v2) Z 9682 8378 8377 0 -1 1036 10014 0 0 0 119981 37 0 0 25 0 1 0 839093747 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.19
CPU user time (s): 1199.82
CPU system time (s): 0.375942
CPU usage (%): 100.013
Max. virtual memory (Kb): 49832
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####