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-chnl20_21_pb.cnf.cr.opb
MD5SUM	112c693a7a90a8dc93ad23dc136d9b75
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	22
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.026995
Number of variables	840
Total number of constraints	82
Number of constraints which are clauses	42
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	21
Trace number 23178

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 03:00:33 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=65 boxname=wulflinc31 idbench=8 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  112c693a7a90a8dc93ad23dc136d9b75  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_21_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl20_21_pb.cnf.cr.opb
IDLAUNCH: 65
/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:        932480 kB
Buffers:         35540 kB
Cached:          44856 kB
SwapCached:        864 kB
Active:          67560 kB
Inactive:        15196 kB
HighTotal:      131008 kB
HighFree:        85148 kB
LowTotal:       903652 kB
LowFree:        847332 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5512 kB
Slab:            13808 kB
Committed_AS:    63668 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 03:20:09 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 65 7 1175.13 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 840 variables and 82 constraints.
c After prepocess the problem consists of 840 variables and 82 constraints.
c preprocess terminated 0.205 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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.01 0.93 2/54 7573
Raw data (stat): 7573 (runsolver) R 7572 3722 3553 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 628069368 1056768 100 4294967295 134512640 135381576 3221221632 3221216848 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.0015 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 3680 0 0 0 981 15 0 0 25 0 1 0 628069368 18190336 3601 4294967295 134512640 134714508 3221221744 3221220292 134696398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4441 3601 1111 63 0 4378 0
vsize: 17764
[startup+20.0022 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 5241 0 0 0 1977 19 0 0 25 0 1 0 628069368 24555520 5162 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5995 5162 1111 63 0 5932 0
vsize: 23980
[startup+30.0029 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 6049 0 0 0 2974 22 0 0 25 0 1 0 628069368 27938816 5970 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6821 5970 1111 63 0 6758 0
vsize: 27284
[startup+40.0033 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 6476 0 0 0 3973 24 0 0 25 0 1 0 628069368 29712384 6397 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7254 6397 1111 63 0 7191 0
vsize: 29016
[startup+50.005 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 7840 0 0 0 4968 29 0 0 25 0 1 0 628069368 35389440 7761 4294967295 134512640 134714508 3221221744 3221220416 134551968 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8640 7761 1111 63 0 8577 0
vsize: 34560
[startup+60.005 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 8970 0 0 0 5963 34 0 0 25 0 1 0 628069368 39989248 8891 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9763 8891 1111 63 0 9700 0
vsize: 39052
[startup+70.0062 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 9700 0 0 0 6960 37 0 0 25 0 1 0 628069368 42975232 9621 4294967295 134512640 134714508 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10492 9621 1111 63 0 10429 0
vsize: 41968
[startup+80.0068 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 10222 0 0 0 7957 40 0 0 25 0 1 0 628069368 45137920 10143 4294967295 134512640 134714508 3221221744 3221220432 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11020 10143 1111 63 0 10957 0
vsize: 44080
[startup+90.0067 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 10856 0 0 0 8955 43 0 0 25 0 1 0 628069368 47706112 10777 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11647 10777 1111 63 0 11584 0
vsize: 46588
[startup+100.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 11126 0 0 0 9953 45 0 0 25 0 1 0 628069368 48926720 11047 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11945 11047 1111 63 0 11882 0
vsize: 47780
[startup+110.009 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 12158 0 0 0 10949 49 0 0 25 0 1 0 628069368 53116928 12079 4294967295 134512640 134714508 3221221744 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12968 12079 1111 63 0 12905 0
vsize: 51872
[startup+120.008 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 12733 0 0 0 11947 51 0 0 25 0 1 0 628069368 55427072 12654 4294967295 134512640 134714508 3221221744 3221220320 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13532 12654 1111 63 0 13469 0
vsize: 54128
[startup+130.01 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 13045 0 0 0 12945 53 0 0 25 0 1 0 628069368 56643584 12966 4294967295 134512640 134714508 3221221744 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13829 12966 1111 63 0 13766 0
vsize: 55316
[startup+140.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 13779 0 0 0 13943 56 0 0 25 0 1 0 628069368 59777024 13700 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14594 13700 1111 63 0 14531 0
vsize: 58376
[startup+150.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 14355 0 0 0 14941 58 0 0 25 0 1 0 628069368 62083072 14276 4294967295 134512640 134714508 3221221744 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15157 14276 1111 63 0 15094 0
vsize: 60628
[startup+160.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 14814 0 0 0 15939 60 0 0 25 0 1 0 628069368 63975424 14735 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15619 14735 1111 63 0 15556 0
vsize: 62476
[startup+170.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 15209 0 0 0 16937 62 0 0 25 0 1 0 628069368 65597440 15130 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16015 15130 1111 63 0 15952 0
vsize: 64060
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 15504 0 0 0 17936 64 0 0 25 0 1 0 628069368 66863104 15425 4294967295 134512640 134714508 3221221744 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16324 15425 1111 63 0 16261 0
vsize: 65296
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 15842 0 0 0 18934 66 0 0 25 0 1 0 628069368 68354048 15760 4294967295 134512640 134714508 3221221744 3221220336 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16688 15760 1111 63 0 16625 0
vsize: 66752
[startup+200.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 16068 0 0 0 19933 67 0 0 25 0 1 0 628069368 69308416 15985 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16921 15985 1111 63 0 16858 0
vsize: 67684
[startup+210.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 16423 0 0 0 20931 70 0 0 25 0 1 0 628069368 70795264 16339 4294967295 134512640 134714508 3221221744 3221220348 134536845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17284 16339 1111 63 0 17221 0
vsize: 69136
[startup+220.014 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 16875 0 0 0 21929 71 0 0 25 0 1 0 628069368 72749056 16791 4294967295 134512640 134714508 3221221744 3221220480 134535740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17761 16791 1111 63 0 17698 0
vsize: 71044
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 17211 0 0 0 22928 73 0 0 25 0 1 0 628069368 74100736 17127 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18091 17127 1111 63 0 18028 0
vsize: 72364
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 17455 0 0 0 23926 74 0 0 25 0 1 0 628069368 75055104 17371 4294967295 134512640 134714508 3221221744 3221220068 134697183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18324 17371 1111 63 0 18261 0
vsize: 73296
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 17688 0 0 0 24926 75 0 0 25 0 1 0 628069368 76046336 17602 4294967295 134512640 134714508 3221221744 3221220332 134535964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18566 17602 1111 63 0 18503 0
vsize: 74264
[startup+260.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 17966 0 0 0 25925 76 0 0 25 0 1 0 628069368 77328384 17875 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18879 17875 1111 63 0 18816 0
vsize: 75516
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 18217 0 0 0 26923 78 0 0 25 0 1 0 628069368 78249984 18126 4294967295 134512640 134714508 3221221744 3221220424 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19104 18126 1111 63 0 19041 0
vsize: 76416
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 18477 0 0 0 27922 79 0 0 25 0 1 0 628069368 79327232 18386 4294967295 134512640 134714508 3221221744 3221220512 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19367 18386 1111 63 0 19304 0
vsize: 77468
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 18683 0 0 0 28922 80 0 0 25 0 1 0 628069368 80138240 18592 4294967295 134512640 134714508 3221221744 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19565 18592 1111 63 0 19502 0
vsize: 78260
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 18942 0 0 0 29921 81 0 0 25 0 1 0 628069368 81219584 18851 4294967295 134512640 134714508 3221221744 3221220336 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19829 18851 1111 63 0 19766 0
vsize: 79316
[startup+310.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 19307 0 0 0 30920 82 0 0 25 0 1 0 628069368 82706432 19216 4294967295 134512640 134714508 3221221744 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20192 19216 1111 63 0 20129 0
vsize: 80768
[startup+320.018 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 19523 0 0 0 31919 83 0 0 25 0 1 0 628069368 83640320 19432 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20420 19432 1111 63 0 20357 0
vsize: 81680
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 19698 0 0 0 32918 85 0 0 25 0 1 0 628069368 84316160 19607 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20585 19607 1111 63 0 20522 0
vsize: 82340
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7575
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 20096 0 0 0 33916 87 0 0 25 0 1 0 628069368 85938176 20005 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20981 20005 1111 63 0 20918 0
vsize: 83924
[startup+350.019 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 20381 0 0 0 34914 88 0 0 25 0 1 0 628069368 87146496 20290 4294967295 134512640 134714508 3221221744 3221220528 134584976 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21276 20290 1111 63 0 21213 0
vsize: 85104
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 20558 0 0 0 35913 90 0 0 25 0 1 0 628069368 87834624 20466 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21444 20466 1111 63 0 21381 0
vsize: 85776
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 20779 0 0 0 36912 91 0 0 25 0 1 0 628069368 88780800 20687 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21675 20687 1111 63 0 21612 0
vsize: 86700
[startup+380.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 21056 0 0 0 37911 93 0 0 25 0 1 0 628069368 89858048 20963 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21938 20963 1111 63 0 21875 0
vsize: 87752
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 21279 0 0 0 38909 94 0 0 25 0 1 0 628069368 90828800 21186 4294967295 134512640 134714508 3221221744 3221220528 134529341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22175 21186 1111 63 0 22112 0
vsize: 88700
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 21452 0 0 0 39909 95 0 0 25 0 1 0 628069368 91648000 21359 4294967295 134512640 134714508 3221221744 3221220336 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22375 21359 1111 63 0 22312 0
vsize: 89500
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 21899 0 0 0 40907 97 0 0 25 0 1 0 628069368 93405184 21806 4294967295 134512640 134714508 3221221744 3221220492 134551608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22804 21806 1111 63 0 22741 0
vsize: 91216
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 22265 0 0 0 41905 99 0 0 25 0 1 0 628069368 94892032 22172 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23167 22172 1111 63 0 23104 0
vsize: 92668
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 22476 0 0 0 42904 100 0 0 25 0 1 0 628069368 95838208 22383 4294967295 134512640 134714508 3221221744 3221220300 134535646 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23398 22383 1111 63 0 23335 0
vsize: 93592
[startup+440.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 23007 0 0 0 43902 103 0 0 25 0 1 0 628069368 98000896 22914 4294967295 134512640 134714508 3221221744 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23926 22915 1111 63 0 23863 0
vsize: 95704
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 23330 0 0 0 44900 105 0 0 25 0 1 0 628069368 99217408 23237 4294967295 134512640 134714508 3221221744 3221220400 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24223 23237 1111 63 0 24160 0
vsize: 96892
[startup+460.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 23557 0 0 0 45899 106 0 0 25 0 1 0 628069368 100155392 23464 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24452 23464 1111 63 0 24389 0
vsize: 97808
[startup+470.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 23885 0 0 0 46898 108 0 0 25 0 1 0 628069368 101507072 23792 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24782 23792 1111 63 0 24719 0
vsize: 99128
[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 24123 0 0 0 47897 109 0 0 25 0 1 0 628069368 102658048 24030 4294967295 134512640 134714508 3221221744 3221220380 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25063 24030 1111 63 0 25000 0
vsize: 100252
[startup+490.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 24270 0 0 0 48896 109 0 0 25 0 1 0 628069368 103198720 24177 4294967295 134512640 134714508 3221221744 3221220448 134528732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25195 24177 1111 63 0 25132 0
vsize: 100780
[startup+500.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 24592 0 0 0 49895 111 0 0 25 0 1 0 628069368 104550400 24499 4294967295 134512640 134714508 3221221744 3221220396 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25525 24499 1111 63 0 25462 0
vsize: 102100
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 24834 0 0 0 50894 112 0 0 25 0 1 0 628069368 105496576 24741 4294967295 134512640 134714508 3221221744 3221220396 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25756 24741 1111 63 0 25693 0
vsize: 103024
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 24950 0 0 0 51893 114 0 0 25 0 1 0 628069368 106045440 24855 4294967295 134512640 134714508 3221221744 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25890 24855 1111 63 0 25827 0
vsize: 103560
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 25154 0 0 0 52892 115 0 0 25 0 1 0 628069368 106856448 25059 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26088 25059 1111 63 0 26025 0
vsize: 104352
[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 25317 0 0 0 53891 116 0 0 25 0 1 0 628069368 107536384 25221 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26254 25221 1111 63 0 26191 0
vsize: 105016
[startup+550.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 25548 0 0 0 54889 117 0 0 25 0 1 0 628069368 108482560 25452 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26485 25452 1111 63 0 26422 0
vsize: 105940
[startup+560.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 25804 0 0 0 55888 119 0 0 25 0 1 0 628069368 109568000 25708 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26750 25708 1111 63 0 26687 0
vsize: 107000
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26137 0 0 0 56887 120 0 0 25 0 1 0 628069368 110919680 26041 4294967295 134512640 134714508 3221221744 3221220384 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27080 26041 1111 63 0 27017 0
vsize: 108320
[startup+580.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26254 0 0 0 57887 121 0 0 25 0 1 0 628069368 111509504 26154 4294967295 134512640 134714508 3221221744 3221220312 134535489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27224 26154 1111 63 0 27161 0
vsize: 108896
[startup+590.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26382 0 0 0 58886 121 0 0 25 0 1 0 628069368 112050176 26282 4294967295 134512640 134714508 3221221744 3221220372 134696248 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27356 26282 1111 63 0 27293 0
vsize: 109424
[startup+600.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26489 0 0 0 59886 122 0 0 25 0 1 0 628069368 112504832 26386 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27467 26386 1111 63 0 27404 0
vsize: 109868
[startup+610.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26549 0 0 0 60885 123 0 0 25 0 1 0 628069368 112640000 26446 4294967295 134512640 134714508 3221221744 3221220336 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27500 26446 1111 63 0 27437 0
vsize: 110000
[startup+620.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26617 0 0 0 61885 123 0 0 25 0 1 0 628069368 112975872 26511 4294967295 134512640 134714508 3221221744 3221220528 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27582 26511 1111 63 0 27519 0
vsize: 110328
[startup+630.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26716 0 0 0 62885 124 0 0 25 0 1 0 628069368 113590272 26604 4294967295 134512640 134714508 3221221744 3221220336 134549855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27732 26604 1111 63 0 27669 0
vsize: 110928
[startup+640.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26790 0 0 0 63884 125 0 0 25 0 1 0 628069368 113725440 26678 4294967295 134512640 134714508 3221221744 3221220300 134535897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27765 26678 1111 63 0 27702 0
vsize: 111060
[startup+650.034 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26855 0 0 0 64884 125 0 0 25 0 1 0 628069368 114089984 26737 4294967295 134512640 134714508 3221221744 3221220376 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27854 26737 1111 63 0 27791 0
vsize: 111416
[startup+660.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 26887 0 0 0 65883 126 0 0 25 0 1 0 628069368 114225152 26769 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27887 26769 1111 63 0 27824 0
vsize: 111548
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 27003 0 0 0 66883 126 0 0 25 0 1 0 628069368 114642944 26885 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27989 26885 1111 63 0 27926 0
vsize: 111956
[startup+680.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 27767 0 0 0 67880 130 0 0 25 0 1 0 628069368 117780480 27647 4294967295 134512640 134714508 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28755 27647 1111 63 0 28692 0
vsize: 115020
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 28414 0 0 0 68876 134 0 0 25 0 1 0 628069368 120483840 28294 4294967295 134512640 134714508 3221221744 3221220536 134586033 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29415 28294 1111 63 0 29352 0
vsize: 117660
[startup+700.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 29132 0 0 0 69873 137 0 0 25 0 1 0 628069368 123457536 29012 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30141 29012 1111 63 0 30078 0
vsize: 120564
[startup+710.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 29697 0 0 0 70871 138 0 0 25 0 1 0 628069368 125784064 29573 4294967295 134512640 134714508 3221221744 3221220460 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30709 29573 1111 63 0 30646 0
vsize: 122836
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 30283 0 0 0 71868 141 0 0 25 0 1 0 628069368 128081920 30159 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31270 30159 1111 63 0 31207 0
vsize: 125080
[startup+730.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 30906 0 0 0 72867 144 0 0 25 0 1 0 628069368 130666496 30782 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31901 30782 1111 63 0 31838 0
vsize: 127604
[startup+740.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 31099 0 0 0 73866 144 0 0 25 0 1 0 628069368 131477504 30975 4294967295 134512640 134714508 3221221744 3221220376 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32099 30975 1111 63 0 32036 0
vsize: 128396
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 31278 0 0 0 74865 145 0 0 25 0 1 0 628069368 132304896 31153 4294967295 134512640 134714508 3221221744 3221220448 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32301 31153 1111 63 0 32238 0
vsize: 129204
[startup+760.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 31659 0 0 0 75863 147 0 0 25 0 1 0 628069368 133791744 31534 4294967295 134512640 134714508 3221221744 3221220320 134549825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32664 31534 1111 63 0 32601 0
vsize: 130656
[startup+770.037 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 31773 0 0 0 76863 148 0 0 25 0 1 0 628069368 134234112 31648 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32772 31648 1111 63 0 32709 0
vsize: 131088
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 31893 0 0 0 77863 148 0 0 25 0 1 0 628069368 134782976 31768 4294967295 134512640 134714508 3221221744 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32906 31768 1111 63 0 32843 0
vsize: 131624
[startup+790.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 32044 0 0 0 78862 149 0 0 25 0 1 0 628069368 135458816 31919 4294967295 134512640 134714508 3221221744 3221220240 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33071 31919 1111 63 0 33008 0
vsize: 132284
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 32107 0 0 0 79862 150 0 0 25 0 1 0 628069368 135745536 31981 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33141 31981 1111 63 0 33078 0
vsize: 132564
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 32374 0 0 0 80860 151 0 0 25 0 1 0 628069368 136830976 32248 4294967295 134512640 134714508 3221221744 3221220480 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33406 32248 1111 63 0 33343 0
vsize: 133624
[startup+820.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 32679 0 0 0 81859 153 0 0 25 0 1 0 628069368 138047488 32553 4294967295 134512640 134714508 3221221744 3221220336 134549745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33703 32553 1111 63 0 33640 0
vsize: 134812
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 33001 0 0 0 82857 155 0 0 25 0 1 0 628069368 139399168 32875 4294967295 134512640 134714508 3221221744 3221220400 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34033 32875 1111 63 0 33970 0
vsize: 136132
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 33235 0 0 0 83856 156 0 0 25 0 1 0 628069368 140333056 33109 4294967295 134512640 134714508 3221221744 3221220516 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34261 33109 1111 63 0 34198 0
vsize: 137044
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 33446 0 0 0 84855 157 0 0 25 0 1 0 628069368 141144064 33320 4294967295 134512640 134714508 3221221744 3221220668 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34459 33320 1111 63 0 34396 0
vsize: 137836
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 33632 0 0 0 85854 158 0 0 25 0 1 0 628069368 141946880 33506 4294967295 134512640 134714508 3221221744 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34655 33506 1111 63 0 34592 0
vsize: 138620
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 33807 0 0 0 86854 159 0 0 25 0 1 0 628069368 142622720 33681 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34820 33681 1111 63 0 34757 0
vsize: 139280
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 33897 0 0 0 87853 160 0 0 25 0 1 0 628069368 143028224 33771 4294967295 134512640 134714508 3221221744 3221220240 134535397 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34919 33771 1111 63 0 34856 0
vsize: 139676
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 34857 0 0 0 88850 163 0 0 25 0 1 0 628069368 147025920 34728 4294967295 134512640 134714508 3221221744 3221220504 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35895 34728 1111 63 0 35832 0
vsize: 143580
[startup+900.041 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 35638 0 0 0 89847 167 0 0 25 0 1 0 628069368 150134784 35509 4294967295 134512640 134714508 3221221744 3221220480 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36654 35509 1111 63 0 36591 0
vsize: 146616
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 36501 0 0 0 90843 170 0 0 25 0 1 0 628069368 153649152 36372 4294967295 134512640 134714508 3221221744 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37512 36372 1111 63 0 37449 0
vsize: 150048
[startup+920.042 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 37066 0 0 0 91840 173 0 0 25 0 1 0 628069368 156082176 36937 4294967295 134512640 134714508 3221221744 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38106 36937 1111 63 0 38043 0
vsize: 152424
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 37483 0 0 0 92839 175 0 0 25 0 1 0 628069368 157704192 37354 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38502 37354 1111 63 0 38439 0
vsize: 154008
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 37876 0 0 0 93838 176 0 0 25 0 1 0 628069368 159391744 37743 4294967295 134512640 134714508 3221221744 3221220140 1077379846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38914 37743 1111 63 0 38851 0
vsize: 155656
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 38126 0 0 0 94836 178 0 0 25 0 1 0 628069368 160337920 37993 4294967295 134512640 134714508 3221221744 3221220512 134529276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39145 37993 1111 63 0 39082 0
vsize: 156580
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 38422 0 0 0 95834 179 0 0 25 0 1 0 628069368 161689600 38289 4294967295 134512640 134714508 3221221744 3221220460 134551880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39475 38289 1111 63 0 39412 0
vsize: 157900
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 38690 0 0 0 96833 180 0 0 25 0 1 0 628069368 162795520 38556 4294967295 134512640 134714508 3221221744 3221220320 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39745 38556 1111 63 0 39682 0
vsize: 158980
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 38840 0 0 0 97833 181 0 0 25 0 1 0 628069368 163328000 38706 4294967295 134512640 134714508 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39875 38706 1111 63 0 39812 0
vsize: 159500
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 38961 0 0 0 98832 182 0 0 25 0 1 0 628069368 163848192 38827 4294967295 134512640 134714508 3221221744 3221220388 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40002 38827 1111 63 0 39939 0
vsize: 160008
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 39139 0 0 0 99831 183 0 0 25 0 1 0 628069368 164524032 39005 4294967295 134512640 134714508 3221221744 3221220336 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40167 39005 1111 63 0 40104 0
vsize: 160668
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 39206 0 0 0 100831 184 0 0 25 0 1 0 628069368 164802560 39072 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40235 39072 1111 63 0 40172 0
vsize: 160940
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 39587 0 0 0 101828 186 0 0 25 0 1 0 628069368 166473728 39453 4294967295 134512640 134714508 3221221744 3221220336 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40643 39453 1111 63 0 40580 0
vsize: 162572
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 40402 0 0 0 102826 188 0 0 25 0 1 0 628069368 169852928 40268 4294967295 134512640 134714508 3221221744 3221220448 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41468 40268 1111 63 0 41405 0
vsize: 165872
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 40707 0 0 0 103824 189 0 0 25 0 1 0 628069368 171061248 40573 4294967295 134512640 134714508 3221221744 3221220312 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41763 40573 1111 63 0 41700 0
vsize: 167052
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 41349 0 0 0 104822 191 0 0 25 0 1 0 628069368 173629440 41215 4294967295 134512640 134714508 3221221744 3221220236 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42390 41215 1111 63 0 42327 0
vsize: 169560
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 41562 0 0 0 105821 192 0 0 25 0 1 0 628069368 174575616 41428 4294967295 134512640 134714508 3221221744 3221220400 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42621 41428 1111 63 0 42558 0
vsize: 170484
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 41707 0 0 0 106821 193 0 0 25 0 1 0 628069368 175116288 41573 4294967295 134512640 134714508 3221221744 3221220396 134536848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42753 41573 1111 63 0 42690 0
vsize: 171012
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 42100 0 0 0 107820 195 0 0 25 0 1 0 628069368 176738304 41966 4294967295 134512640 134714508 3221221744 3221220464 134535757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43149 41966 1111 63 0 43086 0
vsize: 172596
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 42365 0 0 0 108818 196 0 0 25 0 1 0 628069368 177819648 42231 4294967295 134512640 134714508 3221221744 3221220376 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43413 42231 1111 63 0 43350 0
vsize: 173652
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 42514 0 0 0 109817 197 0 0 25 0 1 0 628069368 178491392 42380 4294967295 134512640 134714508 3221221744 3221220512 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43577 42380 1111 63 0 43514 0
vsize: 174308
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 42702 0 0 0 110817 198 0 0 25 0 1 0 628069368 179167232 42568 4294967295 134512640 134714508 3221221744 3221220240 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43742 42568 1111 63 0 43679 0
vsize: 174968
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 42819 0 0 0 111816 199 0 0 25 0 1 0 628069368 179707904 42685 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43874 42685 1111 63 0 43811 0
vsize: 175496
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 42981 0 0 0 112815 200 0 0 25 0 1 0 628069368 180371456 42847 4294967295 134512640 134714508 3221221744 3221220240 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44036 42847 1111 63 0 43973 0
vsize: 176144
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 43088 0 0 0 113815 201 0 0 25 0 1 0 628069368 180776960 42954 4294967295 134512640 134714508 3221221744 3221220528 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44135 42954 1111 63 0 44072 0
vsize: 176540
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 43256 0 0 0 114814 202 0 0 25 0 1 0 628069368 181452800 43122 4294967295 134512640 134714508 3221221744 3221220336 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44300 43122 1111 63 0 44237 0
vsize: 177200
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 43380 0 0 0 115813 202 0 0 25 0 1 0 628069368 181993472 43246 4294967295 134512640 134714508 3221221744 3221220332 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44432 43246 1111 63 0 44369 0
vsize: 177728
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 43527 0 0 0 116813 203 0 0 25 0 1 0 628069368 182517760 43393 4294967295 134512640 134714508 3221221744 3221220488 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44560 43393 1111 63 0 44497 0
vsize: 178240
[startup+1175.01 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 7577
Raw data (stat): 7573 (bsolo_lpr_cuts) R 7572 3722 3553 0 -1 0 43527 0 0 0 116813 203 0 0 25 0 1 0 628069368 182517760 43393 4294967295 134512640 134714508 3221221744 3221220488 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44560 43393 1111 63 0 44497 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.13
CPU user time (s): 1173.01
CPU system time (s): 2.11568
CPU usage (%): 100.01
Max. virtual memory (Kb): 178240
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####