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-fpga35_34_sat_pb.cnf.cr.opb
MD5SUM	f49e527e8d063bcfa5508a2b00211475
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	36
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.75752
Number of variables	1785
Total number of constraints	1293
Number of constraints which are clauses	1224
Number of constraints which are cardinality constraints (but not clauses)	69
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 23388

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 02:02:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=443 boxname=wulflinc31 idbench=50 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  f49e527e8d063bcfa5508a2b00211475  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_34_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga35_34_sat_pb.cnf.cr.opb
IDLAUNCH: 443
/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:        924536 kB
Buffers:         39144 kB
Cached:          48720 kB
SwapCached:        944 kB
Active:          73804 kB
Inactive:        16528 kB
HighTotal:      131008 kB
HighFree:        81228 kB
LowTotal:       903652 kB
LowFree:        843308 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14152 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 02:22:26 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 443 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 1785 variables and 1293 constraints.
c After prepocess the problem consists of 1785 variables and 1293 constraints.
c preprocess terminated 3.272 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.94 0.99 0.99 2/54 30376
Raw data (stat): 30376 (runsolver) R 30375 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 645005008 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.0003 s]
Raw data (loadavg): 0.95 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 1855 0 0 0 987 8 0 0 25 0 1 0 645005008 10797056 1776 4294967295 134512640 134714508 3221221760 3221220312 134696445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2636 1776 1111 63 0 2573 0
vsize: 10544
[startup+20.001 s]
Raw data (loadavg): 0.95 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 2171 0 0 0 1984 10 0 0 25 0 1 0 645005008 12013568 2092 4294967295 134512640 134714508 3221221760 3221220368 134523393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2933 2092 1111 63 0 2870 0
vsize: 11732
[startup+30.002 s]
Raw data (loadavg): 0.96 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 2215 0 0 0 2983 12 0 0 25 0 1 0 645005008 12148736 2136 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2966 2136 1111 63 0 2903 0
vsize: 11864
[startup+40.0018 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 2649 0 0 0 3980 15 0 0 25 0 1 0 645005008 14041088 2570 4294967295 134512640 134714508 3221221760 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3428 2570 1111 63 0 3365 0
vsize: 13712
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 2795 0 0 0 4979 17 0 0 25 0 1 0 645005008 14581760 2716 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3560 2716 1111 63 0 3497 0
vsize: 14240
[startup+60.0027 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 2836 0 0 0 5977 19 0 0 25 0 1 0 645005008 14716928 2757 4294967295 134512640 134714508 3221221760 3221220388 134696248 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3593 2757 1111 63 0 3530 0
vsize: 14372
[startup+70.0036 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 2899 0 0 0 6976 19 0 0 25 0 1 0 645005008 14987264 2820 4294967295 134512640 134714508 3221221760 3221220424 134543634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3659 2820 1111 63 0 3596 0
vsize: 14636
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 2940 0 0 0 7975 21 0 0 25 0 1 0 645005008 15122432 2861 4294967295 134512640 134714508 3221221760 3221220344 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3692 2861 1111 63 0 3629 0
vsize: 14768
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 2984 0 0 0 8975 22 0 0 25 0 1 0 645005008 15392768 2905 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3758 2905 1111 63 0 3695 0
vsize: 15032
[startup+100.004 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3023 0 0 0 9973 24 0 0 25 0 1 0 645005008 15527936 2944 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3791 2944 1111 63 0 3728 0
vsize: 15164
[startup+110.004 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3206 0 0 0 10971 26 0 0 25 0 1 0 645005008 16338944 3127 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3989 3127 1111 63 0 3926 0
vsize: 15956
[startup+120.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3258 0 0 0 11970 27 0 0 25 0 1 0 645005008 16474112 3179 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4022 3179 1111 63 0 3959 0
vsize: 16088
[startup+130.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3356 0 0 0 12969 28 0 0 25 0 1 0 645005008 16879616 3277 4294967295 134512640 134714508 3221221760 3221220320 134542334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4121 3277 1111 63 0 4058 0
vsize: 16484
[startup+140.005 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3409 0 0 0 13968 29 0 0 25 0 1 0 645005008 16904192 3297 4294967295 134512640 134714508 3221221760 3221220336 134538959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+150.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3459 0 0 0 14967 30 0 0 25 0 1 0 645005008 16904192 3297 4294967295 134512640 134714508 3221221760 3221220496 134535821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+160.006 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3459 0 0 0 15967 31 0 0 25 0 1 0 645005008 16904192 3297 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+170.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3459 0 0 0 16967 31 0 0 25 0 1 0 645005008 16904192 3297 4294967295 134512640 134714508 3221221760 3221220432 134652812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+180.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30376
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3459 0 0 0 17967 31 0 0 25 0 1 0 645005008 16904192 3297 4294967295 134512640 134714508 3221221760 3221220328 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+190.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3459 0 0 0 18966 32 0 0 25 0 1 0 645005008 16904192 3297 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4127 3297 1111 63 0 4064 0
vsize: 16508
[startup+200.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3468 0 0 0 19965 33 0 0 25 0 1 0 645005008 17039360 3306 4294967295 134512640 134714508 3221221760 3221220400 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4160 3306 1111 63 0 4097 0
vsize: 16640
[startup+210.007 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3487 0 0 0 20965 33 0 0 25 0 1 0 645005008 16961536 3311 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3311 1111 63 0 4078 0
vsize: 16564
[startup+220.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3598 0 0 0 21964 35 0 0 25 0 1 0 645005008 17453056 3422 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4261 3422 1111 63 0 4198 0
vsize: 17044
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3598 0 0 0 22963 35 0 0 25 0 1 0 645005008 17453056 3422 4294967295 134512640 134714508 3221221760 3221220368 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4261 3422 1111 63 0 4198 0
vsize: 17044
[startup+240.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3598 0 0 0 23962 37 0 0 25 0 1 0 645005008 17453056 3422 4294967295 134512640 134714508 3221221760 3221220448 134543674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4261 3422 1111 63 0 4198 0
vsize: 17044
[startup+250.008 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3702 0 0 0 24961 38 0 0 25 0 1 0 645005008 17858560 3526 4294967295 134512640 134714508 3221221760 3221220384 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4360 3526 1111 63 0 4297 0
vsize: 17440
[startup+260.009 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3758 0 0 0 25960 39 0 0 25 0 1 0 645005008 18128896 3582 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4426 3582 1111 63 0 4363 0
vsize: 17704
[startup+270.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3812 0 0 0 26960 40 0 0 25 0 1 0 645005008 18399232 3636 4294967295 134512640 134714508 3221221760 3221220432 1076647864 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+280.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3812 0 0 0 27959 41 0 0 25 0 1 0 645005008 18399232 3636 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+290.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3812 0 0 0 28958 42 0 0 25 0 1 0 645005008 18399232 3636 4294967295 134512640 134714508 3221221760 3221220368 134543674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+300.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3812 0 0 0 29957 43 0 0 25 0 1 0 645005008 18399232 3636 4294967295 134512640 134714508 3221221760 3221220412 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+310.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3812 0 0 0 30957 43 0 0 25 0 1 0 645005008 18399232 3636 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+320.01 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3812 0 0 0 31956 44 0 0 25 0 1 0 645005008 18399232 3636 4294967295 134512640 134714508 3221221760 3221220272 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3636 1111 63 0 4429 0
vsize: 17968
[startup+330.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3832 0 0 0 32956 45 0 0 25 0 1 0 645005008 18399232 3656 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4492 3656 1111 63 0 4429 0
vsize: 17968
[startup+340.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3841 0 0 0 33956 45 0 0 25 0 1 0 645005008 18534400 3665 4294967295 134512640 134714508 3221221760 3221220348 134551980 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3665 1111 63 0 4462 0
vsize: 18100
[startup+350.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3865 0 0 0 34955 46 0 0 25 0 1 0 645005008 18534400 3689 4294967295 134512640 134714508 3221221760 3221220348 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3689 1111 63 0 4462 0
vsize: 18100
[startup+360.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3865 0 0 0 35954 47 0 0 25 0 1 0 645005008 18534400 3689 4294967295 134512640 134714508 3221221760 3221220384 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3689 1111 63 0 4462 0
vsize: 18100
[startup+370.011 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3882 0 0 0 36954 47 0 0 25 0 1 0 645005008 18669568 3706 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4558 3706 1111 63 0 4495 0
vsize: 18232
[startup+380.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3898 0 0 0 37953 48 0 0 25 0 1 0 645005008 18669568 3722 4294967295 134512640 134714508 3221221760 3221220504 134672938 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4558 3722 1111 63 0 4495 0
vsize: 18232
[startup+390.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3906 0 0 0 38952 49 0 0 25 0 1 0 645005008 18804736 3730 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3730 1111 63 0 4528 0
vsize: 18364
[startup+400.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3911 0 0 0 39952 50 0 0 25 0 1 0 645005008 18804736 3735 4294967295 134512640 134714508 3221221760 3221220164 134697183 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3735 1111 63 0 4528 0
vsize: 18364
[startup+410.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3935 0 0 0 40951 51 0 0 25 0 1 0 645005008 18804736 3759 4294967295 134512640 134714508 3221221760 3221220368 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3759 1111 63 0 4528 0
vsize: 18364
[startup+420.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3935 0 0 0 41951 51 0 0 25 0 1 0 645005008 18804736 3759 4294967295 134512640 134714508 3221221760 3221220448 134534092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3759 1111 63 0 4528 0
vsize: 18364
[startup+430.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3972 0 0 0 42950 52 0 0 25 0 1 0 645005008 19075072 3796 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+440.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3972 0 0 0 43949 53 0 0 25 0 1 0 645005008 19075072 3796 4294967295 134512640 134714508 3221221760 3221220316 134539324 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+450.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3972 0 0 0 44948 54 0 0 25 0 1 0 645005008 19075072 3796 4294967295 134512640 134714508 3221221760 3221220424 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+460.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3972 0 0 0 45948 55 0 0 25 0 1 0 645005008 19075072 3796 4294967295 134512640 134714508 3221221760 3221220300 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+470.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3972 0 0 0 46947 56 0 0 25 0 1 0 645005008 19075072 3796 4294967295 134512640 134714508 3221221760 3221220320 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+480.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3972 0 0 0 47946 57 0 0 25 0 1 0 645005008 19075072 3796 4294967295 134512640 134714508 3221221760 3221220348 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+490.013 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3972 0 0 0 48946 57 0 0 25 0 1 0 645005008 19075072 3796 4294967295 134512640 134714508 3221221760 3221220528 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3796 1111 63 0 4594 0
vsize: 18628
[startup+500.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 3983 0 0 0 49945 59 0 0 25 0 1 0 645005008 19075072 3807 4294967295 134512640 134714508 3221221760 3221220416 134536627 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3807 1111 63 0 4594 0
vsize: 18628
[startup+510.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4011 0 0 0 50944 59 0 0 25 0 1 0 645005008 19210240 3835 4294967295 134512640 134714508 3221221760 3221220320 134696721 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3835 1111 63 0 4627 0
vsize: 18760
[startup+520.014 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4039 0 0 0 51943 61 0 0 25 0 1 0 645005008 19345408 3863 4294967295 134512640 134714508 3221221760 3221220384 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4723 3863 1111 63 0 4660 0
vsize: 18892
[startup+530.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4110 0 0 0 52942 62 0 0 25 0 1 0 645005008 19615744 3934 4294967295 134512640 134714508 3221221760 3221220348 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 3934 1111 63 0 4726 0
vsize: 19156
[startup+540.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4119 0 0 0 53941 63 0 0 25 0 1 0 645005008 19615744 3943 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 3943 1111 63 0 4726 0
vsize: 19156
[startup+550.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4119 0 0 0 54941 63 0 0 25 0 1 0 645005008 19615744 3943 4294967295 134512640 134714508 3221221760 3221220532 134529151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 3943 1111 63 0 4726 0
vsize: 19156
[startup+560.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4147 0 0 0 55940 64 0 0 25 0 1 0 645005008 19750912 3971 4294967295 134512640 134714508 3221221760 3221220336 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4822 3971 1111 63 0 4759 0
vsize: 19288
[startup+570.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4215 0 0 0 56940 65 0 0 25 0 1 0 645005008 20021248 4039 4294967295 134512640 134714508 3221221760 3221220336 134538990 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4888 4039 1111 63 0 4825 0
vsize: 19552
[startup+580.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4245 0 0 0 57939 66 0 0 25 0 1 0 645005008 20094976 4069 4294967295 134512640 134714508 3221221760 3221220484 134613700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4906 4069 1111 63 0 4843 0
vsize: 19624
[startup+590.015 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4315 0 0 0 58938 67 0 0 25 0 1 0 645005008 20365312 4139 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4972 4139 1111 63 0 4909 0
vsize: 19888
[startup+600.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4315 0 0 0 59938 68 0 0 25 0 1 0 645005008 20365312 4139 4294967295 134512640 134714508 3221221760 3221220300 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4972 4139 1111 63 0 4909 0
vsize: 19888
[startup+610.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4315 0 0 0 60937 68 0 0 25 0 1 0 645005008 20365312 4139 4294967295 134512640 134714508 3221221760 3221220368 134549302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4972 4139 1111 63 0 4909 0
vsize: 19888
[startup+620.016 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4366 0 0 0 61937 69 0 0 25 0 1 0 645005008 20639744 4190 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5039 4190 1111 63 0 4976 0
vsize: 20156
[startup+630.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4438 0 0 0 62936 70 0 0 25 0 1 0 645005008 20910080 4262 4294967295 134512640 134714508 3221221760 3221220504 134551632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4262 1111 63 0 5042 0
vsize: 20420
[startup+640.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4564 0 0 0 63936 70 0 0 25 0 1 0 645005008 21450752 4388 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5237 4388 1111 63 0 5174 0
vsize: 20948
[startup+650.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4691 0 0 0 64935 71 0 0 25 0 1 0 645005008 21991424 4515 4294967295 134512640 134714508 3221221760 3221220316 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5369 4515 1111 63 0 5306 0
vsize: 21476
[startup+660.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 65934 73 0 0 25 0 1 0 645005008 22126592 4544 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5402 4544 1111 63 0 5339 0
vsize: 21608
[startup+670.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 66933 73 0 0 25 0 1 0 645005008 22126592 4544 4294967295 134512640 134714508 3221221760 3221220328 1077377888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5402 4544 1111 63 0 5339 0
vsize: 21608
[startup+680.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 67933 74 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+690.017 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 68933 74 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220392 134696329 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+700.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 69933 74 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220400 134696103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+710.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 70932 75 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+720.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 71931 76 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220440 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+730.018 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 72929 78 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+740.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 73928 79 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220508 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+750.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 74927 80 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220472 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+760.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 75927 81 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+770.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 76926 82 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220384 134696007 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+780.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 77925 83 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+790.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 78925 84 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220392 134696329 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+800.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 79924 85 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+810.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 80923 86 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220320 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+820.019 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 81922 87 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220492 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+830.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 82921 88 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220528 134592140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+840.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 83920 89 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+850.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 84919 90 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+860.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 85919 91 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+870.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 86918 92 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+880.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 87918 92 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+890.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 88917 93 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+900.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 89916 94 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+910.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 90916 95 0 0 25 0 1 0 645005008 22106112 4544 4294967295 134512640 134714508 3221221760 3221220528 134592128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5397 4544 1111 63 0 5334 0
vsize: 21588
[startup+920.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 91915 95 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+930.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 92915 96 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+940.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 93914 97 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+950.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 94914 97 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+960.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 95913 98 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+970.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 96913 99 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220592 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+980.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 97913 99 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+990.021 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 98912 100 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 99911 101 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220544 134529404 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 100911 102 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220316 134535978 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 101909 103 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 102908 104 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 103907 105 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 104906 106 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220376 134523391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 105905 108 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220400 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 106905 108 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 107904 110 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 108903 110 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220412 134536787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 109903 111 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220416 134543710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 110902 112 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 111901 113 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220164 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.99 0.99 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 112901 114 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220392 134696334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1140.02 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 113900 114 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1150.02 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 114900 115 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220496 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1160.02 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 115899 115 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220516 134652855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1170.02 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 116899 116 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220368 134549491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 21584
[startup+1174.9 s]
Raw data (loadavg): 1.04 1.00 1.00 1/53 30378
Raw data (stat): 30376 (bsolo_lpr_cuts) R 30375 7876 7672 0 -1 0 4720 0 0 0 116899 116 0 0 25 0 1 0 645005008 22102016 4544 4294967295 134512640 134714508 3221221760 3221220368 134549491 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4544 1111 63 0 5333 0
vsize: 0

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