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_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
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	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
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 23413

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 08:44:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=488 boxname=wulflinc31 idbench=55 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 488
/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:        922084 kB
Buffers:         39620 kB
Cached:          50760 kB
SwapCached:        944 kB
Active:          75844 kB
Inactive:        17036 kB
HighTotal:      131008 kB
HighFree:        79240 kB
LowTotal:       903652 kB
LowFree:        842844 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14248 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 09:03:48 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 488 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 2903 variables and 2066 constraints.
c After prepocess the problem consists of 2903 variables and 2066 constraints.
c preprocess terminated 8.286 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.92 0.98 0.99 2/54 626
Raw data (stat): 626 (runsolver) R 625 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 647413494 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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.0013 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2220 0 0 0 986 8 0 0 25 0 1 0 647413494 12304384 2141 4294967295 134512640 134714508 3221221760 3221220368 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3004 2141 1111 63 0 2941 0
vsize: 12016
[startup+20.0021 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2305 0 0 0 1986 9 0 0 25 0 1 0 647413494 12574720 2226 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2226 1111 63 0 3007 0
vsize: 12280
[startup+30.002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2360 0 0 0 2985 10 0 0 25 0 1 0 647413494 12808192 2281 4294967295 134512640 134714508 3221221760 3221220488 134558807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3127 2281 1111 63 0 3064 0
vsize: 12508
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2406 0 0 0 3984 12 0 0 25 0 1 0 647413494 13078528 2327 4294967295 134512640 134714508 3221221760 3221220328 1077377168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3193 2327 1111 63 0 3130 0
vsize: 12772
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2451 0 0 0 4983 13 0 0 25 0 1 0 647413494 13213696 2372 4294967295 134512640 134714508 3221221760 3221220368 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3226 2372 1111 63 0 3163 0
vsize: 12904
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2482 0 0 0 5981 15 0 0 25 0 1 0 647413494 13348864 2403 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3259 2403 1111 63 0 3196 0
vsize: 13036
[startup+70.002 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2495 0 0 0 6979 17 0 0 25 0 1 0 647413494 13348864 2416 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3259 2416 1111 63 0 3196 0
vsize: 13036
[startup+80.0016 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2510 0 0 0 7977 19 0 0 25 0 1 0 647413494 13484032 2431 4294967295 134512640 134714508 3221221760 3221220328 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3292 2431 1111 63 0 3229 0
vsize: 13168
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2545 0 0 0 8976 20 0 0 25 0 1 0 647413494 13619200 2466 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2466 1111 63 0 3262 0
vsize: 13300
[startup+100.001 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2593 0 0 0 9975 21 0 0 25 0 1 0 647413494 13737984 2514 4294967295 134512640 134714508 3221221760 3221220396 134523614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2514 1111 63 0 3291 0
vsize: 13416
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2641 0 0 0 10973 23 0 0 25 0 1 0 647413494 14000128 2562 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3418 2562 1111 63 0 3355 0
vsize: 13672
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2696 0 0 0 11972 25 0 0 25 0 1 0 647413494 14213120 2617 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3470 2617 1111 63 0 3407 0
vsize: 13880
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2740 0 0 0 12970 26 0 0 25 0 1 0 647413494 14344192 2661 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3502 2661 1111 63 0 3439 0
vsize: 14008
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2760 0 0 0 13969 28 0 0 25 0 1 0 647413494 14479360 2681 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3535 2681 1111 63 0 3472 0
vsize: 14140
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2801 0 0 0 14968 29 0 0 25 0 1 0 647413494 14614528 2722 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3568 2722 1111 63 0 3505 0
vsize: 14272
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2846 0 0 0 15966 31 0 0 25 0 1 0 647413494 14884864 2767 4294967295 134512640 134714508 3221221760 3221220424 134536851 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3634 2767 1111 63 0 3571 0
vsize: 14536
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2877 0 0 0 16965 32 0 0 25 0 1 0 647413494 14880768 2798 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3633 2798 1111 63 0 3570 0
vsize: 14532
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2890 0 0 0 17964 33 0 0 25 0 1 0 647413494 15056896 2811 4294967295 134512640 134714508 3221221760 3221220556 134554907 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3676 2811 1111 63 0 3613 0
vsize: 14704
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2915 0 0 0 18963 35 0 0 25 0 1 0 647413494 15056896 2836 4294967295 134512640 134714508 3221221760 3221220156 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3676 2836 1111 63 0 3613 0
vsize: 14704
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2941 0 0 0 19961 37 0 0 25 0 1 0 647413494 15192064 2862 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3709 2862 1111 63 0 3646 0
vsize: 14836
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2978 0 0 0 20960 38 0 0 25 0 1 0 647413494 15327232 2899 4294967295 134512640 134714508 3221221760 3221220416 134543710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3742 2899 1111 63 0 3679 0
vsize: 14968
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2988 0 0 0 21959 40 0 0 25 0 1 0 647413494 15462400 2909 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3775 2909 1111 63 0 3712 0
vsize: 15100
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2988 0 0 0 22958 41 0 0 25 0 1 0 647413494 15409152 2909 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2909 1111 63 0 3699 0
vsize: 15048
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2988 0 0 0 23957 42 0 0 25 0 1 0 647413494 15409152 2909 4294967295 134512640 134714508 3221221760 3221220176 134697080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2909 1111 63 0 3699 0
vsize: 15048
[startup+250.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 2988 0 0 0 24956 43 0 0 25 0 1 0 647413494 15409152 2909 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2909 1111 63 0 3699 0
vsize: 15048
[startup+260.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3002 0 0 0 25955 44 0 0 25 0 1 0 647413494 15409152 2923 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2923 1111 63 0 3699 0
vsize: 15048
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3011 0 0 0 26953 46 0 0 25 0 1 0 647413494 15544320 2932 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2932 1111 63 0 3732 0
vsize: 15180
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3011 0 0 0 27952 48 0 0 25 0 1 0 647413494 15544320 2932 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2932 1111 63 0 3732 0
vsize: 15180
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3016 0 0 0 28951 49 0 0 25 0 1 0 647413494 15544320 2937 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3795 2937 1111 63 0 3732 0
vsize: 15180
[startup+300.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3062 0 0 0 29950 50 0 0 25 0 1 0 647413494 15679488 2983 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3828 2983 1111 63 0 3765 0
vsize: 15312
[startup+310.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3079 0 0 0 30949 51 0 0 25 0 1 0 647413494 15794176 3000 4294967295 134512640 134714508 3221221760 3221220388 134696245 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 3000 1111 63 0 3793 0
vsize: 15424
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3081 0 0 0 31948 52 0 0 25 0 1 0 647413494 15794176 3002 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3856 3002 1111 63 0 3793 0
vsize: 15424
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3103 0 0 0 32947 54 0 0 25 0 1 0 647413494 15872000 3024 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3024 1111 63 0 3812 0
vsize: 15500
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3103 0 0 0 33945 55 0 0 25 0 1 0 647413494 15872000 3024 4294967295 134512640 134714508 3221221760 3221220388 1077374062 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3024 1111 63 0 3812 0
vsize: 15500
[startup+350.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3103 0 0 0 34944 57 0 0 25 0 1 0 647413494 15872000 3024 4294967295 134512640 134714508 3221221760 3221220400 134696061 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3024 1111 63 0 3812 0
vsize: 15500
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3126 0 0 0 35943 58 0 0 25 0 1 0 647413494 16007168 3047 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3047 1111 63 0 3845 0
vsize: 15632
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3126 0 0 0 36941 60 0 0 25 0 1 0 647413494 16007168 3047 4294967295 134512640 134714508 3221221760 3221220464 134591904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3047 1111 63 0 3845 0
vsize: 15632
[startup+380.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3126 0 0 0 37940 61 0 0 25 0 1 0 647413494 16007168 3047 4294967295 134512640 134714508 3221221760 3221220476 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3908 3047 1111 63 0 3845 0
vsize: 15632
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3126 0 0 0 38939 63 0 0 25 0 1 0 647413494 15998976 3047 4294967295 134512640 134714508 3221221760 3221220352 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3906 3047 1111 63 0 3843 0
vsize: 15624
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3152 0 0 0 39938 64 0 0 25 0 1 0 647413494 16097280 3073 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3930 3073 1111 63 0 3867 0
vsize: 15720
[startup+410.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3187 0 0 0 40937 65 0 0 25 0 1 0 647413494 16232448 3108 4294967295 134512640 134714508 3221221760 3221220424 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3108 1111 63 0 3900 0
vsize: 15852
[startup+420.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3187 0 0 0 41936 66 0 0 25 0 1 0 647413494 16232448 3108 4294967295 134512640 134714508 3221221760 3221220496 134588000 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3108 1111 63 0 3900 0
vsize: 15852
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3188 0 0 0 42934 68 0 0 25 0 1 0 647413494 16232448 3109 4294967295 134512640 134714508 3221221760 3221220416 134524132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3109 1111 63 0 3900 0
vsize: 15852
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3193 0 0 0 43933 69 0 0 25 0 1 0 647413494 16232448 3114 4294967295 134512640 134714508 3221221760 3221220328 1077377712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3963 3114 1111 63 0 3900 0
vsize: 15852
[startup+450.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3232 0 0 0 44932 70 0 0 25 0 1 0 647413494 16367616 3153 4294967295 134512640 134714508 3221221760 3221220368 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3996 3153 1111 63 0 3933 0
vsize: 15984
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3257 0 0 0 45931 72 0 0 25 0 1 0 647413494 16498688 3178 4294967295 134512640 134714508 3221221760 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4028 3178 1111 63 0 3965 0
vsize: 16112
[startup+470.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3281 0 0 0 46929 74 0 0 25 0 1 0 647413494 16633856 3202 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4061 3202 1111 63 0 3998 0
vsize: 16244
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3316 0 0 0 47927 75 0 0 25 0 1 0 647413494 16769024 3237 4294967295 134512640 134714508 3221221760 3221220368 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4094 3237 1111 63 0 4031 0
vsize: 16376
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3323 0 0 0 48926 77 0 0 25 0 1 0 647413494 16769024 3244 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4094 3244 1111 63 0 4031 0
vsize: 16376
[startup+500.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3353 0 0 0 49925 79 0 0 25 0 1 0 647413494 16904192 3274 4294967295 134512640 134714508 3221221760 3221220512 134592388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3274 1111 63 0 4064 0
vsize: 16508
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3366 0 0 0 50924 80 0 0 25 0 1 0 647413494 16904192 3287 4294967295 134512640 134714508 3221221760 3221220404 134524197 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3287 1111 63 0 4064 0
vsize: 16508
[startup+520.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3397 0 0 0 51923 81 0 0 25 0 1 0 647413494 17031168 3318 4294967295 134512640 134714508 3221221760 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3318 1111 63 0 4095 0
vsize: 16632
[startup+530.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3397 0 0 0 52921 82 0 0 25 0 1 0 647413494 17031168 3318 4294967295 134512640 134714508 3221221760 3221220316 134535885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3318 1111 63 0 4095 0
vsize: 16632
[startup+540.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3397 0 0 0 53919 85 0 0 25 0 1 0 647413494 17031168 3318 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3318 1111 63 0 4095 0
vsize: 16632
[startup+550.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3397 0 0 0 54918 86 0 0 25 0 1 0 647413494 17031168 3318 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4158 3318 1111 63 0 4095 0
vsize: 16632
[startup+560.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3445 0 0 0 55917 87 0 0 25 0 1 0 647413494 17301504 3366 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+570.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3445 0 0 0 56916 88 0 0 25 0 1 0 647413494 17301504 3366 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+580.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3445 0 0 0 57915 89 0 0 25 0 1 0 647413494 17301504 3366 4294967295 134512640 134714508 3221221760 3221220368 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+590.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3445 0 0 0 58914 91 0 0 25 0 1 0 647413494 17301504 3366 4294967295 134512640 134714508 3221221760 3221220452 134524411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+600.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3445 0 0 0 59914 91 0 0 25 0 1 0 647413494 17301504 3366 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+610.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3445 0 0 0 60912 93 0 0 25 0 1 0 647413494 17301504 3366 4294967295 134512640 134714508 3221221760 3221220392 134696001 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+620.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3445 0 0 0 61910 95 0 0 25 0 1 0 647413494 17301504 3366 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3445 0 0 0 62911 96 0 0 25 0 1 0 647413494 17301504 3366 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3445 0 0 0 63910 97 0 0 25 0 1 0 647413494 17301504 3366 4294967295 134512640 134714508 3221221760 3221220256 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3366 1111 63 0 4161 0
vsize: 16896
[startup+650.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3469 0 0 0 64909 98 0 0 25 0 1 0 647413494 17436672 3390 4294967295 134512640 134714508 3221221760 3221220460 134534084 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3390 1111 63 0 4194 0
vsize: 17028
[startup+660.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3471 0 0 0 65908 99 0 0 25 0 1 0 647413494 17436672 3392 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3392 1111 63 0 4194 0
vsize: 17028
[startup+670.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3495 0 0 0 66907 101 0 0 25 0 1 0 647413494 17436672 3416 4294967295 134512640 134714508 3221221760 3221220156 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3495 0 0 0 67905 102 0 0 25 0 1 0 647413494 17436672 3416 4294967295 134512640 134714508 3221221760 3221220400 134696064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3495 0 0 0 68904 104 0 0 25 0 1 0 647413494 17436672 3416 4294967295 134512640 134714508 3221221760 3221220316 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3495 0 0 0 69903 105 0 0 25 0 1 0 647413494 17436672 3416 4294967295 134512640 134714508 3221221760 3221220432 134594380 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3495 0 0 0 70902 106 0 0 25 0 1 0 647413494 17436672 3416 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3495 0 0 0 71900 108 0 0 25 0 1 0 647413494 17436672 3416 4294967295 134512640 134714508 3221221760 3221220216 1077377218 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3416 1111 63 0 4194 0
vsize: 17028
[startup+730.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3500 0 0 0 72900 109 0 0 25 0 1 0 647413494 17436672 3421 4294967295 134512640 134714508 3221221760 3221220396 134543760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3421 1111 63 0 4194 0
vsize: 17028
[startup+740.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3500 0 0 0 73899 111 0 0 25 0 1 0 647413494 17436672 3421 4294967295 134512640 134714508 3221221760 3221220592 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4257 3421 1111 63 0 4194 0
vsize: 17028
[startup+750.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3521 0 0 0 74898 112 0 0 25 0 1 0 647413494 17571840 3442 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4290 3442 1111 63 0 4227 0
vsize: 17160
[startup+760.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3565 0 0 0 75896 114 0 0 25 0 1 0 647413494 17707008 3486 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+770.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3565 0 0 0 76895 116 0 0 25 0 1 0 647413494 17707008 3486 4294967295 134512640 134714508 3221221760 3221220496 134552104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+780.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3565 0 0 0 77893 118 0 0 25 0 1 0 647413494 17707008 3486 4294967295 134512640 134714508 3221221760 3221220464 134535812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+790.039 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3565 0 0 0 78892 119 0 0 25 0 1 0 647413494 17707008 3486 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+800.039 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3565 0 0 0 79890 121 0 0 25 0 1 0 647413494 17707008 3486 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4323 3486 1111 63 0 4260 0
vsize: 17292
[startup+810.039 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3603 0 0 0 80889 123 0 0 25 0 1 0 647413494 17977344 3524 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4389 3524 1111 63 0 4326 0
vsize: 17556
[startup+820.039 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3649 0 0 0 81888 124 0 0 25 0 1 0 647413494 18112512 3570 4294967295 134512640 134714508 3221221760 3221220484 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4422 3570 1111 63 0 4359 0
vsize: 17688
[startup+830.039 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3662 0 0 0 82886 125 0 0 25 0 1 0 647413494 18112512 3583 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4422 3583 1111 63 0 4359 0
vsize: 17688
[startup+840.039 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3686 0 0 0 83886 126 0 0 25 0 1 0 647413494 18247680 3607 4294967295 134512640 134714508 3221221760 3221220256 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3607 1111 63 0 4392 0
vsize: 17820
[startup+850.039 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3686 0 0 0 84884 127 0 0 25 0 1 0 647413494 18247680 3607 4294967295 134512640 134714508 3221221760 3221220368 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3607 1111 63 0 4392 0
vsize: 17820
[startup+860.04 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3686 0 0 0 85882 130 0 0 25 0 1 0 647413494 18247680 3607 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3607 1111 63 0 4392 0
vsize: 17820
[startup+870.04 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3712 0 0 0 86881 131 0 0 25 0 1 0 647413494 18382848 3633 4294967295 134512640 134714508 3221221760 3221220448 134523816 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3633 1111 63 0 4425 0
vsize: 17952
[startup+880.04 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3712 0 0 0 87880 132 0 0 25 0 1 0 647413494 18382848 3633 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3633 1111 63 0 4425 0
vsize: 17952
[startup+890.041 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3712 0 0 0 88879 133 0 0 25 0 1 0 647413494 18382848 3633 4294967295 134512640 134714508 3221221760 3221220496 134535740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3633 1111 63 0 4425 0
vsize: 17952
[startup+900.041 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3730 0 0 0 89878 134 0 0 25 0 1 0 647413494 18382848 3651 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3651 1111 63 0 4425 0
vsize: 17952
[startup+910.041 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3772 0 0 0 90877 136 0 0 25 0 1 0 647413494 18653184 3693 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3693 1111 63 0 4491 0
vsize: 18216
[startup+920.041 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3772 0 0 0 91876 137 0 0 25 0 1 0 647413494 18653184 3693 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3693 1111 63 0 4491 0
vsize: 18216
[startup+930.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3772 0 0 0 92875 138 0 0 25 0 1 0 647413494 18653184 3693 4294967295 134512640 134714508 3221221760 3221220556 134555028 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3693 1111 63 0 4491 0
vsize: 18216
[startup+940.041 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3775 0 0 0 93874 139 0 0 25 0 1 0 647413494 18653184 3696 4294967295 134512640 134714508 3221221760 3221220528 134592140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3696 1111 63 0 4491 0
vsize: 18216
[startup+950.152 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 626
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3819 0 0 0 94884 140 0 0 25 0 1 0 647413494 18776064 3740 4294967295 134512640 134714508 3221221760 3221220368 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3740 1111 63 0 4521 0
vsize: 18336
[startup+960.314 s]
Raw data (loadavg): 1.08 1.02 1.00 3/57 666
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3819 0 0 0 95899 142 0 0 25 0 1 0 647413494 18776064 3740 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3740 1111 63 0 4521 0
vsize: 18336
[startup+970.346 s]
Raw data (loadavg): 1.14 1.03 1.00 2/57 670
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3819 0 0 0 96901 143 0 0 25 0 1 0 647413494 18776064 3740 4294967295 134512640 134714508 3221221760 3221220400 134613422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3740 1111 63 0 4521 0
vsize: 18336
[startup+980.409 s]
Raw data (loadavg): 1.27 1.06 1.01 2/57 678
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3819 0 0 0 97907 144 0 0 25 0 1 0 647413494 18776064 3740 4294967295 134512640 134714508 3221221760 3221220384 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4584 3740 1111 63 0 4521 0
vsize: 18336
[startup+990.41 s]
Raw data (loadavg): 1.30 1.08 1.02 2/54 679
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3848 0 0 0 98905 145 0 0 25 0 1 0 647413494 18886656 3769 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3769 1111 63 0 4548 0
vsize: 18444
[startup+1000.41 s]
Raw data (loadavg): 1.26 1.07 1.02 2/54 679
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3848 0 0 0 99903 147 0 0 25 0 1 0 647413494 18886656 3769 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3769 1111 63 0 4548 0
vsize: 18444
[startup+1010.41 s]
Raw data (loadavg): 1.22 1.07 1.02 2/54 679
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3848 0 0 0 100902 149 0 0 25 0 1 0 647413494 18886656 3769 4294967295 134512640 134714508 3221221760 3221220592 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4611 3769 1111 63 0 4548 0
vsize: 18444
[startup+1020.41 s]
Raw data (loadavg): 1.18 1.07 1.01 2/54 679
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3867 0 0 0 101901 150 0 0 25 0 1 0 647413494 19021824 3788 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4644 3788 1111 63 0 4581 0
vsize: 18576
[startup+1030.41 s]
Raw data (loadavg): 1.16 1.06 1.01 2/54 679
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3910 0 0 0 102899 152 0 0 25 0 1 0 647413494 19156992 3831 4294967295 134512640 134714508 3221221760 3221220368 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4677 3831 1111 63 0 4614 0
vsize: 18708
[startup+1040.41 s]
Raw data (loadavg): 1.13 1.06 1.01 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3923 0 0 0 103898 154 0 0 25 0 1 0 647413494 19292160 3844 4294967295 134512640 134714508 3221221760 3221220368 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4710 3844 1111 63 0 4647 0
vsize: 18840
[startup+1050.41 s]
Raw data (loadavg): 1.11 1.06 1.01 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3938 0 0 0 104896 155 0 0 25 0 1 0 647413494 19292160 3859 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4710 3859 1111 63 0 4647 0
vsize: 18840
[startup+1060.41 s]
Raw data (loadavg): 1.09 1.06 1.01 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3956 0 0 0 105896 156 0 0 25 0 1 0 647413494 19427328 3877 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4743 3877 1111 63 0 4680 0
vsize: 18972
[startup+1070.41 s]
Raw data (loadavg): 1.08 1.05 1.01 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 3978 0 0 0 106894 158 0 0 25 0 1 0 647413494 19427328 3899 4294967295 134512640 134714508 3221221760 3221220492 134558784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4743 3899 1111 63 0 4680 0
vsize: 18972
[startup+1080.41 s]
Raw data (loadavg): 1.07 1.05 1.01 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4010 0 0 0 107892 160 0 0 25 0 1 0 647413494 19562496 3931 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4776 3931 1111 63 0 4713 0
vsize: 19104
[startup+1090.41 s]
Raw data (loadavg): 1.06 1.05 1.01 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4026 0 0 0 108891 162 0 0 25 0 1 0 647413494 19697664 3947 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4809 3947 1111 63 0 4746 0
vsize: 19236
[startup+1100.41 s]
Raw data (loadavg): 1.05 1.05 1.01 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4044 0 0 0 109889 164 0 0 25 0 1 0 647413494 19697664 3965 4294967295 134512640 134714508 3221221760 3221220176 134697312 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4809 3965 1111 63 0 4746 0
vsize: 19236
[startup+1110.41 s]
Raw data (loadavg): 1.04 1.05 1.01 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4060 0 0 0 110888 165 0 0 25 0 1 0 647413494 19832832 3981 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4842 3981 1111 63 0 4779 0
vsize: 19368
[startup+1120.41 s]
Raw data (loadavg): 1.03 1.04 1.00 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4084 0 0 0 111886 167 0 0 25 0 1 0 647413494 19832832 4005 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4842 4005 1111 63 0 4779 0
vsize: 19368
[startup+1130.41 s]
Raw data (loadavg): 1.03 1.04 1.00 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4100 0 0 0 112885 169 0 0 25 0 1 0 647413494 19963904 4021 4294967295 134512640 134714508 3221221760 3221220544 134551774 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4021 1111 63 0 4811 0
vsize: 19496
[startup+1140.42 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4114 0 0 0 113884 170 0 0 25 0 1 0 647413494 19963904 4035 4294967295 134512640 134714508 3221221760 3221220316 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4035 1111 63 0 4811 0
vsize: 19496
[startup+1150.42 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4129 0 0 0 114883 171 0 0 25 0 1 0 647413494 20099072 4050 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4050 1111 63 0 4844 0
vsize: 19628
[startup+1160.42 s]
Raw data (loadavg): 1.02 1.04 1.00 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4151 0 0 0 115882 172 0 0 25 0 1 0 647413494 20099072 4072 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4072 1111 63 0 4844 0
vsize: 19628
[startup+1170.42 s]
Raw data (loadavg): 1.01 1.04 1.00 2/54 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4164 0 0 0 116881 173 0 0 25 0 1 0 647413494 20234240 4085 4294967295 134512640 134714508 3221221760 3221220352 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4940 4085 1111 63 0 4877 0
vsize: 19760
[startup+1174.91 s]
Raw data (loadavg): 1.01 1.03 1.00 1/53 681
Raw data (stat): 626 (bsolo_lpr_cuts) R 625 7876 7672 0 -1 0 4164 0 0 0 116881 173 0 0 25 0 1 0 647413494 20234240 4085 4294967295 134512640 134714508 3221221760 3221220352 134539382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4940 4085 1111 63 0 4877 0
vsize: 0

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