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-chnl30_35_pb.cnf.cr.opb
MD5SUM	b1c5adb5438ceaf1c654cfedb79b695e
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06099
Number of variables	2100
Total number of constraints	130
Number of constraints which are clauses	70
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	35
Trace number 40560

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 14:38:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28626 boxname=wulflinc4 idbench=12 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b1c5adb5438ceaf1c654cfedb79b695e  /oldhome/oroussel/tmp/wulflinc4/normalized-chnl30_35_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl30_35_pb.cnf.cr.opb
IDLAUNCH: 28626
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        882584 kB
Buffers:         11568 kB
Cached:         115420 kB
SwapCached:       5204 kB
Active:          25144 kB
Inactive:       108140 kB
HighTotal:      131008 kB
HighFree:        80332 kB
LowTotal:       903652 kB
LowFree:        802252 kB
SwapTotal:     2097136 kB
SwapFree:      2090904 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13240 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:58:06 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28626 7 1175.02 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 2100 variables and 130 constraints.
c After prepocess the problem consists of 2100 variables and 130 constraints.
c preprocess terminated 0.713 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 1137
Raw data (stat): 1137 (runsolver) R 1136 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902406413 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1405 0 0 0 992 5 0 0 25 0 1 0 902406413 8929280 1323 4294967295 134512640 134716908 3221224560 3221223168 134548846 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2180 1323 1111 63 0 2117 0
vsize: 8720
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1561 0 0 0 1990 7 0 0 25 0 1 0 902406413 9605120 1479 4294967295 134512640 134716908 3221224560 3221223200 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2345 1479 1111 63 0 2282 0
vsize: 9380
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1658 0 0 0 2988 9 0 0 25 0 1 0 902406413 9998336 1576 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2441 1576 1111 63 0 2378 0
vsize: 9764
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1702 0 0 0 3987 10 0 0 25 0 1 0 902406413 10133504 1620 4294967295 134512640 134716908 3221224560 3221223248 134528425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2474 1620 1111 63 0 2411 0
vsize: 9896
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1732 0 0 0 4985 12 0 0 25 0 1 0 902406413 10268672 1650 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1650 1111 63 0 2444 0
vsize: 10028
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1754 0 0 0 5983 14 0 0 25 0 1 0 902406413 10268672 1672 4294967295 134512640 134716908 3221224560 3221223304 134551609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1672 1111 63 0 2444 0
vsize: 10028
[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1788 0 0 0 6981 17 0 0 25 0 1 0 902406413 10530816 1706 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1706 1111 63 0 2508 0
vsize: 10284
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1802 0 0 0 7979 19 0 0 25 0 1 0 902406413 10530816 1720 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2571 1720 1111 63 0 2508 0
vsize: 10284
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1824 0 0 0 8977 20 0 0 25 0 1 0 902406413 10665984 1742 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2604 1742 1111 63 0 2541 0
vsize: 10416
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 1835 0 0 0 9976 22 0 0 25 0 1 0 902406413 10665984 1753 4294967295 134512640 134716908 3221224560 3221223344 134551774 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2604 1753 1111 63 0 2541 0
vsize: 10416
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2044 0 0 0 10975 24 0 0 25 0 1 0 902406413 11472896 1962 4294967295 134512640 134716908 3221224560 3221223132 134552071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2801 1962 1111 63 0 2738 0
vsize: 11204
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2153 0 0 0 11973 25 0 0 25 0 1 0 902406413 12009472 2071 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2071 1111 63 0 2869 0
vsize: 11728
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2300 0 0 0 12971 28 0 0 25 0 1 0 902406413 12550144 2218 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3064 2218 1111 63 0 3001 0
vsize: 12256
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2430 0 0 0 13969 30 0 0 25 0 1 0 902406413 13090816 2348 4294967295 134512640 134716908 3221224560 3221223348 134529422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3196 2348 1111 63 0 3133 0
vsize: 12784
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2546 0 0 0 14967 32 0 0 25 0 1 0 902406413 13631488 2464 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3328 2464 1111 63 0 3265 0
vsize: 13312
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2590 0 0 0 15966 33 0 0 25 0 1 0 902406413 13758464 2508 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3359 2508 1111 63 0 3296 0
vsize: 13436
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2642 0 0 0 16965 34 0 0 25 0 1 0 902406413 14028800 2560 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3425 2560 1111 63 0 3362 0
vsize: 13700
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2686 0 0 0 17964 36 0 0 25 0 1 0 902406413 14163968 2604 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2604 1111 63 0 3395 0
vsize: 13832
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2720 0 0 0 18962 37 0 0 25 0 1 0 902406413 14299136 2638 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2638 1111 63 0 3428 0
vsize: 13964
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2755 0 0 0 19961 39 0 0 25 0 1 0 902406413 14434304 2673 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3524 2673 1111 63 0 3461 0
vsize: 14096
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2781 0 0 0 20960 40 0 0 25 0 1 0 902406413 14565376 2699 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2699 1111 63 0 3493 0
vsize: 14224
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2786 0 0 0 21959 42 0 0 25 0 1 0 902406413 14565376 2704 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3556 2704 1111 63 0 3493 0
vsize: 14224
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2841 0 0 0 22957 43 0 0 25 0 1 0 902406413 14835712 2759 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3622 2759 1111 63 0 3559 0
vsize: 14488
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2900 0 0 0 23956 45 0 0 25 0 1 0 902406413 14970880 2818 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3655 2818 1111 63 0 3592 0
vsize: 14620
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2929 0 0 0 24954 47 0 0 25 0 1 0 902406413 15106048 2847 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3688 2847 1111 63 0 3625 0
vsize: 14752
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2968 0 0 0 25952 49 0 0 25 0 1 0 902406413 15241216 2886 4294967295 134512640 134716908 3221224560 3221223184 134536675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3721 2886 1111 63 0 3658 0
vsize: 14884
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 2993 0 0 0 26951 50 0 0 25 0 1 0 902406413 15376384 2911 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3754 2911 1111 63 0 3691 0
vsize: 15016
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3031 0 0 0 27950 51 0 0 25 0 1 0 902406413 15626240 2949 4294967295 134512640 134716908 3221224560 3221223348 134584851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3815 2949 1111 63 0 3752 0
vsize: 15260
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3066 0 0 0 28949 53 0 0 25 0 1 0 902406413 15761408 2984 4294967295 134512640 134716908 3221224560 3221223252 134528706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2984 1111 63 0 3785 0
vsize: 15392
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3081 0 0 0 29948 54 0 0 25 0 1 0 902406413 15761408 2999 4294967295 134512640 134716908 3221224560 3221223312 134592393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2999 1111 63 0 3785 0
vsize: 15392
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3081 0 0 0 30947 55 0 0 25 0 1 0 902406413 15761408 2999 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3848 2999 1111 63 0 3785 0
vsize: 15392
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3094 0 0 0 31945 57 0 0 25 0 1 0 902406413 15761408 3012 4294967295 134512640 134716908 3221224560 3221222632 134613973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3848 3012 1111 63 0 3785 0
vsize: 15392
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3123 0 0 0 32945 58 0 0 25 0 1 0 902406413 15896576 3041 4294967295 134512640 134716908 3221224560 3221223176 134549708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3881 3041 1111 63 0 3818 0
vsize: 15524
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3209 0 0 0 33943 60 0 0 25 0 1 0 902406413 16293888 3127 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3978 3127 1111 63 0 3915 0
vsize: 15912
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3243 0 0 0 34941 61 0 0 25 0 1 0 902406413 16429056 3161 4294967295 134512640 134716908 3221224560 3221223296 134523936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4011 3161 1111 63 0 3948 0
vsize: 16044
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3278 0 0 0 35940 63 0 0 25 0 1 0 902406413 16564224 3196 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3196 1111 63 0 3981 0
vsize: 16176
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3291 0 0 0 36939 64 0 0 25 0 1 0 902406413 16564224 3209 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 3209 1111 63 0 3981 0
vsize: 16176
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3305 0 0 0 37938 65 0 0 25 0 1 0 902406413 16699392 3223 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4077 3223 1111 63 0 4014 0
vsize: 16308
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3322 0 0 0 38937 66 0 0 25 0 1 0 902406413 16699392 3240 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4077 3240 1111 63 0 4014 0
vsize: 16308
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3347 0 0 0 39937 67 0 0 25 0 1 0 902406413 16834560 3265 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 3265 1111 63 0 4047 0
vsize: 16440
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3358 0 0 0 40936 68 0 0 25 0 1 0 902406413 16834560 3276 4294967295 134512640 134716908 3221224560 3221223152 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4110 3276 1111 63 0 4047 0
vsize: 16440
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3379 0 0 0 41935 69 0 0 25 0 1 0 902406413 16961536 3297 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4141 3297 1111 63 0 4078 0
vsize: 16564
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3401 0 0 0 42934 70 0 0 25 0 1 0 902406413 17088512 3319 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3319 1111 63 0 4109 0
vsize: 16688
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3401 0 0 0 43933 72 0 0 25 0 1 0 902406413 17088512 3319 4294967295 134512640 134716908 3221224560 3221222896 134699605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3319 1111 63 0 4109 0
vsize: 16688
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3406 0 0 0 44932 72 0 0 25 0 1 0 902406413 17088512 3324 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4172 3324 1111 63 0 4109 0
vsize: 16688
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3425 0 0 0 45931 74 0 0 25 0 1 0 902406413 17223680 3343 4294967295 134512640 134716908 3221224560 3221223128 1077377239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4205 3343 1111 63 0 4142 0
vsize: 16820
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3442 0 0 0 46930 75 0 0 25 0 1 0 902406413 17219584 3360 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4204 3360 1111 63 0 4141 0
vsize: 16816
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3446 0 0 0 47929 76 0 0 25 0 1 0 902406413 17219584 3364 4294967295 134512640 134716908 3221224560 3221223184 134698617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4204 3364 1111 63 0 4141 0
vsize: 16816
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3458 0 0 0 48928 77 0 0 25 0 1 0 902406413 17354752 3376 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 3376 1111 63 0 4174 0
vsize: 16948
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3474 0 0 0 49928 78 0 0 25 0 1 0 902406413 17354752 3392 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4237 3392 1111 63 0 4174 0
vsize: 16948
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3521 0 0 0 50927 79 0 0 25 0 1 0 902406413 17612800 3439 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4300 3439 1111 63 0 4237 0
vsize: 17200
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3572 0 0 0 51925 81 0 0 25 0 1 0 902406413 17747968 3490 4294967295 134512640 134716908 3221224560 3221223120 134698876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4333 3490 1111 63 0 4270 0
vsize: 17332
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3590 0 0 0 52924 82 0 0 25 0 1 0 902406413 17874944 3508 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4364 3508 1111 63 0 4301 0
vsize: 17456
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3645 0 0 0 53922 85 0 0 25 0 1 0 902406413 18010112 3563 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4397 3563 1111 63 0 4334 0
vsize: 17588
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3654 0 0 0 54921 85 0 0 25 0 1 0 902406413 18145280 3572 4294967295 134512640 134716908 3221224560 3221223128 1077377159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 3572 1111 63 0 4367 0
vsize: 17720
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3666 0 0 0 55920 86 0 0 25 0 1 0 902406413 18145280 3584 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4430 3584 1111 63 0 4367 0
vsize: 17720
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3688 0 0 0 56920 87 0 0 25 0 1 0 902406413 18272256 3606 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3606 1111 63 0 4398 0
vsize: 17844
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3703 0 0 0 57918 89 0 0 25 0 1 0 902406413 18272256 3621 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3621 1111 63 0 4398 0
vsize: 17844
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3762 0 0 0 58917 90 0 0 25 0 1 0 902406413 18534400 3680 4294967295 134512640 134716908 3221224560 3221223296 134523932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3680 1111 63 0 4462 0
vsize: 18100
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3766 0 0 0 59916 92 0 0 25 0 1 0 902406413 18534400 3684 4294967295 134512640 134716908 3221224560 3221222964 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3684 1111 63 0 4462 0
vsize: 18100
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3767 0 0 0 60915 93 0 0 25 0 1 0 902406413 18534400 3685 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3685 1111 63 0 4462 0
vsize: 18100
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3768 0 0 0 61913 94 0 0 25 0 1 0 902406413 18534400 3686 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4525 3686 1111 63 0 4462 0
vsize: 18100
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3774 0 0 0 62912 96 0 0 25 0 1 0 902406413 18669568 3692 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4558 3692 1111 63 0 4495 0
vsize: 18232
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3801 0 0 0 63911 97 0 0 25 0 1 0 902406413 18669568 3719 4294967295 134512640 134716908 3221224560 3221223200 134698440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4558 3719 1111 63 0 4495 0
vsize: 18232
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3828 0 0 0 64910 98 0 0 25 0 1 0 902406413 18804736 3746 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3746 1111 63 0 4528 0
vsize: 18364
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3835 0 0 0 65909 100 0 0 25 0 1 0 902406413 18804736 3753 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3753 1111 63 0 4528 0
vsize: 18364
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3837 0 0 0 66908 101 0 0 25 0 1 0 902406413 18804736 3755 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3755 1111 63 0 4528 0
vsize: 18364
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3840 0 0 0 67907 102 0 0 25 0 1 0 902406413 18939904 3758 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4624 3758 1111 63 0 4561 0
vsize: 18496
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3852 0 0 0 68905 104 0 0 25 0 1 0 902406413 18935808 3770 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4623 3770 1111 63 0 4560 0
vsize: 18492
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3871 0 0 0 69904 105 0 0 25 0 1 0 902406413 18935808 3789 4294967295 134512640 134716908 3221224560 3221223108 134699061 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4623 3789 1111 63 0 4560 0
vsize: 18492
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3884 0 0 0 70903 107 0 0 25 0 1 0 902406413 19070976 3802 4294967295 134512640 134716908 3221224560 3221223312 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3802 1111 63 0 4593 0
vsize: 18624
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3897 0 0 0 71902 108 0 0 25 0 1 0 902406413 19070976 3815 4294967295 134512640 134716908 3221224560 3221223216 134524259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3815 1111 63 0 4593 0
vsize: 18624
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3909 0 0 0 72901 109 0 0 25 0 1 0 902406413 19206144 3827 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4689 3827 1111 63 0 4626 0
vsize: 18756
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3925 0 0 0 73900 110 0 0 25 0 1 0 902406413 19206144 3843 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4689 3843 1111 63 0 4626 0
vsize: 18756
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3925 0 0 0 74899 111 0 0 25 0 1 0 902406413 19206144 3843 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4689 3843 1111 63 0 4626 0
vsize: 18756
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3938 0 0 0 75899 112 0 0 25 0 1 0 902406413 19333120 3856 4294967295 134512640 134716908 3221224560 3221223184 134536675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3856 1111 63 0 4657 0
vsize: 18880
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3938 0 0 0 76898 113 0 0 25 0 1 0 902406413 19333120 3856 4294967295 134512640 134716908 3221224560 3221223264 134528674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3856 1111 63 0 4657 0
vsize: 18880
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3938 0 0 0 77897 114 0 0 25 0 1 0 902406413 19333120 3856 4294967295 134512640 134716908 3221224560 3221223280 134591885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3856 1111 63 0 4657 0
vsize: 18880
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3938 0 0 0 78896 115 0 0 25 0 1 0 902406413 19333120 3856 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3856 1111 63 0 4657 0
vsize: 18880
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3948 0 0 0 79894 117 0 0 25 0 1 0 902406413 19333120 3866 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3866 1111 63 0 4657 0
vsize: 18880
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3967 0 0 0 80893 119 0 0 25 0 1 0 902406413 19333120 3885 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 3885 1111 63 0 4657 0
vsize: 18880
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3972 0 0 0 81892 120 0 0 25 0 1 0 902406413 19468288 3890 4294967295 134512640 134716908 3221224560 3221223248 134594336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4753 3890 1111 63 0 4690 0
vsize: 19012
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3979 0 0 0 82891 121 0 0 25 0 1 0 902406413 19468288 3897 4294967295 134512640 134716908 3221224560 3221223200 134698400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4753 3897 1111 63 0 4690 0
vsize: 19012
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 3995 0 0 0 83890 123 0 0 25 0 1 0 902406413 19468288 3913 4294967295 134512640 134716908 3221224560 3221223344 134529088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4753 3913 1111 63 0 4690 0
vsize: 19012
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4035 0 0 0 84888 124 0 0 25 0 1 0 902406413 19738624 3953 4294967295 134512640 134716908 3221224560 3221223424 134598211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3953 1111 63 0 4756 0
vsize: 19276
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4047 0 0 0 85887 126 0 0 25 0 1 0 902406413 19738624 3965 4294967295 134512640 134716908 3221224560 3221223000 1077377771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4819 3965 1111 63 0 4756 0
vsize: 19276
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4073 0 0 0 86885 128 0 0 25 0 1 0 902406413 19873792 3991 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3991 1111 63 0 4789 0
vsize: 19408
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4101 0 0 0 87884 129 0 0 25 0 1 0 902406413 19984384 4019 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4879 4019 1111 63 0 4816 0
vsize: 19516
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4117 0 0 0 88883 131 0 0 25 0 1 0 902406413 19984384 4035 4294967295 134512640 134716908 3221224560 3221223168 134548553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4879 4035 1111 63 0 4816 0
vsize: 19516
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4131 0 0 0 89881 132 0 0 25 0 1 0 902406413 20099072 4049 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4049 1111 63 0 4844 0
vsize: 19628
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4184 0 0 0 90880 133 0 0 25 0 1 0 902406413 20234240 4102 4294967295 134512640 134716908 3221224560 3221223200 134524203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4940 4102 1111 63 0 4877 0
vsize: 19760
[startup+920.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4188 0 0 0 91879 134 0 0 25 0 1 0 902406413 20234240 4106 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4940 4106 1111 63 0 4877 0
vsize: 19760
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4195 0 0 0 92878 136 0 0 25 0 1 0 902406413 20369408 4113 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 4113 1111 63 0 4910 0
vsize: 19892
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4205 0 0 0 93877 137 0 0 25 0 1 0 902406413 20369408 4123 4294967295 134512640 134716908 3221224560 3221222884 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 4123 1111 63 0 4910 0
vsize: 19892
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4211 0 0 0 94876 138 0 0 25 0 1 0 902406413 20369408 4129 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4973 4129 1111 63 0 4910 0
vsize: 19892
[startup+960.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4225 0 0 0 95875 140 0 0 25 0 1 0 902406413 20496384 4143 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5004 4143 1111 63 0 4941 0
vsize: 20016
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4240 0 0 0 96874 141 0 0 25 0 1 0 902406413 20496384 4158 4294967295 134512640 134716908 3221224560 3221223236 134542962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5004 4158 1111 63 0 4941 0
vsize: 20016
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4244 0 0 0 97873 142 0 0 25 0 1 0 902406413 20496384 4162 4294967295 134512640 134716908 3221224560 3221222804 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5004 4162 1111 63 0 4941 0
vsize: 20016
[startup+990.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4254 0 0 0 98872 143 0 0 25 0 1 0 902406413 20631552 4172 4294967295 134512640 134716908 3221224560 3221223212 134536754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5037 4172 1111 63 0 4974 0
vsize: 20148
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4277 0 0 0 99871 144 0 0 25 0 1 0 902406413 20631552 4195 4294967295 134512640 134716908 3221224560 3221223544 134575929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5037 4195 1111 63 0 4974 0
vsize: 20148
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4327 0 0 0 100870 145 0 0 25 0 1 0 902406413 20901888 4245 4294967295 134512640 134716908 3221224560 3221223168 134524262 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5103 4245 1111 63 0 5040 0
vsize: 20412
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4360 0 0 0 101870 146 0 0 25 0 1 0 902406413 21037056 4278 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5136 4278 1111 63 0 5073 0
vsize: 20544
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4416 0 0 0 102868 148 0 0 25 0 1 0 902406413 21172224 4334 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5169 4334 1111 63 0 5106 0
vsize: 20676
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4489 0 0 0 103867 149 0 0 25 0 1 0 902406413 21577728 4407 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5268 4407 1111 63 0 5205 0
vsize: 21072
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4535 0 0 0 104866 150 0 0 25 0 1 0 902406413 21712896 4453 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5301 4453 1111 63 0 5238 0
vsize: 21204
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4559 0 0 0 105865 152 0 0 25 0 1 0 902406413 21843968 4477 4294967295 134512640 134716908 3221224560 3221223108 134699080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5333 4477 1111 63 0 5270 0
vsize: 21332
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4584 0 0 0 106864 153 0 0 25 0 1 0 902406413 21934080 4502 4294967295 134512640 134716908 3221224560 3221223264 134528449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5355 4502 1111 63 0 5292 0
vsize: 21420
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4611 0 0 0 107863 154 0 0 25 0 1 0 902406413 22069248 4529 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4529 1111 63 0 5325 0
vsize: 21552
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4611 0 0 0 108862 155 0 0 25 0 1 0 902406413 22069248 4529 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4529 1111 63 0 5325 0
vsize: 21552
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4627 0 0 0 109861 156 0 0 25 0 1 0 902406413 22069248 4545 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4545 1111 63 0 5325 0
vsize: 21552
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4636 0 0 0 110860 157 0 0 25 0 1 0 902406413 22069248 4554 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5388 4554 1111 63 0 5325 0
vsize: 21552
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4639 0 0 0 111859 159 0 0 25 0 1 0 902406413 22200320 4557 4294967295 134512640 134716908 3221224560 3221223120 134552035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5420 4557 1111 63 0 5357 0
vsize: 21680
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4669 0 0 0 112859 159 0 0 25 0 1 0 902406413 22335488 4587 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5453 4587 1111 63 0 5390 0
vsize: 21812
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4672 0 0 0 113858 160 0 0 25 0 1 0 902406413 22335488 4590 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5453 4590 1111 63 0 5390 0
vsize: 21812
[startup+1150.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4691 0 0 0 114858 161 0 0 25 0 1 0 902406413 22327296 4609 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5451 4609 1111 63 0 5388 0
vsize: 21804
[startup+1160.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4714 0 0 0 115857 162 0 0 25 0 1 0 902406413 22462464 4632 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5484 4632 1111 63 0 5421 0
vsize: 21936
[startup+1170.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4715 0 0 0 116855 163 0 0 25 0 1 0 902406413 22462464 4633 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5484 4633 1111 63 0 5421 0
vsize: 21936
[startup+1174.87 s]
Raw data (loadavg): 1.05 0.99 0.91 1/53 1137
Raw data (stat): 1137 (bsolo_lpr_cuts-) R 1136 21152 21151 0 -1 0 4715 0 0 0 116855 163 0 0 25 0 1 0 902406413 22462464 4633 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5484 4633 1111 63 0 5421 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.02
CPU user time (s): 1173.37
CPU system time (s): 1.65175
CPU usage (%): 100.013
Max. virtual memory (Kb): 21936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####