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-fpga20_18_sat_pb.cnf.cr.opb
MD5SUM	9a6b2ea126808a63a93c96774aab88a9
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	21
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.148976
Number of variables	540
Total number of constraints	416
Number of constraints which are clauses	378
Number of constraints which are cardinality constraints (but not clauses)	38
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 23338

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 14:35:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=353 boxname=wulflinc31 idbench=40 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  9a6b2ea126808a63a93c96774aab88a9  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_18_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_18_sat_pb.cnf.cr.opb
IDLAUNCH: 353
/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:        927408 kB
Buffers:         38252 kB
Cached:          46960 kB
SwapCached:        944 kB
Active:          72156 kB
Inactive:        15596 kB
HighTotal:      131008 kB
HighFree:        83020 kB
LowTotal:       903652 kB
LowFree:        844388 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13904 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 14:54:52 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 353 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 540 variables and 416 constraints.
c After prepocess the problem consists of 540 variables and 416 constraints.
c preprocess terminated 0.412 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 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.92 0.95 0.95 2/54 24930
Raw data (stat): 24930 (runsolver) R 24929 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 640879157 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 2954 0 0 0 985 10 0 0 25 0 1 0 640879157 15216640 2875 4294967295 134512640 134714508 3221221760 3221220464 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3715 2875 1111 63 0 3652 0
vsize: 14860
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 4113 0 0 0 1981 14 0 0 25 0 1 0 640879157 19947520 4034 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4870 4034 1111 63 0 4807 0
vsize: 19480
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 5294 0 0 0 2978 18 0 0 25 0 1 0 640879157 24813568 5215 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6058 5215 1111 63 0 5995 0
vsize: 24232
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 6237 0 0 0 3974 22 0 0 25 0 1 0 640879157 28602368 6158 4294967295 134512640 134714508 3221221760 3221220096 134697483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6983 6158 1111 63 0 6920 0
vsize: 27932
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 6736 0 0 0 4972 24 0 0 25 0 1 0 640879157 30765056 6657 4294967295 134512640 134714508 3221221760 3221220188 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7511 6657 1111 63 0 7448 0
vsize: 30044
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 7073 0 0 0 5971 25 0 0 25 0 1 0 640879157 32116736 6994 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7841 6994 1111 63 0 7778 0
vsize: 31364
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 7265 0 0 0 6970 26 0 0 25 0 1 0 640879157 32931840 7186 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8040 7186 1111 63 0 7977 0
vsize: 32160
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 7354 0 0 0 7969 27 0 0 25 0 1 0 640879157 33214464 7275 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8109 7275 1111 63 0 8046 0
vsize: 32436
[startup+90.0042 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 7476 0 0 0 8969 28 0 0 25 0 1 0 640879157 33894400 7397 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8275 7397 1111 63 0 8212 0
vsize: 33100
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 7690 0 0 0 9968 29 0 0 25 0 1 0 640879157 34709504 7607 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8474 7607 1111 63 0 8411 0
vsize: 33896
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 7853 0 0 0 10967 30 0 0 25 0 1 0 640879157 35385344 7770 4294967295 134512640 134714508 3221221760 3221220380 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8639 7770 1111 63 0 8576 0
vsize: 34556
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 8165 0 0 0 11966 31 0 0 25 0 1 0 640879157 36741120 8082 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8970 8082 1111 63 0 8907 0
vsize: 35880
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 8459 0 0 0 12965 32 0 0 25 0 1 0 640879157 37961728 8376 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9268 8376 1111 63 0 9205 0
vsize: 37072
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 8791 0 0 0 13964 33 0 0 25 0 1 0 640879157 39313408 8708 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9598 8708 1111 63 0 9535 0
vsize: 38392
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9060 0 0 0 14963 34 0 0 25 0 1 0 640879157 40394752 8977 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9862 8977 1111 63 0 9799 0
vsize: 39448
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9224 0 0 0 15962 36 0 0 25 0 1 0 640879157 41070592 9141 4294967295 134512640 134714508 3221221760 3221220416 134524069 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10027 9141 1111 63 0 9964 0
vsize: 40108
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9331 0 0 0 16961 37 0 0 25 0 1 0 640879157 41476096 9248 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10126 9248 1111 63 0 10063 0
vsize: 40504
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9394 0 0 0 17960 38 0 0 25 0 1 0 640879157 41734144 9311 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10189 9311 1111 63 0 10126 0
vsize: 40756
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9469 0 0 0 18960 39 0 0 25 0 1 0 640879157 42004480 9386 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10255 9386 1111 63 0 10192 0
vsize: 41020
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9495 0 0 0 19959 39 0 0 25 0 1 0 640879157 42147840 9412 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10290 9412 1111 63 0 10227 0
vsize: 41160
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9570 0 0 0 20958 40 0 0 25 0 1 0 640879157 42418176 9487 4294967295 134512640 134714508 3221221760 3221220496 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10356 9487 1111 63 0 10293 0
vsize: 41424
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9654 0 0 0 21958 41 0 0 25 0 1 0 640879157 42823680 9571 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10455 9571 1111 63 0 10392 0
vsize: 41820
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9792 0 0 0 22957 42 0 0 25 0 1 0 640879157 43364352 9709 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10587 9709 1111 63 0 10524 0
vsize: 42348
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9902 0 0 0 23956 43 0 0 25 0 1 0 640879157 43769856 9819 4294967295 134512640 134714508 3221221760 3221220440 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10686 9819 1111 63 0 10623 0
vsize: 42744
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 9949 0 0 0 24956 43 0 0 25 0 1 0 640879157 44040192 9866 4294967295 134512640 134714508 3221221760 3221220520 134552570 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10752 9866 1111 63 0 10689 0
vsize: 43008
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 10082 0 0 0 25955 44 0 0 25 0 1 0 640879157 44580864 9999 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10884 9999 1111 63 0 10821 0
vsize: 43536
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 10224 0 0 0 26955 45 0 0 25 0 1 0 640879157 45121536 10141 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11016 10141 1111 63 0 10953 0
vsize: 44064
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 10296 0 0 0 27954 46 0 0 25 0 1 0 640879157 45391872 10213 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11082 10213 1111 63 0 11019 0
vsize: 44328
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 10538 0 0 0 28953 48 0 0 25 0 1 0 640879157 46477312 10455 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11347 10455 1111 63 0 11284 0
vsize: 45388
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 10724 0 0 0 29952 49 0 0 25 0 1 0 640879157 47288320 10641 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11545 10641 1111 63 0 11482 0
vsize: 46180
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 10824 0 0 0 30950 50 0 0 25 0 1 0 640879157 47693824 10741 4294967295 134512640 134714508 3221221760 3221220352 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11644 10741 1111 63 0 11581 0
vsize: 46576
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 10956 0 0 0 31949 52 0 0 25 0 1 0 640879157 48234496 10873 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11776 10873 1111 63 0 11713 0
vsize: 47104
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 11057 0 0 0 32949 52 0 0 25 0 1 0 640879157 48631808 10974 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11873 10974 1111 63 0 11810 0
vsize: 47492
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 11135 0 0 0 33948 53 0 0 25 0 1 0 640879157 48902144 11052 4294967295 134512640 134714508 3221221760 3221220416 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11939 11052 1111 63 0 11876 0
vsize: 47756
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 11282 0 0 0 34947 54 0 0 25 0 1 0 640879157 49442816 11199 4294967295 134512640 134714508 3221221760 3221220336 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12071 11199 1111 63 0 12008 0
vsize: 48284
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 11391 0 0 0 35947 55 0 0 25 0 1 0 640879157 49983488 11308 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12203 11308 1111 63 0 12140 0
vsize: 48812
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 11536 0 0 0 36946 56 0 0 25 0 1 0 640879157 50524160 11453 4294967295 134512640 134714508 3221221760 3221220476 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12335 11453 1111 63 0 12272 0
vsize: 49340
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 11652 0 0 0 37945 58 0 0 25 0 1 0 640879157 51068928 11569 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12468 11569 1111 63 0 12405 0
vsize: 49872
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 11837 0 0 0 38943 59 0 0 25 0 1 0 640879157 51744768 11754 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12633 11754 1111 63 0 12570 0
vsize: 50532
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12048 0 0 0 39942 60 0 0 25 0 1 0 640879157 52690944 11965 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12864 11965 1111 63 0 12801 0
vsize: 51456
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12203 0 0 0 40942 61 0 0 25 0 1 0 640879157 53248000 12120 4294967295 134512640 134714508 3221221760 3221219936 134697080 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13000 12120 1111 63 0 12937 0
vsize: 52000
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12376 0 0 0 41942 61 0 0 25 0 1 0 640879157 53923840 12293 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13165 12293 1111 63 0 13102 0
vsize: 52660
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12471 0 0 0 42941 62 0 0 25 0 1 0 640879157 54329344 12388 4294967295 134512640 134714508 3221221760 3221220396 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13264 12388 1111 63 0 13201 0
vsize: 53056
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12539 0 0 0 43940 63 0 0 25 0 1 0 640879157 54607872 12456 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13332 12456 1111 63 0 13269 0
vsize: 53328
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12649 0 0 0 44940 64 0 0 25 0 1 0 640879157 55160832 12566 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13467 12566 1111 63 0 13404 0
vsize: 53868
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12720 0 0 0 45940 64 0 0 25 0 1 0 640879157 55418880 12637 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13530 12637 1111 63 0 13467 0
vsize: 54120
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12802 0 0 0 46939 65 0 0 25 0 1 0 640879157 55803904 12719 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13624 12719 1111 63 0 13561 0
vsize: 54496
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12880 0 0 0 47938 66 0 0 25 0 1 0 640879157 56074240 12797 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13690 12797 1111 63 0 13627 0
vsize: 54760
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 12963 0 0 0 48937 67 0 0 25 0 1 0 640879157 56344576 12880 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13756 12880 1111 63 0 13693 0
vsize: 55024
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 13046 0 0 0 49936 68 0 0 25 0 1 0 640879157 56750080 12963 4294967295 134512640 134714508 3221221760 3221220440 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13855 12963 1111 63 0 13792 0
vsize: 55420
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 13140 0 0 0 50935 70 0 0 25 0 1 0 640879157 57155584 13057 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13954 13057 1111 63 0 13891 0
vsize: 55816
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 13271 0 0 0 51934 71 0 0 25 0 1 0 640879157 57573376 13188 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14056 13188 1111 63 0 13993 0
vsize: 56224
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 13412 0 0 0 52933 72 0 0 25 0 1 0 640879157 58249216 13329 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14221 13329 1111 63 0 14158 0
vsize: 56884
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 13549 0 0 0 53932 73 0 0 25 0 1 0 640879157 58789888 13466 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14353 13466 1111 63 0 14290 0
vsize: 57412
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 13903 0 0 0 54931 75 0 0 25 0 1 0 640879157 60276736 13820 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14716 13820 1111 63 0 14653 0
vsize: 58864
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 14181 0 0 0 55929 76 0 0 25 0 1 0 640879157 61358080 14098 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14980 14098 1111 63 0 14917 0
vsize: 59920
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 14527 0 0 0 56928 78 0 0 25 0 1 0 640879157 62873600 14444 4294967295 134512640 134714508 3221221760 3221220656 134598850 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15350 14444 1111 63 0 15287 0
vsize: 61400
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 14717 0 0 0 57927 79 0 0 25 0 1 0 640879157 63565824 14634 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15519 14634 1111 63 0 15456 0
vsize: 62076
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 14820 0 0 0 58926 80 0 0 25 0 1 0 640879157 63971328 14737 4294967295 134512640 134714508 3221221760 3221220524 134552557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15618 14737 1111 63 0 15555 0
vsize: 62472
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 14918 0 0 0 59925 81 0 0 25 0 1 0 640879157 64364544 14835 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15714 14835 1111 63 0 15651 0
vsize: 62856
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15047 0 0 0 60924 82 0 0 25 0 1 0 640879157 64917504 14964 4294967295 134512640 134714508 3221221760 3221220336 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15849 14964 1111 63 0 15786 0
vsize: 63396
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15253 0 0 0 61923 84 0 0 25 0 1 0 640879157 65728512 15170 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16047 15170 1111 63 0 15984 0
vsize: 64188
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15333 0 0 0 62922 85 0 0 25 0 1 0 640879157 66134016 15250 4294967295 134512640 134714508 3221221760 3221220256 134535471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16146 15250 1111 63 0 16083 0
vsize: 64584
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15376 0 0 0 63922 85 0 0 25 0 1 0 640879157 66269184 15293 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16179 15293 1111 63 0 16116 0
vsize: 64716
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15409 0 0 0 64922 85 0 0 25 0 1 0 640879157 66404352 15326 4294967295 134512640 134714508 3221221760 3221220368 134548659 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16212 15326 1111 63 0 16149 0
vsize: 64848
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15577 0 0 0 65921 87 0 0 25 0 1 0 640879157 67088384 15494 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16379 15494 1111 63 0 16316 0
vsize: 65516
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15705 0 0 0 66920 87 0 0 25 0 1 0 640879157 67629056 15622 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16511 15622 1111 63 0 16448 0
vsize: 66044
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15798 0 0 0 67920 88 0 0 25 0 1 0 640879157 68034560 15715 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16610 15715 1111 63 0 16547 0
vsize: 66440
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15917 0 0 0 68919 89 0 0 25 0 1 0 640879157 68579328 15834 4294967295 134512640 134714508 3221221760 3221220324 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16743 15834 1111 63 0 16680 0
vsize: 66972
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 15962 0 0 0 69918 90 0 0 25 0 1 0 640879157 68714496 15879 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16776 15879 1111 63 0 16713 0
vsize: 67104
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16108 0 0 0 70917 91 0 0 25 0 1 0 640879157 69255168 16025 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16908 16025 1111 63 0 16845 0
vsize: 67632
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16168 0 0 0 71917 92 0 0 25 0 1 0 640879157 69537792 16084 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16977 16084 1111 63 0 16914 0
vsize: 67908
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16224 0 0 0 72917 92 0 0 25 0 1 0 640879157 69808128 16140 4294967295 134512640 134714508 3221221760 3221220272 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17043 16140 1111 63 0 16980 0
vsize: 68172
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16291 0 0 0 73916 93 0 0 25 0 1 0 640879157 70078464 16207 4294967295 134512640 134714508 3221221760 3221220352 134549533 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17109 16207 1111 63 0 17046 0
vsize: 68436
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16346 0 0 0 74915 94 0 0 25 0 1 0 640879157 70377472 16262 4294967295 134512640 134714508 3221221760 3221220416 134536707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17182 16262 1111 63 0 17119 0
vsize: 68728
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16423 0 0 0 75915 95 0 0 25 0 1 0 640879157 70639616 16339 4294967295 134512640 134714508 3221221760 3221220256 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17246 16339 1111 63 0 17183 0
vsize: 68984
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16465 0 0 0 76915 95 0 0 25 0 1 0 640879157 70909952 16381 4294967295 134512640 134714508 3221221760 3221220400 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17312 16381 1111 63 0 17249 0
vsize: 69248
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16562 0 0 0 77914 95 0 0 25 0 1 0 640879157 71315456 16478 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17411 16478 1111 63 0 17348 0
vsize: 69644
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16599 0 0 0 78914 96 0 0 25 0 1 0 640879157 71483392 16515 4294967295 134512640 134714508 3221221760 3221220316 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17452 16515 1111 63 0 17389 0
vsize: 69808
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16680 0 0 0 79913 97 0 0 25 0 1 0 640879157 71749632 16596 4294967295 134512640 134714508 3221221760 3221220320 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17517 16596 1111 63 0 17454 0
vsize: 70068
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16751 0 0 0 80912 98 0 0 25 0 1 0 640879157 72011776 16667 4294967295 134512640 134714508 3221221760 3221220472 134523849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17581 16667 1111 63 0 17518 0
vsize: 70324
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16805 0 0 0 81912 99 0 0 25 0 1 0 640879157 72282112 16721 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17647 16721 1111 63 0 17584 0
vsize: 70588
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16848 0 0 0 82911 100 0 0 25 0 1 0 640879157 72552448 16764 4294967295 134512640 134714508 3221221760 3221220544 134529335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17713 16764 1111 63 0 17650 0
vsize: 70852
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16908 0 0 0 83911 100 0 0 25 0 1 0 640879157 72851456 16822 4294967295 134512640 134714508 3221221760 3221220256 134535424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17786 16822 1111 63 0 17723 0
vsize: 71144
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 16957 0 0 0 84911 100 0 0 25 0 1 0 640879157 72986624 16871 4294967295 134512640 134714508 3221221760 3221220420 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17819 16871 1111 63 0 17756 0
vsize: 71276
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17002 0 0 0 85910 101 0 0 25 0 1 0 640879157 73121792 16916 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17852 16916 1111 63 0 17789 0
vsize: 71408
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17052 0 0 0 86910 101 0 0 25 0 1 0 640879157 73408512 16965 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17922 16965 1111 63 0 17859 0
vsize: 71688
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17098 0 0 0 87910 102 0 0 25 0 1 0 640879157 73543680 17011 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17955 17011 1111 63 0 17892 0
vsize: 71820
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17174 0 0 0 88909 102 0 0 25 0 1 0 640879157 73949184 17086 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18054 17086 1111 63 0 17991 0
vsize: 72216
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17225 0 0 0 89909 102 0 0 25 0 1 0 640879157 74219520 17137 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18120 17137 1111 63 0 18057 0
vsize: 72480
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17265 0 0 0 90909 103 0 0 25 0 1 0 640879157 74366976 17176 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18156 17176 1111 63 0 18093 0
vsize: 72624
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17311 0 0 0 91909 104 0 0 25 0 1 0 640879157 74665984 17221 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18229 17221 1111 63 0 18166 0
vsize: 72916
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17371 0 0 0 92908 104 0 0 25 0 1 0 640879157 74936320 17281 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18295 17281 1111 63 0 18232 0
vsize: 73180
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17428 0 0 0 93908 105 0 0 25 0 1 0 640879157 75206656 17338 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18361 17338 1111 63 0 18298 0
vsize: 73444
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17498 0 0 0 94907 106 0 0 25 0 1 0 640879157 75481088 17408 4294967295 134512640 134714508 3221221760 3221220260 134535326 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18428 17408 1111 63 0 18365 0
vsize: 73712
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17549 0 0 0 95907 106 0 0 25 0 1 0 640879157 75616256 17459 4294967295 134512640 134714508 3221221760 3221220396 134523156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18461 17459 1111 63 0 18398 0
vsize: 73844
[startup+970.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17604 0 0 0 96906 107 0 0 25 0 1 0 640879157 75886592 17514 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18527 17514 1111 63 0 18464 0
vsize: 74108
[startup+980.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17635 0 0 0 97906 108 0 0 25 0 1 0 640879157 76021760 17545 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18560 17545 1111 63 0 18497 0
vsize: 74240
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17674 0 0 0 98905 108 0 0 25 0 1 0 640879157 76156928 17584 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18593 17584 1111 63 0 18530 0
vsize: 74372
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17702 0 0 0 99905 109 0 0 25 0 1 0 640879157 76292096 17612 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18626 17612 1111 63 0 18563 0
vsize: 74504
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17726 0 0 0 100904 110 0 0 25 0 1 0 640879157 76427264 17636 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18659 17636 1111 63 0 18596 0
vsize: 74636
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17747 0 0 0 101904 110 0 0 25 0 1 0 640879157 76427264 17657 4294967295 134512640 134714508 3221221760 3221220496 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18659 17657 1111 63 0 18596 0
vsize: 74636
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17814 0 0 0 102903 111 0 0 25 0 1 0 640879157 76697600 17724 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17724 1111 63 0 18662 0
vsize: 74900
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17907 0 0 0 103903 111 0 0 25 0 1 0 640879157 77103104 17817 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18824 17817 1111 63 0 18761 0
vsize: 75296
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 17974 0 0 0 104902 112 0 0 25 0 1 0 640879157 77373440 17884 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18890 17884 1111 63 0 18827 0
vsize: 75560
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18034 0 0 0 105902 113 0 0 25 0 1 0 640879157 77643776 17944 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18956 17944 1111 63 0 18893 0
vsize: 75824
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18105 0 0 0 106901 114 0 0 25 0 1 0 640879157 77910016 18015 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19021 18015 1111 63 0 18958 0
vsize: 76084
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18166 0 0 0 107902 114 0 0 25 0 1 0 640879157 78180352 18076 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19087 18076 1111 63 0 19024 0
vsize: 76348
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18166 0 0 0 108901 114 0 0 25 0 1 0 640879157 78180352 18076 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19087 18076 1111 63 0 19024 0
vsize: 76348
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18166 0 0 0 109901 115 0 0 25 0 1 0 640879157 78180352 18076 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19087 18076 1111 63 0 19024 0
vsize: 76348
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18246 0 0 0 110901 115 0 0 25 0 1 0 640879157 78594048 18156 4294967295 134512640 134714508 3221221760 3221220416 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19188 18156 1111 63 0 19125 0
vsize: 76752
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18319 0 0 0 111900 116 0 0 25 0 1 0 640879157 78864384 18229 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19254 18229 1111 63 0 19191 0
vsize: 77016
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18440 0 0 0 112900 117 0 0 25 0 1 0 640879157 79269888 18350 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19353 18350 1111 63 0 19290 0
vsize: 77412
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18614 0 0 0 113899 117 0 0 25 0 1 0 640879157 80080896 18524 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19551 18524 1111 63 0 19488 0
vsize: 78204
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18775 0 0 0 114898 119 0 0 25 0 1 0 640879157 80756736 18685 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19716 18685 1111 63 0 19653 0
vsize: 78864
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18890 0 0 0 115898 119 0 0 25 0 1 0 640879157 81162240 18800 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19815 18800 1111 63 0 19752 0
vsize: 79260
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18968 0 0 0 116897 119 0 0 25 0 1 0 640879157 81571840 18878 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19915 18878 1111 63 0 19852 0
vsize: 79660
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.95 1/53 24930
Raw data (stat): 24930 (bsolo_lpr_cuts) R 24929 7876 7672 0 -1 0 18968 0 0 0 116897 119 0 0 25 0 1 0 640879157 81571840 18878 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19915 18878 1111 63 0 19852 0
vsize: 0

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