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_31_pb.cnf.cr.opb
MD5SUM	79bafd08ddd684356ab9abc8fabf88a7
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	32
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.05399
Number of variables	1860
Total number of constraints	122
Number of constraints which are clauses	62
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	31
Trace number 40559

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 14:35:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28625 boxname=wulflinc1 idbench=11 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  79bafd08ddd684356ab9abc8fabf88a7  /oldhome/oroussel/tmp/wulflinc1/normalized-chnl30_31_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-chnl30_31_pb.cnf.cr.opb
IDLAUNCH: 28625
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        871552 kB
Buffers:         12216 kB
Cached:         126584 kB
SwapCached:       1144 kB
Active:          26692 kB
Inactive:       114356 kB
HighTotal:      131008 kB
HighFree:         5208 kB
LowTotal:       903652 kB
LowFree:        866344 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16188 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:55:34 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28625 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 1860 variables and 122 constraints.
c After prepocess the problem consists of 1860 variables and 122 constraints.
c preprocess terminated 0.573 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.91 0.97 0.91 2/55 23699
Raw data (stat): 23699 (runsolver) R 23698 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 845543850 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.0001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 1274 0 0 0 992 5 0 0 25 0 1 0 845543850 8359936 1192 4294967295 134512640 134716908 3221224560 3221222956 1077379959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2041 1192 1111 63 0 1978 0
vsize: 8164
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 1328 0 0 0 1990 7 0 0 25 0 1 0 845543850 8613888 1246 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1246 1111 63 0 2040 0
vsize: 8412
[startup+30.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 1340 0 0 0 2989 8 0 0 25 0 1 0 845543850 8613888 1258 4294967295 134512640 134716908 3221224560 3221223312 134592345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1258 1111 63 0 2040 0
vsize: 8412
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 1346 0 0 0 3988 10 0 0 25 0 1 0 845543850 8613888 1264 4294967295 134512640 134716908 3221224560 3221223216 134536683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2103 1264 1111 63 0 2040 0
vsize: 8412
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 1363 0 0 0 4986 12 0 0 25 0 1 0 845543850 8749056 1281 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2136 1281 1111 63 0 2073 0
vsize: 8544
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 1444 0 0 0 5984 14 0 0 25 0 1 0 845543850 9019392 1362 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2202 1362 1111 63 0 2139 0
vsize: 8808
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 1538 0 0 0 6982 16 0 0 25 0 1 0 845543850 9424896 1456 4294967295 134512640 134716908 3221224560 3221223344 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2301 1456 1111 63 0 2238 0
vsize: 9204
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 1765 0 0 0 7981 18 0 0 25 0 1 0 845543850 10358784 1683 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2529 1683 1111 63 0 2466 0
vsize: 10116
[startup+90.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 1907 0 0 0 8978 20 0 0 25 0 1 0 845543850 10899456 1825 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2661 1825 1111 63 0 2598 0
vsize: 10644
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2051 0 0 0 9975 23 0 0 25 0 1 0 845543850 11563008 1969 4294967295 134512640 134716908 3221224560 3221223296 134535840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2823 1969 1111 63 0 2760 0
vsize: 11292
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2124 0 0 0 10974 25 0 0 25 0 1 0 845543850 11816960 2042 4294967295 134512640 134716908 3221224560 3221223292 134524384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2885 2042 1111 63 0 2822 0
vsize: 11540
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2154 0 0 0 11972 27 0 0 25 0 1 0 845543850 11935744 2072 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2914 2072 1111 63 0 2851 0
vsize: 11656
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2200 0 0 0 12970 29 0 0 25 0 1 0 845543850 12197888 2118 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2978 2118 1111 63 0 2915 0
vsize: 11912
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2248 0 0 0 13970 30 0 0 25 0 1 0 845543850 12333056 2166 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2166 1111 63 0 2948 0
vsize: 12044
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2361 0 0 0 14968 32 0 0 25 0 1 0 845543850 12865536 2279 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 2279 1111 63 0 3078 0
vsize: 12564
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2367 0 0 0 15967 33 0 0 25 0 1 0 845543850 12865536 2285 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3141 2285 1111 63 0 3078 0
vsize: 12564
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2460 0 0 0 16964 36 0 0 25 0 1 0 845543850 13271040 2378 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3240 2378 1111 63 0 3177 0
vsize: 12960
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2534 0 0 0 17962 38 0 0 25 0 1 0 845543850 13541376 2452 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3306 2452 1111 63 0 3243 0
vsize: 13224
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2574 0 0 0 18961 40 0 0 25 0 1 0 845543850 13676544 2492 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3339 2492 1111 63 0 3276 0
vsize: 13356
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2598 0 0 0 19959 41 0 0 25 0 1 0 845543850 13803520 2516 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3370 2516 1111 63 0 3307 0
vsize: 13480
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2621 0 0 0 20958 43 0 0 25 0 1 0 845543850 13938688 2539 4294967295 134512640 134716908 3221224560 3221222636 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3403 2539 1111 63 0 3340 0
vsize: 13612
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2654 0 0 0 21957 44 0 0 25 0 1 0 845543850 14065664 2572 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3434 2572 1111 63 0 3371 0
vsize: 13736
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2681 0 0 0 22956 45 0 0 25 0 1 0 845543850 14061568 2599 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3433 2599 1111 63 0 3370 0
vsize: 13732
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2717 0 0 0 23955 46 0 0 25 0 1 0 845543850 14327808 2635 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3498 2635 1111 63 0 3435 0
vsize: 13992
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2791 0 0 0 24954 47 0 0 25 0 1 0 845543850 14598144 2709 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3564 2709 1111 63 0 3501 0
vsize: 14256
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2879 0 0 0 25953 49 0 0 25 0 1 0 845543850 14995456 2797 4294967295 134512640 134716908 3221224560 3221223192 134698369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3661 2797 1111 63 0 3598 0
vsize: 14644
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2883 0 0 0 26951 52 0 0 25 0 1 0 845543850 14983168 2801 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3658 2801 1111 63 0 3595 0
vsize: 14632
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 2932 0 0 0 27950 53 0 0 25 0 1 0 845543850 15118336 2850 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3691 2850 1111 63 0 3628 0
vsize: 14764
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3057 0 0 0 28948 55 0 0 25 0 1 0 845543850 15659008 2975 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3823 2975 1111 63 0 3760 0
vsize: 15292
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3119 0 0 0 29946 57 0 0 25 0 1 0 845543850 15929344 3037 4294967295 134512640 134716908 3221224560 3221223128 1077377790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3889 3037 1111 63 0 3826 0
vsize: 15556
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3165 0 0 0 30945 58 0 0 25 0 1 0 845543850 16064512 3083 4294967295 134512640 134716908 3221224560 3221223120 134698896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3922 3083 1111 63 0 3859 0
vsize: 15688
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3184 0 0 0 31943 60 0 0 25 0 1 0 845543850 16187392 3102 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3952 3102 1111 63 0 3889 0
vsize: 15808
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3205 0 0 0 32942 61 0 0 25 0 1 0 845543850 16322560 3123 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3985 3123 1111 63 0 3922 0
vsize: 15940
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3215 0 0 0 33941 63 0 0 25 0 1 0 845543850 16322560 3133 4294967295 134512640 134716908 3221224560 3221223272 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3985 3133 1111 63 0 3922 0
vsize: 15940
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3226 0 0 0 34940 64 0 0 25 0 1 0 845543850 16322560 3144 4294967295 134512640 134716908 3221224560 3221223060 1077374123 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3985 3144 1111 63 0 3922 0
vsize: 15940
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3243 0 0 0 35939 65 0 0 25 0 1 0 845543850 16437248 3161 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3161 1111 63 0 3950 0
vsize: 16052
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3248 0 0 0 36937 67 0 0 25 0 1 0 845543850 16437248 3166 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3166 1111 63 0 3950 0
vsize: 16052
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3257 0 0 0 37936 68 0 0 25 0 1 0 845543850 16437248 3175 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3175 1111 63 0 3950 0
vsize: 16052
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3275 0 0 0 38935 70 0 0 25 0 1 0 845543850 16572416 3193 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4046 3193 1111 63 0 3983 0
vsize: 16184
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3357 0 0 0 39933 71 0 0 25 0 1 0 845543850 16842752 3275 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 3275 1111 63 0 4049 0
vsize: 16448
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3357 0 0 0 40932 72 0 0 25 0 1 0 845543850 16842752 3275 4294967295 134512640 134716908 3221224560 3221223200 134698475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4112 3275 1111 63 0 4049 0
vsize: 16448
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3369 0 0 0 41931 74 0 0 25 0 1 0 845543850 16977920 3287 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4145 3287 1111 63 0 4082 0
vsize: 16580
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3390 0 0 0 42930 75 0 0 25 0 1 0 845543850 16977920 3308 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4145 3308 1111 63 0 4082 0
vsize: 16580
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3425 0 0 0 43929 76 0 0 25 0 1 0 845543850 17113088 3343 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4178 3343 1111 63 0 4115 0
vsize: 16712
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3463 0 0 0 44928 78 0 0 25 0 1 0 845543850 17338368 3381 4294967295 134512640 134716908 3221224560 3221223220 134536752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4233 3381 1111 63 0 4170 0
vsize: 16932
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3495 0 0 0 45927 79 0 0 25 0 1 0 845543850 17461248 3413 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4263 3413 1111 63 0 4200 0
vsize: 17052
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3520 0 0 0 46926 80 0 0 25 0 1 0 845543850 17596416 3438 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 3438 1111 63 0 4233 0
vsize: 17184
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3541 0 0 0 47924 81 0 0 25 0 1 0 845543850 17596416 3459 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 3459 1111 63 0 4233 0
vsize: 17184
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3572 0 0 0 48924 82 0 0 25 0 1 0 845543850 17731584 3490 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4329 3490 1111 63 0 4266 0
vsize: 17316
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3603 0 0 0 49923 83 0 0 25 0 1 0 845543850 17866752 3521 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4362 3521 1111 63 0 4299 0
vsize: 17448
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3622 0 0 0 50921 85 0 0 25 0 1 0 845543850 18001920 3540 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4395 3540 1111 63 0 4332 0
vsize: 17580
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3638 0 0 0 51920 86 0 0 25 0 1 0 845543850 18001920 3556 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4395 3556 1111 63 0 4332 0
vsize: 17580
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3643 0 0 0 52919 87 0 0 25 0 1 0 845543850 18001920 3561 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4395 3561 1111 63 0 4332 0
vsize: 17580
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3653 0 0 0 53918 89 0 0 25 0 1 0 845543850 18137088 3571 4294967295 134512640 134716908 3221224560 3221223260 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4428 3571 1111 63 0 4365 0
vsize: 17712
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3661 0 0 0 54917 90 0 0 25 0 1 0 845543850 18137088 3579 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4428 3579 1111 63 0 4365 0
vsize: 17712
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3679 0 0 0 55917 91 0 0 25 0 1 0 845543850 18272256 3597 4294967295 134512640 134716908 3221224560 3221223140 1077378603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3597 1111 63 0 4398 0
vsize: 17844
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3685 0 0 0 56916 92 0 0 25 0 1 0 845543850 18247680 3603 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4455 3603 1111 63 0 4392 0
vsize: 17820
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3718 0 0 0 57915 93 0 0 25 0 1 0 845543850 18382848 3636 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3636 1111 63 0 4425 0
vsize: 17952
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3718 0 0 0 58914 94 0 0 25 0 1 0 845543850 18382848 3636 4294967295 134512640 134716908 3221224560 3221223332 134584888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3636 1111 63 0 4425 0
vsize: 17952
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3721 0 0 0 59912 96 0 0 25 0 1 0 845543850 18382848 3639 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3639 1111 63 0 4425 0
vsize: 17952
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3737 0 0 0 60911 97 0 0 25 0 1 0 845543850 18382848 3655 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4488 3655 1111 63 0 4425 0
vsize: 17952
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3739 0 0 0 61910 98 0 0 25 0 1 0 845543850 18518016 3657 4294967295 134512640 134716908 3221224560 3221223296 134535821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4521 3657 1111 63 0 4458 0
vsize: 18084
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3750 0 0 0 62908 100 0 0 25 0 1 0 845543850 18518016 3668 4294967295 134512640 134716908 3221224560 3221223140 1077378583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4521 3668 1111 63 0 4458 0
vsize: 18084
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3764 0 0 0 63908 101 0 0 25 0 1 0 845543850 18518016 3682 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4521 3682 1111 63 0 4458 0
vsize: 18084
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3805 0 0 0 64907 102 0 0 25 0 1 0 845543850 18788352 3723 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4587 3723 1111 63 0 4524 0
vsize: 18348
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3833 0 0 0 65906 103 0 0 25 0 1 0 845543850 18788352 3751 4294967295 134512640 134716908 3221224560 3221223264 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4587 3751 1111 63 0 4524 0
vsize: 18348
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3844 0 0 0 66904 105 0 0 25 0 1 0 845543850 18923520 3762 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3762 1111 63 0 4557 0
vsize: 18480
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3894 0 0 0 67903 106 0 0 25 0 1 0 845543850 19058688 3812 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 3812 1111 63 0 4590 0
vsize: 18612
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3903 0 0 0 68903 106 0 0 25 0 1 0 845543850 19193856 3821 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4686 3821 1111 63 0 4623 0
vsize: 18744
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3903 0 0 0 69902 108 0 0 25 0 1 0 845543850 19193856 3821 4294967295 134512640 134716908 3221224560 3221223032 1077377291 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4686 3821 1111 63 0 4623 0
vsize: 18744
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3921 0 0 0 70901 109 0 0 25 0 1 0 845543850 19185664 3839 4294967295 134512640 134716908 3221224560 3221223152 134549702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4684 3839 1111 63 0 4621 0
vsize: 18736
[startup+720.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3973 0 0 0 71901 110 0 0 25 0 1 0 845543850 19456000 3891 4294967295 134512640 134716908 3221224560 3221223096 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4750 3891 1111 63 0 4687 0
vsize: 19000
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3979 0 0 0 72900 110 0 0 25 0 1 0 845543850 19456000 3897 4294967295 134512640 134716908 3221224560 3221223216 134536624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4750 3897 1111 63 0 4687 0
vsize: 19000
[startup+740.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 3993 0 0 0 73899 111 0 0 25 0 1 0 845543850 19456000 3911 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4750 3911 1111 63 0 4687 0
vsize: 19000
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4016 0 0 0 74898 112 0 0 25 0 1 0 845543850 19591168 3934 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4783 3934 1111 63 0 4720 0
vsize: 19132
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4058 0 0 0 75897 113 0 0 25 0 1 0 845543850 19726336 3976 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4816 3976 1111 63 0 4753 0
vsize: 19264
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4073 0 0 0 76896 115 0 0 25 0 1 0 845543850 19857408 3991 4294967295 134512640 134716908 3221224560 3221223120 134698898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4848 3991 1111 63 0 4785 0
vsize: 19392
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4101 0 0 0 77896 115 0 0 25 0 1 0 845543850 19992576 4019 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4881 4019 1111 63 0 4818 0
vsize: 19524
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4124 0 0 0 78895 116 0 0 25 0 1 0 845543850 19992576 4042 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4881 4042 1111 63 0 4818 0
vsize: 19524
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4124 0 0 0 79894 117 0 0 25 0 1 0 845543850 19992576 4042 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4881 4042 1111 63 0 4818 0
vsize: 19524
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4134 0 0 0 80893 119 0 0 25 0 1 0 845543850 20127744 4052 4294967295 134512640 134716908 3221224560 3221223132 134535876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4052 1111 63 0 4851 0
vsize: 19656
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4138 0 0 0 81892 120 0 0 25 0 1 0 845543850 20127744 4056 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4056 1111 63 0 4851 0
vsize: 19656
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4146 0 0 0 82891 121 0 0 25 0 1 0 845543850 20127744 4064 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4064 1111 63 0 4851 0
vsize: 19656
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4160 0 0 0 83890 122 0 0 25 0 1 0 845543850 20127744 4078 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4914 4078 1111 63 0 4851 0
vsize: 19656
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4170 0 0 0 84889 123 0 0 25 0 1 0 845543850 20262912 4088 4294967295 134512640 134716908 3221224560 3221223256 1077374433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4947 4088 1111 63 0 4884 0
vsize: 19788
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4185 0 0 0 85888 124 0 0 25 0 1 0 845543850 20262912 4103 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4947 4103 1111 63 0 4884 0
vsize: 19788
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4195 0 0 0 86887 126 0 0 25 0 1 0 845543850 20262912 4113 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4947 4113 1111 63 0 4884 0
vsize: 19788
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4214 0 0 0 87886 127 0 0 25 0 1 0 845543850 20398080 4132 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4980 4132 1111 63 0 4917 0
vsize: 19920
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4221 0 0 0 88885 128 0 0 25 0 1 0 845543850 20398080 4139 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4980 4139 1111 63 0 4917 0
vsize: 19920
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4244 0 0 0 89885 128 0 0 25 0 1 0 845543850 20529152 4162 4294967295 134512640 134716908 3221224560 3221223264 134528674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 4162 1111 63 0 4949 0
vsize: 20048
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4244 0 0 0 90884 129 0 0 25 0 1 0 845543850 20529152 4162 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 4162 1111 63 0 4949 0
vsize: 20048
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4246 0 0 0 91884 130 0 0 25 0 1 0 845543850 20529152 4164 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 4164 1111 63 0 4949 0
vsize: 20048
[startup+930.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4246 0 0 0 92883 131 0 0 25 0 1 0 845543850 20529152 4164 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 4164 1111 63 0 4949 0
vsize: 20048
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4246 0 0 0 93882 132 0 0 25 0 1 0 845543850 20529152 4164 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 4164 1111 63 0 4949 0
vsize: 20048
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4259 0 0 0 94881 133 0 0 25 0 1 0 845543850 20529152 4177 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 4177 1111 63 0 4949 0
vsize: 20048
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4267 0 0 0 95880 134 0 0 25 0 1 0 845543850 20664320 4185 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4185 1111 63 0 4982 0
vsize: 20180
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4268 0 0 0 96880 135 0 0 25 0 1 0 845543850 20664320 4186 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4186 1111 63 0 4982 0
vsize: 20180
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4281 0 0 0 97879 136 0 0 25 0 1 0 845543850 20664320 4199 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4199 1111 63 0 4982 0
vsize: 20180
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4281 0 0 0 98878 137 0 0 25 0 1 0 845543850 20664320 4199 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4199 1111 63 0 4982 0
vsize: 20180
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4284 0 0 0 99877 138 0 0 25 0 1 0 845543850 20664320 4202 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5045 4202 1111 63 0 4982 0
vsize: 20180
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4299 0 0 0 100876 139 0 0 25 0 1 0 845543850 20799488 4217 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5078 4217 1111 63 0 5015 0
vsize: 20312
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4309 0 0 0 101876 140 0 0 25 0 1 0 845543850 20799488 4227 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5078 4227 1111 63 0 5015 0
vsize: 20312
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4321 0 0 0 102875 141 0 0 25 0 1 0 845543850 20799488 4239 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5078 4239 1111 63 0 5015 0
vsize: 20312
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4321 0 0 0 103874 141 0 0 25 0 1 0 845543850 20799488 4239 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5078 4239 1111 63 0 5015 0
vsize: 20312
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4321 0 0 0 104874 142 0 0 25 0 1 0 845543850 20799488 4239 4294967295 134512640 134716908 3221224560 3221223056 1077377147 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5078 4239 1111 63 0 5015 0
vsize: 20312
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4331 0 0 0 105872 144 0 0 25 0 1 0 845543850 20934656 4249 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5111 4249 1111 63 0 5048 0
vsize: 20444
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4347 0 0 0 106871 145 0 0 25 0 1 0 845543850 20934656 4265 4294967295 134512640 134716908 3221224560 3221223268 134524590 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5111 4265 1111 63 0 5048 0
vsize: 20444
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4351 0 0 0 107869 147 0 0 25 0 1 0 845543850 20934656 4269 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5111 4269 1111 63 0 5048 0
vsize: 20444
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4373 0 0 0 108868 148 0 0 25 0 1 0 845543850 21069824 4291 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5144 4291 1111 63 0 5081 0
vsize: 20576
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4390 0 0 0 109867 149 0 0 25 0 1 0 845543850 21069824 4308 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5144 4308 1111 63 0 5081 0
vsize: 20576
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4403 0 0 0 110867 150 0 0 25 0 1 0 845543850 21172224 4321 4294967295 134512640 134716908 3221224560 3221223200 134698560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5169 4321 1111 63 0 5106 0
vsize: 20676
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4413 0 0 0 111867 150 0 0 25 0 1 0 845543850 21172224 4331 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5169 4331 1111 63 0 5106 0
vsize: 20676
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4416 0 0 0 112866 151 0 0 25 0 1 0 845543850 21172224 4334 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5169 4334 1111 63 0 5106 0
vsize: 20676
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4431 0 0 0 113865 152 0 0 25 0 1 0 845543850 21307392 4349 4294967295 134512640 134716908 3221224560 3221223168 1077377147 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5202 4349 1111 63 0 5139 0
vsize: 20808
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4444 0 0 0 114864 154 0 0 25 0 1 0 845543850 21307392 4362 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5202 4362 1111 63 0 5139 0
vsize: 20808
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4450 0 0 0 115863 155 0 0 25 0 1 0 845543850 21307392 4368 4294967295 134512640 134716908 3221224560 3221223248 134551890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5202 4368 1111 63 0 5139 0
vsize: 20808
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4475 0 0 0 116862 156 0 0 25 0 1 0 845543850 21442560 4393 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5235 4393 1111 63 0 5172 0
vsize: 20940
[startup+1174.85 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 23699
Raw data (stat): 23699 (bsolo_lpr_cuts-) R 23698 8378 8377 0 -1 0 4475 0 0 0 116862 156 0 0 25 0 1 0 845543850 21442560 4393 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5235 4393 1111 63 0 5172 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.02
CPU user time (s): 1173.45
CPU system time (s): 1.57676
CPU usage (%): 100.014
Max. virtual memory (Kb): 20940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####