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_12_sat_pb.cnf.cr.opb
MD5SUM	6137fb5f5f5e9a4f9b09d34c8e843809
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.053991
Number of variables	216
Total number of constraints	180
Number of constraints which are clauses	156
Number of constraints which are cardinality constraints (but not clauses)	24
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 23288

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 04:38:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=263 boxname=wulflinc31 idbench=30 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6137fb5f5f5e9a4f9b09d34c8e843809  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_12_sat_pb.cnf.cr.opb
IDLAUNCH: 263
/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:        928864 kB
Buffers:         37444 kB
Cached:          46420 kB
SwapCached:        864 kB
Active:          71088 kB
Inactive:        15192 kB
HighTotal:      131008 kB
HighFree:        83580 kB
LowTotal:       903652 kB
LowFree:        845284 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13884 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 04:57:48 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 263 7 1175.14 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 216 variables and 180 constraints.
c After prepocess the problem consists of 216 variables and 180 constraints.
c preprocess terminated 0.12 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.95 0.94 2/54 19577
Raw data (stat): 19577 (runsolver) R 19576 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 637296352 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.95 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 2822 0 0 0 982 14 0 0 25 0 1 0 637296352 14663680 2743 4294967295 134512640 134714508 3221221760 3221220464 134528677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3580 2743 1111 63 0 3517 0
vsize: 14320
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 4230 0 0 0 1976 20 0 0 25 0 1 0 637296352 20484096 4151 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5001 4151 1111 63 0 4938 0
vsize: 20004
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 5277 0 0 0 2971 25 0 0 25 0 1 0 637296352 24686592 5198 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6027 5198 1111 63 0 5964 0
vsize: 24108
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 6468 0 0 0 3966 30 0 0 25 0 1 0 637296352 29700096 6389 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7251 6389 1111 63 0 7188 0
vsize: 29004
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 7666 0 0 0 4962 34 0 0 25 0 1 0 637296352 34603008 7585 4294967295 134512640 134714508 3221221760 3221220320 134535493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8448 7585 1111 63 0 8385 0
vsize: 33792
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 9037 0 0 0 5957 40 0 0 25 0 1 0 637296352 40300544 8956 4294967295 134512640 134714508 3221221760 3221220544 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9839 8956 1111 63 0 9776 0
vsize: 39356
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 10008 0 0 0 6953 44 0 0 25 0 1 0 637296352 44257280 9926 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10805 9926 1111 63 0 10742 0
vsize: 43220
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 10727 0 0 0 7949 47 0 0 25 0 1 0 637296352 47230976 10645 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11531 10645 1111 63 0 11468 0
vsize: 46124
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 11188 0 0 0 8947 50 0 0 25 0 1 0 637296352 49123328 11106 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11993 11106 1111 63 0 11930 0
vsize: 47972
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 11521 0 0 0 9946 51 0 0 25 0 1 0 637296352 50475008 11439 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12323 11439 1111 63 0 12260 0
vsize: 49292
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 11802 0 0 0 10945 52 0 0 25 0 1 0 637296352 51572736 11720 4294967295 134512640 134714508 3221221760 3221220436 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12591 11720 1111 63 0 12528 0
vsize: 50364
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 12093 0 0 0 11945 53 0 0 25 0 1 0 637296352 52789248 12010 4294967295 134512640 134714508 3221221760 3221220528 134529138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12888 12010 1111 63 0 12825 0
vsize: 51552
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 12375 0 0 0 12944 54 0 0 25 0 1 0 637296352 54005760 12292 4294967295 134512640 134714508 3221221760 3221220392 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13185 12292 1111 63 0 13122 0
vsize: 52740
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 12628 0 0 0 13943 55 0 0 25 0 1 0 637296352 55103488 12545 4294967295 134512640 134714508 3221221760 3221220484 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13453 12545 1111 63 0 13390 0
vsize: 53812
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 12915 0 0 0 14941 57 0 0 25 0 1 0 637296352 56184832 12831 4294967295 134512640 134714508 3221221760 3221220368 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13717 12831 1111 63 0 13654 0
vsize: 54868
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 13177 0 0 0 15940 58 0 0 25 0 1 0 637296352 57266176 13093 4294967295 134512640 134714508 3221221760 3221220384 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13981 13093 1111 63 0 13918 0
vsize: 55924
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 13458 0 0 0 16939 60 0 0 25 0 1 0 637296352 58486784 13374 4294967295 134512640 134714508 3221221760 3221220352 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14279 13374 1111 63 0 14216 0
vsize: 57116
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 13690 0 0 0 17938 60 0 0 25 0 1 0 637296352 59432960 13606 4294967295 134512640 134714508 3221221760 3221220528 134529136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14510 13606 1111 63 0 14447 0
vsize: 58040
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 13924 0 0 0 18937 61 0 0 25 0 1 0 637296352 60379136 13840 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14741 13840 1111 63 0 14678 0
vsize: 58964
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 14158 0 0 0 19936 63 0 0 25 0 1 0 637296352 61325312 14074 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14972 14074 1111 63 0 14909 0
vsize: 59888
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 14368 0 0 0 20936 63 0 0 25 0 1 0 637296352 62136320 14284 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15170 14284 1111 63 0 15107 0
vsize: 60680
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 14664 0 0 0 21935 64 0 0 25 0 1 0 637296352 63356928 14580 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15468 14580 1111 63 0 15405 0
vsize: 61872
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 15108 0 0 0 22933 66 0 0 25 0 1 0 637296352 65257472 15023 4294967295 134512640 134714508 3221221760 3221220200 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15932 15023 1111 63 0 15869 0
vsize: 63728
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 16236 0 0 0 23928 71 0 0 25 0 1 0 637296352 69877760 16151 4294967295 134512640 134714508 3221221760 3221220352 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17060 16151 1111 63 0 16997 0
vsize: 68240
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 16862 0 0 0 24926 74 0 0 25 0 1 0 637296352 72523776 16775 4294967295 134512640 134714508 3221221760 3221220336 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17706 16775 1111 63 0 17643 0
vsize: 70824
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 17378 0 0 0 25924 76 0 0 25 0 1 0 637296352 74760192 17290 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18252 17290 1111 63 0 18189 0
vsize: 73008
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 17835 0 0 0 26922 78 0 0 25 0 1 0 637296352 76652544 17746 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18714 17746 1111 63 0 18651 0
vsize: 74856
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 18327 0 0 0 27920 80 0 0 25 0 1 0 637296352 78688256 18238 4294967295 134512640 134714508 3221221760 3221220072 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19211 18238 1111 63 0 19148 0
vsize: 76844
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 19072 0 0 0 28917 83 0 0 25 0 1 0 637296352 81797120 18983 4294967295 134512640 134714508 3221221760 3221220528 134529281 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19970 18983 1111 63 0 19907 0
vsize: 79880
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 19771 0 0 0 29915 86 0 0 25 0 1 0 637296352 84647936 19678 4294967295 134512640 134714508 3221221760 3221220528 134529157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20666 19678 1111 63 0 20603 0
vsize: 82664
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 20320 0 0 0 30911 90 0 0 25 0 1 0 637296352 86945792 20227 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21227 20227 1111 63 0 21164 0
vsize: 84908
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 20849 0 0 0 31909 92 0 0 25 0 1 0 637296352 89108480 20756 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21755 20756 1111 63 0 21692 0
vsize: 87020
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 21418 0 0 0 32906 95 0 0 25 0 1 0 637296352 91406336 21324 4294967295 134512640 134714508 3221221760 3221220412 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22316 21324 1111 63 0 22253 0
vsize: 89264
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 21941 0 0 0 33903 98 0 0 25 0 1 0 637296352 93609984 21842 4294967295 134512640 134714508 3221221760 3221220176 134697446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22854 21842 1111 63 0 22791 0
vsize: 91416
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 22313 0 0 0 34902 100 0 0 25 0 1 0 637296352 95096832 22214 4294967295 134512640 134714508 3221221760 3221220428 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23217 22214 1111 63 0 23154 0
vsize: 92868
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 22649 0 0 0 35900 101 0 0 25 0 1 0 637296352 96542720 22548 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23570 22548 1111 63 0 23507 0
vsize: 94280
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 23003 0 0 0 36898 103 0 0 25 0 1 0 637296352 97923072 22901 4294967295 134512640 134714508 3221221760 3221220464 134528662 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23907 22901 1111 63 0 23844 0
vsize: 95628
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 23368 0 0 0 37897 105 0 0 25 0 1 0 637296352 99414016 23266 4294967295 134512640 134714508 3221221760 3221220352 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24271 23266 1111 63 0 24208 0
vsize: 97084
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 23709 0 0 0 38895 107 0 0 25 0 1 0 637296352 100765696 23607 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24601 23607 1111 63 0 24538 0
vsize: 98404
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 24013 0 0 0 39893 109 0 0 25 0 1 0 637296352 102010880 23909 4294967295 134512640 134714508 3221221760 3221220352 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24905 23909 1111 63 0 24842 0
vsize: 99620
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 24257 0 0 0 40892 110 0 0 25 0 1 0 637296352 102981632 24152 4294967295 134512640 134714508 3221221760 3221220400 134696066 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25142 24152 1111 63 0 25079 0
vsize: 100568
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 24448 0 0 0 41891 112 0 0 25 0 1 0 637296352 103813120 24343 4294967295 134512640 134714508 3221221760 3221220316 134535973 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25345 24343 1111 63 0 25282 0
vsize: 101380
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 24747 0 0 0 42889 113 0 0 25 0 1 0 637296352 105066496 24642 4294967295 134512640 134714508 3221221760 3221220364 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25651 24642 1111 63 0 25588 0
vsize: 102604
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 25007 0 0 0 43889 114 0 0 25 0 1 0 637296352 106254336 24898 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25941 24898 1111 63 0 25878 0
vsize: 103764
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 25226 0 0 0 44888 114 0 0 25 0 1 0 637296352 107077632 25116 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26142 25116 1111 63 0 26079 0
vsize: 104568
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 25444 0 0 0 45888 115 0 0 25 0 1 0 637296352 107917312 25333 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26347 25333 1111 63 0 26284 0
vsize: 105388
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 25680 0 0 0 46887 116 0 0 25 0 1 0 637296352 109043712 25568 4294967295 134512640 134714508 3221221760 3221220544 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26622 25568 1111 63 0 26559 0
vsize: 106488
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 25950 0 0 0 47887 117 0 0 25 0 1 0 637296352 110198784 25838 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26904 25838 1111 63 0 26841 0
vsize: 107616
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 26186 0 0 0 48886 118 0 0 25 0 1 0 637296352 111144960 26074 4294967295 134512640 134714508 3221221760 3221220544 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27135 26075 1111 63 0 27072 0
vsize: 108540
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 26411 0 0 0 49885 119 0 0 25 0 1 0 637296352 112091136 26299 4294967295 134512640 134714508 3221221760 3221220484 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27366 26299 1111 63 0 27303 0
vsize: 109464
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 26623 0 0 0 50885 119 0 0 25 0 1 0 637296352 112902144 26511 4294967295 134512640 134714508 3221221760 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27564 26511 1111 63 0 27501 0
vsize: 110256
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 26815 0 0 0 51884 120 0 0 25 0 1 0 637296352 113713152 26703 4294967295 134512640 134714508 3221221760 3221220344 134549705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27762 26703 1111 63 0 27699 0
vsize: 111048
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 27018 0 0 0 52883 121 0 0 25 0 1 0 637296352 114524160 26906 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27960 26906 1111 63 0 27897 0
vsize: 111840
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 27878 0 0 0 53880 124 0 0 25 0 1 0 637296352 118038528 27766 4294967295 134512640 134714508 3221221760 3221220464 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28818 27766 1111 63 0 28755 0
vsize: 115272
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 28081 0 0 0 54880 125 0 0 25 0 1 0 637296352 118910976 27965 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29031 27965 1111 63 0 28968 0
vsize: 116124
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 28325 0 0 0 55879 126 0 0 25 0 1 0 637296352 119857152 28208 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29262 28208 1111 63 0 29199 0
vsize: 117048
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 29060 0 0 0 56876 130 0 0 25 0 1 0 637296352 122892288 28943 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30003 28943 1111 63 0 29940 0
vsize: 120012
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 29827 0 0 0 57873 132 0 0 25 0 1 0 637296352 126001152 29710 4294967295 134512640 134714508 3221221760 3221220216 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30762 29710 1111 63 0 30699 0
vsize: 123048
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.94 3/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 30437 0 0 0 58871 134 0 0 25 0 1 0 637296352 128577536 30320 4294967295 134512640 134714508 3221221760 3221220512 134587954 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31391 30320 1111 63 0 31328 0
vsize: 125564
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 31015 0 0 0 59869 137 0 0 25 0 1 0 637296352 131059712 30898 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31997 30898 1111 63 0 31934 0
vsize: 127988
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 31603 0 0 0 60867 139 0 0 25 0 1 0 637296352 133423104 31486 4294967295 134512640 134714508 3221221760 3221220352 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32574 31486 1111 63 0 32511 0
vsize: 130296
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 32145 0 0 0 61865 141 0 0 25 0 1 0 637296352 135720960 32028 4294967295 134512640 134714508 3221221760 3221220436 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33135 32028 1111 63 0 33072 0
vsize: 132540
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 32560 0 0 0 62863 143 0 0 25 0 1 0 637296352 137359360 32443 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33535 32443 1111 63 0 33472 0
vsize: 134140
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 32980 0 0 0 63862 145 0 0 25 0 1 0 637296352 139247616 32854 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33996 32854 1111 63 0 33933 0
vsize: 135984
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 33443 0 0 0 64860 146 0 0 25 0 1 0 637296352 141234176 33317 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34481 33317 1111 63 0 34418 0
vsize: 137924
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 33904 0 0 0 65859 148 0 0 25 0 1 0 637296352 143167488 33777 4294967295 134512640 134714508 3221221760 3221220464 134528668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34953 33777 1111 63 0 34890 0
vsize: 139812
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 34101 0 0 0 66858 149 0 0 25 0 1 0 637296352 143978496 33974 4294967295 134512640 134714508 3221221760 3221220544 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35151 33974 1111 63 0 35088 0
vsize: 140604
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 34361 0 0 0 67857 150 0 0 25 0 1 0 637296352 145063936 34233 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35416 34233 1111 63 0 35353 0
vsize: 141664
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 34585 0 0 0 68856 151 0 0 25 0 1 0 637296352 146010112 34457 4294967295 134512640 134714508 3221221760 3221220352 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35647 34457 1111 63 0 35584 0
vsize: 142588
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 34822 0 0 0 69855 152 0 0 25 0 1 0 637296352 146956288 34694 4294967295 134512640 134714508 3221221760 3221220544 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35878 34694 1111 63 0 35815 0
vsize: 143512
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 35027 0 0 0 70854 153 0 0 25 0 1 0 637296352 147767296 34899 4294967295 134512640 134714508 3221221760 3221220496 134535750 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36076 34899 1111 63 0 36013 0
vsize: 144304
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 35222 0 0 0 71854 154 0 0 25 0 1 0 637296352 148578304 35094 4294967295 134512640 134714508 3221221760 3221220412 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36274 35094 1111 63 0 36211 0
vsize: 145096
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 35419 0 0 0 72853 155 0 0 25 0 1 0 637296352 149389312 35291 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36472 35291 1111 63 0 36409 0
vsize: 145888
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 35894 0 0 0 73851 158 0 0 25 0 1 0 637296352 151281664 35766 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36934 35766 1111 63 0 36871 0
vsize: 147736
[startup+750.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 36262 0 0 0 74850 159 0 0 25 0 1 0 637296352 152768512 36134 4294967295 134512640 134714508 3221221760 3221220472 134584831 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37297 36134 1111 63 0 37234 0
vsize: 149188
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 36581 0 0 0 75849 160 0 0 25 0 1 0 637296352 154181632 36453 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37642 36453 1111 63 0 37579 0
vsize: 150568
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 36777 0 0 0 76848 161 0 0 25 0 1 0 637296352 154898432 36649 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37817 36649 1111 63 0 37754 0
vsize: 151268
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 36978 0 0 0 77848 161 0 0 25 0 1 0 637296352 155774976 36841 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38031 36841 1111 63 0 37968 0
vsize: 152124
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 37155 0 0 0 78848 162 0 0 25 0 1 0 637296352 156479488 37017 4294967295 134512640 134714508 3221221760 3221220524 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38203 37017 1111 63 0 38140 0
vsize: 152812
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 37323 0 0 0 79847 163 0 0 25 0 1 0 637296352 157171712 37185 4294967295 134512640 134714508 3221221760 3221220412 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38372 37185 1111 63 0 38309 0
vsize: 153488
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 37464 0 0 0 80846 164 0 0 25 0 1 0 637296352 157900800 37326 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38550 37326 1111 63 0 38487 0
vsize: 154200
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 37590 0 0 0 81846 164 0 0 25 0 1 0 637296352 158306304 37452 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38649 37452 1111 63 0 38586 0
vsize: 154596
[startup+830.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 37820 0 0 0 82845 165 0 0 25 0 1 0 637296352 159404032 37676 4294967295 134512640 134714508 3221221760 3221220416 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38917 37676 1111 63 0 38854 0
vsize: 155668
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 37982 0 0 0 83845 166 0 0 25 0 1 0 637296352 160006144 37838 4294967295 134512640 134714508 3221221760 3221220416 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39064 37838 1111 63 0 39001 0
vsize: 156256
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 38502 0 0 0 84842 168 0 0 25 0 1 0 637296352 162033664 38358 4294967295 134512640 134714508 3221221760 3221220316 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39559 38358 1111 63 0 39496 0
vsize: 158236
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 38957 0 0 0 85841 170 0 0 25 0 1 0 637296352 163926016 38813 4294967295 134512640 134714508 3221221760 3221220416 134524132 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40021 38813 1111 63 0 39958 0
vsize: 160084
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 39243 0 0 0 86840 171 0 0 25 0 1 0 637296352 165208064 39094 4294967295 134512640 134714508 3221221760 3221220352 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40334 39094 1111 63 0 40271 0
vsize: 161336
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 39605 0 0 0 87838 172 0 0 25 0 1 0 637296352 166694912 39456 4294967295 134512640 134714508 3221221760 3221220316 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40697 39456 1111 63 0 40634 0
vsize: 162788
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 39851 0 0 0 88837 174 0 0 25 0 1 0 637296352 167665664 39701 4294967295 134512640 134714508 3221221760 3221220496 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40934 39701 1111 63 0 40871 0
vsize: 163736
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 40073 0 0 0 89836 175 0 0 25 0 1 0 637296352 168611840 39923 4294967295 134512640 134714508 3221221760 3221220472 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41165 39923 1111 63 0 41102 0
vsize: 164660
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 40311 0 0 0 90836 176 0 0 25 0 1 0 637296352 169558016 40161 4294967295 134512640 134714508 3221221760 3221220544 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41396 40161 1111 63 0 41333 0
vsize: 165584
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 40504 0 0 0 91835 176 0 0 25 0 1 0 637296352 170381312 40354 4294967295 134512640 134714508 3221221760 3221220496 134535844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41597 40354 1111 63 0 41534 0
vsize: 166388
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 40717 0 0 0 92835 177 0 0 25 0 1 0 637296352 171335680 40567 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41830 40567 1111 63 0 41767 0
vsize: 167320
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 40891 0 0 0 93834 178 0 0 25 0 1 0 637296352 172011520 40741 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41995 40741 1111 63 0 41932 0
vsize: 167980
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 41083 0 0 0 94834 178 0 0 25 0 1 0 637296352 172843008 40930 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42198 40930 1111 63 0 42135 0
vsize: 168792
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 41226 0 0 0 95834 179 0 0 25 0 1 0 637296352 173559808 41070 4294967295 134512640 134714508 3221221760 3221220416 134535812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42373 41070 1111 63 0 42310 0
vsize: 169492
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 41359 0 0 0 96833 179 0 0 25 0 1 0 637296352 174100480 41203 4294967295 134512640 134714508 3221221760 3221220484 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42505 41203 1111 63 0 42442 0
vsize: 170020
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 41513 0 0 0 97832 180 0 0 25 0 1 0 637296352 174641152 41357 4294967295 134512640 134714508 3221221760 3221220404 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42637 41357 1111 63 0 42574 0
vsize: 170548
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 41676 0 0 0 98832 181 0 0 25 0 1 0 637296352 175316992 41520 4294967295 134512640 134714508 3221221760 3221220420 134536752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42802 41520 1111 63 0 42739 0
vsize: 171208
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 41836 0 0 0 99831 181 0 0 25 0 1 0 637296352 176037888 41676 4294967295 134512640 134714508 3221221760 3221220476 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42978 41676 1111 63 0 42915 0
vsize: 171912
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 41991 0 0 0 100831 182 0 0 25 0 1 0 637296352 176713728 41831 4294967295 134512640 134714508 3221221760 3221220352 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43143 41831 1111 63 0 43080 0
vsize: 172572
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 42139 0 0 0 101831 183 0 0 25 0 1 0 637296352 177254400 41979 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43275 41979 1111 63 0 43212 0
vsize: 173100
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 42282 0 0 0 102830 183 0 0 25 0 1 0 637296352 177795072 42122 4294967295 134512640 134714508 3221221760 3221220412 134536842 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43407 42122 1111 63 0 43344 0
vsize: 173628
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 42429 0 0 0 103830 184 0 0 25 0 1 0 637296352 178470912 42269 4294967295 134512640 134714508 3221221760 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43572 42269 1111 63 0 43509 0
vsize: 174288
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 42581 0 0 0 104829 185 0 0 25 0 1 0 637296352 179011584 42421 4294967295 134512640 134714508 3221221760 3221220520 134552570 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43704 42421 1111 63 0 43641 0
vsize: 174816
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 42725 0 0 0 105829 185 0 0 25 0 1 0 637296352 179552256 42565 4294967295 134512640 134714508 3221221760 3221220336 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43836 42565 1111 63 0 43773 0
vsize: 175344
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 42884 0 0 0 106828 186 0 0 25 0 1 0 637296352 180228096 42724 4294967295 134512640 134714508 3221221760 3221220452 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44001 42724 1111 63 0 43938 0
vsize: 176004
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 43021 0 0 0 107828 187 0 0 25 0 1 0 637296352 180768768 42861 4294967295 134512640 134714508 3221221760 3221220348 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44133 42861 1111 63 0 44070 0
vsize: 176532
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 43153 0 0 0 108828 187 0 0 25 0 1 0 637296352 181309440 42993 4294967295 134512640 134714508 3221221760 3221220496 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44265 42993 1111 63 0 44202 0
vsize: 177060
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 43297 0 0 0 109827 188 0 0 25 0 1 0 637296352 181850112 43137 4294967295 134512640 134714508 3221221760 3221220544 134529174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44397 43137 1111 63 0 44334 0
vsize: 177588
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 43427 0 0 0 110827 188 0 0 25 0 1 0 637296352 182390784 43267 4294967295 134512640 134714508 3221221760 3221220520 134552573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44529 43267 1111 63 0 44466 0
vsize: 178116
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 43552 0 0 0 111826 189 0 0 25 0 1 0 637296352 182935552 43392 4294967295 134512640 134714508 3221221760 3221220440 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44662 43392 1111 63 0 44599 0
vsize: 178648
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 43670 0 0 0 112826 189 0 0 25 0 1 0 637296352 183341056 43510 4294967295 134512640 134714508 3221221760 3221220316 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44761 43510 1111 63 0 44698 0
vsize: 179044
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 43790 0 0 0 113826 190 0 0 25 0 1 0 637296352 183881728 43630 4294967295 134512640 134714508 3221221760 3221220352 134535985 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44893 43630 1111 63 0 44830 0
vsize: 179572
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 43898 0 0 0 114826 190 0 0 25 0 1 0 637296352 184287232 43738 4294967295 134512640 134714508 3221221760 3221220432 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44992 43738 1111 63 0 44929 0
vsize: 179968
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 44006 0 0 0 115825 191 0 0 25 0 1 0 637296352 184692736 43846 4294967295 134512640 134714508 3221221760 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45091 43846 1111 63 0 45028 0
vsize: 180364
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 44110 0 0 0 116825 192 0 0 25 0 1 0 637296352 185098240 43950 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45190 43950 1111 63 0 45127 0
vsize: 180760
[startup+1175 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 19577
Raw data (stat): 19577 (bsolo_lpr_cuts) R 19576 7876 7672 0 -1 0 44110 0 0 0 116825 192 0 0 25 0 1 0 637296352 185098240 43950 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45190 43950 1111 63 0 45127 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.14
CPU user time (s): 1173.13
CPU system time (s): 2.00469
CPU usage (%): 100.011
Max. virtual memory (Kb): 180760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####