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-chnl35_40_pb.cnf.cr.opb
MD5SUM	85d4e2fa5fd7a61a85d3ecb1e311bddb
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.083986
Number of variables	2800
Total number of constraints	150
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	40
Trace number 23213

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 12:43:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=128 boxname=wulflinc31 idbench=15 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  85d4e2fa5fd7a61a85d3ecb1e311bddb  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_40_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_40_pb.cnf.cr.opb
IDLAUNCH: 128
/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:        931132 kB
Buffers:         36172 kB
Cached:          45448 kB
SwapCached:        864 kB
Active:          70516 kB
Inactive:        13448 kB
HighTotal:      131008 kB
HighFree:        84560 kB
LowTotal:       903652 kB
LowFree:        846572 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13916 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 13:02:36 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 128 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 2800 variables and 150 constraints.
c After prepocess the problem consists of 2800 variables and 150 constraints.
c preprocess terminated 1.06 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): 1.07 1.02 0.93 2/54 11517
Raw data (stat): 11517 (runsolver) R 11516 7876 7672 0 -1 64 0 0 0 0 0 0 0 0 19 0 1 0 631564514 1056768 98 4294967295 134512640 135381576 3221221680 3221217120 134514522 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 1454 0 0 0 988 7 0 0 25 0 1 0 631564514 9125888 1375 4294967295 134512640 134714508 3221221776 3221220464 134594336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2228 1375 1111 63 0 2165 0
vsize: 8912
[startup+20.0016 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 1926 0 0 0 1986 10 0 0 25 0 1 0 631564514 11005952 1847 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2687 1847 1111 63 0 2624 0
vsize: 10748
[startup+30.0015 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2113 0 0 0 2984 12 0 0 25 0 1 0 631564514 11816960 2034 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2885 2034 1111 63 0 2822 0
vsize: 11540
[startup+40.0017 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2210 0 0 0 3983 13 0 0 25 0 1 0 631564514 12222464 2131 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2131 1111 63 0 2921 0
vsize: 11936
[startup+50.0023 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2297 0 0 0 4981 15 0 0 25 0 1 0 631564514 12603392 2218 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3077 2218 1111 63 0 3014 0
vsize: 12308
[startup+60.0022 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2355 0 0 0 5979 17 0 0 25 0 1 0 631564514 12865536 2276 4294967295 134512640 134714508 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3141 2276 1111 63 0 3078 0
vsize: 12564
[startup+70.0037 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2396 0 0 0 6978 19 0 0 25 0 1 0 631564514 13000704 2317 4294967295 134512640 134714508 3221221776 3221220520 134551609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3174 2317 1111 63 0 3111 0
vsize: 12696
[startup+80.004 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2406 0 0 0 7977 20 0 0 25 0 1 0 631564514 13000704 2327 4294967295 134512640 134714508 3221221776 3221220308 1077374123 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3174 2327 1111 63 0 3111 0
vsize: 12696
[startup+90.004 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2430 0 0 0 8975 22 0 0 25 0 1 0 631564514 13135872 2351 4294967295 134512640 134714508 3221221776 3221220252 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3207 2351 1111 63 0 3144 0
vsize: 12828
[startup+100.004 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2474 0 0 0 9972 25 0 0 25 0 1 0 631564514 13271040 2395 4294967295 134512640 134714508 3221221776 3221220416 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3240 2395 1111 63 0 3177 0
vsize: 12960
[startup+110.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2537 0 0 0 10971 26 0 0 25 0 1 0 631564514 13541376 2458 4294967295 134512640 134714508 3221221776 3221220464 134542853 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3306 2458 1111 63 0 3243 0
vsize: 13224
[startup+120.004 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2588 0 0 0 11969 28 0 0 25 0 1 0 631564514 13811712 2509 4294967295 134512640 134714508 3221221776 3221220344 1077377362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3372 2509 1111 63 0 3309 0
vsize: 13488
[startup+130.004 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2607 0 0 0 12968 30 0 0 25 0 1 0 631564514 13811712 2528 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3372 2528 1111 63 0 3309 0
vsize: 13488
[startup+140.005 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2638 0 0 0 13966 31 0 0 25 0 1 0 631564514 13946880 2559 4294967295 134512640 134714508 3221221776 3221220348 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2559 1111 63 0 3342 0
vsize: 13620
[startup+150.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2638 0 0 0 14965 33 0 0 25 0 1 0 631564514 13946880 2559 4294967295 134512640 134714508 3221221776 3221220464 134536724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2559 1111 63 0 3342 0
vsize: 13620
[startup+160.006 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2743 0 0 0 15963 35 0 0 25 0 1 0 631564514 14352384 2664 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2664 1111 63 0 3441 0
vsize: 14016
[startup+170.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2822 0 0 0 16962 37 0 0 25 0 1 0 631564514 14757888 2743 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2743 1111 63 0 3540 0
vsize: 14412
[startup+180.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2913 0 0 0 17960 38 0 0 25 0 1 0 631564514 15142912 2834 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3697 2834 1111 63 0 3634 0
vsize: 14788
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2943 0 0 0 18959 40 0 0 25 0 1 0 631564514 15278080 2864 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2864 1111 63 0 3667 0
vsize: 14920
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 2983 0 0 0 19958 41 0 0 25 0 1 0 631564514 15413248 2904 4294967295 134512640 134714508 3221221776 3221220408 134696334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2904 1111 63 0 3700 0
vsize: 15052
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3045 0 0 0 20956 43 0 0 25 0 1 0 631564514 15683584 2966 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3829 2966 1111 63 0 3766 0
vsize: 15316
[startup+220.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3075 0 0 0 21955 44 0 0 25 0 1 0 631564514 15818752 2996 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3862 2996 1111 63 0 3799 0
vsize: 15448
[startup+230.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3091 0 0 0 22954 46 0 0 25 0 1 0 631564514 15818752 3012 4294967295 134512640 134714508 3221221776 3221220344 1077377288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3862 3012 1111 63 0 3799 0
vsize: 15448
[startup+240.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3098 0 0 0 23952 48 0 0 25 0 1 0 631564514 15818752 3019 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3862 3019 1111 63 0 3799 0
vsize: 15448
[startup+250.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3109 0 0 0 24951 50 0 0 25 0 1 0 631564514 15953920 3030 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3895 3030 1111 63 0 3832 0
vsize: 15580
[startup+260.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3136 0 0 0 25950 51 0 0 25 0 1 0 631564514 15953920 3057 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3895 3057 1111 63 0 3832 0
vsize: 15580
[startup+270.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3152 0 0 0 26948 52 0 0 25 0 1 0 631564514 16060416 3073 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3921 3073 1111 63 0 3858 0
vsize: 15684
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3152 0 0 0 27947 54 0 0 25 0 1 0 631564514 16060416 3073 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3921 3073 1111 63 0 3858 0
vsize: 15684
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3152 0 0 0 28946 55 0 0 25 0 1 0 631564514 16060416 3073 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3921 3073 1111 63 0 3858 0
vsize: 15684
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3170 0 0 0 29945 56 0 0 25 0 1 0 631564514 16195584 3091 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 3091 1111 63 0 3891 0
vsize: 15816
[startup+310.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3208 0 0 0 30943 58 0 0 25 0 1 0 631564514 16330752 3129 4294967295 134512640 134714508 3221221776 3221220544 134529376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3987 3129 1111 63 0 3924 0
vsize: 15948
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3233 0 0 0 31942 60 0 0 25 0 1 0 631564514 16465920 3154 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4020 3154 1111 63 0 3957 0
vsize: 16080
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3253 0 0 0 32940 62 0 0 25 0 1 0 631564514 16465920 3174 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4020 3174 1111 63 0 3957 0
vsize: 16080
[startup+340.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3289 0 0 0 33939 63 0 0 25 0 1 0 631564514 16601088 3210 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4053 3210 1111 63 0 3990 0
vsize: 16212
[startup+350.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3310 0 0 0 34937 65 0 0 25 0 1 0 631564514 16736256 3231 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4086 3231 1111 63 0 4023 0
vsize: 16344
[startup+360.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3326 0 0 0 35936 66 0 0 25 0 1 0 631564514 16736256 3247 4294967295 134512640 134714508 3221221776 3221220492 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4086 3247 1111 63 0 4023 0
vsize: 16344
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3352 0 0 0 36935 67 0 0 25 0 1 0 631564514 16867328 3273 4294967295 134512640 134714508 3221221776 3221220484 134524590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4118 3273 1111 63 0 4055 0
vsize: 16472
[startup+380.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3427 0 0 0 37934 69 0 0 25 0 1 0 631564514 17272832 3348 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3348 1111 63 0 4154 0
vsize: 16868
[startup+390.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3441 0 0 0 38932 70 0 0 25 0 1 0 631564514 17252352 3362 4294967295 134512640 134714508 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4212 3362 1111 63 0 4149 0
vsize: 16848
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3441 0 0 0 39931 72 0 0 25 0 1 0 631564514 17252352 3362 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4212 3362 1111 63 0 4149 0
vsize: 16848
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3451 0 0 0 40929 74 0 0 25 0 1 0 631564514 17252352 3372 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4212 3372 1111 63 0 4149 0
vsize: 16848
[startup+420.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3464 0 0 0 41928 75 0 0 25 0 1 0 631564514 17387520 3385 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3385 1111 63 0 4182 0
vsize: 16980
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3464 0 0 0 42926 77 0 0 25 0 1 0 631564514 17387520 3385 4294967295 134512640 134714508 3221221776 3221220216 1077378263 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3385 1111 63 0 4182 0
vsize: 16980
[startup+440.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3472 0 0 0 43925 79 0 0 25 0 1 0 631564514 17387520 3393 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3393 1111 63 0 4182 0
vsize: 16980
[startup+450.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3481 0 0 0 44923 80 0 0 25 0 1 0 631564514 17387520 3402 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3402 1111 63 0 4182 0
vsize: 16980
[startup+460.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3486 0 0 0 45922 82 0 0 25 0 1 0 631564514 17387520 3407 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3407 1111 63 0 4182 0
vsize: 16980
[startup+470.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3503 0 0 0 46920 84 0 0 25 0 1 0 631564514 17522688 3424 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4278 3424 1111 63 0 4215 0
vsize: 17112
[startup+480.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3505 0 0 0 47918 86 0 0 25 0 1 0 631564514 17522688 3426 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4278 3426 1111 63 0 4215 0
vsize: 17112
[startup+490.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3567 0 0 0 48917 88 0 0 25 0 1 0 631564514 17793024 3488 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4344 3488 1111 63 0 4281 0
vsize: 17376
[startup+500.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3622 0 0 0 49915 90 0 0 25 0 1 0 631564514 18063360 3543 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3543 1111 63 0 4347 0
vsize: 17640
[startup+510.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3668 0 0 0 50913 91 0 0 25 0 1 0 631564514 18198528 3589 4294967295 134512640 134714508 3221221776 3221220388 134549501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3589 1111 63 0 4380 0
vsize: 17772
[startup+520.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3673 0 0 0 51912 93 0 0 25 0 1 0 631564514 18198528 3594 4294967295 134512640 134714508 3221221776 3221220540 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3594 1111 63 0 4380 0
vsize: 17772
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3673 0 0 0 52911 94 0 0 25 0 1 0 631564514 18198528 3594 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3594 1111 63 0 4380 0
vsize: 17772
[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3673 0 0 0 53910 95 0 0 25 0 1 0 631564514 18198528 3594 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3594 1111 63 0 4380 0
vsize: 17772
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3684 0 0 0 54909 96 0 0 25 0 1 0 631564514 18198528 3605 4294967295 134512640 134714508 3221221776 3221220416 134536655 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3605 1111 63 0 4380 0
vsize: 17772
[startup+560.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3709 0 0 0 55908 98 0 0 25 0 1 0 631564514 18333696 3630 4294967295 134512640 134714508 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3630 1111 63 0 4413 0
vsize: 17904
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3713 0 0 0 56907 99 0 0 25 0 1 0 631564514 18333696 3634 4294967295 134512640 134714508 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3634 1111 63 0 4413 0
vsize: 17904
[startup+580.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3731 0 0 0 57905 101 0 0 25 0 1 0 631564514 18468864 3652 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4509 3652 1111 63 0 4446 0
vsize: 18036
[startup+590.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3783 0 0 0 58902 104 0 0 25 0 1 0 631564514 18726912 3704 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4572 3704 1111 63 0 4509 0
vsize: 18288
[startup+600.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 3861 0 0 0 59901 105 0 0 25 0 1 0 631564514 18968576 3782 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4631 3782 1111 63 0 4568 0
vsize: 18524
[startup+610.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4026 0 0 0 60900 107 0 0 25 0 1 0 631564514 19636224 3947 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4794 3947 1111 63 0 4731 0
vsize: 19176
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4076 0 0 0 61898 108 0 0 25 0 1 0 631564514 19894272 3997 4294967295 134512640 134714508 3221221776 3221220416 134696035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4857 3997 1111 63 0 4794 0
vsize: 19428
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4115 0 0 0 62898 109 0 0 25 0 1 0 631564514 20008960 4036 4294967295 134512640 134714508 3221221776 3221220404 134696248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4885 4036 1111 63 0 4822 0
vsize: 19540
[startup+640.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4146 0 0 0 63897 110 0 0 25 0 1 0 631564514 20144128 4067 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 4067 1111 63 0 4855 0
vsize: 19672
[startup+650.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4155 0 0 0 64896 111 0 0 25 0 1 0 631564514 20144128 4076 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 4076 1111 63 0 4855 0
vsize: 19672
[startup+660.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4166 0 0 0 65895 112 0 0 25 0 1 0 631564514 20279296 4087 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4087 1111 63 0 4888 0
vsize: 19804
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4193 0 0 0 66894 113 0 0 25 0 1 0 631564514 20279296 4114 4294967295 134512640 134714508 3221221776 3221220180 134697198 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4114 1111 63 0 4888 0
vsize: 19804
[startup+680.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4255 0 0 0 67893 115 0 0 25 0 1 0 631564514 20549632 4176 4294967295 134512640 134714508 3221221776 3221220344 1077377851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5017 4176 1111 63 0 4954 0
vsize: 20068
[startup+690.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4298 0 0 0 68891 117 0 0 25 0 1 0 631564514 20819968 4219 4294967295 134512640 134714508 3221221776 3221220352 134549713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5083 4219 1111 63 0 5020 0
vsize: 20332
[startup+700.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4348 0 0 0 69890 119 0 0 25 0 1 0 631564514 20955136 4269 4294967295 134512640 134714508 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5116 4269 1111 63 0 5053 0
vsize: 20464
[startup+710.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4387 0 0 0 70889 119 0 0 25 0 1 0 631564514 21090304 4308 4294967295 134512640 134714508 3221221776 3221220416 134696069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5149 4308 1111 63 0 5086 0
vsize: 20596
[startup+720.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4421 0 0 0 71887 121 0 0 25 0 1 0 631564514 21344256 4342 4294967295 134512640 134714508 3221221776 3221220416 134696260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5211 4342 1111 63 0 5148 0
vsize: 20844
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4467 0 0 0 72886 123 0 0 25 0 1 0 631564514 21479424 4388 4294967295 134512640 134714508 3221221776 3221220416 134696097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5244 4388 1111 63 0 5181 0
vsize: 20976
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4498 0 0 0 73885 124 0 0 25 0 1 0 631564514 21614592 4419 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5277 4419 1111 63 0 5214 0
vsize: 21108
[startup+750.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4518 0 0 0 74884 125 0 0 25 0 1 0 631564514 21614592 4439 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5277 4439 1111 63 0 5214 0
vsize: 21108
[startup+760.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4541 0 0 0 75883 127 0 0 25 0 1 0 631564514 21749760 4462 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5310 4462 1111 63 0 5247 0
vsize: 21240
[startup+770.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4594 0 0 0 76881 128 0 0 25 0 1 0 631564514 22020096 4515 4294967295 134512640 134714508 3221221776 3221220528 134592441 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5376 4515 1111 63 0 5313 0
vsize: 21504
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4746 0 0 0 77880 130 0 0 25 0 1 0 631564514 22560768 4667 4294967295 134512640 134714508 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5508 4667 1111 63 0 5445 0
vsize: 22032
[startup+790.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4849 0 0 0 78879 131 0 0 25 0 1 0 631564514 23035904 4770 4294967295 134512640 134714508 3221221776 3221220416 134696061 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5624 4770 1111 63 0 5561 0
vsize: 22496
[startup+800.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4903 0 0 0 79877 133 0 0 25 0 1 0 631564514 23306240 4824 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5690 4824 1111 63 0 5627 0
vsize: 22760
[startup+810.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4927 0 0 0 80876 135 0 0 25 0 1 0 631564514 23306240 4848 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5690 4848 1111 63 0 5627 0
vsize: 22760
[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4940 0 0 0 81875 136 0 0 25 0 1 0 631564514 23441408 4861 4294967295 134512640 134714508 3221221776 3221220416 134696069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5723 4861 1111 63 0 5660 0
vsize: 22892
[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4948 0 0 0 82874 137 0 0 25 0 1 0 631564514 23441408 4869 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5723 4869 1111 63 0 5660 0
vsize: 22892
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4954 0 0 0 83872 139 0 0 25 0 1 0 631564514 23441408 4875 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5723 4875 1111 63 0 5660 0
vsize: 22892
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 4985 0 0 0 84871 140 0 0 25 0 1 0 631564514 23576576 4906 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5756 4906 1111 63 0 5693 0
vsize: 23024
[startup+860.034 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5009 0 0 0 85870 141 0 0 25 0 1 0 631564514 23711744 4930 4294967295 134512640 134714508 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5789 4930 1111 63 0 5726 0
vsize: 23156
[startup+870.034 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5019 0 0 0 86869 142 0 0 25 0 1 0 631564514 23711744 4940 4294967295 134512640 134714508 3221221776 3221220360 134551981 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5789 4940 1111 63 0 5726 0
vsize: 23156
[startup+880.034 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5019 0 0 0 87868 143 0 0 25 0 1 0 631564514 23711744 4940 4294967295 134512640 134714508 3221221776 3221220492 134551979 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5789 4940 1111 63 0 5726 0
vsize: 23156
[startup+890.034 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5037 0 0 0 88867 145 0 0 25 0 1 0 631564514 23842816 4958 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4958 1111 63 0 5758 0
vsize: 23284
[startup+900.035 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5045 0 0 0 89866 146 0 0 25 0 1 0 631564514 23842816 4966 4294967295 134512640 134714508 3221221776 3221220480 134528571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4966 1111 63 0 5758 0
vsize: 23284
[startup+910.035 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5049 0 0 0 90865 147 0 0 25 0 1 0 631564514 23842816 4970 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4970 1111 63 0 5758 0
vsize: 23284
[startup+920.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5066 0 0 0 91864 148 0 0 25 0 1 0 631564514 23977984 4987 4294967295 134512640 134714508 3221221776 3221220304 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5854 4987 1111 63 0 5791 0
vsize: 23416
[startup+930.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5072 0 0 0 92863 149 0 0 25 0 1 0 631564514 23977984 4993 4294967295 134512640 134714508 3221221776 3221220504 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5854 4993 1111 63 0 5791 0
vsize: 23416
[startup+940.036 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5089 0 0 0 93862 150 0 0 25 0 1 0 631564514 23977984 5010 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5854 5010 1111 63 0 5791 0
vsize: 23416
[startup+950.036 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5099 0 0 0 94861 152 0 0 25 0 1 0 631564514 24113152 5020 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5020 1111 63 0 5824 0
vsize: 23548
[startup+960.036 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5108 0 0 0 95860 153 0 0 25 0 1 0 631564514 24113152 5029 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5029 1111 63 0 5824 0
vsize: 23548
[startup+970.036 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5124 0 0 0 96859 154 0 0 25 0 1 0 631564514 24113152 5045 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5045 1111 63 0 5824 0
vsize: 23548
[startup+980.037 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5124 0 0 0 97858 156 0 0 25 0 1 0 631564514 24113152 5045 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5045 1111 63 0 5824 0
vsize: 23548
[startup+990.036 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5152 0 0 0 98856 158 0 0 25 0 1 0 631564514 24244224 5073 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5919 5073 1111 63 0 5856 0
vsize: 23676
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5155 0 0 0 99855 159 0 0 25 0 1 0 631564514 24244224 5076 4294967295 134512640 134714508 3221221776 3221220356 134549712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5919 5076 1111 63 0 5856 0
vsize: 23676
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5170 0 0 0 100853 161 0 0 25 0 1 0 631564514 24379392 5091 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5952 5091 1111 63 0 5889 0
vsize: 23808
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11517
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5189 0 0 0 101852 162 0 0 25 0 1 0 631564514 24379392 5110 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5952 5110 1111 63 0 5889 0
vsize: 23808
[startup+1030.04 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 11570
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5221 0 0 0 102847 167 0 0 25 0 1 0 631564514 24514560 5142 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5985 5142 1111 63 0 5922 0
vsize: 23940
[startup+1040.04 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 11570
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5265 0 0 0 103846 168 0 0 25 0 1 0 631564514 24784896 5186 4294967295 134512640 134714508 3221221776 3221220540 134524382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6051 5186 1111 63 0 5988 0
vsize: 24204
[startup+1050.04 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 11570
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5296 0 0 0 104845 169 0 0 25 0 1 0 631564514 24920064 5217 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6084 5217 1111 63 0 6021 0
vsize: 24336
[startup+1060.04 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 11570
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5318 0 0 0 105844 170 0 0 25 0 1 0 631564514 24907776 5239 4294967295 134512640 134714508 3221221776 3221220524 134551608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6081 5239 1111 63 0 6018 0
vsize: 24324
[startup+1070.04 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 11570
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5345 0 0 0 106843 171 0 0 25 0 1 0 631564514 25034752 5266 4294967295 134512640 134714508 3221221776 3221220332 134535552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6112 5266 1111 63 0 6049 0
vsize: 24448
[startup+1080.04 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 11570
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5345 0 0 0 107842 173 0 0 25 0 1 0 631564514 25034752 5266 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6112 5266 1111 63 0 6049 0
vsize: 24448
[startup+1090.04 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5435 0 0 0 108839 176 0 0 25 0 1 0 631564514 25399296 5356 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6201 5356 1111 63 0 6138 0
vsize: 24804
[startup+1100.04 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5580 0 0 0 109837 178 0 0 25 0 1 0 631564514 26071040 5501 4294967295 134512640 134714508 3221221776 3221220384 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6365 5501 1111 63 0 6302 0
vsize: 25460
[startup+1110.04 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5721 0 0 0 110835 180 0 0 25 0 1 0 631564514 26591232 5642 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6492 5642 1111 63 0 6429 0
vsize: 25968
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5875 0 0 0 111834 182 0 0 25 0 1 0 631564514 27267072 5796 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6657 5796 1111 63 0 6594 0
vsize: 26628
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 5968 0 0 0 112832 184 0 0 25 0 1 0 631564514 27672576 5889 4294967295 134512640 134714508 3221221776 3221219780 134697183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6756 5889 1111 63 0 6693 0
vsize: 27024
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 6009 0 0 0 113831 185 0 0 25 0 1 0 631564514 27807744 5930 4294967295 134512640 134714508 3221221776 3221220428 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6789 5930 1111 63 0 6726 0
vsize: 27156
[startup+1150.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 6043 0 0 0 114830 186 0 0 25 0 1 0 631564514 27942912 5964 4294967295 134512640 134714508 3221221776 3221220432 134524135 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6822 5964 1111 63 0 6759 0
vsize: 27288
[startup+1160.04 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 6079 0 0 0 115829 188 0 0 25 0 1 0 631564514 28078080 6000 4294967295 134512640 134714508 3221221776 3221220528 134592388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6855 6000 1111 63 0 6792 0
vsize: 27420
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 6175 0 0 0 116827 189 0 0 25 0 1 0 631564514 28483584 6096 4294967295 134512640 134714508 3221221776 3221220472 134534085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6954 6096 1111 63 0 6891 0
vsize: 27816
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 11572
Raw data (stat): 11517 (bsolo_lpr_cuts) R 11516 7876 7672 0 -1 0 6175 0 0 0 116827 189 0 0 25 0 1 0 631564514 28483584 6096 4294967295 134512640 134714508 3221221776 3221220472 134534085 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6954 6096 1111 63 0 6891 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.04
CPU user time (s): 1173.12
CPU system time (s): 1.91771
CPU usage (%): 100.01
Max. virtual memory (Kb): 27816
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####