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 23363

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 19:35:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=398 boxname=wulflinc31 idbench=45 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  54139ff5e28c6041ec6c692b0d10f866  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_25_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_25_sat_pb.cnf.cr.opb
IDLAUNCH: 398
/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:        926496 kB
Buffers:         38688 kB
Cached:          47544 kB
SwapCached:        944 kB
Active:          72692 kB
Inactive:        16008 kB
HighTotal:      131008 kB
HighFree:        82516 kB
LowTotal:       903652 kB
LowFree:        843980 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14012 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 19:55:34 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 398 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 938 variables and 700 constraints.
c After prepocess the problem consists of 938 variables and 700 constraints.
c preprocess terminated 1.038 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.91 0.95 0.96 2/54 27605
Raw data (stat): 27605 (runsolver) R 27604 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642683592 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 1800 0 0 0 988 7 0 0 25 0 1 0 642683592 10469376 1721 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2556 1721 1111 63 0 2493 0
vsize: 10224
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 1965 0 0 0 1986 9 0 0 25 0 1 0 642683592 11137024 1886 4294967295 134512640 134714508 3221221760 3221220556 134588029 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.001 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2096 0 0 0 2985 10 0 0 25 0 1 0 642683592 11649024 2017 4294967295 134512640 134714508 3221221760 3221220352 134549689 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.0022 s]
Raw data (loadavg): 0.95 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2161 0 0 0 3984 12 0 0 25 0 1 0 642683592 11911168 2082 4294967295 134512640 134714508 3221221760 3221220368 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2908 2082 1111 63 0 2845 0
vsize: 11632
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2303 0 0 0 4982 14 0 0 25 0 1 0 642683592 12578816 2224 4294967295 134512640 134714508 3221221760 3221220400 134539518 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.0028 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2335 0 0 0 5981 15 0 0 25 0 1 0 642683592 12713984 2256 4294967295 134512640 134714508 3221221760 3221220416 134536724 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.0043 s]
Raw data (loadavg): 0.97 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2416 0 0 0 6980 16 0 0 25 0 1 0 642683592 12976128 2337 4294967295 134512640 134714508 3221221760 3221220684 1077781665 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.0046 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2442 0 0 0 7979 17 0 0 25 0 1 0 642683592 13111296 2363 4294967295 134512640 134714508 3221221760 3221220400 134539518 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.0056 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2482 0 0 0 8978 19 0 0 25 0 1 0 642683592 13246464 2403 4294967295 134512640 134714508 3221221760 3221220328 1077378438 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.006 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2501 0 0 0 9977 20 0 0 25 0 1 0 642683592 13352960 2422 4294967295 134512640 134714508 3221221760 3221220352 134549689 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.005 s]
Raw data (loadavg): 0.98 0.96 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2568 0 0 0 10976 21 0 0 25 0 1 0 642683592 13680640 2489 4294967295 134512640 134714508 3221221760 3221220300 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3340 2489 1111 63 0 3277 0
vsize: 13360
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2717 0 0 0 11975 22 0 0 25 0 1 0 642683592 14217216 2638 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3471 2638 1111 63 0 3408 0
vsize: 13884
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2811 0 0 0 12974 24 0 0 25 0 1 0 642683592 14606336 2732 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2732 1111 63 0 3503 0
vsize: 14264
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2865 0 0 0 13973 25 0 0 25 0 1 0 642683592 14860288 2786 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3628 2786 1111 63 0 3565 0
vsize: 14512
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 2928 0 0 0 14972 26 0 0 25 0 1 0 642683592 15130624 2849 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3694 2849 1111 63 0 3631 0
vsize: 14776
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3051 0 0 0 15970 28 0 0 25 0 1 0 642683592 15626240 2972 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2972 1111 63 0 3752 0
vsize: 15260
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3067 0 0 0 16969 29 0 0 25 0 1 0 642683592 15626240 2988 4294967295 134512640 134714508 3221221760 3221220528 134592134 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.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3118 0 0 0 17968 30 0 0 25 0 1 0 642683592 15892480 3039 4294967295 134512640 134714508 3221221760 3221220496 134535745 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.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3133 0 0 0 18967 32 0 0 25 0 1 0 642683592 15892480 3054 4294967295 134512640 134714508 3221221760 3221220352 134549654 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.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3153 0 0 0 19966 33 0 0 25 0 1 0 642683592 16027648 3074 4294967295 134512640 134714508 3221221760 3221220156 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3913 3074 1111 63 0 3850 0
vsize: 15652
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3280 0 0 0 20965 34 0 0 25 0 1 0 642683592 16556032 3201 4294967295 134512640 134714508 3221221760 3221220400 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4042 3201 1111 63 0 3979 0
vsize: 16168
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3345 0 0 0 21964 36 0 0 25 0 1 0 642683592 16826368 3266 4294967295 134512640 134714508 3221221760 3221220352 134549648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4108 3266 1111 63 0 4045 0
vsize: 16432
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3392 0 0 0 22963 36 0 0 25 0 1 0 642683592 16961536 3313 4294967295 134512640 134714508 3221221760 3221220472 134552681 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.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3518 0 0 0 23962 37 0 0 25 0 1 0 642683592 17502208 3439 4294967295 134512640 134714508 3221221760 3221220352 134549689 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.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3518 0 0 0 24962 38 0 0 25 0 1 0 642683592 17502208 3439 4294967295 134512640 134714508 3221221760 3221220464 134528481 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.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3575 0 0 0 25961 39 0 0 25 0 1 0 642683592 17772544 3496 4294967295 134512640 134714508 3221221760 3221220432 134594359 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.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3619 0 0 0 26960 40 0 0 25 0 1 0 642683592 17907712 3540 4294967295 134512640 134714508 3221221760 3221220320 134542331 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.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3677 0 0 0 27959 41 0 0 25 0 1 0 642683592 18178048 3598 4294967295 134512640 134714508 3221221760 3221220352 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4438 3598 1111 63 0 4375 0
vsize: 17752
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3682 0 0 0 28959 42 0 0 25 0 1 0 642683592 18178048 3603 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4438 3603 1111 63 0 4375 0
vsize: 17752
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3720 0 0 0 29957 44 0 0 25 0 1 0 642683592 18313216 3641 4294967295 134512640 134714508 3221221760 3221220516 134652856 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.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3720 0 0 0 30956 45 0 0 25 0 1 0 642683592 18313216 3641 4294967295 134512640 134714508 3221221760 3221220316 134535903 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.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3720 0 0 0 31956 45 0 0 25 0 1 0 642683592 18313216 3641 4294967295 134512640 134714508 3221221760 3221220300 134539237 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.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3746 0 0 0 32954 48 0 0 25 0 1 0 642683592 18448384 3667 4294967295 134512640 134714508 3221221760 3221220504 134551620 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.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3775 0 0 0 33953 49 0 0 25 0 1 0 642683592 18579456 3696 4294967295 134512640 134714508 3221221760 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4536 3696 1111 63 0 4473 0
vsize: 18144
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3775 0 0 0 34952 49 0 0 25 0 1 0 642683592 18579456 3696 4294967295 134512640 134714508 3221221760 3221220684 1077781665 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.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3805 0 0 0 35952 50 0 0 25 0 1 0 642683592 18694144 3726 4294967295 134512640 134714508 3221221760 3221220516 134587950 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.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3832 0 0 0 36951 51 0 0 25 0 1 0 642683592 18829312 3753 4294967295 134512640 134714508 3221221760 3221220352 134549689 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.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3837 0 0 0 37951 52 0 0 25 0 1 0 642683592 18829312 3758 4294967295 134512640 134714508 3221221760 3221220352 134549689 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.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3855 0 0 0 38950 52 0 0 25 0 1 0 642683592 18964480 3776 4294967295 134512640 134714508 3221221760 3221220400 134539376 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.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3880 0 0 0 39949 53 0 0 25 0 1 0 642683592 18964480 3801 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4630 3801 1111 63 0 4567 0
vsize: 18520
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3893 0 0 0 40948 55 0 0 25 0 1 0 642683592 19099648 3814 4294967295 134512640 134714508 3221221760 3221220580 134590244 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.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3893 0 0 0 41947 56 0 0 25 0 1 0 642683592 19099648 3814 4294967295 134512640 134714508 3221221760 3221220684 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.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3893 0 0 0 42946 57 0 0 25 0 1 0 642683592 19099648 3814 4294967295 134512640 134714508 3221221760 3221220400 134539518 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.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3893 0 0 0 43945 58 0 0 25 0 1 0 642683592 19099648 3814 4294967295 134512640 134714508 3221221760 3221220528 134592116 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.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3895 0 0 0 44944 59 0 0 25 0 1 0 642683592 19099648 3816 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4663 3816 1111 63 0 4600 0
vsize: 18652
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3903 0 0 0 45944 60 0 0 25 0 1 0 642683592 19099648 3824 4294967295 134512640 134714508 3221221760 3221220504 134551620 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.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3903 0 0 0 46943 61 0 0 25 0 1 0 642683592 19099648 3824 4294967295 134512640 134714508 3221221760 3221220416 134524259 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.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3903 0 0 0 47942 62 0 0 25 0 1 0 642683592 19099648 3824 4294967295 134512640 134714508 3221221760 3221220368 134549313 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.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3914 0 0 0 48941 63 0 0 25 0 1 0 642683592 19099648 3835 4294967295 134512640 134714508 3221221760 3221220464 134528662 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.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3919 0 0 0 49941 64 0 0 25 0 1 0 642683592 19234816 3840 4294967295 134512640 134714508 3221221760 3221220480 134523874 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.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3951 0 0 0 50940 65 0 0 25 0 1 0 642683592 19234816 3872 4294967295 134512640 134714508 3221221760 3221220428 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 3872 1111 63 0 4633 0
vsize: 18784
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3951 0 0 0 51939 66 0 0 25 0 1 0 642683592 19234816 3872 4294967295 134512640 134714508 3221221760 3221220400 134539460 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.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3951 0 0 0 52938 67 0 0 25 0 1 0 642683592 19234816 3872 4294967295 134512640 134714508 3221221760 3221220352 134549689 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.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3951 0 0 0 53937 68 0 0 25 0 1 0 642683592 19234816 3872 4294967295 134512640 134714508 3221221760 3221220484 134535756 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.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3951 0 0 0 54937 69 0 0 25 0 1 0 642683592 19234816 3872 4294967295 134512640 134714508 3221221760 3221220352 134549821 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.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 3975 0 0 0 55935 70 0 0 25 0 1 0 642683592 19369984 3896 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4729 3896 1111 63 0 4666 0
vsize: 18916
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4006 0 0 0 56934 72 0 0 25 0 1 0 642683592 19505152 3927 4294967295 134512640 134714508 3221221760 3221220300 134613966 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.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4033 0 0 0 57932 73 0 0 25 0 1 0 642683592 19640320 3954 4294967295 134512640 134714508 3221221760 3221220352 134549689 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.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4082 0 0 0 58932 74 0 0 25 0 1 0 642683592 19886080 4003 4294967295 134512640 134714508 3221221760 3221220496 134523891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4855 4003 1111 63 0 4792 0
vsize: 19420
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4142 0 0 0 59931 75 0 0 25 0 1 0 642683592 20021248 4063 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4888 4063 1111 63 0 4825 0
vsize: 19552
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 60931 76 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220352 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+620.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 61930 77 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221219764 134697327 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.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 62929 78 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220416 134536638 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.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 63928 79 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220352 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+650.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 64928 80 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220344 134543606 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.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 65927 80 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220172 1077379910 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.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 66926 82 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220544 134528850 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.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 67925 83 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220684 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+690.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 68924 84 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220156 1077379843 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.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 69923 85 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220384 134539437 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.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 70923 86 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220352 134549533 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.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 71922 87 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220352 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+730.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 72921 88 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220528 134529281 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.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 73921 88 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220436 134551958 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.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 74920 89 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220560 134588090 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.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 75919 90 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220400 134539462 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.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 76918 91 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220308 134696398 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.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 77917 92 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220416 134536638 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.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 78917 93 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220368 134549457 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.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 79916 94 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220368 134543671 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.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4169 0 0 0 80915 95 0 0 25 0 1 0 642683592 20127744 4090 4294967295 134512640 134714508 3221221760 3221220440 134523849 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.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4173 0 0 0 81915 95 0 0 25 0 1 0 642683592 20262912 4094 4294967295 134512640 134714508 3221221760 3221220320 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4947 4094 1111 63 0 4884 0
vsize: 19788
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4176 0 0 0 82914 97 0 0 25 0 1 0 642683592 20258816 4097 4294967295 134512640 134714508 3221221760 3221220684 1077781665 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.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4176 0 0 0 83913 98 0 0 25 0 1 0 642683592 20258816 4097 4294967295 134512640 134714508 3221221760 3221220368 134549480 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.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4188 0 0 0 84912 98 0 0 25 0 1 0 642683592 20258816 4109 4294967295 134512640 134714508 3221221760 3221220256 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4109 1111 63 0 4883 0
vsize: 19784
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4209 0 0 0 85912 99 0 0 25 0 1 0 642683592 20393984 4130 4294967295 134512640 134714508 3221221760 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4979 4130 1111 63 0 4916 0
vsize: 19916
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4279 0 0 0 86911 100 0 0 25 0 1 0 642683592 20656128 4200 4294967295 134512640 134714508 3221221760 3221220528 134592513 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5043 4200 1111 63 0 4980 0
vsize: 20172
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 87910 102 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220368 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4241 1111 63 0 5013 0
vsize: 20304
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 88909 103 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220336 134549802 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.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 89907 105 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220352 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+910.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 90906 106 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220352 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+920.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 91905 107 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220352 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+930.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 92905 108 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220388 1077374210 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.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 93904 108 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220352 134549700 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.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 94904 109 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220156 1077379908 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.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 95903 110 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220484 134535756 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.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 96902 111 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220300 134539243 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.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4320 0 0 0 97901 112 0 0 25 0 1 0 642683592 20791296 4241 4294967295 134512640 134714508 3221221760 3221220352 134549697 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.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4327 0 0 0 98901 113 0 0 25 0 1 0 642683592 20791296 4248 4294967295 134512640 134714508 3221221760 3221220484 134535789 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.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4327 0 0 0 99900 114 0 0 25 0 1 0 642683592 20791296 4248 4294967295 134512640 134714508 3221221760 3221220320 134696533 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.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4327 0 0 0 100899 115 0 0 25 0 1 0 642683592 20791296 4248 4294967295 134512640 134714508 3221221760 3221220400 134539376 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.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4327 0 0 0 101898 116 0 0 25 0 1 0 642683592 20791296 4248 4294967295 134512640 134714508 3221221760 3221220368 134549463 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.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4333 0 0 0 102897 117 0 0 25 0 1 0 642683592 20914176 4254 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4254 1111 63 0 5043 0
vsize: 20424
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4333 0 0 0 103896 118 0 0 25 0 1 0 642683592 20914176 4254 4294967295 134512640 134714508 3221221760 3221220684 1077781665 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.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4333 0 0 0 104895 119 0 0 25 0 1 0 642683592 20914176 4254 4294967295 134512640 134714508 3221221760 3221220400 134542325 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.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4334 0 0 0 105894 120 0 0 25 0 1 0 642683592 20914176 4255 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4255 1111 63 0 5043 0
vsize: 20424
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4342 0 0 0 106894 121 0 0 25 0 1 0 642683592 20914176 4263 4294967295 134512640 134714508 3221221760 3221220464 134528410 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.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4345 0 0 0 107893 122 0 0 25 0 1 0 642683592 20914176 4266 4294967295 134512640 134714508 3221221760 3221220344 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4266 1111 63 0 5043 0
vsize: 20424
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4360 0 0 0 108893 123 0 0 25 0 1 0 642683592 20914176 4281 4294967295 134512640 134714508 3221221760 3221220464 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5106 4281 1111 63 0 5043 0
vsize: 20424
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4360 0 0 0 109892 123 0 0 25 0 1 0 642683592 20914176 4281 4294967295 134512640 134714508 3221221760 3221220316 134535956 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.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4370 0 0 0 110892 124 0 0 25 0 1 0 642683592 21037056 4291 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5136 4291 1111 63 0 5073 0
vsize: 20544
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4421 0 0 0 111891 125 0 0 25 0 1 0 642683592 21172224 4342 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5169 4342 1111 63 0 5106 0
vsize: 20676
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4434 0 0 0 112890 126 0 0 25 0 1 0 642683592 21307392 4355 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5202 4355 1111 63 0 5139 0
vsize: 20808
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4482 0 0 0 113889 127 0 0 25 0 1 0 642683592 21442560 4403 4294967295 134512640 134714508 3221221760 3221220364 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5235 4403 1111 63 0 5172 0
vsize: 20940
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4504 0 0 0 114889 128 0 0 25 0 1 0 642683592 21573632 4425 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5267 4425 1111 63 0 5204 0
vsize: 21068
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4504 0 0 0 115888 129 0 0 25 0 1 0 642683592 21573632 4425 4294967295 134512640 134714508 3221221760 3221220432 134551963 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.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4504 0 0 0 116887 130 0 0 25 0 1 0 642683592 21573632 4425 4294967295 134512640 134714508 3221221760 3221220268 134535891 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 27605
Raw data (stat): 27605 (bsolo_lpr_cuts) R 27604 7876 7672 0 -1 0 4504 0 0 0 116887 130 0 0 25 0 1 0 642683592 21573632 4425 4294967295 134512640 134714508 3221221760 3221220268 134535891 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.03
CPU user time (s): 1173.71
CPU system time (s): 1.3188
CPU usage (%): 100.012
Max. virtual memory (Kb): 21068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####