PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-ssa7552-159.opb
MD5SUM	b7b224de1898888de830ec05fbd5ea69
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1327
Optimality of the best value was proved	NO
Number of terms in the objective function	2726
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2726
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2726
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07284
Number of variables	2726
Total number of constraints	4395
Number of constraints which are clauses	4395
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	5
Trace number 24282

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-09 10:46:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2053 boxname=wulflinc31 idbench=229 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b7b224de1898888de830ec05fbd5ea69  /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-159.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ssa7552-159.opb
IDLAUNCH: 2053
/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:        139084 kB
Buffers:         43968 kB
Cached:         817084 kB
SwapCached:        644 kB
Active:         490360 kB
Inactive:       373012 kB
HighTotal:      131008 kB
HighFree:         1400 kB
LowTotal:       903652 kB
LowFree:        137684 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             224 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26532 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-09 11:06:03 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 2053 7 1200.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2726 variables and 4395 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.92 0.98 0.99 2/54 27437
Raw data (stat): 27437 (runsolver) R 27436 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 699990333 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 47654 0 0 0 883 112 0 0 25 0 1 0 699990333 17530880 3421 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4280 3421 1111 63 0 4217 0
vsize: 17120
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 71669 0 0 0 1824 172 0 0 25 0 1 0 699990333 28762112 6152 4294967295 134512640 134714508 3221221792 3221220416 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7022 6152 1111 63 0 6959 0
vsize: 28088
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 92557 0 0 0 2771 224 0 0 25 0 1 0 699990333 32968704 7206 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8049 7206 1111 63 0 7986 0
vsize: 32196
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 103604 0 0 0 3745 251 0 0 25 0 1 0 699990333 38023168 8408 4294967295 134512640 134714508 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9283 8408 1111 63 0 9220 0
vsize: 37132
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 113118 0 0 0 4722 274 0 0 25 0 1 0 699990333 42749952 9562 4294967295 134512640 134714508 3221221792 3221220264 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10437 9562 1111 63 0 10374 0
vsize: 41748
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 121564 0 0 0 5704 292 0 0 25 0 1 0 699990333 45838336 10343 4294967295 134512640 134714508 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11191 10343 1111 63 0 11128 0
vsize: 44764
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 126994 0 0 0 6691 306 0 0 25 0 1 0 699990333 47693824 10801 4294967295 134512640 134714508 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11644 10801 1111 63 0 11581 0
vsize: 46576
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 132128 0 0 0 7679 317 0 0 25 0 1 0 699990333 51572736 11719 4294967295 134512640 134714508 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12591 11719 1111 63 0 12528 0
vsize: 50364
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 135358 0 0 0 8673 324 0 0 25 0 1 0 699990333 53186560 12142 4294967295 134512640 134714508 3221221792 3221220272 134524108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12985 12142 1111 63 0 12922 0
vsize: 51940
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 138600 0 0 0 9667 330 0 0 25 0 1 0 699990333 56569856 12965 4294967295 134512640 134714508 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13811 12965 1111 63 0 13748 0
vsize: 55244
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 141578 0 0 0 10660 337 0 0 25 0 1 0 699990333 59281408 13600 4294967295 134512640 134714508 3221221792 3221220256 134539448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14473 13600 1111 63 0 14410 0
vsize: 57892
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 161141 0 0 0 11615 383 0 0 25 0 1 0 699990333 60948480 14037 4294967295 134512640 134714508 3221221792 3221220176 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14880 14037 1111 63 0 14817 0
vsize: 59520
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 162628 0 0 0 12611 386 0 0 25 0 1 0 699990333 61370368 14132 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14983 14132 1111 63 0 14920 0
vsize: 59932
[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 163777 0 0 0 13608 389 0 0 25 0 1 0 699990333 62660608 14450 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15298 14450 1111 63 0 15235 0
vsize: 61192
[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 169421 0 0 0 14596 402 0 0 25 0 1 0 699990333 64221184 14812 4294967295 134512640 134714508 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15679 14812 1111 63 0 15616 0
vsize: 62716
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 173807 0 0 0 15586 412 0 0 25 0 1 0 699990333 65179648 15046 4294967295 134512640 134714508 3221221792 3221220124 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15913 15046 1111 63 0 15850 0
vsize: 63652
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 176584 0 0 0 16579 419 0 0 25 0 1 0 699990333 67948544 15699 4294967295 134512640 134714508 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16589 15699 1111 63 0 16526 0
vsize: 66356
[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 180669 0 0 0 17570 429 0 0 25 0 1 0 699990333 69734400 16148 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17025 16148 1111 63 0 16962 0
vsize: 68100
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 183044 0 0 0 18564 434 0 0 25 0 1 0 699990333 71204864 16505 4294967295 134512640 134714508 3221221792 3221220236 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17384 16505 1111 63 0 17321 0
vsize: 69536
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 186206 0 0 0 19557 442 0 0 25 0 1 0 699990333 72761344 16884 4294967295 134512640 134714508 3221221792 3221220404 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17764 16884 1111 63 0 17701 0
vsize: 71056
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 187675 0 0 0 20554 445 0 0 25 0 1 0 699990333 74219520 17232 4294967295 134512640 134714508 3221221792 3221220544 134630822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18120 17232 1111 63 0 18057 0
vsize: 72480
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 189934 0 0 0 21548 451 0 0 25 0 1 0 699990333 74297344 17250 4294967295 134512640 134714508 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18139 17250 1111 63 0 18076 0
vsize: 72556
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 192904 0 0 0 22541 458 0 0 25 0 1 0 699990333 75546624 17551 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18444 17558 1111 63 0 18381 0
vsize: 73776
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 197172 0 0 0 23532 467 0 0 25 0 1 0 699990333 77991936 18178 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19041 18178 1111 63 0 18978 0
vsize: 76164
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 199800 0 0 0 24526 474 0 0 25 0 1 0 699990333 78807040 18365 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19240 18365 1111 63 0 19177 0
vsize: 76960
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 201021 0 0 0 25524 476 0 0 25 0 1 0 699990333 80314368 18721 4294967295 134512640 134714508 3221221792 3221220416 134529232 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19608 18721 1111 63 0 19545 0
vsize: 78432
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 202204 0 0 0 26521 479 0 0 25 0 1 0 699990333 80027648 18677 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19538 18677 1111 63 0 19475 0
vsize: 78152
[startup+280.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 205507 0 0 0 27516 485 0 0 25 0 1 0 699990333 81346560 18970 4294967295 134512640 134714508 3221221792 3221220320 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19860 18970 1111 63 0 19797 0
vsize: 79440
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 209106 0 0 0 28507 494 0 0 25 0 1 0 699990333 83697664 19550 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20434 19550 1111 63 0 20371 0
vsize: 81736
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 210183 0 0 0 29505 496 0 0 25 0 1 0 699990333 84688896 19790 4294967295 134512640 134714508 3221221792 3221220272 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20676 19790 1111 63 0 20613 0
vsize: 82704
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 214323 0 0 0 30495 506 0 0 25 0 1 0 699990333 84967424 19884 4294967295 134512640 134714508 3221221792 3221220200 134543638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20744 19884 1111 63 0 20681 0
vsize: 82976
[startup+320.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 218190 0 0 0 31486 515 0 0 25 0 1 0 699990333 85344256 19977 4294967295 134512640 134714508 3221221792 3221220320 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20836 19977 1111 63 0 20773 0
vsize: 83344
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 220583 0 0 0 32481 520 0 0 25 0 1 0 699990333 88383488 20700 4294967295 134512640 134714508 3221221792 3221220592 134617639 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21578 20700 1111 63 0 21515 0
vsize: 86312
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 224314 0 0 0 33472 529 0 0 25 0 1 0 699990333 89300992 20933 4294967295 134512640 134714508 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21802 20933 1111 63 0 21739 0
vsize: 87208
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 225371 0 0 0 34470 532 0 0 25 0 1 0 699990333 90255360 21159 4294967295 134512640 134714508 3221221792 3221220552 134630845 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22035 21159 1111 63 0 21972 0
vsize: 88140
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 226541 0 0 0 35467 534 0 0 25 0 1 0 699990333 90075136 21133 4294967295 134512640 134714508 3221221792 3221220208 134543707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21991 21133 1111 63 0 21928 0
vsize: 87964
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 227868 0 0 0 36465 537 0 0 25 0 1 0 699990333 90927104 21341 4294967295 134512640 134714508 3221221792 3221220304 134528712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22199 21341 1111 63 0 22136 0
vsize: 88796
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 229771 0 0 0 37461 541 0 0 25 0 1 0 699990333 92979200 21822 4294967295 134512640 134714508 3221221792 3221220272 134539516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22700 21822 1111 63 0 22637 0
vsize: 90800
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 230843 0 0 0 38459 544 0 0 25 0 1 0 699990333 93863936 22040 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22916 22040 1111 63 0 22853 0
vsize: 91664
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 231666 0 0 0 39457 545 0 0 25 0 1 0 699990333 93978624 22087 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22944 22087 1111 63 0 22881 0
vsize: 91776
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 233108 0 0 0 40454 549 0 0 25 0 1 0 699990333 95342592 22405 4294967295 134512640 134714508 3221221792 3221220256 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23277 22405 1111 63 0 23214 0
vsize: 93108
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 241847 0 0 0 41433 570 0 0 25 0 1 0 699990333 95739904 22518 4294967295 134512640 134714508 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23374 22518 1111 63 0 23311 0
vsize: 93496
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 243079 0 0 0 42430 573 0 0 25 0 1 0 699990333 95899648 22557 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23413 22557 1111 63 0 23350 0
vsize: 93652
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 244869 0 0 0 43427 576 0 0 25 0 1 0 699990333 98029568 23057 4294967295 134512640 134714508 3221221792 3221220416 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23933 23057 1111 63 0 23870 0
vsize: 95732
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 246658 0 0 0 44423 581 0 0 25 0 1 0 699990333 98676736 23209 4294967295 134512640 134714508 3221221792 3221220320 134543693 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24091 23209 1111 63 0 24028 0
vsize: 96364
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 250372 0 0 0 45415 589 0 0 25 0 1 0 699990333 98369536 23162 4294967295 134512640 134714508 3221221792 3221220208 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24016 23162 1111 63 0 23953 0
vsize: 96064
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 253045 0 0 0 46409 595 0 0 25 0 1 0 699990333 100012032 23555 4294967295 134512640 134714508 3221221792 3221220184 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24417 23555 1111 63 0 24354 0
vsize: 97668
[startup+480.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 253804 0 0 0 47407 597 0 0 25 0 1 0 699990333 100864000 23757 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24625 23757 1111 63 0 24562 0
vsize: 98500
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 254936 0 0 0 48404 600 0 0 25 0 1 0 699990333 101720064 23951 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24834 23951 1111 63 0 24771 0
vsize: 99336
[startup+500.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 259630 0 0 0 49393 611 0 0 25 0 1 0 699990333 102281216 24112 4294967295 134512640 134714508 3221221792 3221220520 134672906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24971 24112 1111 63 0 24908 0
vsize: 99884
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 260534 0 0 0 50391 614 0 0 25 0 1 0 699990333 103178240 24304 4294967295 134512640 134714508 3221221792 3221220536 134630805 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25190 24304 1111 63 0 25127 0
vsize: 100760
[startup+520.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 261227 0 0 0 51390 615 0 0 25 0 1 0 699990333 102612992 24199 4294967295 134512640 134714508 3221221792 3221220272 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25052 24199 1111 63 0 24989 0
vsize: 100208
[startup+530.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 266822 0 0 0 52376 629 0 0 25 0 1 0 699990333 104501248 24649 4294967295 134512640 134714508 3221221792 3221220192 134542753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25513 24649 1111 63 0 25450 0
vsize: 102052
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 267046 0 0 0 53376 629 0 0 25 0 1 0 699990333 105066496 24772 4294967295 134512640 134714508 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25651 24772 1111 63 0 25588 0
vsize: 102604
[startup+550.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 267808 0 0 0 54374 631 0 0 25 0 1 0 699990333 105594880 24914 4294967295 134512640 134714508 3221221792 3221220272 134539390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25780 24914 1111 63 0 25717 0
vsize: 103120
[startup+560.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 268631 0 0 0 55373 633 0 0 25 0 1 0 699990333 106303488 25096 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25953 25096 1111 63 0 25890 0
vsize: 103812
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 277651 0 0 0 56354 652 0 0 25 0 1 0 699990333 107483136 25389 4294967295 134512640 134714508 3221221792 3221220320 134528721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26241 25389 1111 63 0 26178 0
vsize: 104964
[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 277995 0 0 0 57353 653 0 0 25 0 1 0 699990333 108044288 25508 4294967295 134512640 134714508 3221221792 3221220412 134543835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26378 25508 1111 63 0 26315 0
vsize: 105512
[startup+590.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 278386 0 0 0 58352 654 0 0 25 0 1 0 699990333 108822528 25686 4294967295 134512640 134714508 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26568 25686 1111 63 0 26505 0
vsize: 106272
[startup+600.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 279074 0 0 0 59351 655 0 0 25 0 1 0 699990333 108253184 25578 4294967295 134512640 134714508 3221221792 3221220200 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26429 25578 1111 63 0 26366 0
vsize: 105716
[startup+610.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 280528 0 0 0 60348 658 0 0 25 0 1 0 699990333 109776896 25931 4294967295 134512640 134714508 3221221792 3221220272 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26801 25931 1111 63 0 26738 0
vsize: 107204
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 285488 0 0 0 61338 669 0 0 25 0 1 0 699990333 110485504 26107 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26974 26107 1111 63 0 26911 0
vsize: 107896
[startup+630.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 286220 0 0 0 62336 671 0 0 25 0 1 0 699990333 110108672 26031 4294967295 134512640 134714508 3221221792 3221220272 134524119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26882 26031 1111 63 0 26819 0
vsize: 107528
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 287527 0 0 0 63334 673 0 0 25 0 1 0 699990333 111472640 26345 4294967295 134512640 134714508 3221221792 3221220412 134543776 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27215 26345 1111 63 0 27152 0
vsize: 108860
[startup+650.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 288596 0 0 0 64332 675 0 0 25 0 1 0 699990333 110792704 26198 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27049 26198 1111 63 0 26986 0
vsize: 108196
[startup+660.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 291339 0 0 0 65326 681 0 0 25 0 1 0 699990333 112578560 26633 4294967295 134512640 134714508 3221221792 3221220592 134617622 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27485 26633 1111 63 0 27422 0
vsize: 109940
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 294926 0 0 0 66319 689 0 0 25 0 1 0 699990333 113074176 26754 4294967295 134512640 134714508 3221221792 3221220356 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27606 26754 1111 63 0 27543 0
vsize: 110424
[startup+680.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 295700 0 0 0 67317 691 0 0 25 0 1 0 699990333 112721920 26670 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27520 26670 1111 63 0 27457 0
vsize: 110080
[startup+690.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 297007 0 0 0 68314 694 0 0 25 0 1 0 699990333 114069504 26980 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27849 26980 1111 63 0 27786 0
vsize: 111396
[startup+700.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 299297 0 0 0 69309 699 0 0 25 0 1 0 699990333 114118656 27011 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27861 27011 1111 63 0 27798 0
vsize: 111444
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 300898 0 0 0 70305 703 0 0 25 0 1 0 699990333 114118656 27011 4294967295 134512640 134714508 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27861 27011 1111 63 0 27798 0
vsize: 111444
[startup+720.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 304641 0 0 0 71296 712 0 0 25 0 1 0 699990333 115654656 27371 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28236 27371 1111 63 0 28173 0
vsize: 112944
[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 307650 0 0 0 72290 718 0 0 25 0 1 0 699990333 116117504 27482 4294967295 134512640 134714508 3221221792 3221220368 134523971 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28349 27482 1111 63 0 28286 0
vsize: 113396
[startup+740.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 308154 0 0 0 73289 720 0 0 25 0 1 0 699990333 115752960 27411 4294967295 134512640 134714508 3221221792 3221220320 134528656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28260 27411 1111 63 0 28197 0
vsize: 113040
[startup+750.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 310468 0 0 0 74284 725 0 0 25 0 1 0 699990333 117026816 27696 4294967295 134512640 134714508 3221221792 3221220520 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28571 27696 1111 63 0 28508 0
vsize: 114284
[startup+760.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 310702 0 0 0 75284 725 0 0 25 0 1 0 699990333 117444608 27800 4294967295 134512640 134714508 3221221792 3221220296 134543617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28673 27800 1111 63 0 28610 0
vsize: 114692
[startup+770.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 311322 0 0 0 76282 727 0 0 25 0 1 0 699990333 117870592 27902 4294967295 134512640 134714508 3221221792 3221220416 134529259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28777 27902 1111 63 0 28714 0
vsize: 115108
[startup+780.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 314628 0 0 0 77275 734 0 0 25 0 1 0 699990333 117182464 27738 4294967295 134512640 134714508 3221221792 3221220212 134543734 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28609 27738 1111 63 0 28546 0
vsize: 114436
[startup+790.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 317206 0 0 0 78269 740 0 0 25 0 1 0 699990333 118710272 28134 4294967295 134512640 134714508 3221221792 3221220156 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28982 28134 1111 63 0 28919 0
vsize: 115928
[startup+800.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 317377 0 0 0 79269 741 0 0 25 0 1 0 699990333 118710272 28134 4294967295 134512640 134714508 3221221792 3221220176 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28982 28134 1111 63 0 28919 0
vsize: 115928
[startup+810.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 319421 0 0 0 80264 746 0 0 25 0 1 0 699990333 119705600 28357 4294967295 134512640 134714508 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29225 28357 1111 63 0 29162 0
vsize: 116900
[startup+820.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 320617 0 0 0 81262 748 0 0 25 0 1 0 699990333 119988224 28415 4294967295 134512640 134714508 3221221792 3221220348 134542828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29294 28415 1111 63 0 29231 0
vsize: 117176
[startup+830.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 322911 0 0 0 82256 754 0 0 25 0 1 0 699990333 120348672 28519 4294967295 134512640 134714508 3221221792 3221220408 134543796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29382 28519 1111 63 0 29319 0
vsize: 117528
[startup+840.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 323493 0 0 0 83255 756 0 0 25 0 1 0 699990333 120635392 28575 4294967295 134512640 134714508 3221221792 3221220396 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29452 28575 1111 63 0 29389 0
vsize: 117808
[startup+850.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 326628 0 0 0 84248 762 0 0 25 0 1 0 699990333 121085952 28683 4294967295 134512640 134714508 3221221792 3221220296 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29562 28683 1111 63 0 29499 0
vsize: 118248
[startup+860.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 333300 0 0 0 85232 779 0 0 25 0 1 0 699990333 122056704 28948 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29799 28948 1111 63 0 29736 0
vsize: 119196
[startup+870.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 333554 0 0 0 86232 779 0 0 25 0 1 0 699990333 122388480 29025 4294967295 134512640 134714508 3221221792 3221220272 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29880 29025 1111 63 0 29817 0
vsize: 119520
[startup+880.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 334069 0 0 0 87231 780 0 0 25 0 1 0 699990333 122814464 29119 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29984 29119 1111 63 0 29921 0
vsize: 119936
[startup+890.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 334954 0 0 0 88229 782 0 0 25 0 1 0 699990333 123240448 29210 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30088 29210 1111 63 0 30025 0
vsize: 120352
[startup+900.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 335991 0 0 0 89227 784 0 0 25 0 1 0 699990333 123539456 29304 4294967295 134512640 134714508 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30161 29304 1111 63 0 30098 0
vsize: 120644
[startup+910.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 337146 0 0 0 90225 787 0 0 25 0 1 0 699990333 123924480 29393 4294967295 134512640 134714508 3221221792 3221220304 134542936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30255 29393 1111 63 0 30192 0
vsize: 121020
[startup+920.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 337539 0 0 0 91224 788 0 0 25 0 1 0 699990333 124305408 29483 4294967295 134512640 134714508 3221221792 3221220400 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30348 29483 1111 63 0 30285 0
vsize: 121392
[startup+930.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 337868 0 0 0 92223 789 0 0 25 0 1 0 699990333 124727296 29573 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30451 29573 1111 63 0 30388 0
vsize: 121804
[startup+940.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 338289 0 0 0 93223 789 0 0 25 0 1 0 699990333 124997632 29662 4294967295 134512640 134714508 3221221792 3221220368 134523971 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30517 29662 1111 63 0 30454 0
vsize: 122068
[startup+950.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 339050 0 0 0 94221 792 0 0 25 0 1 0 699990333 125415424 29747 4294967295 134512640 134714508 3221221792 3221220408 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30619 29747 1111 63 0 30556 0
vsize: 122476
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 340147 0 0 0 95218 794 0 0 25 0 1 0 699990333 125734912 29833 4294967295 134512640 134714508 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30697 29833 1111 63 0 30634 0
vsize: 122788
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 341387 0 0 0 96216 797 0 0 25 0 1 0 699990333 126058496 29918 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30776 29918 1111 63 0 30713 0
vsize: 123104
[startup+980.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 342334 0 0 0 97214 799 0 0 25 0 1 0 699990333 125153280 29710 4294967295 134512640 134714508 3221221792 3221220308 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30555 29710 1111 63 0 30492 0
vsize: 122220
[startup+990.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 343573 0 0 0 98211 801 0 0 25 0 1 0 699990333 125493248 29793 4294967295 134512640 134714508 3221221792 3221220172 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30638 29793 1111 63 0 30575 0
vsize: 122552
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 345390 0 0 0 99208 805 0 0 25 0 1 0 699990333 126939136 30146 4294967295 134512640 134714508 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30991 30146 1111 63 0 30928 0
vsize: 123964
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 345641 0 0 0 100207 806 0 0 25 0 1 0 699990333 127365120 30248 4294967295 134512640 134714508 3221221792 3221220272 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31095 30248 1111 63 0 31032 0
vsize: 124380
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 346211 0 0 0 101206 807 0 0 25 0 1 0 699990333 127791104 30328 4294967295 134512640 134714508 3221221792 3221220272 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31199 30328 1111 63 0 31136 0
vsize: 124796
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 347099 0 0 0 102204 809 0 0 25 0 1 0 699990333 128077824 30406 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31269 30406 1111 63 0 31206 0
vsize: 125076
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 347955 0 0 0 103203 811 0 0 25 0 1 0 699990333 127127552 30161 4294967295 134512640 134714508 3221221792 3221220272 134536721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31037 30161 1111 63 0 30974 0
vsize: 124148
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 349207 0 0 0 104199 815 0 0 25 0 1 0 699990333 127778816 30338 4294967295 134512640 134714508 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31196 30338 1111 63 0 31133 0
vsize: 124784
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 350510 0 0 0 105196 818 0 0 25 0 1 0 699990333 129736704 30809 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31674 30809 1111 63 0 31611 0
vsize: 126696
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 351672 0 0 0 106193 821 0 0 25 0 1 0 699990333 129974272 30869 4294967295 134512640 134714508 3221221792 3221220272 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31732 30869 1111 63 0 31669 0
vsize: 126928
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 352681 0 0 0 107191 823 0 0 25 0 1 0 699990333 130404352 30944 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31837 30944 1111 63 0 31774 0
vsize: 127348
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 353071 0 0 0 108191 824 0 0 25 0 1 0 699990333 130605056 30993 4294967295 134512640 134714508 3221221792 3221220124 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31886 30993 1111 63 0 31823 0
vsize: 127544
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 353304 0 0 0 109191 824 0 0 25 0 1 0 699990333 131031040 31087 4294967295 134512640 134714508 3221221792 3221220320 134543719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31990 31087 1111 63 0 31927 0
vsize: 127960
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 353811 0 0 0 110190 825 0 0 25 0 1 0 699990333 131313664 31153 4294967295 134512640 134714508 3221221792 3221220408 134543785 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32059 31153 1111 63 0 31996 0
vsize: 128236
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 354595 0 0 0 111188 827 0 0 25 0 1 0 699990333 131592192 31222 4294967295 134512640 134714508 3221221792 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32127 31222 1111 63 0 32064 0
vsize: 128508
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 354635 0 0 0 112188 827 0 0 25 0 1 0 699990333 131674112 31254 4294967295 134512640 134714508 3221221792 3221220124 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32147 31254 1111 63 0 32084 0
vsize: 128588
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 354850 0 0 0 113187 828 0 0 25 0 1 0 699990333 132100096 31326 4294967295 134512640 134714508 3221221792 3221220288 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32251 31326 1111 63 0 32188 0
vsize: 129004
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 355237 0 0 0 114187 829 0 0 25 0 1 0 699990333 132300800 31394 4294967295 134512640 134714508 3221221792 3221220520 134672921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32300 31394 1111 63 0 32237 0
vsize: 129200
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 355527 0 0 0 115186 829 0 0 25 0 1 0 699990333 132018176 31338 4294967295 134512640 134714508 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32231 31338 1111 63 0 32168 0
vsize: 128924
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 356130 0 0 0 116185 831 0 0 25 0 1 0 699990333 132870144 31520 4294967295 134512640 134714508 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32439 31520 1111 63 0 32376 0
vsize: 129756
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 356988 0 0 0 117183 833 0 0 25 0 1 0 699990333 133152768 31584 4294967295 134512640 134714508 3221221792 3221220592 134617624 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32508 31584 1111 63 0 32445 0
vsize: 130032
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 357791 0 0 0 118182 834 0 0 25 0 1 0 699990333 132018176 31339 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32231 31339 1111 63 0 32168 0
vsize: 128924
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 27437
Raw data (stat): 27437 (bsolo_lpr) R 27436 7876 7672 0 -1 0 358995 0 0 0 119180 837 0 0 25 0 1 0 699990333 133496832 31678 4294967295 134512640 134714508 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32592 31678 1111 63 0 32529 0
vsize: 130368
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 27437
Raw data (stat): 27437 (bsolo_lpr) Z 27436 7876 7672 0 -1 1036 358995 0 0 0 119180 843 0 0 25 0 1 0 699990333 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 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.09
CPU time (s): 1200.23
CPU user time (s): 1191.8
CPU system time (s): 8.43172
CPU usage (%): 100.012
Max. virtual memory (Kb): 130368
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####