PB'05 competition: run trace

Some explanations

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

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 01:22:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3223 boxname=wulflinc31 idbench=359 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 3223
/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:        819524 kB
Buffers:         40388 kB
Cached:         152772 kB
SwapCached:       1932 kB
Active:         156540 kB
Inactive:        39808 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        819272 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:             560 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13160 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 01:41:42 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 3223 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4602 variables and 30353 constraints.
c After prepocess the problem consists of 4602 variables and 30353 constraints.
c preprocess terminated 51.621 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.99 2/55 29998
Raw data (stat): 29998 (runsolver) R 29997 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 748452502 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.0015 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 45128 0 0 0 884 110 0 0 25 0 1 0 748452502 55951360 12801 4294967295 134512640 134714508 3221221792 3221220296 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13660 12801 1111 63 0 13597 0
vsize: 54640
[startup+20.0025 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 122760 0 0 0 1688 306 0 0 25 0 1 0 748452502 51826688 11794 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12653 11794 1111 63 0 12590 0
vsize: 50612
[startup+30.0034 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 132707 0 0 0 2664 330 0 0 25 0 1 0 748452502 70246400 16291 4294967295 134512640 134714508 3221221792 3221220184 134542985 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16291 1111 63 0 17087 0
vsize: 68600
[startup+40.0043 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 144542 0 0 0 3635 359 0 0 25 0 1 0 748452502 70246400 16291 4294967295 134512640 134714508 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16291 1111 63 0 17087 0
vsize: 68600
[startup+50.0058 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151577 0 0 0 4617 378 0 0 25 0 1 0 748452502 70246400 16291 4294967295 134512640 134714508 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16291 1111 63 0 17087 0
vsize: 68600
[startup+60.0062 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 5616 379 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+70.0071 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 6614 381 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220384 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+80.007 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 7613 382 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220560 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+90.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 8612 384 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220400 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 9610 385 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220344 134696461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+110.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 10609 387 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 11608 388 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 12607 389 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220196 134697343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 13607 389 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220196 134697343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 14606 390 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220344 134539209 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 15605 392 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 16604 392 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 17602 394 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220432 134539448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 18602 395 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220408 134549509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 19601 396 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 20600 397 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220196 134697199 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 21600 397 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 22599 398 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151593 0 0 0 23598 399 0 0 25 0 1 0 748452502 70246400 16307 4294967295 134512640 134714508 3221221792 3221220352 134535493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16307 1111 63 0 17087 0
vsize: 68600
[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151624 0 0 0 24597 400 0 0 25 0 1 0 748452502 70381568 16338 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17183 16338 1111 63 0 17120 0
vsize: 68732
[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151771 0 0 0 25596 402 0 0 25 0 1 0 748452502 71036928 16485 4294967295 134512640 134714508 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17343 16485 1111 63 0 17280 0
vsize: 69372
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151854 0 0 0 26595 402 0 0 25 0 1 0 748452502 71442432 16568 4294967295 134512640 134714508 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17442 16568 1111 63 0 17379 0
vsize: 69768
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 151974 0 0 0 27594 403 0 0 25 0 1 0 748452502 71843840 16688 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17540 16688 1111 63 0 17477 0
vsize: 70160
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152073 0 0 0 28594 404 0 0 25 0 1 0 748452502 72245248 16787 4294967295 134512640 134714508 3221221792 3221220408 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17638 16787 1111 63 0 17575 0
vsize: 70552
[startup+300.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152113 0 0 0 29592 405 0 0 25 0 1 0 748452502 72380416 16827 4294967295 134512640 134714508 3221221792 3221220456 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17671 16827 1111 63 0 17608 0
vsize: 70684
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152186 0 0 0 30592 406 0 0 25 0 1 0 748452502 72785920 16900 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17770 16900 1111 63 0 17707 0
vsize: 71080
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152288 0 0 0 31590 408 0 0 25 0 1 0 748452502 73179136 17002 4294967295 134512640 134714508 3221221792 3221220400 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17866 17002 1111 63 0 17803 0
vsize: 71464
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152422 0 0 0 32589 409 0 0 25 0 1 0 748452502 73719808 17136 4294967295 134512640 134714508 3221221792 3221220436 134613632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17998 17136 1111 63 0 17935 0
vsize: 71992
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152532 0 0 0 33589 410 0 0 25 0 1 0 748452502 74125312 17246 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18097 17246 1111 63 0 18034 0
vsize: 72388
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152607 0 0 0 34588 411 0 0 25 0 1 0 748452502 74530816 17321 4294967295 134512640 134714508 3221221792 3221220432 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18196 17321 1111 63 0 18133 0
vsize: 72784
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152694 0 0 0 35587 411 0 0 25 0 1 0 748452502 74772480 17408 4294967295 134512640 134714508 3221221792 3221220472 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18255 17408 1111 63 0 18192 0
vsize: 73020
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152750 0 0 0 36586 412 0 0 25 0 1 0 748452502 75042816 17464 4294967295 134512640 134714508 3221221792 3221220288 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18321 17464 1111 63 0 18258 0
vsize: 73284
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152855 0 0 0 37585 414 0 0 25 0 1 0 748452502 75448320 17569 4294967295 134512640 134714508 3221221792 3221220400 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18420 17569 1111 63 0 18357 0
vsize: 73680
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 152980 0 0 0 38584 415 0 0 25 0 1 0 748452502 75972608 17694 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18548 17694 1111 63 0 18485 0
vsize: 74192
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153121 0 0 0 39583 416 0 0 25 0 1 0 748452502 76513280 17835 4294967295 134512640 134714508 3221221792 3221220464 134542863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18680 17835 1111 63 0 18617 0
vsize: 74720
[startup+410.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153236 0 0 0 40582 418 0 0 25 0 1 0 748452502 77058048 17950 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18813 17950 1111 63 0 18750 0
vsize: 75252
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153293 0 0 0 41581 418 0 0 25 0 1 0 748452502 77312000 18007 4294967295 134512640 134714508 3221221792 3221220464 134543742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18875 18007 1111 63 0 18812 0
vsize: 75500
[startup+430.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153337 0 0 0 42581 419 0 0 25 0 1 0 748452502 77447168 18051 4294967295 134512640 134714508 3221221792 3221220400 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18908 18051 1111 63 0 18845 0
vsize: 75632
[startup+440.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153411 0 0 0 43579 421 0 0 25 0 1 0 748452502 77717504 18125 4294967295 134512640 134714508 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18974 18125 1111 63 0 18911 0
vsize: 75896
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153490 0 0 0 44578 422 0 0 25 0 1 0 748452502 78123008 18204 4294967295 134512640 134714508 3221221792 3221220560 134587964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19073 18204 1111 63 0 19010 0
vsize: 76292
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153531 0 0 0 45576 423 0 0 25 0 1 0 748452502 78237696 18245 4294967295 134512640 134714508 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19101 18245 1111 63 0 19038 0
vsize: 76404
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153595 0 0 0 46576 424 0 0 25 0 1 0 748452502 78508032 18309 4294967295 134512640 134714508 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19167 18309 1111 63 0 19104 0
vsize: 76668
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153650 0 0 0 47575 425 0 0 25 0 1 0 748452502 78778368 18364 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19233 18364 1111 63 0 19170 0
vsize: 76932
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153656 0 0 0 48575 426 0 0 25 0 1 0 748452502 78778368 18370 4294967295 134512640 134714508 3221221792 3221220348 134535978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19233 18370 1111 63 0 19170 0
vsize: 76932
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153739 0 0 0 49574 427 0 0 25 0 1 0 748452502 79036416 18453 4294967295 134512640 134714508 3221221792 3221220524 134518100 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19296 18453 1111 63 0 19233 0
vsize: 77184
[startup+510.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153776 0 0 0 50573 427 0 0 25 0 1 0 748452502 79302656 18490 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19361 18490 1111 63 0 19298 0
vsize: 77444
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153810 0 0 0 51573 428 0 0 25 0 1 0 748452502 79392768 18524 4294967295 134512640 134714508 3221221792 3221220444 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19383 18524 1111 63 0 19320 0
vsize: 77532
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153870 0 0 0 52572 429 0 0 25 0 1 0 748452502 79663104 18584 4294967295 134512640 134714508 3221221792 3221220360 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19449 18584 1111 63 0 19386 0
vsize: 77796
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153952 0 0 0 53572 429 0 0 25 0 1 0 748452502 79933440 18666 4294967295 134512640 134714508 3221221792 3221220332 134539267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19515 18666 1111 63 0 19452 0
vsize: 78060
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 153984 0 0 0 54571 430 0 0 25 0 1 0 748452502 80039936 18698 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19541 18698 1111 63 0 19478 0
vsize: 78164
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154119 0 0 0 55570 431 0 0 25 0 1 0 748452502 80711680 18833 4294967295 134512640 134714508 3221221792 3221220384 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19705 18833 1111 63 0 19642 0
vsize: 78820
[startup+570.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154149 0 0 0 56569 432 0 0 25 0 1 0 748452502 80777216 18863 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19721 18863 1111 63 0 19658 0
vsize: 78884
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154184 0 0 0 57569 432 0 0 25 0 1 0 748452502 80912384 18898 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19754 18898 1111 63 0 19691 0
vsize: 79016
[startup+590.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154238 0 0 0 58568 433 0 0 25 0 1 0 748452502 81182720 18952 4294967295 134512640 134714508 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19820 18952 1111 63 0 19757 0
vsize: 79280
[startup+600.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154276 0 0 0 59568 433 0 0 25 0 1 0 748452502 81317888 18990 4294967295 134512640 134714508 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19853 18990 1111 63 0 19790 0
vsize: 79412
[startup+610.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154327 0 0 0 60567 435 0 0 25 0 1 0 748452502 81453056 19041 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19886 19041 1111 63 0 19823 0
vsize: 79544
[startup+620.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154356 0 0 0 61566 436 0 0 25 0 1 0 748452502 81637376 19070 4294967295 134512640 134714508 3221221792 3221220416 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19931 19070 1111 63 0 19868 0
vsize: 79724
[startup+630.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154455 0 0 0 62565 437 0 0 25 0 1 0 748452502 82014208 19169 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20023 19169 1111 63 0 19960 0
vsize: 80092
[startup+640.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154523 0 0 0 63564 438 0 0 25 0 1 0 748452502 82284544 19237 4294967295 134512640 134714508 3221221792 3221220444 134536814 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20089 19237 1111 63 0 20026 0
vsize: 80356
[startup+650.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154589 0 0 0 64563 439 0 0 25 0 1 0 748452502 82542592 19303 4294967295 134512640 134714508 3221221792 3221220380 134535978 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20152 19303 1111 63 0 20089 0
vsize: 80608
[startup+660.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154686 0 0 0 65562 440 0 0 25 0 1 0 748452502 82948096 19400 4294967295 134512640 134714508 3221221792 3221220496 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20251 19400 1111 63 0 20188 0
vsize: 81004
[startup+670.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154762 0 0 0 66561 441 0 0 25 0 1 0 748452502 83353600 19476 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20350 19476 1111 63 0 20287 0
vsize: 81400
[startup+680.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154909 0 0 0 67560 443 0 0 25 0 1 0 748452502 83881984 19623 4294967295 134512640 134714508 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20479 19623 1111 63 0 20416 0
vsize: 81916
[startup+690.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154973 0 0 0 68559 444 0 0 25 0 1 0 748452502 84135936 19687 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20541 19687 1111 63 0 20478 0
vsize: 82164
[startup+700.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 154983 0 0 0 69558 445 0 0 25 0 1 0 748452502 84135936 19697 4294967295 134512640 134714508 3221221792 3221220480 134524376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20541 19697 1111 63 0 20478 0
vsize: 82164
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155072 0 0 0 70558 445 0 0 25 0 1 0 748452502 84541440 19786 4294967295 134512640 134714508 3221221792 3221220560 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20640 19786 1111 63 0 20577 0
vsize: 82560
[startup+720.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155149 0 0 0 71557 447 0 0 25 0 1 0 748452502 84811776 19863 4294967295 134512640 134714508 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20706 19863 1111 63 0 20643 0
vsize: 82824
[startup+730.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155227 0 0 0 72556 448 0 0 25 0 1 0 748452502 85217280 19941 4294967295 134512640 134714508 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20805 19941 1111 63 0 20742 0
vsize: 83220
[startup+740.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155332 0 0 0 73554 449 0 0 25 0 1 0 748452502 85622784 20046 4294967295 134512640 134714508 3221221792 3221220428 134696396 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20904 20046 1111 63 0 20841 0
vsize: 83616
[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155364 0 0 0 74554 450 0 0 25 0 1 0 748452502 85757952 20078 4294967295 134512640 134714508 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20937 20078 1111 63 0 20874 0
vsize: 83748
[startup+760.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155418 0 0 0 75553 451 0 0 25 0 1 0 748452502 86028288 20132 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21003 20132 1111 63 0 20940 0
vsize: 84012
[startup+770.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155463 0 0 0 76552 451 0 0 25 0 1 0 748452502 86163456 20177 4294967295 134512640 134714508 3221221792 3221220416 134543102 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21036 20177 1111 63 0 20973 0
vsize: 84144
[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155527 0 0 0 77551 452 0 0 25 0 1 0 748452502 86392832 20241 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21092 20241 1111 63 0 21029 0
vsize: 84368
[startup+790.03 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155573 0 0 0 78551 453 0 0 25 0 1 0 748452502 86650880 20287 4294967295 134512640 134714508 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21155 20287 1111 63 0 21092 0
vsize: 84620
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155621 0 0 0 79551 453 0 0 25 0 1 0 748452502 86786048 20335 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21188 20335 1111 63 0 21125 0
vsize: 84752
[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155654 0 0 0 80550 454 0 0 25 0 1 0 748452502 86921216 20368 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21221 20368 1111 63 0 21158 0
vsize: 84884
[startup+820.03 s]
Raw data (loadavg): 0.99 0.98 0.99 3/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155705 0 0 0 81549 455 0 0 25 0 1 0 748452502 87191552 20419 4294967295 134512640 134714508 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21287 20419 1111 63 0 21224 0
vsize: 85148
[startup+830.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155807 0 0 0 82549 455 0 0 25 0 1 0 748452502 87584768 20521 4294967295 134512640 134714508 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21383 20521 1111 63 0 21320 0
vsize: 85532
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155904 0 0 0 83548 456 0 0 25 0 1 0 748452502 87953408 20618 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21473 20618 1111 63 0 21410 0
vsize: 85892
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 155962 0 0 0 84548 457 0 0 25 0 1 0 748452502 88223744 20676 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21539 20676 1111 63 0 21476 0
vsize: 86156
[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156040 0 0 0 85547 458 0 0 25 0 1 0 748452502 88494080 20754 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21605 20754 1111 63 0 21542 0
vsize: 86420
[startup+870.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156080 0 0 0 86546 459 0 0 25 0 1 0 748452502 88629248 20794 4294967295 134512640 134714508 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21638 20794 1111 63 0 21575 0
vsize: 86552
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156112 0 0 0 87546 460 0 0 25 0 1 0 748452502 88764416 20826 4294967295 134512640 134714508 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21671 20826 1111 63 0 21608 0
vsize: 86684
[startup+890.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156143 0 0 0 88546 460 0 0 25 0 1 0 748452502 88899584 20857 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21704 20857 1111 63 0 21641 0
vsize: 86816
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156145 0 0 0 89546 460 0 0 25 0 1 0 748452502 88899584 20859 4294967295 134512640 134714508 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21704 20859 1111 63 0 21641 0
vsize: 86816
[startup+910.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156244 0 0 0 90546 461 0 0 25 0 1 0 748452502 89391104 20958 4294967295 134512640 134714508 3221221792 3221220424 134696017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21824 20958 1111 63 0 21761 0
vsize: 87296
[startup+920.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156304 0 0 0 91545 461 0 0 25 0 1 0 748452502 89657344 21018 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21889 21018 1111 63 0 21826 0
vsize: 87556
[startup+930.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156398 0 0 0 92545 462 0 0 25 0 1 0 748452502 89927680 21112 4294967295 134512640 134714508 3221221792 3221220448 134524064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21955 21112 1111 63 0 21892 0
vsize: 87820
[startup+940.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156415 0 0 0 93545 462 0 0 25 0 1 0 748452502 90062848 21129 4294967295 134512640 134714508 3221221792 3221220384 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21988 21129 1111 63 0 21925 0
vsize: 87952
[startup+950.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156489 0 0 0 94544 463 0 0 25 0 1 0 748452502 90333184 21203 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22054 21203 1111 63 0 21991 0
vsize: 88216
[startup+960.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156556 0 0 0 95544 464 0 0 25 0 1 0 748452502 90599424 21270 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22119 21270 1111 63 0 22056 0
vsize: 88476
[startup+970.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156571 0 0 0 96544 464 0 0 25 0 1 0 748452502 90734592 21285 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22152 21285 1111 63 0 22089 0
vsize: 88608
[startup+980.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156604 0 0 0 97543 465 0 0 25 0 1 0 748452502 90836992 21318 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22177 21318 1111 63 0 22114 0
vsize: 88708
[startup+990.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156691 0 0 0 98543 465 0 0 25 0 1 0 748452502 91242496 21405 4294967295 134512640 134714508 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22276 21405 1111 63 0 22213 0
vsize: 89104
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156735 0 0 0 99542 466 0 0 25 0 1 0 748452502 91361280 21449 4294967295 134512640 134714508 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22305 21449 1111 63 0 22242 0
vsize: 89220
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156791 0 0 0 100542 467 0 0 25 0 1 0 748452502 91619328 21505 4294967295 134512640 134714508 3221221792 3221220384 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22368 21505 1111 63 0 22305 0
vsize: 89472
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156829 0 0 0 101542 467 0 0 25 0 1 0 748452502 91754496 21543 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22401 21543 1111 63 0 22338 0
vsize: 89604
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156850 0 0 0 102541 468 0 0 25 0 1 0 748452502 91803648 21564 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22413 21564 1111 63 0 22350 0
vsize: 89652
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156872 0 0 0 103541 468 0 0 25 0 1 0 748452502 91938816 21586 4294967295 134512640 134714508 3221221792 3221220528 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22446 21586 1111 63 0 22383 0
vsize: 89784
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 156911 0 0 0 104541 469 0 0 25 0 1 0 748452502 92069888 21625 4294967295 134512640 134714508 3221221792 3221220528 134535835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22478 21625 1111 63 0 22415 0
vsize: 89912
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157018 0 0 0 105540 469 0 0 25 0 1 0 748452502 92471296 21732 4294967295 134512640 134714508 3221221792 3221220400 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22576 21732 1111 63 0 22513 0
vsize: 90304
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157054 0 0 0 106541 469 0 0 25 0 1 0 748452502 92741632 21768 4294967295 134512640 134714508 3221221792 3221220576 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21768 1111 63 0 22579 0
vsize: 90568
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157071 0 0 0 107540 470 0 0 25 0 1 0 748452502 92741632 21785 4294967295 134512640 134714508 3221221792 3221220592 134588065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22642 21785 1111 63 0 22579 0
vsize: 90568
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157167 0 0 0 108540 470 0 0 25 0 1 0 748452502 93134848 21881 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22738 21881 1111 63 0 22675 0
vsize: 90952
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157187 0 0 0 109540 471 0 0 25 0 1 0 748452502 93270016 21901 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22771 21901 1111 63 0 22708 0
vsize: 91084
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157285 0 0 0 110539 471 0 0 25 0 1 0 748452502 93646848 21999 4294967295 134512640 134714508 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22863 21999 1111 63 0 22800 0
vsize: 91452
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157303 0 0 0 111539 471 0 0 25 0 1 0 748452502 93646848 22017 4294967295 134512640 134714508 3221221792 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22863 22017 1111 63 0 22800 0
vsize: 91452
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157315 0 0 0 112539 472 0 0 25 0 1 0 748452502 93782016 22029 4294967295 134512640 134714508 3221221792 3221220528 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22896 22029 1111 63 0 22833 0
vsize: 91584
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157323 0 0 0 113539 472 0 0 25 0 1 0 748452502 93782016 22037 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22896 22037 1111 63 0 22833 0
vsize: 91584
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157350 0 0 0 114539 472 0 0 25 0 1 0 748452502 93917184 22064 4294967295 134512640 134714508 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22929 22064 1111 63 0 22866 0
vsize: 91716
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157415 0 0 0 115539 472 0 0 25 0 1 0 748452502 94179328 22129 4294967295 134512640 134714508 3221221792 3221220400 134549324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22993 22129 1111 63 0 22930 0
vsize: 91972
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157485 0 0 0 116538 474 0 0 25 0 1 0 748452502 94449664 22199 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23059 22199 1111 63 0 22996 0
vsize: 92236
[startup+1175 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 29998
Raw data (stat): 29998 (bsolo_lpr) R 29997 7876 7672 0 -1 0 157485 0 0 0 116538 474 0 0 25 0 1 0 748452502 94449664 22199 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23059 22199 1111 63 0 22996 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.08
CPU user time (s): 1170.29
CPU system time (s): 4.79027
CPU usage (%): 100.006
Max. virtual memory (Kb): 92236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####