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 24547

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-11 01:17:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2530 boxname=wulflinc31 idbench=282 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 2530
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        879940 kB
Buffers:         33440 kB
Cached:          96008 kB
SwapCached:       1588 kB
Active:          70932 kB
Inactive:        61348 kB
HighTotal:      131008 kB
HighFree:        37604 kB
LowTotal:       903652 kB
LowFree:        842336 kB
SwapTotal:     2097892 kB
SwapFree:      2095268 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           4812 kB
Slab:            16752 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-11 01:35:18 (client local time) WITH STATUS 0 IN 1071.99 SECONDS
stats: 2530 7 1071.99 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
Raw data (loadavg): 0.88 0.93 0.90 2/54 20293
Raw data (stat): 20293 (runsolver) R 20292 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 713860438 1056768 100 4294967295 134512640 135381576 3221221664 3221216884 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.90 0.93 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 22656 0 0 0 941 53 0 0 25 0 1 0 713860438 43053056 7194 4294967295 134512640 134714508 3221221760 3221218380 1077253709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10511 7194 1111 63 0 10448 0
vsize: 42044
[startup+20.0008 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 107706 0 0 0 1781 214 0 0 25 0 1 0 713860438 59981824 11357 4294967295 134512640 134714508 3221221760 3221220504 1076647870 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14644 11357 1111 63 0 14581 0
vsize: 58576
[startup+30.0012 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 325133 0 0 0 2384 611 0 0 25 0 1 0 713860438 70533120 13882 4294967295 134512640 134714508 3221221760 3221220044 1077049373 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17220 13882 1111 63 0 17157 0
vsize: 68880
[startup+40.0021 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 544693 0 0 0 3002 994 0 0 25 0 1 0 713860438 79654912 16094 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19403 16050 1111 63 0 19340 0
vsize: 77788
[startup+50.0026 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 763308 0 0 0 3608 1387 0 0 25 0 1 0 713860438 87535616 18005 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21371 18012 1111 63 0 21308 0
vsize: 85484
[startup+60.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 976937 0 0 0 4213 1783 0 0 25 0 1 0 713860438 94597120 19742 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23095 19747 1111 63 0 23032 0
vsize: 92380
[startup+70.0039 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 1191192 0 0 0 4832 2164 0 0 25 0 1 0 713860438 102047744 21592 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24857 21541 1111 63 0 24794 0
vsize: 99656
[startup+80.0044 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 1399105 0 0 0 5448 2548 0 0 25 0 1 0 713860438 107778048 23021 4294967295 134512640 134714508 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26313 23021 1111 63 0 26250 0
vsize: 105252
[startup+90.0057 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 1608209 0 0 0 6051 2945 0 0 25 0 1 0 713860438 113729536 24420 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27766 24426 1111 63 0 27703 0
vsize: 111064
[startup+100.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 1814186 0 0 0 6654 3342 0 0 25 0 1 0 713860438 119160832 25775 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29092 25780 1111 63 0 29029 0
vsize: 116368
[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 2019314 0 0 0 7265 3732 0 0 25 0 1 0 713860438 125083648 27040 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30538 27045 1111 63 0 30475 0
vsize: 122152
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 2219099 0 0 0 7880 4117 0 0 25 0 1 0 713860438 129548288 28177 4294967295 134512640 134714508 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31628 28178 1111 63 0 31565 0
vsize: 126512
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 2418851 0 0 0 8492 4505 0 0 25 0 1 0 713860438 134463488 29356 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32828 29361 1111 63 0 32765 0
vsize: 131312
[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 2617819 0 0 0 9109 4888 0 0 25 0 1 0 713860438 138944512 30461 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33845 30387 1111 63 0 33782 0
vsize: 135688
[startup+150.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 2816589 0 0 0 9720 5277 0 0 25 0 1 0 713860438 143163392 31499 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34952 31503 1111 63 0 34889 0
vsize: 139808
[startup+160.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 3013173 0 0 0 10327 5670 0 0 25 0 1 0 713860438 147234816 32517 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35864 32439 1111 63 0 35801 0
vsize: 143784
[startup+170.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 3205916 0 0 0 10952 6046 0 0 25 0 1 0 713860438 151171072 33442 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36907 33447 1111 63 0 36844 0
vsize: 147628
[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 3399504 0 0 0 11572 6426 0 0 25 0 1 0 713860438 154980352 34366 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37837 34371 1111 63 0 37774 0
vsize: 151348
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 3592688 0 0 0 12192 6806 0 0 25 0 1 0 713860438 158646272 35253 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38732 35258 1111 63 0 38669 0
vsize: 154928
[startup+200.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 3784011 0 0 0 12802 7196 0 0 25 0 1 0 713860438 162316288 36141 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39628 36146 1111 63 0 39565 0
vsize: 158512
[startup+210.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 3975550 0 0 0 13420 7578 0 0 25 0 1 0 713860438 165851136 37030 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40491 37035 1111 63 0 40428 0
vsize: 161964
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 4166187 0 0 0 14042 7957 0 0 25 0 1 0 713860438 168865792 37836 4294967295 134512640 134714508 3221221760 3221218520 1077404183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41322 37839 1111 63 0 41259 0
vsize: 164908
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 4356668 0 0 0 14654 8345 0 0 25 0 1 0 713860438 172650496 38750 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42151 38754 1111 63 0 42088 0
vsize: 168604
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 4546195 0 0 0 15280 8719 0 0 25 0 1 0 713860438 175910912 39535 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42947 39539 1111 63 0 42884 0
vsize: 171788
[startup+250.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 4734664 0 0 0 15899 9101 0 0 25 0 1 0 713860438 179167232 40268 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43742 40272 1111 63 0 43679 0
vsize: 174968
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 4922776 0 0 0 16516 9483 0 0 25 0 1 0 713860438 182292480 41110 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44505 41114 1111 63 0 44442 0
vsize: 178020
[startup+270.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 5110358 0 0 0 17145 9855 0 0 25 0 1 0 713860438 184860672 41766 4294967295 134512640 134714508 3221221760 3221220084 1077314255 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45236 41770 1111 63 0 45173 0
vsize: 180528
[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 5298218 0 0 0 17768 10232 0 0 25 0 1 0 713860438 187846656 42512 4294967295 134512640 134714508 3221221760 3221220324 1076647544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45861 42512 1111 63 0 45798 0
vsize: 183444
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 5485478 0 0 0 18387 10613 0 0 25 0 1 0 713860438 192512000 43654 4294967295 134512640 134714508 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47000 43654 1111 63 0 46937 0
vsize: 188000
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 5671040 0 0 0 19013 10988 0 0 25 0 1 0 713860438 195805184 44446 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47804 44451 1111 63 0 47741 0
vsize: 191216
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 5858204 0 0 0 19634 11367 0 0 25 0 1 0 713860438 198795264 45111 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48534 45115 1111 63 0 48471 0
vsize: 194136
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 6043401 0 0 0 20249 11752 0 0 25 0 1 0 713860438 201506816 45833 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49196 45837 1111 63 0 49133 0
vsize: 196784
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 6228891 0 0 0 20879 12122 0 0 25 0 1 0 713860438 204226560 46471 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49860 46475 1111 63 0 49797 0
vsize: 199440
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 6414005 0 0 0 21506 12494 0 0 25 0 1 0 713860438 206946304 47194 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50524 47199 1111 63 0 50461 0
vsize: 202096
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 6598107 0 0 0 22133 12868 0 0 25 0 1 0 713860438 209657856 47780 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51186 47784 1111 63 0 51123 0
vsize: 204744
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 6783459 0 0 0 22758 13243 0 0 25 0 1 0 713860438 212242432 48434 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51817 48438 1111 63 0 51754 0
vsize: 207268
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 6967210 0 0 0 23386 13616 0 0 25 0 1 0 713860438 214818816 49017 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52446 49022 1111 63 0 52383 0
vsize: 209784
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 7150945 0 0 0 24012 13989 0 0 25 0 1 0 713860438 217407488 49746 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53078 49751 1111 63 0 53015 0
vsize: 212312
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 7335904 0 0 0 24638 14364 0 0 25 0 1 0 713860438 219480064 50277 4294967295 134512640 134714508 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 53584 50277 1111 63 0 53521 0
vsize: 214336
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 7519379 0 0 0 25266 14736 0 0 25 0 1 0 713860438 222437376 50922 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54306 50927 1111 63 0 54243 0
vsize: 217224
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 7703524 0 0 0 25887 15115 0 0 25 0 1 0 713860438 224878592 51495 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54902 51499 1111 63 0 54839 0
vsize: 219608
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 7887824 0 0 0 26503 15499 0 0 25 0 1 0 713860438 226934784 52095 4294967295 134512640 134714508 3221221760 3221220040 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55531 52099 1111 63 0 55468 0
vsize: 221616
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 8072246 0 0 0 27124 15879 0 0 25 0 1 0 713860438 231305216 52735 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56471 52739 1111 63 0 56408 0
vsize: 225884
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 8255439 0 0 0 27751 16252 0 0 25 0 1 0 713860438 233746432 53394 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57067 53398 1111 63 0 57004 0
vsize: 228268
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 8439579 0 0 0 28369 16633 0 0 25 0 1 0 713860438 236195840 53990 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57665 53994 1111 63 0 57602 0
vsize: 230660
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 8623119 0 0 0 28994 17009 0 0 25 0 1 0 713860438 238501888 54482 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58228 54486 1111 63 0 58165 0
vsize: 232912
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 8806797 0 0 0 29617 17386 0 0 25 0 1 0 713860438 240947200 55110 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58825 55115 1111 63 0 58762 0
vsize: 235300
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 8990155 0 0 0 30242 17761 0 0 25 0 1 0 713860438 243261440 55710 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59390 55715 1111 63 0 59327 0
vsize: 237560
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 9173648 0 0 0 30874 18129 0 0 25 0 1 0 713860438 245567488 56221 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59953 56225 1111 63 0 59890 0
vsize: 239812
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 9357316 0 0 0 31496 18507 0 0 25 0 1 0 713860438 247873536 56763 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60516 56767 1111 63 0 60453 0
vsize: 242064
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 9541405 0 0 0 32122 18881 0 0 25 0 1 0 713860438 250179584 57337 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61079 57341 1111 63 0 61016 0
vsize: 244316
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 9724275 0 0 0 32744 19260 0 0 25 0 1 0 713860438 252362752 57956 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61612 57961 1111 63 0 61549 0
vsize: 246448
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 9907485 0 0 0 33368 19636 0 0 25 0 1 0 713860438 254672896 58532 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62176 58536 1111 63 0 62113 0
vsize: 248704
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 10090582 0 0 0 34002 20002 0 0 25 0 1 0 713860438 256843776 59007 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62706 59012 1111 63 0 62643 0
vsize: 250824
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 10274038 0 0 0 34625 20380 0 0 25 0 1 0 713860438 258289664 59453 4294967295 134512640 134714508 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63059 59453 1111 63 0 62996 0
vsize: 252236
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 10457111 0 0 0 35254 20750 0 0 25 0 1 0 713860438 261058560 59980 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63735 59985 1111 63 0 63672 0
vsize: 254940
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 10639972 0 0 0 35877 21128 0 0 25 0 1 0 713860438 263094272 60514 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64232 60518 1111 63 0 64169 0
vsize: 256928
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 10822788 0 0 0 36500 21505 0 0 25 0 1 0 713860438 265265152 61014 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64762 61019 1111 63 0 64699 0
vsize: 259048
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 11005568 0 0 0 37132 21874 0 0 25 0 1 0 713860438 267300864 61519 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65259 61524 1111 63 0 65196 0
vsize: 261036
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 11188814 0 0 0 37753 22253 0 0 25 0 1 0 713860438 269344768 62110 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65758 62114 1111 63 0 65695 0
vsize: 263032
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 11370926 0 0 0 38380 22626 0 0 25 0 1 0 713860438 271515648 62542 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66288 62546 1111 63 0 66225 0
vsize: 265152
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 11553969 0 0 0 38997 23009 0 0 25 0 1 0 713860438 273416192 63136 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66752 63141 1111 63 0 66689 0
vsize: 267008
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 11737349 0 0 0 39618 23388 0 0 25 0 1 0 713860438 275451904 63618 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67249 63623 1111 63 0 67186 0
vsize: 268996
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 11919599 0 0 0 40241 23765 0 0 25 0 1 0 713860438 277487616 64090 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67746 64095 1111 63 0 67683 0
vsize: 270984
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 12102324 0 0 0 40867 24139 0 0 25 0 1 0 713860438 278749184 64489 4294967295 134512640 134714508 3221221760 3221220168 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68210 64492 1111 63 0 68147 0
vsize: 272216
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 12285544 0 0 0 41491 24515 0 0 25 0 1 0 713860438 281423872 65007 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 68707 65011 1111 63 0 68644 0
vsize: 274828
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 12468179 0 0 0 42121 24886 0 0 25 0 1 0 713860438 283467776 65622 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69047 65463 1111 63 0 68984 0
vsize: 276824
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 12651141 0 0 0 42753 25254 0 0 25 0 1 0 713860438 285372416 66022 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69671 66026 1111 63 0 69608 0
vsize: 278684
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 12833766 0 0 0 43380 25627 0 0 25 0 1 0 713860438 287408128 66425 4294967295 134512640 134714508 3221221760 3221219804 1077387418 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70168 66430 1111 63 0 70105 0
vsize: 280672
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 13016159 0 0 0 43998 26009 0 0 25 0 1 0 713860438 289308672 66966 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 70632 66970 1111 63 0 70569 0
vsize: 282528
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 13198735 0 0 0 44619 26389 0 0 25 0 1 0 713860438 291209216 67438 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71096 67442 1111 63 0 71033 0
vsize: 284384
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 13381439 0 0 0 45245 26763 0 0 25 0 1 0 713860438 293113856 67968 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 71561 67972 1111 63 0 71498 0
vsize: 286244
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 13564199 0 0 0 45864 27144 0 0 25 0 1 0 713860438 295014400 68340 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72025 68345 1111 63 0 71962 0
vsize: 288100
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 13746661 0 0 0 46475 27533 0 0 25 0 1 0 713860438 296783872 68882 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72457 68886 1111 63 0 72394 0
vsize: 289828
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 13929232 0 0 0 47094 27914 0 0 25 0 1 0 713860438 298684416 69363 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 72754 69196 1111 63 0 72691 0
vsize: 291684
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 14111967 0 0 0 47717 28292 0 0 25 0 1 0 713860438 300449792 69688 4294967295 134512640 134714508 3221221760 3221220064 134568044 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73352 69692 1111 63 0 73289 0
vsize: 293408
[startup+770.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 14294973 0 0 0 48334 28674 0 0 25 0 1 0 713860438 302350336 70148 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 73816 70152 1111 63 0 73753 0
vsize: 295264
[startup+780.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 14477036 0 0 0 48954 29055 0 0 25 0 1 0 713860438 304115712 70567 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74247 70571 1111 63 0 74184 0
vsize: 296988
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 14659085 0 0 0 49582 29427 0 0 25 0 1 0 713860438 306024448 71055 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 74713 71059 1111 63 0 74650 0
vsize: 298852
[startup+800.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 14841960 0 0 0 50202 29807 0 0 25 0 1 0 713860438 307924992 71580 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75177 71584 1111 63 0 75114 0
vsize: 300708
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 15024957 0 0 0 50823 30186 0 0 25 0 1 0 713860438 309690368 71998 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 75608 72002 1111 63 0 75545 0
vsize: 302432
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 15207690 0 0 0 51444 30565 0 0 25 0 1 0 713860438 311455744 72466 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76039 72471 1111 63 0 75976 0
vsize: 304156
[startup+830.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 15390639 0 0 0 52065 30945 0 0 25 0 1 0 713860438 313221120 72784 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76470 72788 1111 63 0 76407 0
vsize: 305880
[startup+840.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 15573877 0 0 0 52681 31329 0 0 25 0 1 0 713860438 314986496 73214 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 76901 73218 1111 63 0 76838 0
vsize: 307604
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 15756696 0 0 0 53307 31704 0 0 25 0 1 0 713860438 316751872 73775 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77332 73779 1111 63 0 77269 0
vsize: 309328
[startup+860.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 15939368 0 0 0 53929 32081 0 0 25 0 1 0 713860438 317648896 74050 4294967295 134512640 134714508 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 77551 74050 1111 63 0 77488 0
vsize: 310204
[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 16122166 0 0 0 54560 32451 0 0 25 0 1 0 713860438 320147456 74507 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78161 74511 1111 63 0 78098 0
vsize: 312644
[startup+880.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 16305257 0 0 0 55186 32825 0 0 25 0 1 0 713860438 321912832 74969 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78592 74974 1111 63 0 78529 0
vsize: 314368
[startup+890.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 16488144 0 0 0 55806 33205 0 0 25 0 1 0 713860438 322797568 75315 4294967295 134512640 134714508 3221221760 3221219960 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 78808 75315 1111 63 0 78745 0
vsize: 315232
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 16671180 0 0 0 56432 33579 0 0 25 0 1 0 713860438 325308416 75733 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79421 75737 1111 63 0 79358 0
vsize: 317684
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 16854549 0 0 0 57054 33957 0 0 25 0 1 0 713860438 326938624 76238 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 79819 76242 1111 63 0 79756 0
vsize: 319276
[startup+920.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 17037715 0 0 0 57671 34341 0 0 25 0 1 0 713860438 328568832 76676 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80217 76681 1111 63 0 80154 0
vsize: 320868
[startup+930.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 17221020 0 0 0 58283 34729 0 0 25 0 1 0 713860438 330326016 77016 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 80646 77020 1111 63 0 80583 0
vsize: 322584
[startup+940.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 17403858 0 0 0 58909 35102 0 0 25 0 1 0 713860438 331956224 77407 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81044 77412 1111 63 0 80981 0
vsize: 324176
[startup+950.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 17585639 0 0 0 59528 35484 0 0 25 0 1 0 713860438 333586432 77860 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81442 77864 1111 63 0 81379 0
vsize: 325768
[startup+960.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 17768587 0 0 0 60144 35868 0 0 25 0 1 0 713860438 335216640 78188 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 81840 78193 1111 63 0 81777 0
vsize: 327360
[startup+970.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 17951574 0 0 0 60768 36244 0 0 25 0 1 0 713860438 336982016 78769 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82082 78584 1111 63 0 82019 0
vsize: 329084
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 18134858 0 0 0 61387 36626 0 0 25 0 1 0 713860438 338477056 79118 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 82636 79123 1111 63 0 82573 0
vsize: 330544
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 18317972 0 0 0 62004 37009 0 0 25 0 1 0 713860438 340107264 79537 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83034 79541 1111 63 0 82971 0
vsize: 332136
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 18500914 0 0 0 62627 37386 0 0 25 0 1 0 713860438 341737472 79850 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83432 79854 1111 63 0 83369 0
vsize: 333728
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 18684345 0 0 0 63246 37767 0 0 25 0 1 0 713860438 342581248 80153 4294967295 134512640 134714508 3221221760 3221220040 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 83831 80157 1111 63 0 83768 0
vsize: 334552
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 18867601 0 0 0 63864 38149 0 0 25 0 1 0 713860438 344866816 80565 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84196 80569 1111 63 0 84133 0
vsize: 336784
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 19050958 0 0 0 64482 38531 0 0 25 0 1 0 713860438 346497024 80991 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84594 80995 1111 63 0 84531 0
vsize: 338376
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 19233999 0 0 0 65099 38915 0 0 25 0 1 0 713860438 348127232 81417 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 84992 81421 1111 63 0 84929 0
vsize: 339968
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 19417292 0 0 0 65724 39289 0 0 25 0 1 0 713860438 349757440 81840 4294967295 134512640 134714508 3221221760 3221220064 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 85390 81845 1111 63 0 85327 0
vsize: 341560
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 19581912 0 0 0 66386 39627 0 0 25 0 1 0 713860438 353144832 82748 4294967295 134512640 134714508 3221221760 3221218220 1077359223 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 86217 82748 1111 63 0 86154 0
vsize: 344868
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 19698097 0 0 0 67115 39899 0 0 25 0 1 0 713860438 825847808 198931 4294967295 134512640 134714508 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 201623 198936 1111 63 0 201560 0
vsize: 806492
[startup+1071.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 20293
Raw data (stat): 20293 (bsolo_lpr) R 20292 7876 7672 0 -1 0 19698097 0 0 0 67115 39899 0 0 25 0 1 0 713860438 825847808 198931 4294967295 134512640 134714508 3221221760 3221220400 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 201623 198936 1111 63 0 201560 0
vsize: 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1071.91
CPU time (s): 1071.99
CPU user time (s): 671.772
CPU system time (s): 400.215
CPU usage (%): 100.008
Max. virtual memory (Kb): 806492
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####