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-fpga15_14_sat_pb.cnf.cr.opb
MD5SUM	6fc7fbb8e05218938564d50faef1e68f
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	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.222965
Number of variables	315
Total number of constraints	253
Number of constraints which are clauses	224
Number of constraints which are cardinality constraints (but not clauses)	29
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 23328

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 12:35:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=335 boxname=wulflinc31 idbench=38 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6fc7fbb8e05218938564d50faef1e68f  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_14_sat_pb.cnf.cr.opb
IDLAUNCH: 335
/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:        927788 kB
Buffers:         38096 kB
Cached:          46924 kB
SwapCached:        864 kB
Active:          71920 kB
Inactive:        15428 kB
HighTotal:      131008 kB
HighFree:        83160 kB
LowTotal:       903652 kB
LowFree:        844628 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13936 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 12:55:31 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 335 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 315 variables and 253 constraints.
c After prepocess the problem consists of 315 variables and 253 constraints.
c preprocess terminated 0.186 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.97 0.96 2/54 23849
Raw data (stat): 23849 (runsolver) R 23848 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 640162999 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 2977 0 0 0 982 13 0 0 25 0 1 0 640162999 15347712 2898 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3747 2898 1111 63 0 3684 0
vsize: 14988
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 4459 0 0 0 1976 19 0 0 25 0 1 0 640162999 21434368 4380 4294967295 134512640 134714508 3221221760 3221220320 134696508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5233 4381 1111 63 0 5170 0
vsize: 20932
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 5519 0 0 0 2973 22 0 0 25 0 1 0 640162999 25759744 5440 4294967295 134512640 134714508 3221221760 3221220464 134528668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6289 5440 1111 63 0 6226 0
vsize: 25156
[startup+40.001 s]
Raw data (loadavg): 0.95 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 6802 0 0 0 3969 27 0 0 25 0 1 0 640162999 31035392 6723 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7577 6723 1111 63 0 7514 0
vsize: 30308
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 7642 0 0 0 4966 30 0 0 25 0 1 0 640162999 34414592 7563 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8402 7563 1111 63 0 8339 0
vsize: 33608
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 8429 0 0 0 5962 34 0 0 25 0 1 0 640162999 37687296 8350 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9201 8350 1111 63 0 9138 0
vsize: 36804
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 8839 0 0 0 6962 35 0 0 25 0 1 0 640162999 39489536 8760 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9641 8760 1111 63 0 9578 0
vsize: 38564
[startup+80.0027 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 9226 0 0 0 7960 36 0 0 25 0 1 0 640162999 41127936 9146 4294967295 134512640 134714508 3221221760 3221220528 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10041 9146 1111 63 0 9978 0
vsize: 40164
[startup+90.003 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 9527 0 0 0 8959 37 0 0 25 0 1 0 640162999 42344448 9447 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10338 9447 1111 63 0 10275 0
vsize: 41352
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 9868 0 0 0 9958 39 0 0 25 0 1 0 640162999 43704320 9788 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10670 9788 1111 63 0 10607 0
vsize: 42680
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 10906 0 0 0 10954 43 0 0 25 0 1 0 640162999 48029696 10826 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11726 10826 1111 63 0 11663 0
vsize: 46904
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 12535 0 0 0 11947 50 0 0 25 0 1 0 640162999 54657024 12455 4294967295 134512640 134714508 3221221760 3221220476 134551880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13344 12455 1111 63 0 13281 0
vsize: 53376
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 14114 0 0 0 12941 56 0 0 25 0 1 0 640162999 61161472 14034 4294967295 134512640 134714508 3221221760 3221220448 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14932 14034 1111 63 0 14869 0
vsize: 59728
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 15603 0 0 0 13935 62 0 0 25 0 1 0 640162999 67248128 15522 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16418 15522 1111 63 0 16355 0
vsize: 65672
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 16639 0 0 0 14931 67 0 0 25 0 1 0 640162999 71462912 16556 4294967295 134512640 134714508 3221221760 3221219996 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17447 16556 1111 63 0 17384 0
vsize: 69788
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 18214 0 0 0 15926 72 0 0 25 0 1 0 640162999 78102528 18129 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19068 18129 1111 63 0 19005 0
vsize: 76272
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 19289 0 0 0 16922 76 0 0 25 0 1 0 640162999 82448384 19203 4294967295 134512640 134714508 3221221760 3221220464 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20129 19203 1111 63 0 20066 0
vsize: 80516
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 20201 0 0 0 17919 79 0 0 25 0 1 0 640162999 86114304 20114 4294967295 134512640 134714508 3221221760 3221220352 134549852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21024 20114 1111 63 0 20961 0
vsize: 84096
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 20596 0 0 0 18917 81 0 0 25 0 1 0 640162999 87736320 20509 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21420 20509 1111 63 0 21357 0
vsize: 85680
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 21141 0 0 0 19916 83 0 0 25 0 1 0 640162999 90046464 21054 4294967295 134512640 134714508 3221221760 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21984 21054 1111 63 0 21921 0
vsize: 87936
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 21749 0 0 0 20914 85 0 0 25 0 1 0 640162999 92487680 21662 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22580 21662 1111 63 0 22517 0
vsize: 90320
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 22079 0 0 0 21913 86 0 0 25 0 1 0 640162999 93843456 21992 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22911 21992 1111 63 0 22848 0
vsize: 91644
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 22603 0 0 0 22910 89 0 0 25 0 1 0 640162999 96067584 22516 4294967295 134512640 134714508 3221221760 3221220084 134697204 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23454 22516 1111 63 0 23391 0
vsize: 93816
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 23135 0 0 0 23908 91 0 0 25 0 1 0 640162999 98365440 23048 4294967295 134512640 134714508 3221221760 3221220496 134535837 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24015 23048 1111 63 0 23952 0
vsize: 96060
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 23700 0 0 0 24906 93 0 0 25 0 1 0 640162999 100630528 23612 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24568 23612 1111 63 0 24505 0
vsize: 98272
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 24056 0 0 0 25905 95 0 0 25 0 1 0 640162999 102129664 23968 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24934 23968 1111 63 0 24871 0
vsize: 99736
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 24455 0 0 0 26903 97 0 0 25 0 1 0 640162999 103751680 24366 4294967295 134512640 134714508 3221221760 3221220496 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25330 24366 1111 63 0 25267 0
vsize: 101320
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 24923 0 0 0 27902 98 0 0 25 0 1 0 640162999 105644032 24834 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25792 24834 1111 63 0 25729 0
vsize: 103168
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 25303 0 0 0 28901 99 0 0 25 0 1 0 640162999 107266048 25214 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26188 25214 1111 63 0 26125 0
vsize: 104752
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 25688 0 0 0 29900 101 0 0 25 0 1 0 640162999 108924928 25599 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26593 25599 1111 63 0 26530 0
vsize: 106372
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 25987 0 0 0 30898 103 0 0 25 0 1 0 640162999 110006272 25898 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26857 25898 1111 63 0 26794 0
vsize: 107428
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 26509 0 0 0 31895 106 0 0 25 0 1 0 640162999 112168960 26418 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27385 26418 1111 63 0 27322 0
vsize: 109540
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 26858 0 0 0 32894 107 0 0 25 0 1 0 640162999 113659904 26767 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27749 26767 1111 63 0 27686 0
vsize: 110996
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 27391 0 0 0 33892 109 0 0 25 0 1 0 640162999 115822592 27299 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28277 27299 1111 63 0 28214 0
vsize: 113108
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 27931 0 0 0 34890 111 0 0 25 0 1 0 640162999 118120448 27839 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28838 27839 1111 63 0 28775 0
vsize: 115352
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 28207 0 0 0 35890 112 0 0 25 0 1 0 640162999 119209984 28115 4294967295 134512640 134714508 3221221760 3221220472 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29104 28115 1111 63 0 29041 0
vsize: 116416
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 28581 0 0 0 36888 113 0 0 25 0 1 0 640162999 120844288 28489 4294967295 134512640 134714508 3221221760 3221220272 134535017 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29503 28489 1111 63 0 29440 0
vsize: 118012
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 28913 0 0 0 37887 114 0 0 25 0 1 0 640162999 122195968 28819 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29833 28819 1111 63 0 29770 0
vsize: 119332
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 29200 0 0 0 38887 115 0 0 25 0 1 0 640162999 123428864 29106 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30134 29106 1111 63 0 30071 0
vsize: 120536
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 29413 0 0 0 39886 117 0 0 25 0 1 0 640162999 124256256 29319 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30336 29319 1111 63 0 30273 0
vsize: 121344
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 29667 0 0 0 40885 118 0 0 25 0 1 0 640162999 125341696 29573 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30601 29573 1111 63 0 30538 0
vsize: 122404
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 29872 0 0 0 41884 119 0 0 25 0 1 0 640162999 126152704 29778 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30799 29778 1111 63 0 30736 0
vsize: 123196
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 30108 0 0 0 42883 119 0 0 25 0 1 0 640162999 127107072 30014 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31032 30014 1111 63 0 30969 0
vsize: 124128
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 30315 0 0 0 43882 121 0 0 25 0 1 0 640162999 128057344 30221 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31264 30221 1111 63 0 31201 0
vsize: 125056
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 30462 0 0 0 44881 122 0 0 25 0 1 0 640162999 128610304 30368 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31399 30368 1111 63 0 31336 0
vsize: 125596
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 30939 0 0 0 45880 124 0 0 25 0 1 0 640162999 130695168 30842 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31908 30842 1111 63 0 31845 0
vsize: 127632
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 31568 0 0 0 46878 126 0 0 25 0 1 0 640162999 133263360 31471 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32535 31471 1111 63 0 32472 0
vsize: 130140
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 31767 0 0 0 47877 127 0 0 25 0 1 0 640162999 134074368 31670 4294967295 134512640 134714508 3221221760 3221220528 134529281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32733 31670 1111 63 0 32670 0
vsize: 130932
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 32806 0 0 0 48872 132 0 0 25 0 1 0 640162999 138264576 32708 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33756 32708 1111 63 0 33693 0
vsize: 135024
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 33512 0 0 0 49870 134 0 0 25 0 1 0 640162999 141238272 33414 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34482 33414 1111 63 0 34419 0
vsize: 137928
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 33805 0 0 0 50868 136 0 0 25 0 1 0 640162999 142454784 33706 4294967295 134512640 134714508 3221221760 3221220328 134542295 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34779 33706 1111 63 0 34716 0
vsize: 139116
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 34092 0 0 0 51867 138 0 0 25 0 1 0 640162999 143671296 33993 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35076 33993 1111 63 0 35013 0
vsize: 140304
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 34478 0 0 0 52866 139 0 0 25 0 1 0 640162999 145158144 34378 4294967295 134512640 134714508 3221221760 3221220348 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35439 34378 1111 63 0 35376 0
vsize: 141756
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 34945 0 0 0 53865 140 0 0 25 0 1 0 640162999 147050496 34845 4294967295 134512640 134714508 3221221760 3221220448 134523202 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35901 34845 1111 63 0 35838 0
vsize: 143604
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 35416 0 0 0 54863 142 0 0 25 0 1 0 640162999 149114880 35316 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36405 35316 1111 63 0 36342 0
vsize: 145620
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 35723 0 0 0 55862 144 0 0 25 0 1 0 640162999 150331392 35623 4294967295 134512640 134714508 3221221760 3221220316 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36702 35623 1111 63 0 36639 0
vsize: 146808
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 35889 0 0 0 56861 144 0 0 25 0 1 0 640162999 151015424 35789 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36869 35789 1111 63 0 36806 0
vsize: 147476
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 36035 0 0 0 57861 145 0 0 25 0 1 0 640162999 151691264 35935 4294967295 134512640 134714508 3221221760 3221220396 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37034 35935 1111 63 0 36971 0
vsize: 148136
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 36168 0 0 0 58860 146 0 0 25 0 1 0 640162999 152231936 36068 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37166 36068 1111 63 0 37103 0
vsize: 148664
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 36253 0 0 0 59860 146 0 0 25 0 1 0 640162999 152510464 36153 4294967295 134512640 134714508 3221221760 3221220524 134552579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37234 36153 1111 63 0 37171 0
vsize: 148936
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 36609 0 0 0 60859 148 0 0 25 0 1 0 640162999 153997312 36509 4294967295 134512640 134714508 3221221760 3221220520 134588015 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37597 36509 1111 63 0 37534 0
vsize: 150388
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 36833 0 0 0 61858 148 0 0 25 0 1 0 640162999 154943488 36733 4294967295 134512640 134714508 3221221760 3221220244 134697348 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37828 36733 1111 63 0 37765 0
vsize: 151312
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 37237 0 0 0 62856 151 0 0 25 0 1 0 640162999 156602368 37133 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38233 37133 1111 63 0 38170 0
vsize: 152932
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 37570 0 0 0 63855 152 0 0 25 0 1 0 640162999 157949952 37466 4294967295 134512640 134714508 3221221760 3221220440 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38562 37466 1111 63 0 38499 0
vsize: 154248
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 38079 0 0 0 64853 154 0 0 25 0 1 0 640162999 159977472 37975 4294967295 134512640 134714508 3221221760 3221220568 134558597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39057 37975 1111 63 0 38994 0
vsize: 156228
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 38346 0 0 0 65852 156 0 0 25 0 1 0 640162999 161058816 38242 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39321 38242 1111 63 0 39258 0
vsize: 157284
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 38473 0 0 0 66852 156 0 0 25 0 1 0 640162999 161599488 38369 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39453 38369 1111 63 0 39390 0
vsize: 157812
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 38797 0 0 0 67851 157 0 0 25 0 1 0 640162999 162816000 38693 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39750 38693 1111 63 0 39687 0
vsize: 159000
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 39159 0 0 0 68850 158 0 0 25 0 1 0 640162999 164438016 39055 4294967295 134512640 134714508 3221221760 3221220352 134549550 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40146 39055 1111 63 0 40083 0
vsize: 160584
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 39384 0 0 0 69849 159 0 0 25 0 1 0 640162999 165384192 39280 4294967295 134512640 134714508 3221221760 3221220524 134552579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40377 39280 1111 63 0 40314 0
vsize: 161508
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 39542 0 0 0 70848 160 0 0 25 0 1 0 640162999 165924864 39438 4294967295 134512640 134714508 3221221760 3221220428 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40509 39439 1111 63 0 40446 0
vsize: 162036
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 39615 0 0 0 71848 161 0 0 25 0 1 0 640162999 166342656 39511 4294967295 134512640 134714508 3221221760 3221220384 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40611 39511 1111 63 0 40548 0
vsize: 162444
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 39997 0 0 0 72847 162 0 0 25 0 1 0 640162999 167903232 39891 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40992 39891 1111 63 0 40929 0
vsize: 163968
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 40266 0 0 0 73846 163 0 0 25 0 1 0 640162999 168984576 40160 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41256 40160 1111 63 0 41193 0
vsize: 165024
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 40511 0 0 0 74845 164 0 0 25 0 1 0 640162999 170008576 40405 4294967295 134512640 134714508 3221221760 3221220216 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41506 40405 1111 63 0 41443 0
vsize: 166024
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 40871 0 0 0 75844 165 0 0 25 0 1 0 640162999 171552768 40762 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41883 40762 1111 63 0 41820 0
vsize: 167532
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 41109 0 0 0 76844 166 0 0 25 0 1 0 640162999 172535808 41000 4294967295 134512640 134714508 3221221760 3221220400 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42123 41000 1111 63 0 42060 0
vsize: 168492
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 41274 0 0 0 77842 167 0 0 25 0 1 0 640162999 173211648 41164 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42288 41164 1111 63 0 42225 0
vsize: 169152
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 41500 0 0 0 78841 169 0 0 25 0 1 0 640162999 174161920 41389 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42520 41389 1111 63 0 42457 0
vsize: 170080
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 41657 0 0 0 79840 170 0 0 25 0 1 0 640162999 174702592 41546 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42652 41546 1111 63 0 42589 0
vsize: 170608
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 42024 0 0 0 80839 171 0 0 25 0 1 0 640162999 176189440 41913 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43015 41913 1111 63 0 42952 0
vsize: 172060
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 42278 0 0 0 81838 172 0 0 25 0 1 0 640162999 177270784 42167 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43279 42167 1111 63 0 43216 0
vsize: 173116
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 42652 0 0 0 82837 174 0 0 25 0 1 0 640162999 178974720 42532 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43695 42532 1111 63 0 43632 0
vsize: 174780
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 42831 0 0 0 83835 175 0 0 25 0 1 0 640162999 179650560 42711 4294967295 134512640 134714508 3221221760 3221220328 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43860 42711 1111 63 0 43797 0
vsize: 175440
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 43086 0 0 0 84834 177 0 0 25 0 1 0 640162999 180752384 42966 4294967295 134512640 134714508 3221221760 3221220004 134697180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44129 42966 1111 63 0 44066 0
vsize: 176516
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 43339 0 0 0 85833 178 0 0 25 0 1 0 640162999 181698560 43219 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44360 43219 1111 63 0 44297 0
vsize: 177440
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 43561 0 0 0 86832 179 0 0 25 0 1 0 640162999 182644736 43441 4294967295 134512640 134714508 3221221760 3221220316 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44591 43441 1111 63 0 44528 0
vsize: 178364
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 43882 0 0 0 87831 181 0 0 25 0 1 0 640162999 183861248 43762 4294967295 134512640 134714508 3221221760 3221220544 134529174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44888 43762 1111 63 0 44825 0
vsize: 179552
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 44024 0 0 0 88830 182 0 0 25 0 1 0 640162999 184537088 43904 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45053 43904 1111 63 0 44990 0
vsize: 180212
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 44227 0 0 0 89829 183 0 0 25 0 1 0 640162999 185372672 44107 4294967295 134512640 134714508 3221221760 3221220576 134590189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45257 44107 1111 63 0 45194 0
vsize: 181028
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 44357 0 0 0 90828 184 0 0 25 0 1 0 640162999 185913344 44237 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45389 44237 1111 63 0 45326 0
vsize: 181556
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 44768 0 0 0 91826 186 0 0 25 0 1 0 640162999 187535360 44648 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45785 44648 1111 63 0 45722 0
vsize: 183140
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 45120 0 0 0 92825 187 0 0 25 0 1 0 640162999 189022208 45000 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46148 45000 1111 63 0 46085 0
vsize: 184592
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 45457 0 0 0 93824 189 0 0 25 0 1 0 640162999 190410752 45337 4294967295 134512640 134714508 3221221760 3221220496 134535750 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46487 45337 1111 63 0 46424 0
vsize: 185948
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 45670 0 0 0 94823 190 0 0 25 0 1 0 640162999 191221760 45550 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46685 45550 1111 63 0 46622 0
vsize: 186740
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 45830 0 0 0 95823 190 0 0 25 0 1 0 640162999 191897600 45710 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46850 45710 1111 63 0 46787 0
vsize: 187400
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 46169 0 0 0 96822 192 0 0 25 0 1 0 640162999 193302528 46049 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47193 46049 1111 63 0 47130 0
vsize: 188772
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 46412 0 0 0 97821 193 0 0 25 0 1 0 640162999 194383872 46292 4294967295 134512640 134714508 3221221760 3221220392 134696300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47457 46292 1111 63 0 47394 0
vsize: 189828
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 46594 0 0 0 98820 193 0 0 25 0 1 0 640162999 195092480 46474 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47630 46474 1111 63 0 47567 0
vsize: 190520
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 46798 0 0 0 99820 194 0 0 25 0 1 0 640162999 195936256 46677 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47836 46677 1111 63 0 47773 0
vsize: 191344
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 46981 0 0 0 100818 195 0 0 25 0 1 0 640162999 196775936 46859 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48041 46859 1111 63 0 47978 0
vsize: 192164
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 47150 0 0 0 101818 196 0 0 25 0 1 0 640162999 197451776 47028 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48206 47028 1111 63 0 48143 0
vsize: 192824
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 47249 0 0 0 102818 197 0 0 25 0 1 0 640162999 197877760 47127 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48310 47127 1111 63 0 48247 0
vsize: 193240
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 47387 0 0 0 103817 197 0 0 25 0 1 0 640162999 198418432 47265 4294967295 134512640 134714508 3221221760 3221220532 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48442 47265 1111 63 0 48379 0
vsize: 193768
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 47553 0 0 0 104816 198 0 0 25 0 1 0 640162999 199102464 47431 4294967295 134512640 134714508 3221221760 3221220320 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48609 47431 1111 63 0 48546 0
vsize: 194436
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 47790 0 0 0 105816 199 0 0 25 0 1 0 640162999 200196096 47667 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48876 47667 1111 63 0 48813 0
vsize: 195504
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 47976 0 0 0 106816 199 0 0 25 0 1 0 640162999 201043968 47849 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49083 47849 1111 63 0 49020 0
vsize: 196332
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 48103 0 0 0 107815 200 0 0 25 0 1 0 640162999 201601024 47976 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49219 47976 1111 63 0 49156 0
vsize: 196876
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 48221 0 0 0 108814 201 0 0 25 0 1 0 640162999 202006528 48094 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49318 48094 1111 63 0 49255 0
vsize: 197272
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 48328 0 0 0 109814 201 0 0 25 0 1 0 640162999 202416128 48201 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49418 48201 1111 63 0 49355 0
vsize: 197672
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 48422 0 0 0 110814 201 0 0 25 0 1 0 640162999 202821632 48295 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49517 48295 1111 63 0 49454 0
vsize: 198068
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 48501 0 0 0 111814 202 0 0 25 0 1 0 640162999 203091968 48374 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49583 48374 1111 63 0 49520 0
vsize: 198332
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 48821 0 0 0 112813 203 0 0 25 0 1 0 640162999 204443648 48694 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49913 48694 1111 63 0 49850 0
vsize: 199652
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 49295 0 0 0 113811 205 0 0 25 0 1 0 640162999 206336000 49168 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50375 49169 1111 63 0 50312 0
vsize: 201500
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 49702 0 0 0 114810 207 0 0 25 0 1 0 640162999 208093184 49575 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50804 49575 1111 63 0 50741 0
vsize: 203216
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 50120 0 0 0 115808 208 0 0 25 0 1 0 640162999 209715200 49993 4294967295 134512640 134714508 3221221760 3221220316 134535959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51200 49993 1111 63 0 51137 0
vsize: 204800
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 50669 0 0 0 116807 210 0 0 25 0 1 0 640162999 212013056 50542 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51761 50542 1111 63 0 51698 0
vsize: 207044
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 23849
Raw data (stat): 23849 (bsolo_lpr_cuts) R 23848 7876 7672 0 -1 0 50669 0 0 0 116807 210 0 0 25 0 1 0 640162999 212013056 50542 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51761 50542 1111 63 0 51698 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.13
CPU user time (s): 1172.91
CPU system time (s): 2.21966
CPU usage (%): 100.012
Max. virtual memory (Kb): 207044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####