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-f1000.opb
MD5SUM	3b740c03d309134e8e181ea08fc4a1e3
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	2000
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	2000
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2000
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2000
Total number of constraints	5250
Number of constraints which are clauses	5250
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 23772

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 15:01:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1135 boxname=wulflinc31 idbench=127 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3b740c03d309134e8e181ea08fc4a1e3  /oldhome/oroussel/tmp/wulflinc31/normalized-f1000.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-f1000.opb
IDLAUNCH: 1135
/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:        907052 kB
Buffers:         44404 kB
Cached:          60800 kB
SwapCached:        944 kB
Active:          86428 kB
Inactive:        21224 kB
HighTotal:      131008 kB
HighFree:        69216 kB
LowTotal:       903652 kB
LowFree:        837836 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14392 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 15:20:50 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 1135 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2000 variables and 5250 constraints.
c After prepocess the problem consists of 2000 variables and 5250 constraints.
c preprocess terminated 1.159 s
c Initial Lower Bound: 666
c Lower Bound Elapsed time: 249.749
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 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): 1.17 1.04 0.94 2/54 4277
Raw data (stat): 4277 (runsolver) R 4276 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 658317004 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+10.0008 s]
Raw data (loadavg): 1.14 1.04 0.94 2/54 4277
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2644 0 0 0 985 10 0 0 25 0 1 0 658317004 13430784 2327 4294967295 134512640 134714508 3221221792 3221217680 1074872796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2327 1111 63 0 3216 0
vsize: 13116
[startup+20.0016 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 4277
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2659 0 0 0 1985 10 0 0 25 0 1 0 658317004 13430784 2342 4294967295 134512640 134714508 3221221792 3221217676 1074788168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2342 1111 63 0 3216 0
vsize: 13116
[startup+30.0019 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2667 0 0 0 2985 10 0 0 25 0 1 0 658317004 13430784 2350 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2350 1111 63 0 3216 0
vsize: 13116
[startup+40.0025 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2672 0 0 0 3986 10 0 0 25 0 1 0 658317004 13430784 2355 4294967295 134512640 134714508 3221221792 3221217984 1074961129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2355 1111 63 0 3216 0
vsize: 13116
[startup+50.0027 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2723 0 0 0 4986 10 0 0 25 0 1 0 658317004 13578240 2406 4294967295 134512640 134714508 3221221792 3221217596 1074788915 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3315 2406 1111 63 0 3252 0
vsize: 13260
[startup+60.0036 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2771 0 0 0 5985 11 0 0 25 0 1 0 658317004 13737984 2454 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2454 1111 63 0 3291 0
vsize: 13416
[startup+70.0043 s]
Raw data (loadavg): 1.05 1.03 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2833 0 0 0 6986 11 0 0 25 0 1 0 658317004 13918208 2516 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3398 2516 1111 63 0 3335 0
vsize: 13592
[startup+80.0042 s]
Raw data (loadavg): 1.04 1.03 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2849 0 0 0 7986 11 0 0 25 0 1 0 658317004 13918208 2532 4294967295 134512640 134714508 3221221792 3221217576 1074787081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3398 2532 1111 63 0 3335 0
vsize: 13592
[startup+90.0045 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2905 0 0 0 8986 11 0 0 25 0 1 0 658317004 14114816 2588 4294967295 134512640 134714508 3221221792 3221217616 1074786849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2588 1111 63 0 3383 0
vsize: 13784
[startup+100.004 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2914 0 0 0 9986 11 0 0 25 0 1 0 658317004 14114816 2597 4294967295 134512640 134714508 3221221792 3221217644 1074788195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2597 1111 63 0 3383 0
vsize: 13784
[startup+110.006 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 2940 0 0 0 10986 11 0 0 25 0 1 0 658317004 14213120 2623 4294967295 134512640 134714508 3221221792 3221217824 1075895701 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3470 2623 1111 63 0 3407 0
vsize: 13880
[startup+120.006 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3009 0 0 0 11986 12 0 0 25 0 1 0 658317004 14327808 2692 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3498 2692 1111 63 0 3435 0
vsize: 13992
[startup+130.006 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3083 0 0 0 12986 12 0 0 25 0 1 0 658317004 14561280 2766 4294967295 134512640 134714508 3221221792 3221218088 1075112600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2766 1111 63 0 3492 0
vsize: 14220
[startup+140.006 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3086 0 0 0 13986 12 0 0 25 0 1 0 658317004 14561280 2769 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2769 1111 63 0 3492 0
vsize: 14220
[startup+150.006 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3089 0 0 0 14986 12 0 0 25 0 1 0 658317004 14561280 2772 4294967295 134512640 134714508 3221221792 3221217776 1074881417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2772 1111 63 0 3492 0
vsize: 14220
[startup+160.007 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3089 0 0 0 15986 12 0 0 25 0 1 0 658317004 14561280 2772 4294967295 134512640 134714508 3221221792 3221218224 1075084533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2772 1111 63 0 3492 0
vsize: 14220
[startup+170.007 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3104 0 0 0 16986 12 0 0 25 0 1 0 658317004 14696448 2787 4294967295 134512640 134714508 3221221792 3221217676 1074788153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3588 2787 1111 63 0 3525 0
vsize: 14352
[startup+180.007 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3138 0 0 0 17986 12 0 0 25 0 1 0 658317004 14823424 2821 4294967295 134512640 134714508 3221221792 3221217856 1074970267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2821 1111 63 0 3556 0
vsize: 14476
[startup+190.008 s]
Raw data (loadavg): 1.00 1.02 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3139 0 0 0 18987 12 0 0 25 0 1 0 658317004 14823424 2822 4294967295 134512640 134714508 3221221792 3221217680 1075965307 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2822 1111 63 0 3556 0
vsize: 14476
[startup+200.007 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3139 0 0 0 19987 12 0 0 25 0 1 0 658317004 14823424 2822 4294967295 134512640 134714508 3221221792 3221217984 1074960912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2822 1111 63 0 3556 0
vsize: 14476
[startup+210.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 3139 0 0 0 20987 12 0 0 25 0 1 0 658317004 14823424 2822 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2822 1111 63 0 3556 0
vsize: 14476
[startup+220.008 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 4691 0 0 0 21984 15 0 0 25 0 1 0 658317004 12746752 2371 4294967295 134512640 134714508 3221221792 3221220224 134648493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2371 1111 63 0 3049 0
vsize: 12448
[startup+230.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 4691 0 0 0 22983 16 0 0 25 0 1 0 658317004 12746752 2371 4294967295 134512640 134714508 3221221792 3221220224 134648665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2371 1111 63 0 3049 0
vsize: 12448
[startup+240.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 4691 0 0 0 23982 17 0 0 25 0 1 0 658317004 12746752 2371 4294967295 134512640 134714508 3221221792 3221220200 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2371 1111 63 0 3049 0
vsize: 12448
[startup+250.009 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 4691 0 0 0 24982 18 0 0 25 0 1 0 658317004 12746752 2371 4294967295 134512640 134714508 3221221792 3221219916 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2371 1111 63 0 3049 0
vsize: 12448
[startup+260.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 4709 0 0 0 25981 18 0 0 25 0 1 0 658317004 12746752 2389 4294967295 134512640 134714508 3221221792 3221220192 134697349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2389 1111 63 0 3049 0
vsize: 12448
[startup+270.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4279
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 4892 0 0 0 26980 19 0 0 25 0 1 0 658317004 13422592 2572 4294967295 134512640 134714508 3221221792 3221220556 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3277 2572 1111 63 0 3214 0
vsize: 13108
[startup+280.01 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 5070 0 0 0 27980 20 0 0 25 0 1 0 658317004 14098432 2750 4294967295 134512640 134714508 3221221792 3221220376 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3442 2750 1111 63 0 3379 0
vsize: 13768
[startup+290.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 5234 0 0 0 28979 21 0 0 25 0 1 0 658317004 14774272 2914 4294967295 134512640 134714508 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3607 2914 1111 63 0 3544 0
vsize: 14428
[startup+300.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 5392 0 0 0 29978 22 0 0 25 0 1 0 658317004 15450112 3072 4294967295 134512640 134714508 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3772 3072 1111 63 0 3709 0
vsize: 15088
[startup+310.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 5617 0 0 0 30976 24 0 0 25 0 1 0 658317004 16396288 3297 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4003 3297 1111 63 0 3940 0
vsize: 16012
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 5850 0 0 0 31975 25 0 0 25 0 1 0 658317004 17342464 3530 4294967295 134512640 134714508 3221221792 3221220416 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4234 3530 1111 63 0 4171 0
vsize: 16936
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 6040 0 0 0 32974 26 0 0 25 0 1 0 658317004 18153472 3720 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4432 3720 1111 63 0 4369 0
vsize: 17728
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 6221 0 0 0 33973 28 0 0 25 0 1 0 658317004 18825216 3901 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3901 1111 63 0 4533 0
vsize: 18384
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 6412 0 0 0 34972 29 0 0 25 0 1 0 658317004 19636224 4092 4294967295 134512640 134714508 3221221792 3221220576 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4794 4092 1111 63 0 4731 0
vsize: 19176
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 6563 0 0 0 35971 31 0 0 25 0 1 0 658317004 20312064 4243 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4243 1111 63 0 4896 0
vsize: 19836
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 6685 0 0 0 36970 31 0 0 25 0 1 0 658317004 20717568 4365 4294967295 134512640 134714508 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5058 4365 1111 63 0 4995 0
vsize: 20232
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 6767 0 0 0 37969 32 0 0 25 0 1 0 658317004 21123072 4447 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5157 4447 1111 63 0 5094 0
vsize: 20628
[startup+390.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 6841 0 0 0 38969 33 0 0 25 0 1 0 658317004 21393408 4521 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5223 4521 1111 63 0 5160 0
vsize: 20892
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 6907 0 0 0 39969 33 0 0 25 0 1 0 658317004 21659648 4587 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5288 4587 1111 63 0 5225 0
vsize: 21152
[startup+410.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 6990 0 0 0 40968 34 0 0 25 0 1 0 658317004 22065152 4670 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5387 4670 1111 63 0 5324 0
vsize: 21548
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 7149 0 0 0 41967 35 0 0 25 0 1 0 658317004 22605824 4829 4294967295 134512640 134714508 3221221792 3221220464 134542860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5519 4829 1111 63 0 5456 0
vsize: 22076
[startup+430.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 7323 0 0 0 42966 36 0 0 25 0 1 0 658317004 23412736 5003 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5716 5003 1111 63 0 5653 0
vsize: 22864
[startup+440.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 7475 0 0 0 43966 37 0 0 25 0 1 0 658317004 23953408 5155 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5848 5155 1111 63 0 5785 0
vsize: 23392
[startup+450.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 7656 0 0 0 44965 38 0 0 25 0 1 0 658317004 24764416 5336 4294967295 134512640 134714508 3221221792 3221220432 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6046 5336 1111 63 0 5983 0
vsize: 24184
[startup+460.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 7830 0 0 0 45964 39 0 0 25 0 1 0 658317004 25440256 5510 4294967295 134512640 134714508 3221221792 3221220444 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6211 5510 1111 63 0 6148 0
vsize: 24844
[startup+470.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 7971 0 0 0 46963 40 0 0 25 0 1 0 658317004 25980928 5651 4294967295 134512640 134714508 3221221792 3221220480 134543724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6343 5651 1111 63 0 6280 0
vsize: 25372
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8085 0 0 0 47962 41 0 0 25 0 1 0 658317004 26517504 5765 4294967295 134512640 134714508 3221221792 3221220360 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6474 5765 1111 63 0 6411 0
vsize: 25896
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8166 0 0 0 48962 41 0 0 25 0 1 0 658317004 26783744 5846 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6539 5846 1111 63 0 6476 0
vsize: 26156
[startup+500.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8232 0 0 0 49962 42 0 0 25 0 1 0 658317004 27049984 5912 4294967295 134512640 134714508 3221221792 3221220424 134543078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6604 5912 1111 63 0 6541 0
vsize: 26416
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8310 0 0 0 50962 42 0 0 25 0 1 0 658317004 27455488 5990 4294967295 134512640 134714508 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6703 5990 1111 63 0 6640 0
vsize: 26812
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8376 0 0 0 51961 44 0 0 25 0 1 0 658317004 27725824 6056 4294967295 134512640 134714508 3221221792 3221220540 134672920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6769 6056 1111 63 0 6706 0
vsize: 27076
[startup+530.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8433 0 0 0 52961 44 0 0 25 0 1 0 658317004 27979776 6113 4294967295 134512640 134714508 3221221792 3221220448 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6831 6113 1111 63 0 6768 0
vsize: 27324
[startup+540.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8483 0 0 0 53960 44 0 0 25 0 1 0 658317004 28114944 6163 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6864 6163 1111 63 0 6801 0
vsize: 27456
[startup+550.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8574 0 0 0 54959 45 0 0 25 0 1 0 658317004 28520448 6254 4294967295 134512640 134714508 3221221792 3221220464 134543724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6963 6254 1111 63 0 6900 0
vsize: 27852
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8723 0 0 0 55959 46 0 0 25 0 1 0 658317004 29061120 6403 4294967295 134512640 134714508 3221221792 3221220496 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7095 6403 1111 63 0 7032 0
vsize: 28380
[startup+570.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 8873 0 0 0 56958 47 0 0 25 0 1 0 658317004 29736960 6553 4294967295 134512640 134714508 3221221792 3221220512 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7260 6553 1111 63 0 7197 0
vsize: 29040
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 9011 0 0 0 57957 48 0 0 25 0 1 0 658317004 30277632 6691 4294967295 134512640 134714508 3221221792 3221220332 134539296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7392 6691 1111 63 0 7329 0
vsize: 29568
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 9130 0 0 0 58956 49 0 0 25 0 1 0 658317004 30818304 6810 4294967295 134512640 134714508 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7524 6810 1111 63 0 7461 0
vsize: 30096
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 9241 0 0 0 59955 50 0 0 25 0 1 0 658317004 31215616 6921 4294967295 134512640 134714508 3221221792 3221220552 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7621 6921 1111 63 0 7558 0
vsize: 30484
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 9341 0 0 0 60955 51 0 0 25 0 1 0 658317004 31621120 7021 4294967295 134512640 134714508 3221221792 3221220300 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7720 7021 1111 63 0 7657 0
vsize: 30880
[startup+620.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 9410 0 0 0 61955 51 0 0 25 0 1 0 658317004 31891456 7090 4294967295 134512640 134714508 3221221792 3221220556 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7786 7090 1111 63 0 7723 0
vsize: 31144
[startup+630.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 9562 0 0 0 62954 52 0 0 25 0 1 0 658317004 32567296 7242 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7951 7242 1111 63 0 7888 0
vsize: 31804
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 9706 0 0 0 63954 53 0 0 25 0 1 0 658317004 33107968 7386 4294967295 134512640 134714508 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8083 7386 1111 63 0 8020 0
vsize: 32332
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 9820 0 0 0 64953 53 0 0 25 0 1 0 658317004 33648640 7500 4294967295 134512640 134714508 3221221792 3221220432 134696060 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8215 7500 1111 63 0 8152 0
vsize: 32860
[startup+660.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 9948 0 0 0 65953 54 0 0 25 0 1 0 658317004 34189312 7628 4294967295 134512640 134714508 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8347 7628 1111 63 0 8284 0
vsize: 33388
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10032 0 0 0 66952 55 0 0 25 0 1 0 658317004 34459648 7712 4294967295 134512640 134714508 3221221792 3221220496 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8413 7712 1111 63 0 8350 0
vsize: 33652
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10099 0 0 0 67951 56 0 0 25 0 1 0 658317004 34729984 7779 4294967295 134512640 134714508 3221221792 3221220568 134600349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8479 7779 1111 63 0 8416 0
vsize: 33916
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10157 0 0 0 68952 56 0 0 25 0 1 0 658317004 35000320 7837 4294967295 134512640 134714508 3221221792 3221220384 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8545 7837 1111 63 0 8482 0
vsize: 34180
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10224 0 0 0 69951 56 0 0 25 0 1 0 658317004 35270656 7904 4294967295 134512640 134714508 3221221792 3221220432 134539385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8611 7904 1111 63 0 8548 0
vsize: 34444
[startup+710.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10308 0 0 0 70951 57 0 0 25 0 1 0 658317004 35680256 7988 4294967295 134512640 134714508 3221221792 3221220304 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8711 7988 1111 63 0 8648 0
vsize: 34844
[startup+720.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10420 0 0 0 71950 58 0 0 25 0 1 0 658317004 36085760 8100 4294967295 134512640 134714508 3221221792 3221220464 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8810 8100 1111 63 0 8747 0
vsize: 35240
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10508 0 0 0 72949 59 0 0 25 0 1 0 658317004 36491264 8188 4294967295 134512640 134714508 3221221792 3221220436 134536694 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8909 8188 1111 63 0 8846 0
vsize: 35636
[startup+740.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10612 0 0 0 73949 59 0 0 25 0 1 0 658317004 36888576 8292 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9006 8292 1111 63 0 8943 0
vsize: 36024
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10688 0 0 0 74949 60 0 0 25 0 1 0 658317004 37158912 8368 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9072 8368 1111 63 0 9009 0
vsize: 36288
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10756 0 0 0 75948 61 0 0 25 0 1 0 658317004 37425152 8436 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9137 8436 1111 63 0 9074 0
vsize: 36548
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10817 0 0 0 76947 61 0 0 25 0 1 0 658317004 37679104 8497 4294967295 134512640 134714508 3221221792 3221220552 134592155 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9199 8497 1111 63 0 9136 0
vsize: 36796
[startup+780.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10877 0 0 0 77947 62 0 0 25 0 1 0 658317004 37949440 8557 4294967295 134512640 134714508 3221221792 3221220300 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9265 8557 1111 63 0 9202 0
vsize: 37060
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 10983 0 0 0 78946 63 0 0 25 0 1 0 658317004 38354944 8663 4294967295 134512640 134714508 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9364 8663 1111 63 0 9301 0
vsize: 37456
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11073 0 0 0 79945 64 0 0 25 0 1 0 658317004 38760448 8753 4294967295 134512640 134714508 3221221792 3221220352 134696558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9463 8753 1111 63 0 9400 0
vsize: 37852
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11180 0 0 0 80945 64 0 0 25 0 1 0 658317004 39165952 8860 4294967295 134512640 134714508 3221221792 3221220332 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9562 8860 1111 63 0 9499 0
vsize: 38248
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11269 0 0 0 81945 65 0 0 25 0 1 0 658317004 39571456 8949 4294967295 134512640 134714508 3221221792 3221220444 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9661 8949 1111 63 0 9598 0
vsize: 38644
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11338 0 0 0 82944 66 0 0 25 0 1 0 658317004 39837696 9018 4294967295 134512640 134714508 3221221792 3221220576 134584919 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9726 9018 1111 63 0 9663 0
vsize: 38904
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11400 0 0 0 83944 66 0 0 25 0 1 0 658317004 40108032 9080 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9792 9080 1111 63 0 9729 0
vsize: 39168
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11443 0 0 0 84943 67 0 0 25 0 1 0 658317004 40239104 9123 4294967295 134512640 134714508 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9824 9123 1111 63 0 9761 0
vsize: 39296
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11486 0 0 0 85943 67 0 0 25 0 1 0 658317004 40509440 9166 4294967295 134512640 134714508 3221221792 3221220384 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9890 9166 1111 63 0 9827 0
vsize: 39560
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11517 0 0 0 86943 68 0 0 25 0 1 0 658317004 40509440 9197 4294967295 134512640 134714508 3221221792 3221220264 1077377371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9890 9197 1111 63 0 9827 0
vsize: 39560
[startup+880.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11554 0 0 0 87943 68 0 0 25 0 1 0 658317004 40779776 9234 4294967295 134512640 134714508 3221221792 3221220552 134613522 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9234 1111 63 0 9893 0
vsize: 39824
[startup+890.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11623 0 0 0 88943 68 0 0 25 0 1 0 658317004 41050112 9303 4294967295 134512640 134714508 3221221792 3221220276 134697199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10022 9303 1111 63 0 9959 0
vsize: 40088
[startup+900.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11719 0 0 0 89942 69 0 0 25 0 1 0 658317004 41455616 9398 4294967295 134512640 134714508 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10121 9398 1111 63 0 10058 0
vsize: 40484
[startup+910.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11812 0 0 0 90942 69 0 0 25 0 1 0 658317004 41725952 9491 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10187 9491 1111 63 0 10124 0
vsize: 40748
[startup+920.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11881 0 0 0 91942 69 0 0 25 0 1 0 658317004 42127360 9560 4294967295 134512640 134714508 3221221792 3221220516 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10285 9560 1111 63 0 10222 0
vsize: 41140
[startup+930.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 11957 0 0 0 92942 69 0 0 25 0 1 0 658317004 42397696 9636 4294967295 134512640 134714508 3221221792 3221220400 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10351 9636 1111 63 0 10288 0
vsize: 41404
[startup+940.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12026 0 0 0 93942 70 0 0 25 0 1 0 658317004 42668032 9705 4294967295 134512640 134714508 3221221792 3221220448 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10417 9705 1111 63 0 10354 0
vsize: 41668
[startup+950.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12129 0 0 0 94941 71 0 0 25 0 1 0 658317004 43073536 9808 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10516 9808 1111 63 0 10453 0
vsize: 42064
[startup+960.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12235 0 0 0 95940 72 0 0 25 0 1 0 658317004 43479040 9914 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10615 9914 1111 63 0 10552 0
vsize: 42460
[startup+970.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12330 0 0 0 96940 72 0 0 25 0 1 0 658317004 43884544 10009 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10714 10009 1111 63 0 10651 0
vsize: 42856
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12408 0 0 0 97939 73 0 0 25 0 1 0 658317004 44290048 10087 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10813 10087 1111 63 0 10750 0
vsize: 43252
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12479 0 0 0 98939 73 0 0 25 0 1 0 658317004 44560384 10158 4294967295 134512640 134714508 3221221792 3221220444 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10879 10158 1111 63 0 10816 0
vsize: 43516
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12554 0 0 0 99939 74 0 0 25 0 1 0 658317004 44830720 10233 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10945 10233 1111 63 0 10882 0
vsize: 43780
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12609 0 0 0 100938 75 0 0 25 0 1 0 658317004 45101056 10288 4294967295 134512640 134714508 3221221792 3221220560 134529110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11011 10288 1111 63 0 10948 0
vsize: 44044
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12678 0 0 0 101938 75 0 0 25 0 1 0 658317004 45371392 10357 4294967295 134512640 134714508 3221221792 3221220556 134613500 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11077 10357 1111 63 0 11014 0
vsize: 44308
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12762 0 0 0 102938 76 0 0 25 0 1 0 658317004 45641728 10441 4294967295 134512640 134714508 3221221792 3221220304 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11143 10441 1111 63 0 11080 0
vsize: 44572
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12836 0 0 0 103937 77 0 0 25 0 1 0 658317004 45912064 10515 4294967295 134512640 134714508 3221221792 3221220376 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11209 10515 1111 63 0 11146 0
vsize: 44836
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 12966 0 0 0 104936 77 0 0 25 0 1 0 658317004 46452736 10645 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11341 10645 1111 63 0 11278 0
vsize: 45364
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 13140 0 0 0 105936 78 0 0 25 0 1 0 658317004 47263744 10819 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11539 10819 1111 63 0 11476 0
vsize: 46156
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 13292 0 0 0 106935 79 0 0 25 0 1 0 658317004 47804416 10971 4294967295 134512640 134714508 3221221792 3221220348 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11671 10971 1111 63 0 11608 0
vsize: 46684
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 13420 0 0 0 107934 80 0 0 25 0 1 0 658317004 48345088 11099 4294967295 134512640 134714508 3221221792 3221220444 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11803 11099 1111 63 0 11740 0
vsize: 47212
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 13549 0 0 0 108934 81 0 0 25 0 1 0 658317004 48885760 11228 4294967295 134512640 134714508 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11935 11228 1111 63 0 11872 0
vsize: 47740
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 13677 0 0 0 109933 81 0 0 25 0 1 0 658317004 49426432 11356 4294967295 134512640 134714508 3221221792 3221220420 134696264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12067 11356 1111 63 0 12004 0
vsize: 48268
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 13788 0 0 0 110933 82 0 0 25 0 1 0 658317004 49831936 11467 4294967295 134512640 134714508 3221221792 3221220432 134696082 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12166 11467 1111 63 0 12103 0
vsize: 48664
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 13897 0 0 0 111932 83 0 0 25 0 1 0 658317004 50372608 11576 4294967295 134512640 134714508 3221221792 3221220332 134539284 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12298 11576 1111 63 0 12235 0
vsize: 49192
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 14013 0 0 0 112931 84 0 0 25 0 1 0 658317004 50778112 11692 4294967295 134512640 134714508 3221221792 3221220576 134528840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12397 11692 1111 63 0 12334 0
vsize: 49588
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 14101 0 0 0 113930 85 0 0 25 0 1 0 658317004 51183616 11780 4294967295 134512640 134714508 3221221792 3221220412 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12496 11780 1111 63 0 12433 0
vsize: 49984
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 14158 0 0 0 114930 86 0 0 25 0 1 0 658317004 51453952 11837 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12562 11837 1111 63 0 12499 0
vsize: 50248
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 14216 0 0 0 115929 86 0 0 25 0 1 0 658317004 51589120 11895 4294967295 134512640 134714508 3221221792 3221220480 134524469 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12595 11895 1111 63 0 12532 0
vsize: 50380
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 14297 0 0 0 116929 87 0 0 25 0 1 0 658317004 51994624 11976 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12694 11976 1111 63 0 12631 0
vsize: 50776
[startup+1174.99 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 4281
Raw data (stat): 4277 (bsolo_lpr) R 4276 7876 7672 0 -1 0 14297 0 0 0 116929 87 0 0 25 0 1 0 658317004 51994624 11976 4294967295 134512640 134714508 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12694 11976 1111 63 0 12631 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.12
CPU user time (s): 1174.22
CPU system time (s): 0.899863
CPU usage (%): 100.011
Max. virtual memory (Kb): 50776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####