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/aloul/FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM	54139ff5e28c6041ec6c692b0d10f866
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.362944
Number of variables	938
Total number of constraints	700
Number of constraints which are clauses	650
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 23362

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 19:16:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=397 boxname=wulflinc31 idbench=45 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  54139ff5e28c6041ec6c692b0d10f866  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_25_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_25_sat_pb.cnf.cr.opb
IDLAUNCH: 397
/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:        926372 kB
Buffers:         38668 kB
Cached:          47564 kB
SwapCached:        944 kB
Active:          72624 kB
Inactive:        16064 kB
HighTotal:      131008 kB
HighFree:        82488 kB
LowTotal:       903652 kB
LowFree:        843884 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              56 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14040 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 19:35:49 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 397 7 1175.04 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 938 variables and 700 constraints.
c After prepocess the problem consists of 938 variables and 700 constraints.
c preprocess terminated 1.039 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.89 0.95 0.96 1/54 27512
Raw data (stat): 27512 (runsolver) R 27511 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642565050 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.90 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 1799 0 0 0 987 8 0 0 25 0 1 0 642565050 10469376 1720 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2556 1720 1111 63 0 2493 0
vsize: 10224
[startup+20.0001 s]
Raw data (loadavg): 0.92 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 1965 0 0 0 1986 9 0 0 25 0 1 0 642565050 11137024 1886 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2719 1886 1111 63 0 2656 0
vsize: 10876
[startup+30.0014 s]
Raw data (loadavg): 0.93 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2096 0 0 0 2984 11 0 0 25 0 1 0 642565050 11649024 2017 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2844 2017 1111 63 0 2781 0
vsize: 11376
[startup+40.001 s]
Raw data (loadavg): 0.94 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2156 0 0 0 3983 12 0 0 25 0 1 0 642565050 11911168 2077 4294967295 134512640 134714508 3221221776 3221220560 134551803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2908 2077 1111 63 0 2845 0
vsize: 11632
[startup+50.0019 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2303 0 0 0 4982 13 0 0 25 0 1 0 642565050 12578816 2224 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3071 2224 1111 63 0 3008 0
vsize: 12284
[startup+60.0019 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2335 0 0 0 5981 15 0 0 25 0 1 0 642565050 12713984 2256 4294967295 134512640 134714508 3221221776 3221220528 134587956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3104 2256 1111 63 0 3041 0
vsize: 12416
[startup+70.0018 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2416 0 0 0 6980 16 0 0 25 0 1 0 642565050 12976128 2337 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3168 2337 1111 63 0 3105 0
vsize: 12672
[startup+80.0027 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2442 0 0 0 7979 17 0 0 25 0 1 0 642565050 13111296 2363 4294967295 134512640 134714508 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3201 2363 1111 63 0 3138 0
vsize: 12804
[startup+90.0026 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2482 0 0 0 8979 18 0 0 25 0 1 0 642565050 13246464 2403 4294967295 134512640 134714508 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3234 2403 1111 63 0 3171 0
vsize: 12936
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2501 0 0 0 9977 19 0 0 25 0 1 0 642565050 13352960 2422 4294967295 134512640 134714508 3221221776 3221220384 134543719 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3260 2422 1111 63 0 3197 0
vsize: 13040
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2561 0 0 0 10977 20 0 0 25 0 1 0 642565050 13545472 2482 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3307 2482 1111 63 0 3244 0
vsize: 13228
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2700 0 0 0 11976 21 0 0 25 0 1 0 642565050 14217216 2621 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2621 1111 63 0 3408 0
vsize: 13884
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2804 0 0 0 12974 22 0 0 25 0 1 0 642565050 14606336 2725 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2725 1111 63 0 3503 0
vsize: 14264
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2860 0 0 0 13972 25 0 0 25 0 1 0 642565050 14860288 2781 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3628 2781 1111 63 0 3565 0
vsize: 14512
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 2927 0 0 0 14971 26 0 0 25 0 1 0 642565050 15130624 2848 4294967295 134512640 134714508 3221221776 3221220520 134551609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3694 2848 1111 63 0 3631 0
vsize: 14776
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3047 0 0 0 15970 27 0 0 25 0 1 0 642565050 15626240 2968 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2968 1111 63 0 3752 0
vsize: 15260
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3067 0 0 0 16969 29 0 0 25 0 1 0 642565050 15626240 2988 4294967295 134512640 134714508 3221221776 3221220332 134539337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2988 1111 63 0 3752 0
vsize: 15260
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3118 0 0 0 17968 30 0 0 25 0 1 0 642565050 15892480 3039 4294967295 134512640 134714508 3221221776 3221220452 1077374592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3880 3039 1111 63 0 3817 0
vsize: 15520
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3133 0 0 0 18967 31 0 0 25 0 1 0 642565050 15892480 3054 4294967295 134512640 134714508 3221221776 3221220596 134590265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3880 3054 1111 63 0 3817 0
vsize: 15520
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3151 0 0 0 19966 32 0 0 25 0 1 0 642565050 16027648 3072 4294967295 134512640 134714508 3221221776 3221220400 134696270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3913 3072 1111 63 0 3850 0
vsize: 15652
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3263 0 0 0 20965 33 0 0 25 0 1 0 642565050 16420864 3184 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4009 3184 1111 63 0 3946 0
vsize: 16036
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3335 0 0 0 21964 34 0 0 25 0 1 0 642565050 16826368 3256 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4108 3256 1111 63 0 4045 0
vsize: 16432
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3392 0 0 0 22963 35 0 0 25 0 1 0 642565050 16961536 3313 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3313 1111 63 0 4078 0
vsize: 16564
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3518 0 0 0 23962 36 0 0 25 0 1 0 642565050 17502208 3439 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4273 3439 1111 63 0 4210 0
vsize: 17092
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3518 0 0 0 24961 37 0 0 25 0 1 0 642565050 17502208 3439 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4273 3439 1111 63 0 4210 0
vsize: 17092
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3575 0 0 0 25961 38 0 0 25 0 1 0 642565050 17772544 3496 4294967295 134512640 134714508 3221221776 3221220336 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4339 3496 1111 63 0 4276 0
vsize: 17356
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3619 0 0 0 26960 39 0 0 25 0 1 0 642565050 17907712 3540 4294967295 134512640 134714508 3221221776 3221220464 134542884 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4372 3540 1111 63 0 4309 0
vsize: 17488
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3666 0 0 0 27958 41 0 0 25 0 1 0 642565050 18178048 3587 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4438 3587 1111 63 0 4375 0
vsize: 17752
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3680 0 0 0 28957 42 0 0 25 0 1 0 642565050 18178048 3601 4294967295 134512640 134714508 3221221776 3221220360 134549708 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4438 3601 1111 63 0 4375 0
vsize: 17752
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3720 0 0 0 29956 43 0 0 25 0 1 0 642565050 18313216 3641 4294967295 134512640 134714508 3221221776 3221220512 134523949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4471 3641 1111 63 0 4408 0
vsize: 17884
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3720 0 0 0 30955 45 0 0 25 0 1 0 642565050 18313216 3641 4294967295 134512640 134714508 3221221776 3221220576 134588090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4471 3641 1111 63 0 4408 0
vsize: 17884
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3720 0 0 0 31954 46 0 0 25 0 1 0 642565050 18313216 3641 4294967295 134512640 134714508 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4471 3641 1111 63 0 4408 0
vsize: 17884
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3746 0 0 0 32953 47 0 0 25 0 1 0 642565050 18448384 3667 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4504 3667 1111 63 0 4441 0
vsize: 18016
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3774 0 0 0 33953 48 0 0 25 0 1 0 642565050 18579456 3695 4294967295 134512640 134714508 3221221776 3221220520 134551617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4536 3695 1111 63 0 4473 0
vsize: 18144
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3775 0 0 0 34952 49 0 0 25 0 1 0 642565050 18579456 3696 4294967295 134512640 134714508 3221221776 3221220448 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4536 3696 1111 63 0 4473 0
vsize: 18144
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3805 0 0 0 35951 50 0 0 25 0 1 0 642565050 18694144 3726 4294967295 134512640 134714508 3221221776 3221220200 134697091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4564 3726 1111 63 0 4501 0
vsize: 18256
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3832 0 0 0 36950 51 0 0 25 0 1 0 642565050 18829312 3753 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4597 3753 1111 63 0 4534 0
vsize: 18388
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3837 0 0 0 37949 52 0 0 25 0 1 0 642565050 18829312 3758 4294967295 134512640 134714508 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4597 3758 1111 63 0 4534 0
vsize: 18388
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3855 0 0 0 38948 53 0 0 25 0 1 0 642565050 18964480 3776 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4630 3776 1111 63 0 4567 0
vsize: 18520
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3875 0 0 0 39947 54 0 0 25 0 1 0 642565050 18964480 3796 4294967295 134512640 134714508 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4630 3796 1111 63 0 4567 0
vsize: 18520
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3893 0 0 0 40946 55 0 0 25 0 1 0 642565050 19099648 3814 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3814 1111 63 0 4600 0
vsize: 18652
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3893 0 0 0 41945 57 0 0 25 0 1 0 642565050 19099648 3814 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3814 1111 63 0 4600 0
vsize: 18652
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3893 0 0 0 42944 58 0 0 25 0 1 0 642565050 19099648 3814 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3814 1111 63 0 4600 0
vsize: 18652
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3893 0 0 0 43944 59 0 0 25 0 1 0 642565050 19099648 3814 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3814 1111 63 0 4600 0
vsize: 18652
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3893 0 0 0 44943 59 0 0 25 0 1 0 642565050 19099648 3814 4294967295 134512640 134714508 3221221776 3221220500 134652871 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3814 1111 63 0 4600 0
vsize: 18652
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3903 0 0 0 45943 60 0 0 25 0 1 0 642565050 19099648 3824 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3824 1111 63 0 4600 0
vsize: 18652
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3903 0 0 0 46942 60 0 0 25 0 1 0 642565050 19099648 3824 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3824 1111 63 0 4600 0
vsize: 18652
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3903 0 0 0 47942 61 0 0 25 0 1 0 642565050 19099648 3824 4294967295 134512640 134714508 3221221776 3221220332 134535626 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3824 1111 63 0 4600 0
vsize: 18652
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3914 0 0 0 48941 63 0 0 25 0 1 0 642565050 19099648 3835 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3835 1111 63 0 4600 0
vsize: 18652
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3919 0 0 0 49939 64 0 0 25 0 1 0 642565050 19234816 3840 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 3840 1111 63 0 4633 0
vsize: 18784
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3946 0 0 0 50938 65 0 0 25 0 1 0 642565050 19234816 3867 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 3867 1111 63 0 4633 0
vsize: 18784
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3951 0 0 0 51938 66 0 0 25 0 1 0 642565050 19234816 3872 4294967295 134512640 134714508 3221221776 3221220432 1076647576 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 3872 1111 63 0 4633 0
vsize: 18784
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3951 0 0 0 52937 67 0 0 25 0 1 0 642565050 19234816 3872 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 3872 1111 63 0 4633 0
vsize: 18784
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3951 0 0 0 53936 69 0 0 25 0 1 0 642565050 19234816 3872 4294967295 134512640 134714508 3221221776 3221220404 134696217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 3872 1111 63 0 4633 0
vsize: 18784
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3951 0 0 0 54935 70 0 0 25 0 1 0 642565050 19234816 3872 4294967295 134512640 134714508 3221221776 3221220560 134529323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 3872 1111 63 0 4633 0
vsize: 18784
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 3971 0 0 0 55934 70 0 0 25 0 1 0 642565050 19369984 3892 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4729 3892 1111 63 0 4666 0
vsize: 18916
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4006 0 0 0 56934 71 0 0 25 0 1 0 642565050 19505152 3927 4294967295 134512640 134714508 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4762 3927 1111 63 0 4699 0
vsize: 19048
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4033 0 0 0 57932 73 0 0 25 0 1 0 642565050 19640320 3954 4294967295 134512640 134714508 3221221776 3221220520 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4795 3954 1111 63 0 4732 0
vsize: 19180
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4068 0 0 0 58931 74 0 0 25 0 1 0 642565050 19755008 3989 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4823 3989 1111 63 0 4760 0
vsize: 19292
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4120 0 0 0 59930 75 0 0 25 0 1 0 642565050 20021248 4041 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4888 4041 1111 63 0 4825 0
vsize: 19552
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4158 0 0 0 60929 76 0 0 25 0 1 0 642565050 20127744 4079 4294967295 134512640 134714508 3221221776 3221220520 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4079 1111 63 0 4851 0
vsize: 19656
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 61928 77 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220476 134543760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 62928 78 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 63926 79 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220384 134543674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 64926 80 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 65925 81 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220384 134523171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 66924 82 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 67923 83 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 68923 84 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 69922 85 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 70922 85 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 71921 86 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220404 134696253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 72921 87 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220416 134542368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 73919 88 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 74919 89 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 75918 90 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220368 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 76917 91 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 77916 92 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220184 134697434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 78915 93 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220536 134592365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 79915 94 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 80914 95 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4169 0 0 0 81913 96 0 0 25 0 1 0 642565050 20127744 4090 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4090 1111 63 0 4851 0
vsize: 19656
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4176 0 0 0 82912 97 0 0 25 0 1 0 642565050 20258816 4097 4294967295 134512640 134714508 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4097 1111 63 0 4883 0
vsize: 19784
[startup+840.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4176 0 0 0 83911 98 0 0 25 0 1 0 642565050 20258816 4097 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4097 1111 63 0 4883 0
vsize: 19784
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4179 0 0 0 84911 99 0 0 25 0 1 0 642565050 20258816 4100 4294967295 134512640 134714508 3221221776 3221220464 134534110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4100 1111 63 0 4883 0
vsize: 19784
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4194 0 0 0 85910 100 0 0 25 0 1 0 642565050 20258816 4115 4294967295 134512640 134714508 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4115 1111 63 0 4883 0
vsize: 19784
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4255 0 0 0 86909 101 0 0 25 0 1 0 642565050 20520960 4176 4294967295 134512640 134714508 3221221776 3221220528 134587954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5010 4176 1111 63 0 4947 0
vsize: 20040
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4312 0 0 0 87908 102 0 0 25 0 1 0 642565050 20791296 4233 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4233 1111 63 0 5013 0
vsize: 20304
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 88907 103 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 89906 105 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 90904 106 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 91904 107 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+930.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 92903 108 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220512 134524376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 93903 108 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 94902 110 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 95900 111 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 96899 112 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220436 134523855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4320 0 0 0 97899 113 0 0 25 0 1 0 642565050 20791296 4241 4294967295 134512640 134714508 3221221776 3221220464 134534129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4327 0 0 0 98898 114 0 0 25 0 1 0 642565050 20791296 4248 4294967295 134512640 134714508 3221221776 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4248 1111 63 0 5013 0
vsize: 20304
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4327 0 0 0 99897 115 0 0 25 0 1 0 642565050 20791296 4248 4294967295 134512640 134714508 3221221776 3221220476 134543760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4248 1111 63 0 5013 0
vsize: 20304
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4327 0 0 0 100897 116 0 0 25 0 1 0 642565050 20791296 4248 4294967295 134512640 134714508 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4248 1111 63 0 5013 0
vsize: 20304
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4327 0 0 0 101896 116 0 0 25 0 1 0 642565050 20791296 4248 4294967295 134512640 134714508 3221221776 3221220440 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4248 1111 63 0 5013 0
vsize: 20304
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4327 0 0 0 102895 117 0 0 25 0 1 0 642565050 20791296 4248 4294967295 134512640 134714508 3221221776 3221220520 134551601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4248 1111 63 0 5013 0
vsize: 20304
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4333 0 0 0 103895 118 0 0 25 0 1 0 642565050 20914176 4254 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4254 1111 63 0 5043 0
vsize: 20424
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4333 0 0 0 104894 119 0 0 25 0 1 0 642565050 20914176 4254 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4254 1111 63 0 5043 0
vsize: 20424
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4333 0 0 0 105893 120 0 0 25 0 1 0 642565050 20914176 4254 4294967295 134512640 134714508 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4254 1111 63 0 5043 0
vsize: 20424
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4342 0 0 0 106893 121 0 0 25 0 1 0 642565050 20914176 4263 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4263 1111 63 0 5043 0
vsize: 20424
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4342 0 0 0 107892 122 0 0 25 0 1 0 642565050 20914176 4263 4294967295 134512640 134714508 3221221776 3221220400 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4263 1111 63 0 5043 0
vsize: 20424
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4357 0 0 0 108891 122 0 0 25 0 1 0 642565050 20914176 4278 4294967295 134512640 134714508 3221221776 3221220368 134549773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4278 1111 63 0 5043 0
vsize: 20424
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4360 0 0 0 109891 123 0 0 25 0 1 0 642565050 20914176 4281 4294967295 134512640 134714508 3221221776 3221220404 134696219 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4281 1111 63 0 5043 0
vsize: 20424
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4366 0 0 0 110890 124 0 0 25 0 1 0 642565050 21037056 4287 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5136 4287 1111 63 0 5073 0
vsize: 20544
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4381 0 0 0 111889 126 0 0 25 0 1 0 642565050 21037056 4302 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5136 4302 1111 63 0 5073 0
vsize: 20544
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4432 0 0 0 112888 127 0 0 25 0 1 0 642565050 21307392 4353 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5202 4353 1111 63 0 5139 0
vsize: 20808
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4461 0 0 0 113886 128 0 0 25 0 1 0 642565050 21442560 4382 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5235 4382 1111 63 0 5172 0
vsize: 20940
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4498 0 0 0 114885 130 0 0 25 0 1 0 642565050 21573632 4419 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5267 4419 1111 63 0 5204 0
vsize: 21068
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4504 0 0 0 115884 131 0 0 25 0 1 0 642565050 21573632 4425 4294967295 134512640 134714508 3221221776 3221220384 134523401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5267 4425 1111 63 0 5204 0
vsize: 21068
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4504 0 0 0 116883 132 0 0 25 0 1 0 642565050 21573632 4425 4294967295 134512640 134714508 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5267 4425 1111 63 0 5204 0
vsize: 21068
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 27512
Raw data (stat): 27512 (bsolo_lpr) R 27511 7876 7672 0 -1 0 4504 0 0 0 116883 132 0 0 25 0 1 0 642565050 21573632 4425 4294967295 134512640 134714508 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5267 4425 1111 63 0 5204 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.7
CPU system time (s): 1.3378
CPU usage (%): 100.011
Max. virtual memory (Kb): 21068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####