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-fpga12_11_sat_pb.cnf.cr.opb
MD5SUM	2acc4f964e1e6f176bb0ec9705d398d2
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	13
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.044993
Number of variables	198
Total number of constraints	166
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	23
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 23283

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 03:38:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=254 boxname=wulflinc31 idbench=29 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2acc4f964e1e6f176bb0ec9705d398d2  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_11_sat_pb.cnf.cr.opb
IDLAUNCH: 254
/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:        928816 kB
Buffers:         37372 kB
Cached:          46424 kB
SwapCached:        864 kB
Active:          71568 kB
Inactive:        14608 kB
HighTotal:      131008 kB
HighFree:        83580 kB
LowTotal:       903652 kB
LowFree:        845236 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13924 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 03:58:05 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 254 7 1175.12 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 198 variables and 166 constraints.
c After prepocess the problem consists of 198 variables and 166 constraints.
c preprocess terminated 0.11 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.14 1.03 0.94 2/54 19042
Raw data (stat): 19042 (runsolver) R 19041 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 636938048 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.0005 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 2925 0 0 0 983 12 0 0 25 0 1 0 636938048 15085568 2846 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3683 2846 1111 63 0 3620 0
vsize: 14732
[startup+20.0019 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 4035 0 0 0 1978 18 0 0 25 0 1 0 636938048 19562496 3956 4294967295 134512640 134714508 3221221760 3221220464 134528592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4776 3956 1111 63 0 4713 0
vsize: 19104
[startup+30.0024 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 5550 0 0 0 2972 24 0 0 25 0 1 0 636938048 25927680 5471 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6330 5471 1111 63 0 6267 0
vsize: 25320
[startup+40.0033 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 6787 0 0 0 3967 29 0 0 25 0 1 0 636938048 30945280 6708 4294967295 134512640 134714508 3221221760 3221220464 134524402 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7555 6708 1111 63 0 7492 0
vsize: 30220
[startup+50.0047 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 7524 0 0 0 4964 33 0 0 25 0 1 0 636938048 33992704 7443 4294967295 134512640 134714508 3221221760 3221220524 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8299 7443 1111 63 0 8236 0
vsize: 33196
[startup+60.0052 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 8149 0 0 0 5960 37 0 0 25 0 1 0 636938048 36605952 8067 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8937 8067 1111 63 0 8874 0
vsize: 35748
[startup+70.0061 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 8908 0 0 0 6956 40 0 0 25 0 1 0 636938048 39718912 8826 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9697 8826 1111 63 0 9634 0
vsize: 38788
[startup+80.0065 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 9618 0 0 0 7954 43 0 0 25 0 1 0 636938048 42717184 9536 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10429 9536 1111 63 0 10366 0
vsize: 41716
[startup+90.007 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 10170 0 0 0 8952 45 0 0 25 0 1 0 636938048 45072384 10087 4294967295 134512640 134714508 3221221760 3221220380 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11004 10087 1111 63 0 10941 0
vsize: 44016
[startup+100.007 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 10631 0 0 0 9950 47 0 0 25 0 1 0 636938048 47030272 10545 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11482 10545 1111 63 0 11419 0
vsize: 45928
[startup+110.008 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 11102 0 0 0 10948 49 0 0 25 0 1 0 636938048 48930816 11015 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11946 11015 1111 63 0 11883 0
vsize: 47784
[startup+120.009 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 11688 0 0 0 11946 52 0 0 25 0 1 0 636938048 51404800 11601 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12550 11601 1111 63 0 12487 0
vsize: 50200
[startup+130.009 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 12270 0 0 0 12943 55 0 0 25 0 1 0 636938048 53837824 12183 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13144 12183 1111 63 0 13081 0
vsize: 52576
[startup+140.01 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 12777 0 0 0 13940 58 0 0 25 0 1 0 636938048 55881728 12690 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13643 12690 1111 63 0 13580 0
vsize: 54572
[startup+150.011 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 13313 0 0 0 14937 61 0 0 25 0 1 0 636938048 58064896 13226 4294967295 134512640 134714508 3221221760 3221220484 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14176 13226 1111 63 0 14113 0
vsize: 56704
[startup+160.011 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 13752 0 0 0 15935 64 0 0 25 0 1 0 636938048 59838464 13665 4294967295 134512640 134714508 3221221760 3221220544 134529200 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14609 13665 1111 63 0 14546 0
vsize: 58436
[startup+170.012 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 14027 0 0 0 16934 65 0 0 25 0 1 0 636938048 61059072 13940 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14907 13940 1111 63 0 14844 0
vsize: 59628
[startup+180.011 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 14295 0 0 0 17932 66 0 0 25 0 1 0 636938048 62144512 14208 4294967295 134512640 134714508 3221221760 3221220316 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15172 14208 1111 63 0 15109 0
vsize: 60688
[startup+190.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 14628 0 0 0 18931 68 0 0 25 0 1 0 636938048 63500288 14541 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15503 14541 1111 63 0 15440 0
vsize: 62012
[startup+200.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 15245 0 0 0 19928 71 0 0 25 0 1 0 636938048 66076672 15158 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16132 15158 1111 63 0 16069 0
vsize: 64528
[startup+210.013 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 15564 0 0 0 20928 72 0 0 25 0 1 0 636938048 67293184 15477 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16429 15477 1111 63 0 16366 0
vsize: 65716
[startup+220.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 15879 0 0 0 21926 73 0 0 25 0 1 0 636938048 68644864 15792 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16759 15792 1111 63 0 16696 0
vsize: 67036
[startup+230.014 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 16138 0 0 0 22925 75 0 0 25 0 1 0 636938048 69726208 16051 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17023 16051 1111 63 0 16960 0
vsize: 68092
[startup+240.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 16569 0 0 0 23924 76 0 0 25 0 1 0 636938048 71557120 16480 4294967295 134512640 134714508 3221221760 3221220300 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17470 16480 1111 63 0 17407 0
vsize: 69880
[startup+250.015 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 16851 0 0 0 24922 78 0 0 25 0 1 0 636938048 72773632 16762 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17767 16762 1111 63 0 17704 0
vsize: 71068
[startup+260.016 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 17126 0 0 0 25921 79 0 0 25 0 1 0 636938048 73854976 17036 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18031 17036 1111 63 0 17968 0
vsize: 72124
[startup+270.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 17444 0 0 0 26919 81 0 0 25 0 1 0 636938048 75210752 17354 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18362 17354 1111 63 0 18299 0
vsize: 73448
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 17682 0 0 0 27918 82 0 0 25 0 1 0 636938048 76177408 17592 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18598 17592 1111 63 0 18535 0
vsize: 74392
[startup+290.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 17906 0 0 0 28918 83 0 0 25 0 1 0 636938048 77148160 17816 4294967295 134512640 134714508 3221221760 3221220464 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18835 17816 1111 63 0 18772 0
vsize: 75340
[startup+300.017 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 18211 0 0 0 29916 85 0 0 25 0 1 0 636938048 78417920 18119 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19145 18119 1111 63 0 19082 0
vsize: 76580
[startup+310.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 18451 0 0 0 30916 85 0 0 25 0 1 0 636938048 79364096 18359 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19376 18359 1111 63 0 19313 0
vsize: 77504
[startup+320.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 18707 0 0 0 31915 87 0 0 25 0 1 0 636938048 80449536 18615 4294967295 134512640 134714508 3221221760 3221220352 134549770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19641 18615 1111 63 0 19578 0
vsize: 78564
[startup+330.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 19007 0 0 0 32914 88 0 0 25 0 1 0 636938048 81694720 18911 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19945 18911 1111 63 0 19882 0
vsize: 79780
[startup+340.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 19250 0 0 0 33913 89 0 0 25 0 1 0 636938048 82681856 19150 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20186 19150 1111 63 0 20123 0
vsize: 80744
[startup+350.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 19467 0 0 0 34912 90 0 0 25 0 1 0 636938048 83628032 19367 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20417 19367 1111 63 0 20354 0
vsize: 81668
[startup+360.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 19736 0 0 0 35911 91 0 0 25 0 1 0 636938048 84779008 19632 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20698 19632 1111 63 0 20635 0
vsize: 82792
[startup+370.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 19918 0 0 0 36910 92 0 0 25 0 1 0 636938048 85463040 19814 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20865 19814 1111 63 0 20802 0
vsize: 83460
[startup+380.02 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 20136 0 0 0 37909 94 0 0 25 0 1 0 636938048 86425600 20032 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21100 20032 1111 63 0 21037 0
vsize: 84400
[startup+390.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 20326 0 0 0 38908 94 0 0 25 0 1 0 636938048 87121920 20222 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21270 20222 1111 63 0 21207 0
vsize: 85080
[startup+400.021 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 20525 0 0 0 39908 95 0 0 25 0 1 0 636938048 88014848 20416 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21488 20416 1111 63 0 21425 0
vsize: 85952
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 20797 0 0 0 40907 96 0 0 25 0 1 0 636938048 89096192 20688 4294967295 134512640 134714508 3221221760 3221220384 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21752 20688 1111 63 0 21689 0
vsize: 87008
[startup+420.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 21072 0 0 0 41906 98 0 0 25 0 1 0 636938048 90349568 20963 4294967295 134512640 134714508 3221221760 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22058 20963 1111 63 0 21995 0
vsize: 88232
[startup+430.023 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 21221 0 0 0 42905 98 0 0 25 0 1 0 636938048 91045888 21112 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22228 21112 1111 63 0 22165 0
vsize: 88912
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 21435 0 0 0 43905 99 0 0 25 0 1 0 636938048 91856896 21326 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22426 21326 1111 63 0 22363 0
vsize: 89704
[startup+450.024 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 21645 0 0 0 44904 99 0 0 25 0 1 0 636938048 92823552 21535 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22662 21535 1111 63 0 22599 0
vsize: 90648
[startup+460.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 21817 0 0 0 45904 100 0 0 25 0 1 0 636938048 93421568 21706 4294967295 134512640 134714508 3221221760 3221220256 134535397 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22808 21706 1111 63 0 22745 0
vsize: 91232
[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 22096 0 0 0 46903 102 0 0 25 0 1 0 636938048 94662656 21983 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23111 21983 1111 63 0 23048 0
vsize: 92444
[startup+480.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 22680 0 0 0 47901 104 0 0 25 0 1 0 636938048 97128448 22567 4294967295 134512640 134714508 3221221760 3221220544 134529174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23713 22567 1111 63 0 23650 0
vsize: 94852
[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 23103 0 0 0 48899 106 0 0 25 0 1 0 636938048 98885632 22990 4294967295 134512640 134714508 3221221760 3221220400 134696069 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24142 22990 1111 63 0 24079 0
vsize: 96568
[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 23408 0 0 0 49899 106 0 0 25 0 1 0 636938048 100102144 23295 4294967295 134512640 134714508 3221221760 3221220060 134697068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24439 23295 1111 63 0 24376 0
vsize: 97756
[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 23688 0 0 0 50898 108 0 0 25 0 1 0 636938048 101183488 23575 4294967295 134512640 134714508 3221221760 3221220528 134529157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24703 23575 1111 63 0 24640 0
vsize: 98812
[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 23936 0 0 0 51896 109 0 0 25 0 1 0 636938048 102264832 23823 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24967 23823 1111 63 0 24904 0
vsize: 99868
[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 24150 0 0 0 52895 111 0 0 25 0 1 0 636938048 103215104 24037 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25199 24037 1111 63 0 25136 0
vsize: 100796
[startup+540.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 24328 0 0 0 53894 112 0 0 25 0 1 0 636938048 103895040 24215 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25365 24215 1111 63 0 25302 0
vsize: 101460
[startup+550.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 24601 0 0 0 54893 113 0 0 25 0 1 0 636938048 104976384 24488 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25629 24488 1111 63 0 25566 0
vsize: 102516
[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 24872 0 0 0 55893 113 0 0 25 0 1 0 636938048 106057728 24759 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25893 24759 1111 63 0 25830 0
vsize: 103572
[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 25073 0 0 0 56892 114 0 0 25 0 1 0 636938048 106876928 24960 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26093 24960 1111 63 0 26030 0
vsize: 104372
[startup+580.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 25219 0 0 0 57891 115 0 0 25 0 1 0 636938048 107417600 25106 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26225 25106 1111 63 0 26162 0
vsize: 104900
[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 25390 0 0 0 58890 116 0 0 25 0 1 0 636938048 108228608 25277 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26423 25277 1111 63 0 26360 0
vsize: 105692
[startup+600.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 25597 0 0 0 59890 117 0 0 25 0 1 0 636938048 109039616 25484 4294967295 134512640 134714508 3221221760 3221220316 134535984 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26621 25484 1111 63 0 26558 0
vsize: 106484
[startup+610.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 25902 0 0 0 60889 119 0 0 25 0 1 0 636938048 110256128 25789 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26918 25789 1111 63 0 26855 0
vsize: 107672
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 26375 0 0 0 61886 121 0 0 25 0 1 0 636938048 112148480 26262 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27380 26262 1111 63 0 27317 0
vsize: 109520
[startup+630.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 26727 0 0 0 62884 123 0 0 25 0 1 0 636938048 113696768 26614 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27758 26614 1111 63 0 27695 0
vsize: 111032
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 26970 0 0 0 63884 124 0 0 25 0 1 0 636938048 114642944 26857 4294967295 134512640 134714508 3221221760 3221220256 134535468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27989 26857 1111 63 0 27926 0
vsize: 111956
[startup+650.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 27186 0 0 0 64883 125 0 0 25 0 1 0 636938048 115589120 27073 4294967295 134512640 134714508 3221221760 3221220472 134551881 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28220 27073 1111 63 0 28157 0
vsize: 112880
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 27355 0 0 0 65883 125 0 0 25 0 1 0 636938048 116264960 27242 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28385 27242 1111 63 0 28322 0
vsize: 113540
[startup+670.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 27503 0 0 0 66882 126 0 0 25 0 1 0 636938048 116834304 27390 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28524 27390 1111 63 0 28461 0
vsize: 114096
[startup+680.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 27836 0 0 0 67881 127 0 0 25 0 1 0 636938048 118185984 27723 4294967295 134512640 134714508 3221221760 3221220496 134535728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28854 27723 1111 63 0 28791 0
vsize: 115416
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 28141 0 0 0 68880 128 0 0 25 0 1 0 636938048 119402496 28028 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29151 28028 1111 63 0 29088 0
vsize: 116604
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 28387 0 0 0 69879 130 0 0 25 0 1 0 636938048 120504320 28273 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29420 28273 1111 63 0 29357 0
vsize: 117680
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 28734 0 0 0 70878 131 0 0 25 0 1 0 636938048 121999360 28619 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29785 28619 1111 63 0 29722 0
vsize: 119140
[startup+720.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 28947 0 0 0 71876 133 0 0 25 0 1 0 636938048 122810368 28832 4294967295 134512640 134714508 3221221760 3221220496 134528617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29983 28832 1111 63 0 29920 0
vsize: 119932
[startup+730.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 29152 0 0 0 72875 135 0 0 25 0 1 0 636938048 123621376 29037 4294967295 134512640 134714508 3221221760 3221220544 134529217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30181 29037 1111 63 0 30118 0
vsize: 120724
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 29360 0 0 0 73874 136 0 0 25 0 1 0 636938048 124432384 29245 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30379 29245 1111 63 0 30316 0
vsize: 121516
[startup+750.037 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 29618 0 0 0 74873 137 0 0 25 0 1 0 636938048 125464576 29500 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30631 29500 1111 63 0 30568 0
vsize: 122524
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 29871 0 0 0 75872 138 0 0 25 0 1 0 636938048 126410752 29753 4294967295 134512640 134714508 3221221760 3221220400 134523869 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30862 29753 1111 63 0 30799 0
vsize: 123448
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 30036 0 0 0 76872 139 0 0 25 0 1 0 636938048 127086592 29918 4294967295 134512640 134714508 3221221760 3221220520 134552633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31027 29918 1111 63 0 30964 0
vsize: 124108
[startup+780.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 30202 0 0 0 77871 139 0 0 25 0 1 0 636938048 127762432 30084 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31192 30084 1111 63 0 31129 0
vsize: 124768
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 30345 0 0 0 78871 140 0 0 25 0 1 0 636938048 128438272 30227 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31357 30227 1111 63 0 31294 0
vsize: 125428
[startup+800.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 30511 0 0 0 79870 141 0 0 25 0 1 0 636938048 129032192 30393 4294967295 134512640 134714508 3221221760 3221220364 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31502 30393 1111 63 0 31439 0
vsize: 126008
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 30671 0 0 0 80870 142 0 0 25 0 1 0 636938048 129708032 30553 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31667 30553 1111 63 0 31604 0
vsize: 126668
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 30835 0 0 0 81869 143 0 0 25 0 1 0 636938048 130383872 30717 4294967295 134512640 134714508 3221221760 3221220400 134696032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31832 30717 1111 63 0 31769 0
vsize: 127328
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 30961 0 0 0 82868 143 0 0 25 0 1 0 636938048 130949120 30843 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31970 30843 1111 63 0 31907 0
vsize: 127880
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 31114 0 0 0 83868 144 0 0 25 0 1 0 636938048 131796992 30993 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32177 30993 1111 63 0 32114 0
vsize: 128708
[startup+850.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 31229 0 0 0 84868 144 0 0 25 0 1 0 636938048 132210688 31108 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32278 31108 1111 63 0 32215 0
vsize: 129112
[startup+860.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 31324 0 0 0 85868 145 0 0 25 0 1 0 636938048 132550656 31201 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32361 31201 1111 63 0 32298 0
vsize: 129444
[startup+870.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 31427 0 0 0 86867 145 0 0 25 0 1 0 636938048 132997120 31303 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32470 31303 1111 63 0 32407 0
vsize: 129880
[startup+880.043 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 31571 0 0 0 87867 146 0 0 25 0 1 0 636938048 133537792 31447 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32602 31447 1111 63 0 32539 0
vsize: 130408
[startup+890.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 31657 0 0 0 88867 146 0 0 25 0 1 0 636938048 133976064 31529 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32709 31529 1111 63 0 32646 0
vsize: 130836
[startup+900.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 31735 0 0 0 89866 147 0 0 25 0 1 0 636938048 134295552 31606 4294967295 134512640 134714508 3221221760 3221220512 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32787 31606 1111 63 0 32724 0
vsize: 131148
[startup+910.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 31804 0 0 0 90866 147 0 0 25 0 1 0 636938048 134565888 31675 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32853 31675 1111 63 0 32790 0
vsize: 131412
[startup+920.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 31914 0 0 0 91866 148 0 0 25 0 1 0 636938048 135000064 31784 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32959 31784 1111 63 0 32896 0
vsize: 131836
[startup+930.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32008 0 0 0 92865 148 0 0 25 0 1 0 636938048 135483392 31878 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33077 31878 1111 63 0 33014 0
vsize: 132308
[startup+940.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32111 0 0 0 93865 149 0 0 25 0 1 0 636938048 135942144 31981 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33189 31981 1111 63 0 33126 0
vsize: 132756
[startup+950.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32207 0 0 0 94865 149 0 0 25 0 1 0 636938048 136237056 32076 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33261 32076 1111 63 0 33198 0
vsize: 133044
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32297 0 0 0 95865 149 0 0 25 0 1 0 636938048 136744960 32165 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33385 32165 1111 63 0 33322 0
vsize: 133540
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32431 0 0 0 96864 150 0 0 25 0 1 0 636938048 137404416 32292 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33546 32292 1111 63 0 33483 0
vsize: 134184
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32531 0 0 0 97864 151 0 0 25 0 1 0 636938048 137846784 32391 4294967295 134512640 134714508 3221221760 3221220352 134549742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33654 32391 1111 63 0 33591 0
vsize: 134616
[startup+990.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32651 0 0 0 98863 151 0 0 25 0 1 0 636938048 138465280 32510 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33805 32510 1111 63 0 33742 0
vsize: 135220
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32723 0 0 0 99863 151 0 0 25 0 1 0 636938048 138756096 32581 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33876 32581 1111 63 0 33813 0
vsize: 135504
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32800 0 0 0 100863 152 0 0 25 0 1 0 636938048 139026432 32657 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33942 32657 1111 63 0 33879 0
vsize: 135768
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32884 0 0 0 101863 152 0 0 25 0 1 0 636938048 139431936 32741 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34041 32741 1111 63 0 33978 0
vsize: 136164
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 32971 0 0 0 102863 152 0 0 25 0 1 0 636938048 139702272 32828 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34107 32828 1111 63 0 34044 0
vsize: 136428
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 33055 0 0 0 103863 153 0 0 25 0 1 0 636938048 140107776 32912 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34206 32912 1111 63 0 34143 0
vsize: 136824
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 33138 0 0 0 104863 153 0 0 25 0 1 0 636938048 140386304 32993 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34274 32993 1111 63 0 34211 0
vsize: 137096
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 33212 0 0 0 105862 154 0 0 25 0 1 0 636938048 140734464 33065 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34359 33065 1111 63 0 34296 0
vsize: 137436
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 33291 0 0 0 106862 154 0 0 25 0 1 0 636938048 141004800 33144 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34425 33144 1111 63 0 34362 0
vsize: 137700
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 33365 0 0 0 107861 155 0 0 25 0 1 0 636938048 141410304 33218 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34524 33218 1111 63 0 34461 0
vsize: 138096
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 33448 0 0 0 108861 155 0 0 25 0 1 0 636938048 141680640 33301 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34590 33301 1111 63 0 34527 0
vsize: 138360
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 33617 0 0 0 109860 156 0 0 25 0 1 0 636938048 142356480 33470 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34755 33470 1111 63 0 34692 0
vsize: 139020
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 33813 0 0 0 110860 157 0 0 25 0 1 0 636938048 143368192 33665 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35002 33665 1111 63 0 34939 0
vsize: 140008
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 34024 0 0 0 111859 158 0 0 25 0 1 0 636938048 144179200 33876 4294967295 134512640 134714508 3221221760 3221220352 134549780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35200 33876 1111 63 0 35137 0
vsize: 140800
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 34186 0 0 0 112859 158 0 0 25 0 1 0 636938048 144867328 34037 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35368 34037 1111 63 0 35305 0
vsize: 141472
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 34343 0 0 0 113858 159 0 0 25 0 1 0 636938048 145408000 34194 4294967295 134512640 134714508 3221221760 3221220320 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35500 34194 1111 63 0 35437 0
vsize: 142000
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 34511 0 0 0 114858 160 0 0 25 0 1 0 636938048 146284544 34362 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35714 34362 1111 63 0 35651 0
vsize: 142856
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 34678 0 0 0 115857 161 0 0 25 0 1 0 636938048 146960384 34529 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35879 34529 1111 63 0 35816 0
vsize: 143516
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 34861 0 0 0 116856 162 0 0 25 0 1 0 636938048 147771392 34712 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36077 34712 1111 63 0 36014 0
vsize: 144308
[startup+1175.01 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 19042
Raw data (stat): 19042 (bsolo_lpr_cuts) R 19041 7876 7672 0 -1 0 34861 0 0 0 116856 162 0 0 25 0 1 0 636938048 147771392 34712 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36077 34712 1111 63 0 36014 0
vsize: 0

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