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/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-ws97-5.opb
MD5SUM	6049145b9f1adfd7114adf044503d587
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2642
Optimality of the best value was proved	NO
Number of terms in the objective function	748
Biggest coefficient in the objective function	240
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	33855
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	240
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	33855
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	907
Total number of constraints	1309
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	1183
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	134
Trace number 40906

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 01:41:23 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28972 boxname=wulflinc6 idbench=358 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6049145b9f1adfd7114adf044503d587  /oldhome/oroussel/tmp/wulflinc6/normalized-ws97-5.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-ws97-5.opb
IDLAUNCH: 28972
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        909876 kB
Buffers:         20592 kB
Cached:          80352 kB
SwapCached:       4048 kB
Active:          28488 kB
Inactive:        77656 kB
HighTotal:      131008 kB
HighFree:        51940 kB
LowTotal:       903652 kB
LowFree:        857936 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4992 kB
Slab:            12932 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 02:00:58 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 28972 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 907 variables and 663 constraints.
c After prepocess the problem consists of 899 variables and 669 constraints.
c preprocess terminated 0.757 s
c Initial Lower Bound: 133
c Lower Bound Elapsed time: 0.209
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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 4670
Raw data (stat): 4670 (runsolver) R 4669 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906392851 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+9.99937 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 4143 0 0 0 985 12 0 0 25 0 1 0 906392851 7069696 1021 4294967295 134512640 134716908 3221224576 3221222960 1074153823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 1021 1111 63 0 1663 0
vsize: 6904
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 8033 0 0 0 1974 24 0 0 25 0 1 0 906392851 7069696 1024 4294967295 134512640 134716908 3221224576 3221222744 1077377200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 1024 1111 63 0 1663 0
vsize: 6904
[startup+30 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 14229 0 0 0 2958 40 0 0 25 0 1 0 906392851 7069696 1024 4294967295 134512640 134716908 3221224576 3221221616 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 1024 1111 63 0 1663 0
vsize: 6904
[startup+39.9998 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 21373 0 0 0 3939 60 0 0 25 0 1 0 906392851 7069696 1024 4294967295 134512640 134716908 3221224576 3221223152 1074154012 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1726 1024 1111 63 0 1663 0
vsize: 6904
[startup+50.0003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 29468 0 0 0 4917 82 0 0 25 0 1 0 906392851 7102464 1033 4294967295 134512640 134716908 3221224576 3221222912 1074143115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1734 1033 1111 63 0 1671 0
vsize: 6936
[startup+60.0004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 37542 0 0 0 5896 103 0 0 25 0 1 0 906392851 7102464 1033 4294967295 134512640 134716908 3221224576 3221222536 1074051550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1734 1033 1111 63 0 1671 0
vsize: 6936
[startup+70.0002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 45488 0 0 0 6874 125 0 0 25 0 1 0 906392851 7114752 1037 4294967295 134512640 134716908 3221224576 3221222872 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1737 1037 1111 63 0 1674 0
vsize: 6948
[startup+80.0007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 53618 0 0 0 7851 148 0 0 25 0 1 0 906392851 7811072 1112 4294967295 134512640 134716908 3221224576 3221220736 1075091442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1907 1112 1111 63 0 1844 0
vsize: 7628
[startup+90.0008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 61759 0 0 0 8828 172 0 0 25 0 1 0 906392851 7794688 1111 4294967295 134512640 134716908 3221224576 3221220736 1075093758 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1903 1111 1111 63 0 1840 0
vsize: 7612
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 70012 0 0 0 9805 195 0 0 25 0 1 0 906392851 7294976 1065 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1752 1052 1111 63 0 1689 0
vsize: 7124
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 78270 0 0 0 10784 217 0 0 25 0 1 0 906392851 7114752 1037 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1737 1037 1111 63 0 1674 0
vsize: 6948
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 86727 0 0 0 11762 239 0 0 25 0 1 0 906392851 7114752 1037 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1737 1037 1111 63 0 1674 0
vsize: 6948
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 94872 0 0 0 12740 261 0 0 25 0 1 0 906392851 7114752 1037 4294967295 134512640 134716908 3221224576 3221222960 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1737 1037 1111 63 0 1674 0
vsize: 6948
[startup+140.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 103223 0 0 0 13716 286 0 0 25 0 1 0 906392851 7114752 1037 4294967295 134512640 134716908 3221224576 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1737 1037 1111 63 0 1674 0
vsize: 6948
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 111704 0 0 0 14692 310 0 0 25 0 1 0 906392851 7634944 1058 4294967295 134512640 134716908 3221224576 3221220780 1075563081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1864 1058 1111 63 0 1801 0
vsize: 7456
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 119905 0 0 0 15670 332 0 0 25 0 1 0 906392851 7114752 1037 4294967295 134512640 134716908 3221224576 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1737 1037 1111 63 0 1674 0
vsize: 6948
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 128262 0 0 0 16648 355 0 0 25 0 1 0 906392851 7839744 1118 4294967295 134512640 134716908 3221224576 3221220816 1075115734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1914 1118 1111 63 0 1851 0
vsize: 7656
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 136581 0 0 0 17625 378 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 144819 0 0 0 18602 401 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 153122 0 0 0 19579 424 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 161513 0 0 0 20556 448 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1782 1040 1111 63 0 1719 0
vsize: 6960
[startup+219.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 170125 0 0 0 21532 473 0 0 25 0 1 0 906392851 7843840 1131 4294967295 134512640 134716908 3221224576 3221220572 1074860948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1915 1131 1111 63 0 1852 0
vsize: 7660
[startup+229.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 178808 0 0 0 22509 496 0 0 25 0 1 0 906392851 7176192 1050 4294967295 134512640 134716908 3221224576 3221222708 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1752 1050 1111 63 0 1689 0
vsize: 7008
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 187202 0 0 0 23486 519 0 0 25 0 1 0 906392851 7643136 1056 4294967295 134512640 134716908 3221224576 3221221496 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1866 1056 1111 63 0 1803 0
vsize: 7464
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 195438 0 0 0 24466 540 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222896 1074146275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 203719 0 0 0 25443 562 0 0 25 0 1 0 906392851 7188480 1043 4294967295 134512640 134716908 3221224576 3221222576 1074916864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1755 1043 1111 63 0 1692 0
vsize: 7020
[startup+270 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 212078 0 0 0 26420 586 0 0 25 0 1 0 906392851 7831552 1125 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1912 1125 1111 63 0 1849 0
vsize: 7648
[startup+279.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 220503 0 0 0 27396 610 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222888 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+290 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 229034 0 0 0 28373 634 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222700 1074206265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+300 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 237600 0 0 0 29351 656 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+310 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 245984 0 0 0 30329 679 0 0 25 0 1 0 906392851 7143424 1043 4294967295 134512640 134716908 3221224576 3221222544 1075552798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1744 1043 1111 63 0 1681 0
vsize: 6976
[startup+319.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 254492 0 0 0 31308 699 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221221664 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+329.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 263063 0 0 0 32284 724 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222952 1077410285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+339.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 271605 0 0 0 33261 747 0 0 25 0 1 0 906392851 7680000 1056 4294967295 134512640 134716908 3221224576 3221221644 1074831249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1875 1056 1111 63 0 1812 0
vsize: 7500
[startup+349.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 280135 0 0 0 34237 771 0 0 25 0 1 0 906392851 7127040 1040 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1740 1040 1111 63 0 1677 0
vsize: 6960
[startup+359.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 288870 0 0 0 35214 795 0 0 25 0 1 0 906392851 7680000 1056 4294967295 134512640 134716908 3221224576 3221221176 1075850627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1875 1056 1111 63 0 1812 0
vsize: 7500
[startup+369.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 297408 0 0 0 36190 819 0 0 25 0 1 0 906392851 7847936 1072 4294967295 134512640 134716908 3221224576 3221221576 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1073 1111 63 0 1853 0
vsize: 7664
[startup+379.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 306294 0 0 0 37165 844 0 0 25 0 1 0 906392851 7143424 1043 4294967295 134512640 134716908 3221224576 3221221696 1074865630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1744 1043 1111 63 0 1681 0
vsize: 6976
[startup+389.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 314873 0 0 0 38144 866 0 0 25 0 1 0 906392851 7176192 1052 4294967295 134512640 134716908 3221224576 3221222976 1074118856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1752 1052 1111 63 0 1689 0
vsize: 7008
[startup+399.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 322547 0 0 0 39123 887 0 0 25 0 1 0 906392851 7282688 1061 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1758 1058 1111 63 0 1695 0
vsize: 7112
[startup+409.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 330075 0 0 0 40103 907 0 0 25 0 1 0 906392851 7335936 1059 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1791 1059 1111 63 0 1728 0
vsize: 7164
[startup+419.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 337858 0 0 0 41082 928 0 0 25 0 1 0 906392851 7163904 1049 4294967295 134512640 134716908 3221224576 3221222872 1074138230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+429.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 345482 0 0 0 42064 947 0 0 25 0 1 0 906392851 7823360 1119 4294967295 134512640 134716908 3221224576 3221220948 1076117121 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1910 1119 1111 63 0 1847 0
vsize: 7640
[startup+439.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 353187 0 0 0 43042 970 0 0 25 0 1 0 906392851 7163904 1049 4294967295 134512640 134716908 3221224576 3221222872 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+449.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 361059 0 0 0 44023 989 0 0 25 0 1 0 906392851 7163904 1049 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+459.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 369016 0 0 0 45003 1009 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+469.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 376977 0 0 0 45982 1031 0 0 25 0 1 0 906392851 7847936 1134 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1134 1111 63 0 1853 0
vsize: 7664
[startup+479.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 384989 0 0 0 46962 1051 0 0 25 0 1 0 906392851 7520256 1061 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 1056 1111 63 0 1693 0
vsize: 7344
[startup+489.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 393028 0 0 0 47940 1073 0 0 25 0 1 0 906392851 7163904 1049 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+499.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 401268 0 0 0 48916 1097 0 0 25 0 1 0 906392851 7860224 1136 4294967295 134512640 134716908 3221224576 3221220576 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1919 1136 1111 63 0 1856 0
vsize: 7676
[startup+509.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 409103 0 0 0 49894 1120 0 0 25 0 1 0 906392851 7163904 1049 4294967295 134512640 134716908 3221224576 3221222884 1077402432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+519.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 416126 0 0 0 50874 1140 0 0 25 0 1 0 906392851 7815168 1084 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1908 1095 1111 63 0 1845 0
vsize: 7632
[startup+529.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 423103 0 0 0 51855 1159 0 0 25 0 1 0 906392851 7163904 1049 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+539.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 430270 0 0 0 52835 1179 0 0 25 0 1 0 906392851 7737344 1124 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1889 1124 1111 63 0 1826 0
vsize: 7556
[startup+549.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 437315 0 0 0 53816 1199 0 0 25 0 1 0 906392851 7163904 1049 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+559.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 444481 0 0 0 54799 1217 0 0 25 0 1 0 906392851 7163904 1049 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+569.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 451794 0 0 0 55779 1237 0 0 25 0 1 0 906392851 7163904 1049 4294967295 134512640 134716908 3221224576 3221222416 1074206500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1749 1049 1111 63 0 1686 0
vsize: 6996
[startup+579.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 459062 0 0 0 56758 1257 0 0 25 0 1 0 906392851 7770112 1126 4294967295 134512640 134716908 3221224576 3221220816 1075115726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1897 1126 1111 63 0 1834 0
vsize: 7588
[startup+589.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 466491 0 0 0 57738 1278 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+599.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 473717 0 0 0 58719 1297 0 0 25 0 1 0 906392851 7843840 1128 4294967295 134512640 134716908 3221224576 3221220736 1075093350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1915 1128 1111 63 0 1852 0
vsize: 7660
[startup+609.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 480747 0 0 0 59699 1317 0 0 25 0 1 0 906392851 7667712 1090 4294967295 134512640 134716908 3221224576 3221220576 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1872 1090 1111 63 0 1809 0
vsize: 7488
[startup+619.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 487880 0 0 0 60680 1337 0 0 25 0 1 0 906392851 7839744 1126 4294967295 134512640 134716908 3221224576 3221221176 1075850705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1914 1126 1111 63 0 1851 0
vsize: 7656
[startup+629.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 494986 0 0 0 61661 1356 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+639.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 502120 0 0 0 62641 1377 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+649.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 509352 0 0 0 63621 1397 0 0 25 0 1 0 906392851 7237632 1054 4294967295 134512640 134716908 3221224576 3221222576 1074915918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1767 1054 1111 63 0 1704 0
vsize: 7068
[startup+659.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 516248 0 0 0 64600 1418 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222836 1077374461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+669.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 523016 0 0 0 65580 1439 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222944 1074153259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+679.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 529918 0 0 0 66560 1459 0 0 25 0 1 0 906392851 7192576 1056 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 1056 1111 63 0 1693 0
vsize: 7024
[startup+689.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 537028 0 0 0 67541 1478 0 0 25 0 1 0 906392851 7847936 1132 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1132 1111 63 0 1853 0
vsize: 7664
[startup+699.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 543924 0 0 0 68521 1499 0 0 25 0 1 0 906392851 7847936 1132 4294967295 134512640 134716908 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1132 1111 63 0 1853 0
vsize: 7664
[startup+709.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 551015 0 0 0 69503 1517 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+719.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 558139 0 0 0 70485 1535 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221223192 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+729.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 565313 0 0 0 71466 1555 0 0 25 0 1 0 906392851 7835648 1123 4294967295 134512640 134716908 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1913 1123 1111 63 0 1850 0
vsize: 7652
[startup+739.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 572550 0 0 0 72445 1576 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+749.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 579769 0 0 0 73426 1596 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+759.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 587173 0 0 0 74404 1617 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+769.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 594603 0 0 0 75387 1635 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+779.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 602042 0 0 0 76365 1657 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222872 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+789.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 609540 0 0 0 77345 1678 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+799.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 617075 0 0 0 78325 1698 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222936 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+809.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 624372 0 0 0 79306 1717 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222960 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+819.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 631762 0 0 0 80288 1736 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221221664 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+829.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 639221 0 0 0 81267 1757 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+839.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 646885 0 0 0 82247 1777 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222976 1074153634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+849.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 654479 0 0 0 83226 1799 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222740 1077378632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+859.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 662106 0 0 0 84206 1819 0 0 25 0 1 0 906392851 7847936 1119 4294967295 134512640 134716908 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1119 1111 63 0 1853 0
vsize: 7664
[startup+869.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 669834 0 0 0 85183 1842 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222960 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+879.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 677420 0 0 0 86161 1864 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222872 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+889.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 685177 0 0 0 87141 1885 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222960 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+899.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 692588 0 0 0 88122 1904 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+909.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 699838 0 0 0 89102 1924 0 0 25 0 1 0 906392851 7315456 1054 4294967295 134512640 134716908 3221224576 3221222304 1075828195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1786 1054 1111 63 0 1723 0
vsize: 7144
[startup+919.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 707294 0 0 0 90081 1946 0 0 25 0 1 0 906392851 7847936 1117 4294967295 134512640 134716908 3221224576 3221220736 1075095344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1916 1118 1111 63 0 1853 0
vsize: 7664
[startup+929.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 714815 0 0 0 91059 1968 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+939.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 722229 0 0 0 92038 1989 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221223168 134652541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+949.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 729597 0 0 0 93020 2007 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+959.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 737214 0 0 0 94000 2028 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+969.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 744775 0 0 0 94980 2048 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+979.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 752484 0 0 0 95958 2070 0 0 25 0 1 0 906392851 7843840 1130 4294967295 134512640 134716908 3221224576 3221220576 1075965246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1915 1130 1111 63 0 1852 0
vsize: 7660
[startup+989.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 760146 0 0 0 96936 2093 0 0 25 0 1 0 906392851 7823360 1123 4294967295 134512640 134716908 3221224576 3221220736 1075093367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1910 1123 1111 63 0 1847 0
vsize: 7640
[startup+999.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 767446 0 0 0 97917 2112 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 775061 0 0 0 98897 2133 0 0 25 0 1 0 906392851 7856128 1125 4294967295 134512640 134716908 3221224576 3221220736 1075093350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1918 1125 1111 63 0 1855 0
vsize: 7672
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 782596 0 0 0 99878 2152 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 790221 0 0 0 100858 2173 0 0 25 0 1 0 906392851 7684096 1068 4294967295 134512640 134716908 3221224576 3221221520 1074620068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1876 1068 1111 63 0 1813 0
vsize: 7504
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 797902 0 0 0 101833 2198 0 0 25 0 1 0 906392851 7213056 1054 4294967295 134512640 134716908 3221224576 3221222576 1074918355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1761 1054 1111 63 0 1698 0
vsize: 7044
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 806173 0 0 0 102810 2221 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222976 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+1059.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 814461 0 0 0 103790 2241 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 823014 0 0 0 104769 2263 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222976 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 831382 0 0 0 105747 2285 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+1089.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 839764 0 0 0 106725 2307 0 0 25 0 1 0 906392851 7180288 1053 4294967295 134512640 134716908 3221224576 3221222836 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1753 1053 1111 63 0 1690 0
vsize: 7012
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 848070 0 0 0 107704 2329 0 0 25 0 1 0 906392851 7700480 1067 4294967295 134512640 134716908 3221224576 3221220780 1075563305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1880 1067 1111 63 0 1817 0
vsize: 7520
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4670
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 855693 0 0 0 108683 2350 0 0 25 0 1 0 906392851 7192576 1056 4294967295 134512640 134716908 3221224576 3221222952 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1756 1056 1111 63 0 1693 0
vsize: 7024
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 4673
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 863196 0 0 0 109663 2371 0 0 25 0 1 0 906392851 7217152 1062 4294967295 134512640 134716908 3221224576 3221222508 1074208080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1062 1111 63 0 1699 0
vsize: 7048
[startup+1129.99 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 4723
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 870149 0 0 0 110644 2390 0 0 25 0 1 0 906392851 7217152 1062 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1062 1111 63 0 1699 0
vsize: 7048
[startup+1139.99 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 4723
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 877351 0 0 0 111625 2409 0 0 25 0 1 0 906392851 7217152 1062 4294967295 134512640 134716908 3221224576 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1062 1111 63 0 1699 0
vsize: 7048
[startup+1149.99 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 4723
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 884583 0 0 0 112604 2430 0 0 25 0 1 0 906392851 7229440 1065 4294967295 134512640 134716908 3221224576 3221221680 1074139007 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1808 1065 1111 63 0 1745 0
vsize: 7060
[startup+1159.99 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 4723
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 891883 0 0 0 113585 2449 0 0 25 0 1 0 906392851 7897088 1134 4294967295 134512640 134716908 3221224576 3221220736 1075091415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1928 1134 1111 63 0 1865 0
vsize: 7712
[startup+1169.99 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 4723
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 899128 0 0 0 114565 2470 0 0 25 0 1 0 906392851 7217152 1062 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1062 1111 63 0 1699 0
vsize: 7048
[startup+1174.7 s]
Raw data (loadavg): 1.03 0.99 0.91 1/53 4723
Raw data (stat): 4670 (bsolo_lpr_cuts-) R 4669 25568 25567 0 -1 0 899128 0 0 0 114565 2470 0 0 25 0 1 0 906392851 7217152 1062 4294967295 134512640 134716908 3221224576 3221222960 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1762 1062 1111 63 0 1699 0
vsize: 0

Child status: 0
Real time (s): 1174.69
CPU time (s): 1175.06
CPU user time (s): 1150.27
CPU system time (s): 24.7902
CPU usage (%): 100.031
Max. virtual memory (Kb): 7712
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####