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-fpga45_44_sat_pb.cnf.cr.opb
MD5SUM	c501a04dd091dbe678ec2743021adc30
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	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.2037
Number of variables	2970
Total number of constraints	2113
Number of constraints which are clauses	2024
Number of constraints which are cardinality constraints (but not clauses)	89
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 23417

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 09:44:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=496 boxname=wulflinc31 idbench=56 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  c501a04dd091dbe678ec2743021adc30  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_44_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_44_sat_pb.cnf.cr.opb
IDLAUNCH: 496
/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:        921340 kB
Buffers:         39704 kB
Cached:          51356 kB
SwapCached:        944 kB
Active:          75900 kB
Inactive:        17636 kB
HighTotal:      131008 kB
HighFree:        78680 kB
LowTotal:       903652 kB
LowFree:        842660 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             368 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14300 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 10:04:21 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 496 7 1175.03 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 2970 variables and 2113 constraints.
c After prepocess the problem consists of 2970 variables and 2113 constraints.
c preprocess terminated 8.75 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.92 0.98 0.98 2/54 1066
Raw data (stat): 1066 (runsolver) R 1065 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 647776851 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0007 s]
Raw data (loadavg): 0.93 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2307 0 0 0 986 9 0 0 25 0 1 0 647776851 12652544 2228 4294967295 134512640 134714508 3221221776 3221220444 134539344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3089 2228 1111 63 0 3026 0
vsize: 12356
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2431 0 0 0 1984 11 0 0 25 0 1 0 647776851 13107200 2342 4294967295 134512640 134714508 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3200 2342 1111 63 0 3137 0
vsize: 12800
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2446 0 0 0 2983 12 0 0 25 0 1 0 647776851 13107200 2357 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3200 2357 1111 63 0 3137 0
vsize: 12800
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2485 0 0 0 3982 13 0 0 25 0 1 0 647776851 13242368 2396 4294967295 134512640 134714508 3221221776 3221220384 134549488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3233 2396 1111 63 0 3170 0
vsize: 12932
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2511 0 0 0 4980 15 0 0 25 0 1 0 647776851 13377536 2422 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3266 2422 1111 63 0 3203 0
vsize: 13064
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2534 0 0 0 5978 17 0 0 25 0 1 0 647776851 13508608 2445 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3298 2445 1111 63 0 3235 0
vsize: 13192
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2534 0 0 0 6978 18 0 0 25 0 1 0 647776851 13479936 2445 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3291 2445 1111 63 0 3228 0
vsize: 13164
[startup+80.0033 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2569 0 0 0 7977 19 0 0 25 0 1 0 647776851 13615104 2480 4294967295 134512640 134714508 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2480 1111 63 0 3261 0
vsize: 13296
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2622 0 0 0 8976 21 0 0 25 0 1 0 647776851 13885440 2533 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3390 2533 1111 63 0 3327 0
vsize: 13560
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2658 0 0 0 9974 22 0 0 25 0 1 0 647776851 14020608 2569 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3423 2569 1111 63 0 3360 0
vsize: 13692
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2683 0 0 0 10973 24 0 0 25 0 1 0 647776851 14151680 2594 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3455 2594 1111 63 0 3392 0
vsize: 13820
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2695 0 0 0 11972 25 0 0 25 0 1 0 647776851 14106624 2606 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3444 2606 1111 63 0 3381 0
vsize: 13776
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2711 0 0 0 12971 27 0 0 25 0 1 0 647776851 14241792 2622 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3477 2622 1111 63 0 3414 0
vsize: 13908
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2742 0 0 0 13969 28 0 0 25 0 1 0 647776851 14352384 2653 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2653 1111 63 0 3441 0
vsize: 14016
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2745 0 0 0 14968 29 0 0 25 0 1 0 647776851 14352384 2656 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3504 2656 1111 63 0 3441 0
vsize: 14016
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2806 0 0 0 15968 30 0 0 25 0 1 0 647776851 14622720 2717 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3570 2717 1111 63 0 3507 0
vsize: 14280
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2845 0 0 0 16966 32 0 0 25 0 1 0 647776851 14757888 2756 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3603 2756 1111 63 0 3540 0
vsize: 14412
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2900 0 0 0 17965 33 0 0 25 0 1 0 647776851 15028224 2811 4294967295 134512640 134714508 3221221776 3221220384 1077377142 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2811 1111 63 0 3606 0
vsize: 14676
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2914 0 0 0 18964 34 0 0 25 0 1 0 647776851 15028224 2825 4294967295 134512640 134714508 3221221776 3221220456 134523849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2825 1111 63 0 3606 0
vsize: 14676
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2921 0 0 0 19963 36 0 0 25 0 1 0 647776851 15028224 2832 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3669 2832 1111 63 0 3606 0
vsize: 14676
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2948 0 0 0 20962 37 0 0 25 0 1 0 647776851 15163392 2859 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2859 1111 63 0 3639 0
vsize: 14808
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2948 0 0 0 21961 38 0 0 25 0 1 0 647776851 15163392 2859 4294967295 134512640 134714508 3221221776 3221220464 134534110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2859 1111 63 0 3639 0
vsize: 14808
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2959 0 0 0 22960 39 0 0 25 0 1 0 647776851 15298560 2870 4294967295 134512640 134714508 3221221776 3221220400 134696234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3735 2870 1111 63 0 3672 0
vsize: 14940
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2981 0 0 0 23959 40 0 0 25 0 1 0 647776851 15298560 2892 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3735 2892 1111 63 0 3672 0
vsize: 14940
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 2998 0 0 0 24957 42 0 0 25 0 1 0 647776851 15433728 2909 4294967295 134512640 134714508 3221221776 3221220768 134574948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3768 2909 1111 63 0 3705 0
vsize: 15072
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3031 0 0 0 25956 44 0 0 25 0 1 0 647776851 15568896 2942 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3801 2942 1111 63 0 3738 0
vsize: 15204
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3031 0 0 0 26955 44 0 0 25 0 1 0 647776851 15568896 2942 4294967295 134512640 134714508 3221221776 3221220480 134524393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3801 2942 1111 63 0 3738 0
vsize: 15204
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3047 0 0 0 27954 46 0 0 25 0 1 0 647776851 15568896 2958 4294967295 134512640 134714508 3221221776 3221220480 134524573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3801 2958 1111 63 0 3738 0
vsize: 15204
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3066 0 0 0 28953 47 0 0 25 0 1 0 647776851 15704064 2977 4294967295 134512640 134714508 3221221776 3221220416 134696011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2977 1111 63 0 3771 0
vsize: 15336
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3066 0 0 0 29952 48 0 0 25 0 1 0 647776851 15704064 2977 4294967295 134512640 134714508 3221221776 3221220344 1077377888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3834 2977 1111 63 0 3771 0
vsize: 15336
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3076 0 0 0 30951 50 0 0 25 0 1 0 647776851 15695872 2987 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3832 2987 1111 63 0 3769 0
vsize: 15328
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3078 0 0 0 31950 51 0 0 25 0 1 0 647776851 15695872 2989 4294967295 134512640 134714508 3221221776 3221220452 1077374508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3832 2989 1111 63 0 3769 0
vsize: 15328
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3097 0 0 0 32949 52 0 0 25 0 1 0 647776851 15831040 3008 4294967295 134512640 134714508 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3865 3008 1111 63 0 3802 0
vsize: 15460
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3128 0 0 0 33948 53 0 0 25 0 1 0 647776851 15966208 3039 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3898 3039 1111 63 0 3835 0
vsize: 15592
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3131 0 0 0 34947 55 0 0 25 0 1 0 647776851 15941632 3042 4294967295 134512640 134714508 3221221776 3221220260 134697190 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3042 1111 63 0 3829 0
vsize: 15568
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3131 0 0 0 35945 56 0 0 25 0 1 0 647776851 15941632 3042 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3042 1111 63 0 3829 0
vsize: 15568
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3131 0 0 0 36944 58 0 0 25 0 1 0 647776851 15941632 3042 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3042 1111 63 0 3829 0
vsize: 15568
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3131 0 0 0 37943 59 0 0 25 0 1 0 647776851 15941632 3042 4294967295 134512640 134714508 3221221776 3221220480 134528623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3042 1111 63 0 3829 0
vsize: 15568
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3131 0 0 0 38941 61 0 0 25 0 1 0 647776851 15941632 3042 4294967295 134512640 134714508 3221221776 3221220440 134551617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3042 1111 63 0 3829 0
vsize: 15568
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3131 0 0 0 39940 62 0 0 25 0 1 0 647776851 15941632 3042 4294967295 134512640 134714508 3221221776 3221220464 134534101 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3042 1111 63 0 3829 0
vsize: 15568
[startup+410.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3138 0 0 0 40939 64 0 0 25 0 1 0 647776851 15941632 3049 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3049 1111 63 0 3829 0
vsize: 15568
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3143 0 0 0 41937 65 0 0 25 0 1 0 647776851 15941632 3054 4294967295 134512640 134714508 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3054 1111 63 0 3829 0
vsize: 15568
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3146 0 0 0 42937 66 0 0 25 0 1 0 647776851 16076800 3057 4294967295 134512640 134714508 3221221776 3221220404 134696261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3925 3057 1111 63 0 3862 0
vsize: 15700
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3186 0 0 0 43936 67 0 0 25 0 1 0 647776851 16175104 3097 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3949 3097 1111 63 0 3886 0
vsize: 15796
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3197 0 0 0 44935 68 0 0 25 0 1 0 647776851 16175104 3108 4294967295 134512640 134714508 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3949 3108 1111 63 0 3886 0
vsize: 15796
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3227 0 0 0 45934 70 0 0 25 0 1 0 647776851 16306176 3138 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3981 3138 1111 63 0 3918 0
vsize: 15924
[startup+470.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3236 0 0 0 46932 72 0 0 25 0 1 0 647776851 16441344 3147 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4014 3147 1111 63 0 3951 0
vsize: 16056
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3258 0 0 0 47931 73 0 0 25 0 1 0 647776851 16441344 3169 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4014 3169 1111 63 0 3951 0
vsize: 16056
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3258 0 0 0 48930 74 0 0 25 0 1 0 647776851 16441344 3169 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4014 3169 1111 63 0 3951 0
vsize: 16056
[startup+500.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3282 0 0 0 49929 75 0 0 25 0 1 0 647776851 16543744 3193 4294967295 134512640 134714508 3221221776 3221220464 134524471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3193 1111 63 0 3976 0
vsize: 16156
[startup+510.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3282 0 0 0 50928 76 0 0 25 0 1 0 647776851 16543744 3193 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4039 3193 1111 63 0 3976 0
vsize: 16156
[startup+520.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3316 0 0 0 51927 77 0 0 25 0 1 0 647776851 16678912 3227 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4072 3227 1111 63 0 4009 0
vsize: 16288
[startup+530.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3316 0 0 0 52926 79 0 0 25 0 1 0 647776851 16678912 3227 4294967295 134512640 134714508 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4072 3227 1111 63 0 4009 0
vsize: 16288
[startup+540.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3316 0 0 0 53925 79 0 0 25 0 1 0 647776851 16678912 3227 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4072 3227 1111 63 0 4009 0
vsize: 16288
[startup+550.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3350 0 0 0 54925 80 0 0 25 0 1 0 647776851 16814080 3261 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4105 3261 1111 63 0 4042 0
vsize: 16420
[startup+560.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3350 0 0 0 55924 81 0 0 25 0 1 0 647776851 16814080 3261 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4105 3261 1111 63 0 4042 0
vsize: 16420
[startup+570.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3359 0 0 0 56924 82 0 0 25 0 1 0 647776851 16941056 3270 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4136 3270 1111 63 0 4073 0
vsize: 16544
[startup+580.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3359 0 0 0 57923 82 0 0 25 0 1 0 647776851 16941056 3270 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4136 3270 1111 63 0 4073 0
vsize: 16544
[startup+590.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3392 0 0 0 58922 84 0 0 25 0 1 0 647776851 17076224 3303 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4169 3303 1111 63 0 4106 0
vsize: 16676
[startup+600.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3400 0 0 0 59921 85 0 0 25 0 1 0 647776851 17055744 3311 4294967295 134512640 134714508 3221221776 3221220584 134558597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4164 3311 1111 63 0 4101 0
vsize: 16656
[startup+610.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 60920 86 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220512 134591829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+620.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 61919 87 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+630.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 62918 89 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+640.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 63917 90 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+650.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 64916 90 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+660.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 65915 92 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+670.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 66914 93 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+680.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 67912 95 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220448 134594364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+690.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 68911 96 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220464 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+700.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3470 0 0 0 69911 97 0 0 25 0 1 0 647776851 17305600 3381 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4225 3381 1111 63 0 4162 0
vsize: 16900
[startup+710.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3499 0 0 0 70910 97 0 0 25 0 1 0 647776851 17420288 3410 4294967295 134512640 134714508 3221221776 3221220560 134551803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4253 3410 1111 63 0 4190 0
vsize: 17012
[startup+720.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3499 0 0 0 71909 99 0 0 25 0 1 0 647776851 17420288 3410 4294967295 134512640 134714508 3221221776 3221220432 134536608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4253 3410 1111 63 0 4190 0
vsize: 17012
[startup+730.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3499 0 0 0 72909 99 0 0 25 0 1 0 647776851 17420288 3410 4294967295 134512640 134714508 3221221776 3221220272 134697265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4253 3410 1111 63 0 4190 0
vsize: 17012
[startup+740.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3500 0 0 0 73907 101 0 0 25 0 1 0 647776851 17420288 3411 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4253 3411 1111 63 0 4190 0
vsize: 17012
[startup+750.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3518 0 0 0 74906 102 0 0 25 0 1 0 647776851 17555456 3429 4294967295 134512640 134714508 3221221776 3221220464 134594338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4286 3429 1111 63 0 4223 0
vsize: 17144
[startup+760.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3518 0 0 0 75905 104 0 0 25 0 1 0 647776851 17555456 3429 4294967295 134512640 134714508 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4286 3429 1111 63 0 4223 0
vsize: 17144
[startup+770.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3519 0 0 0 76904 105 0 0 25 0 1 0 647776851 17555456 3430 4294967295 134512640 134714508 3221221776 3221220520 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4286 3430 1111 63 0 4223 0
vsize: 17144
[startup+780.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3519 0 0 0 77903 106 0 0 25 0 1 0 647776851 17555456 3430 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4286 3430 1111 63 0 4223 0
vsize: 17144
[startup+790.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3522 0 0 0 78902 107 0 0 25 0 1 0 647776851 17555456 3433 4294967295 134512640 134714508 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4286 3433 1111 63 0 4223 0
vsize: 17144
[startup+800.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3590 0 0 0 79901 108 0 0 25 0 1 0 647776851 17813504 3501 4294967295 134512640 134714508 3221221776 3221220416 134696119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3501 1111 63 0 4286 0
vsize: 17396
[startup+810.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3590 0 0 0 80901 109 0 0 25 0 1 0 647776851 17813504 3501 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3501 1111 63 0 4286 0
vsize: 17396
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3590 0 0 0 81900 110 0 0 25 0 1 0 647776851 17813504 3501 4294967295 134512640 134714508 3221221776 3221220400 134696355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3501 1111 63 0 4286 0
vsize: 17396
[startup+830.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3590 0 0 0 82899 111 0 0 25 0 1 0 647776851 17813504 3501 4294967295 134512640 134714508 3221221776 3221220448 134594364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3501 1111 63 0 4286 0
vsize: 17396
[startup+840.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3590 0 0 0 83898 112 0 0 25 0 1 0 647776851 17813504 3501 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3501 1111 63 0 4286 0
vsize: 17396
[startup+850.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3590 0 0 0 84897 113 0 0 25 0 1 0 647776851 17813504 3501 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3501 1111 63 0 4286 0
vsize: 17396
[startup+860.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3590 0 0 0 85896 114 0 0 25 0 1 0 647776851 17813504 3501 4294967295 134512640 134714508 3221221776 3221220404 134696261 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3501 1111 63 0 4286 0
vsize: 17396
[startup+870.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3590 0 0 0 86895 115 0 0 25 0 1 0 647776851 17813504 3501 4294967295 134512640 134714508 3221221776 3221220416 134696085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3501 1111 63 0 4286 0
vsize: 17396
[startup+880.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3592 0 0 0 87894 117 0 0 25 0 1 0 647776851 17813504 3503 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3503 1111 63 0 4286 0
vsize: 17396
[startup+890.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3595 0 0 0 88893 118 0 0 25 0 1 0 647776851 17813504 3506 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3506 1111 63 0 4286 0
vsize: 17396
[startup+900.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3595 0 0 0 89891 120 0 0 25 0 1 0 647776851 17813504 3506 4294967295 134512640 134714508 3221221776 3221220464 134551944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3506 1111 63 0 4286 0
vsize: 17396
[startup+910.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3595 0 0 0 90890 121 0 0 25 0 1 0 647776851 17813504 3506 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3506 1111 63 0 4286 0
vsize: 17396
[startup+920.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/54 1066
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3595 0 0 0 91889 122 0 0 25 0 1 0 647776851 17813504 3506 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3506 1111 63 0 4286 0
vsize: 17396
[startup+930.219 s]
Raw data (loadavg): 1.07 1.00 0.99 3/57 1110
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3595 0 0 0 92907 124 0 0 25 0 1 0 647776851 17813504 3506 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3506 1111 63 0 4286 0
vsize: 17396
[startup+940.235 s]
Raw data (loadavg): 1.14 1.02 0.99 2/54 1119
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3595 0 0 0 93908 125 0 0 25 0 1 0 647776851 17813504 3506 4294967295 134512640 134714508 3221221776 3221220560 134528896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3506 1111 63 0 4286 0
vsize: 17396
[startup+950.235 s]
Raw data (loadavg): 1.11 1.02 0.99 2/54 1119
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3595 0 0 0 94907 126 0 0 25 0 1 0 647776851 17813504 3506 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4349 3506 1111 63 0 4286 0
vsize: 17396
[startup+960.236 s]
Raw data (loadavg): 1.10 1.01 0.99 2/54 1119
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3604 0 0 0 95906 127 0 0 25 0 1 0 647776851 17932288 3515 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4378 3515 1111 63 0 4315 0
vsize: 17512
[startup+970.236 s]
Raw data (loadavg): 1.08 1.01 0.99 2/54 1119
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3615 0 0 0 96904 129 0 0 25 0 1 0 647776851 17932288 3526 4294967295 134512640 134714508 3221221776 3221220500 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4378 3526 1111 63 0 4315 0
vsize: 17512
[startup+980.235 s]
Raw data (loadavg): 1.07 1.01 0.99 2/54 1119
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3668 0 0 0 97903 131 0 0 25 0 1 0 647776851 18202624 3579 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4444 3579 1111 63 0 4381 0
vsize: 17776
[startup+990.235 s]
Raw data (loadavg): 1.06 1.01 0.99 2/54 1119
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3685 0 0 0 98900 133 0 0 25 0 1 0 647776851 18190336 3596 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3596 1111 63 0 4378 0
vsize: 17764
[startup+1000.24 s]
Raw data (loadavg): 1.05 1.01 0.99 2/54 1119
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3685 0 0 0 99900 134 0 0 25 0 1 0 647776851 18190336 3596 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3596 1111 63 0 4378 0
vsize: 17764
[startup+1010.24 s]
Raw data (loadavg): 1.04 1.01 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3713 0 0 0 100898 135 0 0 25 0 1 0 647776851 18325504 3624 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4474 3624 1111 63 0 4411 0
vsize: 17896
[startup+1020.24 s]
Raw data (loadavg): 1.03 1.01 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3725 0 0 0 101897 137 0 0 25 0 1 0 647776851 18325504 3636 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4474 3636 1111 63 0 4411 0
vsize: 17896
[startup+1030.24 s]
Raw data (loadavg): 1.03 1.01 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3731 0 0 0 102896 138 0 0 25 0 1 0 647776851 18460672 3642 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4507 3642 1111 63 0 4444 0
vsize: 18028
[startup+1040.24 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3738 0 0 0 103895 139 0 0 25 0 1 0 647776851 18460672 3649 4294967295 134512640 134714508 3221221776 3221220232 1077377185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4507 3649 1111 63 0 4444 0
vsize: 18028
[startup+1050.24 s]
Raw data (loadavg): 1.02 1.01 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3744 0 0 0 104894 141 0 0 25 0 1 0 647776851 18432000 3655 4294967295 134512640 134714508 3221221776 3221220560 134529393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4500 3655 1111 63 0 4437 0
vsize: 18000
[startup+1060.24 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3755 0 0 0 105892 143 0 0 25 0 1 0 647776851 18567168 3666 4294967295 134512640 134714508 3221221776 3221220516 1077374077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4533 3666 1111 63 0 4470 0
vsize: 18132
[startup+1070.24 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3755 0 0 0 106891 144 0 0 25 0 1 0 647776851 18550784 3666 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4529 3666 1111 63 0 4466 0
vsize: 18116
[startup+1080.24 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3779 0 0 0 107889 146 0 0 25 0 1 0 647776851 18550784 3690 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4529 3690 1111 63 0 4466 0
vsize: 18116
[startup+1090.24 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3782 0 0 0 108888 147 0 0 25 0 1 0 647776851 18685952 3693 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3693 1111 63 0 4499 0
vsize: 18248
[startup+1100.24 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3799 0 0 0 109887 148 0 0 25 0 1 0 647776851 18685952 3710 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3710 1111 63 0 4499 0
vsize: 18248
[startup+1110.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3799 0 0 0 110886 149 0 0 25 0 1 0 647776851 18685952 3710 4294967295 134512640 134714508 3221221776 3221220464 134523168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3710 1111 63 0 4499 0
vsize: 18248
[startup+1120.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3806 0 0 0 111885 151 0 0 25 0 1 0 647776851 18685952 3717 4294967295 134512640 134714508 3221221776 3221220512 134558507 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3717 1111 63 0 4499 0
vsize: 18248
[startup+1130.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3806 0 0 0 112884 152 0 0 25 0 1 0 647776851 18685952 3717 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4562 3717 1111 63 0 4499 0
vsize: 18248
[startup+1140.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3823 0 0 0 113882 154 0 0 25 0 1 0 647776851 18821120 3734 4294967295 134512640 134714508 3221221776 3221220348 134696881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4595 3734 1111 63 0 4532 0
vsize: 18380
[startup+1150.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3838 0 0 0 114882 154 0 0 25 0 1 0 647776851 18821120 3749 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4595 3749 1111 63 0 4532 0
vsize: 18380
[startup+1160.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3845 0 0 0 115880 156 0 0 25 0 1 0 647776851 18821120 3756 4294967295 134512640 134714508 3221221776 3221220448 134594364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4595 3756 1111 63 0 4532 0
vsize: 18380
[startup+1170.24 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3868 0 0 0 116880 157 0 0 25 0 1 0 647776851 18956288 3779 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4628 3779 1111 63 0 4565 0
vsize: 18512
[startup+1174.9 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 1121
Raw data (stat): 1066 (bsolo_lpr) R 1065 7876 7672 0 -1 0 3868 0 0 0 116880 157 0 0 25 0 1 0 647776851 18956288 3779 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4628 3779 1111 63 0 4565 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.03
CPU user time (s): 1173.45
CPU system time (s): 1.58176
CPU usage (%): 100.012
Max. virtual memory (Kb): 18512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####