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/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	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	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 39670

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 15:50:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27724 boxname=wulflinc1 idbench=282 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc1/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 27724
/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:        834076 kB
Buffers:         33884 kB
Cached:         134724 kB
SwapCached:       7036 kB
Active:          64804 kB
Inactive:       112020 kB
HighTotal:      131008 kB
HighFree:        55496 kB
LowTotal:       903652 kB
LowFree:        778580 kB
SwapTotal:     2097136 kB
SwapFree:      2089016 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5700 kB
Slab:            17884 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 16:07:29 (client local time) WITH STATUS 0 IN 1045.51 SECONDS
stats: 27724 7 1045.51 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 201731 variables and 592525 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.93 2/55 7251
Raw data (stat): 7251 (runsolver) R 7250 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 837347203 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 22141 0 0 0 945 52 0 0 25 0 1 0 837347203 42950656 7167 4294967295 134512640 134716908 3221224560 3221221100 1077090898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10532 7168 1111 63 0 10469 0
vsize: 41944
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 119639 0 0 0 1768 228 0 0 25 0 1 0 837347203 60788736 11544 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14841 11552 1111 63 0 14778 0
vsize: 59364
[startup+30.0003 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 349194 0 0 0 2364 633 0 0 25 0 1 0 837347203 71602176 14122 4294967295 134512640 134716908 3221224560 3221222760 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17520 14128 1111 63 0 17457 0
vsize: 69924
[startup+40.0002 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 572544 0 0 0 2979 1018 0 0 25 0 1 0 837347203 80601088 16340 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19633 16301 1111 63 0 19570 0
vsize: 78712
[startup+50.001 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 792145 0 0 0 3584 1413 0 0 25 0 1 0 837347203 88473600 18256 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21600 18262 1111 63 0 21537 0
vsize: 86400
[startup+60.0007 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 1013048 0 0 0 4180 1817 0 0 25 0 1 0 837347203 95674368 20042 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23358 20048 1111 63 0 23295 0
vsize: 93432
[startup+70.0006 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 1229597 0 0 0 4777 2220 0 0 25 0 1 0 837347203 103124992 21863 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25120 21812 1111 63 0 25057 0
vsize: 100708
[startup+80.0013 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 1445579 0 0 0 5395 2602 0 0 25 0 1 0 837347203 109383680 23352 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26705 23358 1111 63 0 26642 0
vsize: 106820
[startup+90.0011 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 1652874 0 0 0 6007 2990 0 0 25 0 1 0 837347203 114950144 24712 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28064 24718 1111 63 0 28001 0
vsize: 112256
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 1861523 0 0 0 6611 3386 0 0 25 0 1 0 837347203 120381440 26041 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29390 26047 1111 63 0 29327 0
vsize: 117560
[startup+110.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 2070967 0 0 0 7215 3782 0 0 25 0 1 0 837347203 126304256 27357 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30836 27363 1111 63 0 30773 0
vsize: 123344
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 2278101 0 0 0 7826 4172 0 0 25 0 1 0 837347203 131039232 28512 4294967295 134512640 134716908 3221224560 3221222760 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31992 28512 1111 63 0 31929 0
vsize: 127968
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 2483539 0 0 0 8427 4571 0 0 25 0 1 0 837347203 135958528 29681 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33193 29687 1111 63 0 33130 0
vsize: 132772
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 2687463 0 0 0 9030 4967 0 0 25 0 1 0 837347203 140115968 30751 4294967295 134512640 134716908 3221224560 3221222760 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34286 30757 1111 63 0 34223 0
vsize: 136832
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 2891047 0 0 0 9638 5360 0 0 25 0 1 0 837347203 144785408 31820 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35348 31826 1111 63 0 35285 0
vsize: 141392
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 3088368 0 0 0 10257 5741 0 0 25 0 1 0 837347203 148721664 32859 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36309 32865 1111 63 0 36246 0
vsize: 145236
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 3289052 0 0 0 10867 6131 0 0 25 0 1 0 837347203 152793088 33879 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37218 33800 1111 63 0 37155 0
vsize: 149212
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 3489843 0 0 0 11476 6522 0 0 25 0 1 0 837347203 156737536 34799 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38266 34804 1111 63 0 38203 0
vsize: 153064
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 3687966 0 0 0 12087 6911 0 0 25 0 1 0 837347203 160546816 35718 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39196 35723 1111 63 0 39133 0
vsize: 156784
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 3885888 0 0 0 12698 7300 0 0 25 0 1 0 837347203 164216832 36596 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40092 36602 1111 63 0 40029 0
vsize: 160368
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 4085585 0 0 0 13311 7688 0 0 25 0 1 0 837347203 167886848 37479 4294967295 134512640 134716908 3221224560 3221222604 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40988 37486 1111 63 0 40925 0
vsize: 163952
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 4280353 0 0 0 13931 8067 0 0 25 0 1 0 837347203 171282432 38373 4294967295 134512640 134716908 3221224560 3221222864 134568044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41817 38373 1111 63 0 41754 0
vsize: 167268
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 4473788 0 0 0 14544 8454 0 0 25 0 1 0 837347203 174678016 39248 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42548 39151 1111 63 0 42485 0
vsize: 170584
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 4669285 0 0 0 15164 8833 0 0 25 0 1 0 837347203 177938432 40029 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43442 40035 1111 63 0 43379 0
vsize: 173768
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 4864405 0 0 0 15780 9218 0 0 25 0 1 0 837347203 181198848 40827 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44238 40833 1111 63 0 44175 0
vsize: 176952
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 5058684 0 0 0 16397 9602 0 0 25 0 1 0 837347203 184451072 41620 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45032 41626 1111 63 0 44969 0
vsize: 180128
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 5253198 0 0 0 17010 9988 0 0 25 0 1 0 837347203 187580416 42407 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45796 42412 1111 63 0 45733 0
vsize: 183184
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 5443824 0 0 0 17631 10368 0 0 25 0 1 0 837347203 192393216 43591 4294967295 134512640 134716908 3221224560 3221222864 134568040 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46971 43591 1111 63 0 46908 0
vsize: 187884
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 5636847 0 0 0 18250 10748 0 0 25 0 1 0 837347203 195383296 44237 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47701 44243 1111 63 0 47638 0
vsize: 190804
[startup+300.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 5829184 0 0 0 18864 11135 0 0 25 0 1 0 837347203 198230016 45032 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48396 45037 1111 63 0 48333 0
vsize: 193584
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 6020896 0 0 0 19478 11521 0 0 25 0 1 0 837347203 201220096 45716 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49126 45721 1111 63 0 49063 0
vsize: 196504
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 6212461 0 0 0 20099 11900 0 0 25 0 1 0 837347203 204079104 46453 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49824 46457 1111 63 0 49761 0
vsize: 199296
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 6403839 0 0 0 20712 12287 0 0 25 0 1 0 837347203 206790656 47062 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50486 47067 1111 63 0 50423 0
vsize: 201944
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 6592798 0 0 0 21321 12677 0 0 25 0 1 0 837347203 209510400 47744 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51150 47749 1111 63 0 51087 0
vsize: 204600
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 6783424 0 0 0 21938 13061 0 0 25 0 1 0 837347203 212230144 48415 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51814 48420 1111 63 0 51751 0
vsize: 207256
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 6974218 0 0 0 22556 13443 0 0 25 0 1 0 837347203 214945792 49085 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52477 49090 1111 63 0 52414 0
vsize: 209908
[startup+370.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 7163862 0 0 0 23171 13828 0 0 25 0 1 0 837347203 217665536 49759 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53141 49764 1111 63 0 53078 0
vsize: 212564
[startup+380.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 7354605 0 0 0 23787 14213 0 0 25 0 1 0 837347203 220246016 50437 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53771 50441 1111 63 0 53708 0
vsize: 215084
[startup+390.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 7545211 0 0 0 24401 14598 0 0 25 0 1 0 837347203 222830592 51044 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54402 51049 1111 63 0 54339 0
vsize: 217608
[startup+400.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 7731963 0 0 0 25018 14981 0 0 25 0 1 0 837347203 225275904 51628 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54999 51628 1111 63 0 54936 0
vsize: 219996
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 7919540 0 0 0 25634 15365 0 0 25 0 1 0 837347203 227860480 52269 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55630 52275 1111 63 0 55567 0
vsize: 222520
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 8109399 0 0 0 26249 15750 0 0 25 0 1 0 837347203 231837696 52921 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56601 52926 1111 63 0 56538 0
vsize: 226404
[startup+430.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 8298921 0 0 0 26867 16132 0 0 25 0 1 0 837347203 234278912 53516 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57197 53520 1111 63 0 57134 0
vsize: 228788
[startup+440.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 8487851 0 0 0 27488 16511 0 0 25 0 1 0 837347203 236187648 54018 4294967295 134512640 134716908 3221224560 3221222968 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57795 54021 1111 63 0 57732 0
vsize: 230652
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 8677259 0 0 0 28102 16898 0 0 25 0 1 0 837347203 239304704 54696 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58424 54701 1111 63 0 58361 0
vsize: 233696
[startup+460.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 8865252 0 0 0 28720 17280 0 0 25 0 1 0 837347203 241618944 55237 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58989 55237 1111 63 0 58926 0
vsize: 235956
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 9054877 0 0 0 29335 17665 0 0 25 0 1 0 837347203 244060160 55916 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59585 55921 1111 63 0 59522 0
vsize: 238340
[startup+480.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 9243757 0 0 0 29958 18042 0 0 25 0 1 0 837347203 246501376 56411 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60181 56416 1111 63 0 60118 0
vsize: 240724
[startup+490.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 9432322 0 0 0 30581 18418 0 0 25 0 1 0 837347203 248684544 57048 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60714 57053 1111 63 0 60651 0
vsize: 242856
[startup+500.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 9620771 0 0 0 31202 18798 0 0 25 0 1 0 837347203 251129856 57646 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61311 57651 1111 63 0 61248 0
vsize: 245244
[startup+510.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 9809017 0 0 0 31818 19182 0 0 25 0 1 0 837347203 253435904 58202 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61874 58207 1111 63 0 61811 0
vsize: 247496
[startup+520.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 9997122 0 0 0 32432 19568 0 0 25 0 1 0 837347203 255750144 58752 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62439 58757 1111 63 0 62376 0
vsize: 249756
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 10186640 0 0 0 33047 19953 0 0 25 0 1 0 837347203 257921024 59291 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62969 59296 1111 63 0 62906 0
vsize: 251876
[startup+540.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 10375907 0 0 0 33671 20329 0 0 25 0 1 0 837347203 260091904 59848 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63499 59853 1111 63 0 63436 0
vsize: 253996
[startup+550.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 10564860 0 0 0 34293 20707 0 0 25 0 1 0 837347203 262262784 60397 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64029 60402 1111 63 0 63966 0
vsize: 256116
[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 10753209 0 0 0 34913 21087 0 0 25 0 1 0 837347203 264441856 60831 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64561 60836 1111 63 0 64498 0
vsize: 258244
[startup+570.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 10942076 0 0 0 35534 21467 0 0 25 0 1 0 837347203 266612736 61339 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65091 61344 1111 63 0 65028 0
vsize: 260364
[startup+580.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 11129479 0 0 0 36147 21854 0 0 25 0 1 0 837347203 268648448 61865 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65588 61870 1111 63 0 65525 0
vsize: 262352
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 7251
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 11318421 0 0 0 36757 22244 0 0 25 0 1 0 837347203 270819328 62454 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66118 62459 1111 63 0 66055 0
vsize: 264472
[startup+600.014 s]
Raw data (loadavg): 1.07 0.99 0.93 2/57 7255
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 11507943 0 0 0 37372 22629 0 0 25 0 1 0 837347203 272998400 63009 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66650 63015 1111 63 0 66587 0
vsize: 266600
[startup+610.014 s]
Raw data (loadavg): 1.06 0.99 0.93 2/55 7304
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 11696526 0 0 0 37986 23015 0 0 25 0 1 0 837347203 275034112 63453 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67147 63458 1111 63 0 67084 0
vsize: 268588
[startup+620.014 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 7304
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 11885421 0 0 0 38608 23393 0 0 25 0 1 0 837347203 277073920 64017 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67645 64022 1111 63 0 67582 0
vsize: 270580
[startup+630.015 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 7304
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 12074703 0 0 0 39221 23781 0 0 25 0 1 0 837347203 279113728 64488 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68143 64493 1111 63 0 68080 0
vsize: 272572
[startup+640.016 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 7304
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 12262039 0 0 0 39835 24166 0 0 25 0 1 0 837347203 280506368 64906 4294967295 134512640 134716908 3221224560 3221222760 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68483 64907 1111 63 0 68420 0
vsize: 273932
[startup+650.016 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 7304
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 12449778 0 0 0 40450 24552 0 0 25 0 1 0 837347203 283185152 65471 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69137 65475 1111 63 0 69074 0
vsize: 276548
[startup+660.016 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 7306
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 12637875 0 0 0 41060 24942 0 0 25 0 1 0 837347203 285233152 66056 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69637 66056 1111 63 0 69574 0
vsize: 278548
[startup+670.016 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 12824393 0 0 0 41679 25322 0 0 25 0 1 0 837347203 287268864 66413 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70134 66413 1111 63 0 70071 0
vsize: 280536
[startup+680.017 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 13011038 0 0 0 42290 25712 0 0 25 0 1 0 837347203 289169408 66893 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70598 66893 1111 63 0 70535 0
vsize: 282392
[startup+690.018 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 13197005 0 0 0 42905 26097 0 0 25 0 1 0 837347203 290537472 67367 4294967295 134512640 134716908 3221224560 3221223096 1076647877 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70932 67367 1111 63 0 70869 0
vsize: 283728
[startup+700.019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 13383215 0 0 0 43519 26483 0 0 25 0 1 0 837347203 293105664 67972 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71559 67972 1111 63 0 71496 0
vsize: 286236
[startup+710.019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 13569749 0 0 0 44132 26870 0 0 25 0 1 0 837347203 295006208 68315 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72023 68315 1111 63 0 71960 0
vsize: 288092
[startup+720.019 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 13755770 0 0 0 44742 27260 0 0 25 0 1 0 837347203 296906752 68899 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72487 68899 1111 63 0 72424 0
vsize: 289948
[startup+730.02 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 13942296 0 0 0 45350 27652 0 0 25 0 1 0 837347203 298807296 69275 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72951 69275 1111 63 0 72888 0
vsize: 291804
[startup+740.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 14128804 0 0 0 45956 28046 0 0 25 0 1 0 837347203 300711936 69769 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73416 69769 1111 63 0 73353 0
vsize: 293664
[startup+750.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 14314662 0 0 0 46567 28436 0 0 25 0 1 0 837347203 302485504 70253 4294967295 134512640 134716908 3221224560 3221222864 134568044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73849 70253 1111 63 0 73786 0
vsize: 295396
[startup+760.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 14500597 0 0 0 47171 28832 0 0 25 0 1 0 837347203 304386048 70624 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74313 70624 1111 63 0 74250 0
vsize: 297252
[startup+770.021 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 14686677 0 0 0 47781 29222 0 0 25 0 1 0 837347203 306290688 71186 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74778 71186 1111 63 0 74715 0
vsize: 299112
[startup+780.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 14872626 0 0 0 48395 29608 0 0 25 0 1 0 837347203 308191232 71684 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75242 71684 1111 63 0 75179 0
vsize: 300968
[startup+790.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 15058946 0 0 0 49012 29992 0 0 25 0 1 0 837347203 309956608 72119 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75673 72119 1111 63 0 75610 0
vsize: 302692
[startup+800.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 15245679 0 0 0 49630 30373 0 0 25 0 1 0 837347203 311857152 72545 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76137 72545 1111 63 0 76074 0
vsize: 304548
[startup+810.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 15431962 0 0 0 50239 30765 0 0 25 0 1 0 837347203 313622528 72991 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76568 72991 1111 63 0 76505 0
vsize: 306272
[startup+820.023 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 15618142 0 0 0 50842 31161 0 0 25 0 1 0 837347203 314662912 73300 4294967295 134512640 134716908 3221224560 3221222760 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76822 73300 1111 63 0 76759 0
vsize: 307288
[startup+830.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 15804999 0 0 0 51467 31537 0 0 25 0 1 0 837347203 316424192 73736 4294967295 134512640 134716908 3221224560 3221223220 134568431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77252 73736 1111 63 0 77189 0
vsize: 309008
[startup+840.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 15991684 0 0 0 52088 31916 0 0 25 0 1 0 837347203 318918656 74175 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77861 74175 1111 63 0 77798 0
vsize: 311444
[startup+850.024 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 16177919 0 0 0 52701 32304 0 0 25 0 1 0 837347203 320684032 74720 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78292 74720 1111 63 0 78229 0
vsize: 313168
[startup+860.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 16363894 0 0 0 53309 32695 0 0 25 0 1 0 837347203 322449408 75045 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78723 75045 1111 63 0 78660 0
vsize: 314892
[startup+870.025 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 16550186 0 0 0 53926 33078 0 0 25 0 1 0 837347203 324214784 75563 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79154 75563 1111 63 0 79091 0
vsize: 316616
[startup+880.026 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 16736840 0 0 0 54535 33470 0 0 25 0 1 0 837347203 325844992 75968 4294967295 134512640 134716908 3221224560 3221222864 134568044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79552 75968 1111 63 0 79489 0
vsize: 318208
[startup+890.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 16923123 0 0 0 55155 33850 0 0 25 0 1 0 837347203 327610368 76456 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79983 76456 1111 63 0 79920 0
vsize: 319932
[startup+900.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 17108926 0 0 0 55764 34241 0 0 25 0 1 0 837347203 329240576 76757 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80381 76757 1111 63 0 80318 0
vsize: 321524
[startup+910.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 17295051 0 0 0 56358 34647 0 0 25 0 1 0 837347203 331005952 77136 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80812 77136 1111 63 0 80749 0
vsize: 323248
[startup+920.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 17481342 0 0 0 56980 35025 0 0 25 0 1 0 837347203 332636160 77636 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81210 77636 1111 63 0 81147 0
vsize: 324840
[startup+930.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 17667903 0 0 0 57592 35414 0 0 25 0 1 0 837347203 334401536 78001 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81641 78001 1111 63 0 81578 0
vsize: 326564
[startup+940.027 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7308
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 17854320 0 0 0 58208 35798 0 0 25 0 1 0 837347203 336031744 78390 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82039 78390 1111 63 0 81976 0
vsize: 328156
[startup+950.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 18040791 0 0 0 58817 36188 0 0 25 0 1 0 837347203 337661952 78831 4294967295 134512640 134716908 3221224560 3221222864 134568044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82437 78831 1111 63 0 82374 0
vsize: 329748
[startup+960.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 18227140 0 0 0 59427 36579 0 0 25 0 1 0 837347203 339292160 79352 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82835 79352 1111 63 0 82772 0
vsize: 331340
[startup+970.028 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 18413660 0 0 0 60042 36964 0 0 25 0 1 0 837347203 340922368 79688 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83233 79688 1111 63 0 83170 0
vsize: 332932
[startup+980.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 18600333 0 0 0 60651 37355 0 0 25 0 1 0 837347203 342556672 80022 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83632 80022 1111 63 0 83569 0
vsize: 334528
[startup+990.029 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 18787494 0 0 0 61262 37744 0 0 25 0 1 0 837347203 344186880 80508 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84030 80508 1111 63 0 83967 0
vsize: 336120
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 18973795 0 0 0 61863 38143 0 0 25 0 1 0 837347203 345014272 80763 4294967295 134512640 134716908 3221224560 3221222760 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84232 80763 1111 63 0 84169 0
vsize: 336928
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 19160726 0 0 0 62473 38533 0 0 25 0 1 0 837347203 347439104 81294 4294967295 134512640 134716908 3221224560 3221222864 134568037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84824 81294 1111 63 0 84761 0
vsize: 339296
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 19347868 0 0 0 63084 38923 0 0 25 0 1 0 837347203 349069312 81734 4294967295 134512640 134716908 3221224560 3221222864 134568044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85222 81734 1111 63 0 85159 0
vsize: 340888
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 19533907 0 0 0 63696 39311 0 0 25 0 1 0 837347203 350699520 82159 4294967295 134512640 134716908 3221224560 3221222864 134568044 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85620 82159 1111 63 0 85557 0
vsize: 342480
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 19604054 0 0 0 64542 39465 0 0 25 0 1 0 837347203 438861824 104428 4294967295 134512640 134716908 3221224560 3221223088 134554866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107144 104428 1111 63 0 107081 0
vsize: 428576
[startup+1045.46 s]
Raw data (loadavg): 1.00 0.99 0.93 1/54 7310
Raw data (stat): 7251 (bsolo_lpr-v2) R 7250 8378 8377 0 -1 0 19604054 0 0 0 64542 39465 0 0 25 0 1 0 837347203 438861824 104428 4294967295 134512640 134716908 3221224560 3221223088 134554866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107144 104428 1111 63 0 107081 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1045.46
CPU time (s): 1045.51
CPU user time (s): 647.445
CPU system time (s): 398.06
CPU usage (%): 100.004
Max. virtual memory (Kb): 428576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####