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-par32-3-c.opb
MD5SUM	b552ff39062b6c42ea64365c815cbd78
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
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	2650
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	2650
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	2650
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2650
Total number of constraints	6619
Number of constraints which are clauses	6619
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	2
Maximum length of a constraint	3
Trace number 24172

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 18:16:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1855 boxname=wulflinc31 idbench=207 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  b552ff39062b6c42ea64365c815cbd78  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-3-c.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-par32-3-c.opb
IDLAUNCH: 1855
/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:        137788 kB
Buffers:         42192 kB
Cached:         820152 kB
SwapCached:        644 kB
Active:         493868 kB
Inactive:       370836 kB
HighTotal:      131008 kB
HighFree:         1456 kB
LowTotal:       903652 kB
LowFree:        136332 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:             768 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26556 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 18:35:58 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 1855 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2650 variables and 6619 constraints.
c After prepocess the problem consists of 2585 variables and 8468 constraints.
c preprocess terminated 57.905 s
c Initial Lower Bound: 815
c Lower Bound Elapsed time: 16.1086
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.12 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.91 0.97 0.94 2/54 16969
Raw data (stat): 16969 (runsolver) R 16968 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 694051810 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+9.99997 s]
Raw data (loadavg): 0.93 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 6224 0 0 0 979 17 0 0 25 0 1 0 694051810 18161664 3591 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4434 3591 1111 63 0 4371 0
vsize: 17736
[startup+19.9999 s]
Raw data (loadavg): 0.94 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 6224 0 0 0 1978 17 0 0 25 0 1 0 694051810 18161664 3591 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4434 3591 1111 63 0 4371 0
vsize: 17736
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 6235 0 0 0 2979 17 0 0 25 0 1 0 694051810 18296832 3602 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4467 3602 1111 63 0 4404 0
vsize: 17868
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 6389 0 0 0 3978 18 0 0 25 0 1 0 694051810 18837504 3756 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3756 1111 63 0 4536 0
vsize: 18396
[startup+50.002 s]
Raw data (loadavg): 0.96 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 6512 0 0 0 4978 18 0 0 25 0 1 0 694051810 19378176 3879 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4731 3879 1111 63 0 4668 0
vsize: 18924
[startup+60.0017 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 7682 0 0 0 5976 21 0 0 25 0 1 0 694051810 24096768 5037 4294967295 134512640 134714508 3221221792 3221220112 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5883 5037 1111 63 0 5820 0
vsize: 23532
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 9111 0 0 0 6970 26 0 0 25 0 1 0 694051810 30781440 6152 4294967295 134512640 134714508 3221221792 3221217660 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7515 6152 1111 63 0 7452 0
vsize: 30060
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 9165 0 0 0 7970 26 0 0 25 0 1 0 694051810 30781440 6206 4294967295 134512640 134714508 3221221792 3221217660 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7515 6206 1111 63 0 7452 0
vsize: 30060
[startup+90.0024 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 9176 0 0 0 8970 26 0 0 25 0 1 0 694051810 30781440 6217 4294967295 134512640 134714508 3221221792 3221218832 1074834340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7515 6217 1111 63 0 7452 0
vsize: 30060
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 9185 0 0 0 9971 26 0 0 25 0 1 0 694051810 30781440 6226 4294967295 134512640 134714508 3221221792 3221217872 1074883666 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7515 6226 1111 63 0 7452 0
vsize: 30060
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 9420 0 0 0 10970 27 0 0 25 0 1 0 694051810 29798400 6194 4294967295 134512640 134714508 3221221792 3221217872 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6194 1111 63 0 7212 0
vsize: 29100
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 9424 0 0 0 11970 27 0 0 25 0 1 0 694051810 29798400 6198 4294967295 134512640 134714508 3221221792 3221217812 1075964218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6198 1111 63 0 7212 0
vsize: 29100
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 9452 0 0 0 12970 27 0 0 25 0 1 0 694051810 29913088 6226 4294967295 134512640 134714508 3221221792 3221218240 1075397206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7303 6226 1111 63 0 7240 0
vsize: 29212
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 9452 0 0 0 13970 27 0 0 25 0 1 0 694051810 29913088 6226 4294967295 134512640 134714508 3221221792 3221218480 1076083788 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7303 6226 1111 63 0 7240 0
vsize: 29212
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 9495 0 0 0 14970 28 0 0 25 0 1 0 694051810 30171136 6269 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7366 6269 1111 63 0 7303 0
vsize: 29464
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 17882 0 0 0 15951 46 0 0 25 0 1 0 694051810 30203904 6178 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6754 5923 1111 63 0 6691 0
vsize: 29496
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 25526 0 0 0 16933 64 0 0 25 0 1 0 694051810 27463680 5933 4294967295 134512640 134714508 3221221792 3221220200 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6705 5933 1111 63 0 6642 0
vsize: 26820
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 30133 0 0 0 17925 73 0 0 25 0 1 0 694051810 31264768 6565 4294967295 134512640 134714508 3221221792 3221217672 1075964745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6565 1111 63 0 7570 0
vsize: 30532
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 30134 0 0 0 18925 73 0 0 25 0 1 0 694051810 31264768 6566 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6566 1111 63 0 7570 0
vsize: 30532
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 30134 0 0 0 19925 73 0 0 25 0 1 0 694051810 31264768 6566 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7633 6566 1111 63 0 7570 0
vsize: 30532
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 33245 0 0 0 20918 81 0 0 25 0 1 0 694051810 32653312 6524 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7972 6524 1111 63 0 7909 0
vsize: 31888
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 37725 0 0 0 21907 92 0 0 25 0 1 0 694051810 26271744 5702 4294967295 134512640 134714508 3221221792 3221220344 134696461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6414 5702 1111 63 0 6351 0
vsize: 25656
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 37725 0 0 0 22906 92 0 0 25 0 1 0 694051810 26271744 5702 4294967295 134512640 134714508 3221221792 3221220332 134539309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6414 5702 1111 63 0 6351 0
vsize: 25656
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 37789 0 0 0 23906 93 0 0 25 0 1 0 694051810 26542080 5766 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6480 5766 1111 63 0 6417 0
vsize: 25920
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 37899 0 0 0 24906 93 0 0 25 0 1 0 694051810 27082752 5876 4294967295 134512640 134714508 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6612 5876 1111 63 0 6549 0
vsize: 26448
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38001 0 0 0 25906 93 0 0 25 0 1 0 694051810 27488256 5978 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6711 5978 1111 63 0 6648 0
vsize: 26844
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38122 0 0 0 26905 94 0 0 25 0 1 0 694051810 28028928 6099 4294967295 134512640 134714508 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6843 6099 1111 63 0 6780 0
vsize: 27372
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38233 0 0 0 27905 94 0 0 25 0 1 0 694051810 28434432 6210 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6942 6210 1111 63 0 6879 0
vsize: 27768
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38333 0 0 0 28905 95 0 0 25 0 1 0 694051810 28839936 6310 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7041 6310 1111 63 0 6978 0
vsize: 28164
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38451 0 0 0 29904 95 0 0 25 0 1 0 694051810 29245440 6428 4294967295 134512640 134714508 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7140 6428 1111 63 0 7077 0
vsize: 28560
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38539 0 0 0 30904 96 0 0 25 0 1 0 694051810 29650944 6516 4294967295 134512640 134714508 3221221792 3221220432 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7239 6516 1111 63 0 7176 0
vsize: 28956
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38644 0 0 0 31902 97 0 0 25 0 1 0 694051810 30056448 6621 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7338 6621 1111 63 0 7275 0
vsize: 29352
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38746 0 0 0 32901 98 0 0 25 0 1 0 694051810 30461952 6723 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7437 6723 1111 63 0 7374 0
vsize: 29748
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38875 0 0 0 33901 99 0 0 25 0 1 0 694051810 30998528 6852 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7568 6852 1111 63 0 7505 0
vsize: 30272
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 38976 0 0 0 34900 99 0 0 25 0 1 0 694051810 31404032 6953 4294967295 134512640 134714508 3221221792 3221220364 134539208 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7667 6953 1111 63 0 7604 0
vsize: 30668
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 39074 0 0 0 35899 100 0 0 25 0 1 0 694051810 31809536 7051 4294967295 134512640 134714508 3221221792 3221220360 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7766 7051 1111 63 0 7703 0
vsize: 31064
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 39198 0 0 0 36899 101 0 0 25 0 1 0 694051810 32350208 7175 4294967295 134512640 134714508 3221221792 3221220368 134542694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7898 7175 1111 63 0 7835 0
vsize: 31592
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 39310 0 0 0 37898 102 0 0 25 0 1 0 694051810 32890880 7287 4294967295 134512640 134714508 3221221792 3221220380 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8030 7287 1111 63 0 7967 0
vsize: 32120
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 39403 0 0 0 38897 103 0 0 25 0 1 0 694051810 33161216 7380 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8096 7380 1111 63 0 8033 0
vsize: 32384
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 39524 0 0 0 39897 103 0 0 25 0 1 0 694051810 33697792 7501 4294967295 134512640 134714508 3221221792 3221220368 134542694 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8227 7501 1111 63 0 8164 0
vsize: 32908
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 39629 0 0 0 40896 105 0 0 25 0 1 0 694051810 34103296 7606 4294967295 134512640 134714508 3221221792 3221220472 134523849 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8326 7606 1111 63 0 8263 0
vsize: 33304
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 39714 0 0 0 41895 105 0 0 25 0 1 0 694051810 34508800 7691 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8425 7691 1111 63 0 8362 0
vsize: 33700
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 39801 0 0 0 42894 106 0 0 25 0 1 0 694051810 34779136 7778 4294967295 134512640 134714508 3221221792 3221220460 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8491 7778 1111 63 0 8428 0
vsize: 33964
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 39918 0 0 0 43893 107 0 0 25 0 1 0 694051810 35319808 7895 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8623 7895 1111 63 0 8560 0
vsize: 34492
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40019 0 0 0 44892 109 0 0 25 0 1 0 694051810 35725312 7996 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7996 1111 63 0 8659 0
vsize: 34888
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40111 0 0 0 45892 109 0 0 25 0 1 0 694051810 36130816 8088 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 8088 1111 63 0 8758 0
vsize: 35284
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40226 0 0 0 46891 110 0 0 25 0 1 0 694051810 36536320 8203 4294967295 134512640 134714508 3221221792 3221220508 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8920 8203 1111 63 0 8857 0
vsize: 35680
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40338 0 0 0 47891 111 0 0 25 0 1 0 694051810 37076992 8315 4294967295 134512640 134714508 3221221792 3221220476 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9052 8315 1111 63 0 8989 0
vsize: 36208
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40434 0 0 0 48890 112 0 0 25 0 1 0 694051810 37482496 8411 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9151 8411 1111 63 0 9088 0
vsize: 36604
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40557 0 0 0 49889 113 0 0 25 0 1 0 694051810 37888000 8534 4294967295 134512640 134714508 3221221792 3221220440 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9250 8534 1111 63 0 9187 0
vsize: 37000
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40671 0 0 0 50888 114 0 0 25 0 1 0 694051810 38428672 8648 4294967295 134512640 134714508 3221221792 3221220456 134542289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9382 8648 1111 63 0 9319 0
vsize: 37528
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40773 0 0 0 51887 114 0 0 25 0 1 0 694051810 38838272 8750 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9482 8750 1111 63 0 9419 0
vsize: 37928
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40885 0 0 0 52886 116 0 0 25 0 1 0 694051810 39243776 8862 4294967295 134512640 134714508 3221221792 3221220444 134543588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9581 8862 1111 63 0 9518 0
vsize: 38324
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 40986 0 0 0 53885 117 0 0 25 0 1 0 694051810 39649280 8963 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9680 8963 1111 63 0 9617 0
vsize: 38720
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 41093 0 0 0 54883 119 0 0 25 0 1 0 694051810 40189952 9070 4294967295 134512640 134714508 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9812 9070 1111 63 0 9749 0
vsize: 39248
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 41211 0 0 0 55883 120 0 0 25 0 1 0 694051810 40595456 9188 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9911 9188 1111 63 0 9848 0
vsize: 39644
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 41305 0 0 0 56882 121 0 0 25 0 1 0 694051810 41000960 9282 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10010 9282 1111 63 0 9947 0
vsize: 40040
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 41408 0 0 0 57882 121 0 0 25 0 1 0 694051810 41406464 9385 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10109 9385 1111 63 0 10046 0
vsize: 40436
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 41518 0 0 0 58881 122 0 0 25 0 1 0 694051810 41811968 9495 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10208 9495 1111 63 0 10145 0
vsize: 40832
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 41622 0 0 0 59879 123 0 0 25 0 1 0 694051810 42352640 9599 4294967295 134512640 134714508 3221221792 3221220384 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10340 9599 1111 63 0 10277 0
vsize: 41360
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 41730 0 0 0 60879 124 0 0 25 0 1 0 694051810 42758144 9707 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10439 9707 1111 63 0 10376 0
vsize: 41756
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 41844 0 0 0 61878 125 0 0 25 0 1 0 694051810 43163648 9821 4294967295 134512640 134714508 3221221792 3221220552 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10538 9821 1111 63 0 10475 0
vsize: 42152
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 41937 0 0 0 62877 126 0 0 25 0 1 0 694051810 43569152 9914 4294967295 134512640 134714508 3221221792 3221220384 134542677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10637 9914 1111 63 0 10574 0
vsize: 42548
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42029 0 0 0 63877 126 0 0 25 0 1 0 694051810 43974656 10006 4294967295 134512640 134714508 3221221792 3221220348 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10736 10006 1111 63 0 10673 0
vsize: 42944
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42134 0 0 0 64877 127 0 0 25 0 1 0 694051810 44380160 10111 4294967295 134512640 134714508 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10835 10111 1111 63 0 10772 0
vsize: 43340
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42218 0 0 0 65876 128 0 0 25 0 1 0 694051810 44785664 10195 4294967295 134512640 134714508 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10934 10195 1111 63 0 10871 0
vsize: 43736
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42316 0 0 0 66875 129 0 0 25 0 1 0 694051810 45199360 10293 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11035 10293 1111 63 0 10972 0
vsize: 44140
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42445 0 0 0 67874 129 0 0 25 0 1 0 694051810 45604864 10422 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11134 10422 1111 63 0 11071 0
vsize: 44536
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42551 0 0 0 68873 130 0 0 25 0 1 0 694051810 46145536 10528 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11266 10528 1111 63 0 11203 0
vsize: 45064
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42649 0 0 0 69873 131 0 0 25 0 1 0 694051810 46551040 10626 4294967295 134512640 134714508 3221221792 3221220480 134543724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11365 10626 1111 63 0 11302 0
vsize: 45460
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42768 0 0 0 70872 132 0 0 25 0 1 0 694051810 46956544 10745 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11464 10745 1111 63 0 11401 0
vsize: 45856
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42861 0 0 0 71872 133 0 0 25 0 1 0 694051810 47362048 10838 4294967295 134512640 134714508 3221221792 3221220332 134539230 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11563 10838 1111 63 0 11500 0
vsize: 46252
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 42958 0 0 0 72871 133 0 0 25 0 1 0 694051810 47767552 10935 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11662 10935 1111 63 0 11599 0
vsize: 46648
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43076 0 0 0 73870 134 0 0 25 0 1 0 694051810 48308224 11053 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11794 11053 1111 63 0 11731 0
vsize: 47176
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43160 0 0 0 74869 136 0 0 25 0 1 0 694051810 48578560 11137 4294967295 134512640 134714508 3221221792 3221220360 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11860 11137 1111 63 0 11797 0
vsize: 47440
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43244 0 0 0 75868 136 0 0 25 0 1 0 694051810 48984064 11221 4294967295 134512640 134714508 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11959 11221 1111 63 0 11896 0
vsize: 47836
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43344 0 0 0 76868 137 0 0 25 0 1 0 694051810 49389568 11321 4294967295 134512640 134714508 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12058 11321 1111 63 0 11995 0
vsize: 48232
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43450 0 0 0 77867 138 0 0 25 0 1 0 694051810 49795072 11427 4294967295 134512640 134714508 3221221792 3221220416 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12157 11427 1111 63 0 12094 0
vsize: 48628
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43545 0 0 0 78866 139 0 0 25 0 1 0 694051810 50229248 11522 4294967295 134512640 134714508 3221221792 3221220416 134536678 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12263 11522 1111 63 0 12200 0
vsize: 49052
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43640 0 0 0 79865 140 0 0 25 0 1 0 694051810 50642944 11617 4294967295 134512640 134714508 3221221792 3221220380 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12364 11617 1111 63 0 12301 0
vsize: 49456
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43745 0 0 0 80864 141 0 0 25 0 1 0 694051810 51048448 11722 4294967295 134512640 134714508 3221221792 3221220464 134543724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12463 11722 1111 63 0 12400 0
vsize: 49852
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43839 0 0 0 81864 142 0 0 25 0 1 0 694051810 51458048 11816 4294967295 134512640 134714508 3221221792 3221220420 134696230 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12563 11816 1111 63 0 12500 0
vsize: 50252
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 43953 0 0 0 82864 142 0 0 25 0 1 0 694051810 51998720 11930 4294967295 134512640 134714508 3221221792 3221220592 134597777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12695 11930 1111 63 0 12632 0
vsize: 50780
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44047 0 0 0 83863 143 0 0 25 0 1 0 694051810 52269056 12024 4294967295 134512640 134714508 3221221792 3221220444 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12761 12024 1111 63 0 12698 0
vsize: 51044
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44138 0 0 0 84863 143 0 0 25 0 1 0 694051810 52674560 12115 4294967295 134512640 134714508 3221221792 3221220460 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12860 12115 1111 63 0 12797 0
vsize: 51440
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44260 0 0 0 85862 144 0 0 25 0 1 0 694051810 53215232 12237 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12992 12237 1111 63 0 12929 0
vsize: 51968
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44356 0 0 0 86862 145 0 0 25 0 1 0 694051810 53620736 12333 4294967295 134512640 134714508 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13091 12333 1111 63 0 13028 0
vsize: 52364
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44455 0 0 0 87861 145 0 0 25 0 1 0 694051810 54026240 12432 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13190 12432 1111 63 0 13127 0
vsize: 52760
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44571 0 0 0 88861 146 0 0 25 0 1 0 694051810 54431744 12548 4294967295 134512640 134714508 3221221792 3221220112 134697200 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13289 12548 1111 63 0 13226 0
vsize: 53156
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44661 0 0 0 89861 146 0 0 25 0 1 0 694051810 54837248 12638 4294967295 134512640 134714508 3221221792 3221220548 134652863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13388 12638 1111 63 0 13325 0
vsize: 53552
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44763 0 0 0 90860 147 0 0 25 0 1 0 694051810 55242752 12740 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13487 12740 1111 63 0 13424 0
vsize: 53948
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44880 0 0 0 91860 148 0 0 25 0 1 0 694051810 55783424 12857 4294967295 134512640 134714508 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13619 12857 1111 63 0 13556 0
vsize: 54476
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 44969 0 0 0 92860 148 0 0 25 0 1 0 694051810 56053760 12946 4294967295 134512640 134714508 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13685 12946 1111 63 0 13622 0
vsize: 54740
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45063 0 0 0 93860 148 0 0 25 0 1 0 694051810 56459264 13040 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13784 13040 1111 63 0 13721 0
vsize: 55136
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45174 0 0 0 94859 149 0 0 25 0 1 0 694051810 56864768 13151 4294967295 134512640 134714508 3221221792 3221220464 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13883 13151 1111 63 0 13820 0
vsize: 55532
[startup+960.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45284 0 0 0 95859 149 0 0 25 0 1 0 694051810 57405440 13261 4294967295 134512640 134714508 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14015 13261 1111 63 0 13952 0
vsize: 56060
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45383 0 0 0 96859 150 0 0 25 0 1 0 694051810 57810944 13360 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14114 13360 1111 63 0 14051 0
vsize: 56456
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45492 0 0 0 97858 150 0 0 25 0 1 0 694051810 58216448 13469 4294967295 134512640 134714508 3221221792 3221220436 134613632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14213 13469 1111 63 0 14150 0
vsize: 56852
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45587 0 0 0 98858 150 0 0 25 0 1 0 694051810 58621952 13564 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14312 13564 1111 63 0 14249 0
vsize: 57248
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45680 0 0 0 99858 151 0 0 25 0 1 0 694051810 59027456 13657 4294967295 134512640 134714508 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14411 13657 1111 63 0 14348 0
vsize: 57644
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45785 0 0 0 100858 151 0 0 25 0 1 0 694051810 59432960 13762 4294967295 134512640 134714508 3221221792 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14510 13762 1111 63 0 14447 0
vsize: 58040
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45876 0 0 0 101857 152 0 0 25 0 1 0 694051810 59842560 13853 4294967295 134512640 134714508 3221221792 3221220360 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14610 13853 1111 63 0 14547 0
vsize: 58440
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 45986 0 0 0 102856 153 0 0 25 0 1 0 694051810 60256256 13963 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14711 13963 1111 63 0 14648 0
vsize: 58844
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 46114 0 0 0 103855 154 0 0 25 0 1 0 694051810 60796928 14091 4294967295 134512640 134714508 3221221792 3221220352 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14843 14091 1111 63 0 14780 0
vsize: 59372
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 46209 0 0 0 104855 154 0 0 25 0 1 0 694051810 61202432 14186 4294967295 134512640 134714508 3221221792 3221220380 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14942 14186 1111 63 0 14879 0
vsize: 59768
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 46323 0 0 0 105855 155 0 0 25 0 1 0 694051810 61607936 14300 4294967295 134512640 134714508 3221221792 3221220352 134542312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15041 14300 1111 63 0 14978 0
vsize: 60164
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 46423 0 0 0 106854 156 0 0 25 0 1 0 694051810 62013440 14400 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15140 14400 1111 63 0 15077 0
vsize: 60560
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 46517 0 0 0 107854 156 0 0 25 0 1 0 694051810 62418944 14494 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15239 14494 1111 63 0 15176 0
vsize: 60956
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 46624 0 0 0 108854 156 0 0 25 0 1 0 694051810 62959616 14601 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15371 14601 1111 63 0 15308 0
vsize: 61484
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 46719 0 0 0 109854 157 0 0 25 0 1 0 694051810 63365120 14696 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15470 14696 1111 63 0 15407 0
vsize: 61880
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 46829 0 0 0 110853 157 0 0 25 0 1 0 694051810 63770624 14806 4294967295 134512640 134714508 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15569 14806 1111 63 0 15506 0
vsize: 62276
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 46942 0 0 0 111853 158 0 0 25 0 1 0 694051810 64176128 14919 4294967295 134512640 134714508 3221221792 3221220448 134543744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15668 14919 1111 63 0 15605 0
vsize: 62672
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 47046 0 0 0 112853 158 0 0 25 0 1 0 694051810 64716800 15023 4294967295 134512640 134714508 3221221792 3221220424 134542370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15800 15023 1111 63 0 15737 0
vsize: 63200
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 47146 0 0 0 113852 159 0 0 25 0 1 0 694051810 65122304 15123 4294967295 134512640 134714508 3221221792 3221220552 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15899 15123 1111 63 0 15836 0
vsize: 63596
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 47248 0 0 0 114852 159 0 0 25 0 1 0 694051810 65527808 15225 4294967295 134512640 134714508 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15998 15225 1111 63 0 15935 0
vsize: 63992
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 47343 0 0 0 115852 160 0 0 25 0 1 0 694051810 65949696 15320 4294967295 134512640 134714508 3221221792 3221220116 134697199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16101 15320 1111 63 0 16038 0
vsize: 64404
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 47461 0 0 0 116851 160 0 0 25 0 1 0 694051810 66355200 15438 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16200 15438 1111 63 0 16137 0
vsize: 64800
[startup+1175.08 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 16969
Raw data (stat): 16969 (bsolo_lpr) R 16968 7876 7672 0 -1 0 47461 0 0 0 116851 160 0 0 25 0 1 0 694051810 66355200 15438 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16200 15438 1111 63 0 16137 0
vsize: 0

Child status: 0
Real time (s): 1175.08
CPU time (s): 1175.18
CPU user time (s): 1173.54
CPU system time (s): 1.63775
CPU usage (%): 100.008
Max. virtual memory (Kb): 64800
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####