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/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mkc.opb
MD5SUM	44934b498b6e9897bcf8e950d9d30136
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	2946
Biggest coefficient in the objective function	20000
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	31442101
Number of bits of the sum of numbers in the objective function	25
Biggest number in a constraint	65536000
Number of bits of the biggest number in a constraint	26
Biggest sum of numbers in a constraint	629010691
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.11
Number of variables	5363
Total number of constraints	8734
Number of constraints which are clauses	2977
Number of constraints which are cardinality constraints (but not clauses)	5731
Number of constraints which are nor clauses,nor cardinality constraints	26
Minimum length of a constraint	1
Maximum length of a constraint	2942
Trace number 41518

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 14:28:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29578 boxname=wulflinc1 idbench=1362 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  44934b498b6e9897bcf8e950d9d30136  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mkc.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mkc.opb
IDLAUNCH: 29578
/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:        912556 kB
Buffers:         13048 kB
Cached:          85020 kB
SwapCached:       1144 kB
Active:          22984 kB
Inactive:        77252 kB
HighTotal:      131008 kB
HighFree:        73584 kB
LowTotal:       903652 kB
LowFree:        838972 kB
SwapTotal:     2097136 kB
SwapFree:      2094824 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16080 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 14:48:01 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 29578 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5363 variables and 3281 constraints.
c After prepocess the problem consists of 5290 variables and 2935 constraints.
c preprocess terminated 70.461 s
c Initial Lower Bound: 2147483647
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.72 0.91 0.89 2/55 6926
Raw data (stat): 6926 (runsolver) R 6925 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854139619 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.76 0.91 0.89 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 36412 0 0 0 920 77 0 0 25 0 1 0 854139619 151506944 36119 4294967295 134512640 134716908 3221224560 3221223188 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36989 36119 1111 63 0 36926 0
vsize: 147956
[startup+20.0005 s]
Raw data (loadavg): 0.80 0.91 0.89 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 36847 0 0 0 1919 78 0 0 25 0 1 0 854139619 153260032 36531 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+30.0013 s]
Raw data (loadavg): 0.83 0.91 0.89 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 36847 0 0 0 2919 78 0 0 25 0 1 0 854139619 153260032 36531 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+40.0011 s]
Raw data (loadavg): 0.86 0.92 0.89 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 36847 0 0 0 3919 78 0 0 25 0 1 0 854139619 153260032 36531 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36531 1111 63 0 37354 0
vsize: 149668
[startup+50.0018 s]
Raw data (loadavg): 0.88 0.92 0.89 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 36850 0 0 0 4919 78 0 0 25 0 1 0 854139619 153260032 36534 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36534 1111 63 0 37354 0
vsize: 149668
[startup+60.0016 s]
Raw data (loadavg): 0.90 0.92 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 36856 0 0 0 5919 78 0 0 25 0 1 0 854139619 153260032 36540 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36540 1111 63 0 37354 0
vsize: 149668
[startup+70.0014 s]
Raw data (loadavg): 0.91 0.92 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 36856 0 0 0 6919 78 0 0 25 0 1 0 854139619 153260032 36540 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37417 36540 1111 63 0 37354 0
vsize: 149668
[startup+80.0022 s]
Raw data (loadavg): 0.92 0.92 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 38087 0 0 0 7917 81 0 0 25 0 1 0 854139619 157712384 37610 4294967295 134512640 134716908 3221224560 3221220412 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38504 37610 1111 63 0 38441 0
vsize: 154016
[startup+90.002 s]
Raw data (loadavg): 0.94 0.93 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 41368 0 0 0 8909 89 0 0 25 0 1 0 854139619 159055872 37892 4294967295 134512640 134716908 3221224560 3221220380 1074787806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38832 37892 1111 63 0 38769 0
vsize: 155328
[startup+100.003 s]
Raw data (loadavg): 0.94 0.93 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 41725 0 0 0 9908 90 0 0 25 0 1 0 854139619 158957568 38009 4294967295 134512640 134716908 3221224560 3221220644 1075114975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38808 38009 1111 63 0 38745 0
vsize: 155232
[startup+110.004 s]
Raw data (loadavg): 0.95 0.93 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 42784 0 0 0 10906 92 0 0 25 0 1 0 854139619 158613504 37970 4294967295 134512640 134716908 3221224560 3221220632 1074950198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38724 37970 1111 63 0 38661 0
vsize: 154896
[startup+120.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 43647 0 0 0 11905 94 0 0 25 0 1 0 854139619 158801920 37977 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38770 37977 1111 63 0 38707 0
vsize: 155080
[startup+130.003 s]
Raw data (loadavg): 0.97 0.93 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 44507 0 0 0 12903 97 0 0 25 0 1 0 854139619 158801920 37965 4294967295 134512640 134716908 3221224560 3221220508 1074788962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38770 37965 1111 63 0 38707 0
vsize: 155080
[startup+140.003 s]
Raw data (loadavg): 0.97 0.94 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 45506 0 0 0 13900 99 0 0 25 0 1 0 854139619 159703040 38082 4294967295 134512640 134716908 3221224560 3221220672 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38990 38086 1111 63 0 38927 0
vsize: 155960
[startup+150.004 s]
Raw data (loadavg): 0.97 0.94 0.90 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 45741 0 0 0 14900 100 0 0 25 0 1 0 854139619 159031296 37989 4294967295 134512640 134716908 3221224560 3221220476 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38826 37989 1111 63 0 38763 0
vsize: 155304
[startup+160.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 46843 0 0 0 15898 102 0 0 25 0 1 0 854139619 158842880 38002 4294967295 134512640 134716908 3221224560 3221220616 1074789530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38780 38002 1111 63 0 38717 0
vsize: 155120
[startup+170.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 48408 0 0 0 16894 106 0 0 25 0 1 0 854139619 158785536 37883 4294967295 134512640 134716908 3221224560 3221220560 1075965284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38766 37883 1111 63 0 38703 0
vsize: 155064
[startup+180.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 49548 0 0 0 17891 109 0 0 25 0 1 0 854139619 156815360 37574 4294967295 134512640 134716908 3221224560 3221222960 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38285 37574 1111 63 0 38222 0
vsize: 153140
[startup+190.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 50786 0 0 0 18889 111 0 0 25 0 1 0 854139619 158785536 37836 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38766 37836 1111 63 0 38703 0
vsize: 155064
[startup+200.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 51197 0 0 0 19888 113 0 0 25 0 1 0 854139619 156815360 37574 4294967295 134512640 134716908 3221224560 3221222872 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38285 37574 1111 63 0 38222 0
vsize: 153140
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 52599 0 0 0 20886 115 0 0 25 0 1 0 854139619 158785536 37990 4294967295 134512640 134716908 3221224560 3221220688 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38766 37990 1111 63 0 38703 0
vsize: 155064
[startup+220.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 53760 0 0 0 21884 117 0 0 25 0 1 0 854139619 159055872 37978 4294967295 134512640 134716908 3221224560 3221220740 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38832 37978 1111 63 0 38769 0
vsize: 155328
[startup+230.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 54079 0 0 0 22883 118 0 0 25 0 1 0 854139619 156815360 37574 4294967295 134512640 134716908 3221224560 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38285 37574 1111 63 0 38222 0
vsize: 153140
[startup+240.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 54644 0 0 0 23882 119 0 0 25 0 1 0 854139619 158834688 37987 4294967295 134512640 134716908 3221224560 3221220584 1074860238 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38778 37987 1111 63 0 38715 0
vsize: 155112
[startup+250.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 55159 0 0 0 24881 120 0 0 25 0 1 0 854139619 158695424 37784 4294967295 134512640 134716908 3221224560 3221220704 1074950832 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38744 37784 1111 63 0 38681 0
vsize: 154976
[startup+260.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 55207 0 0 0 25881 120 0 0 25 0 1 0 854139619 158695424 37832 4294967295 134512640 134716908 3221224560 3221220704 1074950918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38744 37832 1111 63 0 38681 0
vsize: 154976
[startup+270.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 55244 0 0 0 26881 120 0 0 25 0 1 0 854139619 158695424 37869 4294967295 134512640 134716908 3221224560 3221220632 1074950215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38744 37869 1111 63 0 38681 0
vsize: 154976
[startup+280.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 55265 0 0 0 27882 120 0 0 25 0 1 0 854139619 158695424 37890 4294967295 134512640 134716908 3221224560 3221221060 1074846155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38744 37890 1111 63 0 38681 0
vsize: 154976
[startup+290.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 55277 0 0 0 28882 120 0 0 25 0 1 0 854139619 158695424 37902 4294967295 134512640 134716908 3221224560 3221221060 1074846214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38744 37902 1111 63 0 38681 0
vsize: 154976
[startup+300.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 55533 0 0 0 29881 121 0 0 25 0 1 0 854139619 156815360 37574 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38285 37574 1111 63 0 38222 0
vsize: 153140
[startup+310.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 56351 0 0 0 30879 123 0 0 25 0 1 0 854139619 158892032 37944 4294967295 134512640 134716908 3221224560 3221220740 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38792 37944 1111 63 0 38729 0
vsize: 155168
[startup+320.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 57048 0 0 0 31877 125 0 0 25 0 1 0 854139619 158715904 37972 4294967295 134512640 134716908 3221224560 3221220592 1075965303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38749 37972 1111 63 0 38686 0
vsize: 154996
[startup+330.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 58118 0 0 0 32875 127 0 0 25 0 1 0 854139619 158961664 37901 4294967295 134512640 134716908 3221224560 3221220396 1074788941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38809 37901 1111 63 0 38746 0
vsize: 155236
[startup+340.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 58168 0 0 0 33875 127 0 0 25 0 1 0 854139619 159117312 37951 4294967295 134512640 134716908 3221224560 3221221168 1075967407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38847 37951 1111 63 0 38784 0
vsize: 155388
[startup+350.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 59069 0 0 0 34873 129 0 0 25 0 1 0 854139619 158760960 37970 4294967295 134512640 134716908 3221224560 3221220428 1074787713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38760 37970 1111 63 0 38697 0
vsize: 155040
[startup+360.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 59850 0 0 0 35872 131 0 0 25 0 1 0 854139619 158797824 37982 4294967295 134512640 134716908 3221224560 3221221600 1075971304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38769 37982 1111 63 0 38706 0
vsize: 155076
[startup+370.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 60834 0 0 0 36870 134 0 0 25 0 1 0 854139619 158928896 38009 4294967295 134512640 134716908 3221224560 3221220524 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38801 38009 1111 63 0 38738 0
vsize: 155204
[startup+380.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 61442 0 0 0 37868 135 0 0 25 0 1 0 854139619 159080448 37954 4294967295 134512640 134716908 3221224560 3221221104 1074885824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38838 37954 1111 63 0 38775 0
vsize: 155352
[startup+390.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 62587 0 0 0 38866 137 0 0 25 0 1 0 854139619 158830592 37774 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38777 37774 1111 63 0 38714 0
vsize: 155108
[startup+400.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 62798 0 0 0 39866 138 0 0 25 0 1 0 854139619 158830592 37985 4294967295 134512640 134716908 3221224560 3221220688 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38777 37985 1111 63 0 38714 0
vsize: 155108
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 63398 0 0 0 40864 140 0 0 25 0 1 0 854139619 158830592 37797 4294967295 134512640 134716908 3221224560 3221221080 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38777 37797 1111 63 0 38714 0
vsize: 155108
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 63436 0 0 0 41865 140 0 0 25 0 1 0 854139619 158830592 37835 4294967295 134512640 134716908 3221224560 3221220584 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38777 37835 1111 63 0 38714 0
vsize: 155108
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 63781 0 0 0 42864 141 0 0 25 0 1 0 854139619 156803072 37571 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38282 37571 1111 63 0 38219 0
vsize: 153128
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 64276 0 0 0 43864 142 0 0 25 0 1 0 854139619 158703616 37913 4294967295 134512640 134716908 3221224560 3221220708 1075964406 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38746 37913 1111 63 0 38683 0
vsize: 154984
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 65168 0 0 0 44861 145 0 0 25 0 1 0 854139619 158752768 37978 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38758 37978 1111 63 0 38695 0
vsize: 155032
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 66094 0 0 0 45860 147 0 0 25 0 1 0 854139619 159059968 37914 4294967295 134512640 134716908 3221224560 3221220480 1075965240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38833 37914 1111 63 0 38770 0
vsize: 155332
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 67139 0 0 0 46857 149 0 0 25 0 1 0 854139619 158765056 37877 4294967295 134512640 134716908 3221224560 3221220560 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38761 37877 1111 63 0 38698 0
vsize: 155044
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 67803 0 0 0 47856 151 0 0 25 0 1 0 854139619 158826496 37795 4294967295 134512640 134716908 3221224560 3221220776 1075560291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38776 37795 1111 63 0 38713 0
vsize: 155104
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 68166 0 0 0 48855 151 0 0 25 0 1 0 854139619 156864512 37586 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38297 37586 1111 63 0 38234 0
vsize: 153188
[startup+500.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 69741 0 0 0 49853 156 0 0 25 0 1 0 854139619 156864512 37586 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38297 37586 1111 63 0 38234 0
vsize: 153188
[startup+510.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 70773 0 0 0 50851 159 0 0 25 0 1 0 854139619 159092736 37947 4294967295 134512640 134716908 3221224560 3221220716 1075564295 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38841 37947 1111 63 0 38778 0
vsize: 155364
[startup+520.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 70806 0 0 0 51851 159 0 0 25 0 1 0 854139619 159092736 37980 4294967295 134512640 134716908 3221224560 3221221504 1075338873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38841 37980 1111 63 0 38778 0
vsize: 155364
[startup+530.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 71557 0 0 0 52850 161 0 0 25 0 1 0 854139619 158830592 37790 4294967295 134512640 134716908 3221224560 3221220708 1075964401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38777 37790 1111 63 0 38714 0
vsize: 155108
[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 72667 0 0 0 53847 164 0 0 25 0 1 0 854139619 159678464 37929 4294967295 134512640 134716908 3221224560 3221220732 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38984 37929 1111 63 0 38921 0
vsize: 155936
[startup+550.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 72899 0 0 0 54847 164 0 0 25 0 1 0 854139619 159006720 37989 4294967295 134512640 134716908 3221224560 3221221104 1074885415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38820 37989 1111 63 0 38757 0
vsize: 155280
[startup+560.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 73910 0 0 0 55845 166 0 0 25 0 1 0 854139619 156897280 37594 4294967295 134512640 134716908 3221224560 3221222776 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38305 37594 1111 63 0 38242 0
vsize: 153220
[startup+570.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 74614 0 0 0 56844 167 0 0 25 0 1 0 854139619 159068160 37958 4294967295 134512640 134716908 3221224560 3221220448 1075965256 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38835 37958 1111 63 0 38772 0
vsize: 155340
[startup+580.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 75034 0 0 0 57843 168 0 0 25 0 1 0 854139619 157057024 37596 4294967295 134512640 134716908 3221224560 3221221680 1074865627 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38344 37596 1111 63 0 38281 0
vsize: 153376
[startup+590.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 76306 0 0 0 58840 172 0 0 25 0 1 0 854139619 156860416 37585 4294967295 134512640 134716908 3221224560 3221222960 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38296 37585 1111 63 0 38233 0
vsize: 153184
[startup+600.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 76628 0 0 0 59839 173 0 0 25 0 1 0 854139619 158801920 37791 4294967295 134512640 134716908 3221224560 3221220708 1075964390 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38770 37791 1111 63 0 38707 0
vsize: 155080
[startup+610.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 76713 0 0 0 60839 173 0 0 25 0 1 0 854139619 158801920 37876 4294967295 134512640 134716908 3221224560 3221220776 1075560387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38770 37876 1111 63 0 38707 0
vsize: 155080
[startup+620.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 77720 0 0 0 61837 175 0 0 25 0 1 0 854139619 159768576 37923 4294967295 134512640 134716908 3221224560 3221220784 1074961387 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39006 37923 1111 63 0 38943 0
vsize: 156024
[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 77995 0 0 0 62837 175 0 0 25 0 1 0 854139619 159096832 38027 4294967295 134512640 134716908 3221224560 3221221104 1074886198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38842 38027 1111 63 0 38779 0
vsize: 155368
[startup+640.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 79107 0 0 0 63834 178 0 0 25 0 1 0 854139619 156860416 37585 4294967295 134512640 134716908 3221224560 3221222960 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38296 37585 1111 63 0 38233 0
vsize: 153184
[startup+650.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 79859 0 0 0 64833 180 0 0 25 0 1 0 854139619 157630464 37670 4294967295 134512640 134716908 3221224560 3221222320 1075823601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38484 37670 1111 63 0 38421 0
vsize: 153936
[startup+660.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 81264 0 0 0 65829 183 0 0 25 0 1 0 854139619 159076352 37924 4294967295 134512640 134716908 3221224560 3221220396 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38837 37924 1111 63 0 38774 0
vsize: 155348
[startup+670.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 81832 0 0 0 66828 185 0 0 25 0 1 0 854139619 159166464 37929 4294967295 134512640 134716908 3221224560 3221221104 1074887981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38859 37929 1111 63 0 38796 0
vsize: 155436
[startup+680.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 82251 0 0 0 67827 186 0 0 25 0 1 0 854139619 158711808 37969 4294967295 134512640 134716908 3221224560 3221220584 1074860225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38748 37969 1111 63 0 38685 0
vsize: 154992
[startup+690.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 83869 0 0 0 68824 189 0 0 25 0 1 0 854139619 159506432 37957 4294967295 134512640 134716908 3221224560 3221220732 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38942 37957 1111 63 0 38879 0
vsize: 155768
[startup+700.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 84483 0 0 0 69824 190 0 0 25 0 1 0 854139619 158363648 37808 4294967295 134512640 134716908 3221224560 3221221728 1074645665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38663 37808 1111 63 0 38600 0
vsize: 154652
[startup+710.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 85276 0 0 0 70822 191 0 0 25 0 1 0 854139619 158650368 37821 4294967295 134512640 134716908 3221224560 3221220508 1074788915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38733 37821 1111 63 0 38670 0
vsize: 154932
[startup+720.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 86243 0 0 0 71820 194 0 0 25 0 1 0 854139619 158785536 37918 4294967295 134512640 134716908 3221224560 3221220672 1075095151 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38766 37918 1111 63 0 38703 0
vsize: 155064
[startup+730.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 86707 0 0 0 72820 194 0 0 25 0 1 0 854139619 158650368 37825 4294967295 134512640 134716908 3221224560 3221220524 1074787821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38733 37825 1111 63 0 38670 0
vsize: 154932
[startup+740.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 87571 0 0 0 73818 196 0 0 25 0 1 0 854139619 158457856 37734 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38686 37734 1111 63 0 38623 0
vsize: 154744
[startup+750.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 88426 0 0 0 74816 198 0 0 25 0 1 0 854139619 159444992 37891 4294967295 134512640 134716908 3221224560 3221220536 1074860217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38927 37891 1111 63 0 38864 0
vsize: 155708
[startup+760.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 89162 0 0 0 75814 200 0 0 25 0 1 0 854139619 158638080 37745 4294967295 134512640 134716908 3221224560 3221220704 1074950912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38730 37745 1111 63 0 38667 0
vsize: 154920
[startup+770.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 89366 0 0 0 76814 201 0 0 25 0 1 0 854139619 158638080 37949 4294967295 134512640 134716908 3221224560 3221220720 1075090147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38730 37949 1111 63 0 38667 0
vsize: 154920
[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 90242 0 0 0 77812 203 0 0 25 0 1 0 854139619 158846976 37873 4294967295 134512640 134716908 3221224560 3221220740 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38781 37873 1111 63 0 38718 0
vsize: 155124
[startup+790.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 90911 0 0 0 78810 205 0 0 25 0 1 0 854139619 156852224 37583 4294967295 134512640 134716908 3221224560 3221222560 1074918811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 92393 0 0 0 79808 208 0 0 25 0 1 0 854139619 159444992 37867 4294967295 134512640 134716908 3221224560 3221220556 1074873539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38927 37867 1111 63 0 38864 0
vsize: 155708
[startup+810.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 92561 0 0 0 80808 208 0 0 25 0 1 0 854139619 158773248 37871 4294967295 134512640 134716908 3221224560 3221220740 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38763 37871 1111 63 0 38700 0
vsize: 155052
[startup+820.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 93481 0 0 0 81806 210 0 0 25 0 1 0 854139619 158515200 37923 4294967295 134512640 134716908 3221224560 3221220776 1075560291 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38700 37923 1111 63 0 38637 0
vsize: 154800
[startup+830.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 94264 0 0 0 82804 212 0 0 25 0 1 0 854139619 158781440 37864 4294967295 134512640 134716908 3221224560 3221220740 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38765 37864 1111 63 0 38702 0
vsize: 155060
[startup+840.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 95183 0 0 0 83802 214 0 0 25 0 1 0 854139619 158564352 37852 4294967295 134512640 134716908 3221224560 3221221060 1074846163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38712 37852 1111 63 0 38649 0
vsize: 154848
[startup+850.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 96192 0 0 0 84799 217 0 0 25 0 1 0 854139619 158683136 37854 4294967295 134512640 134716908 3221224560 3221220368 1074869225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38741 37854 1111 63 0 38678 0
vsize: 154964
[startup+860.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 96678 0 0 0 85798 218 0 0 25 0 1 0 854139619 158363648 37890 4294967295 134512640 134716908 3221224560 3221220532 1074786556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38663 37890 1111 63 0 38600 0
vsize: 154652
[startup+870.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 98229 0 0 0 86796 221 0 0 25 0 1 0 854139619 158613504 37818 4294967295 134512640 134716908 3221224560 3221220784 1074960903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38724 37818 1111 63 0 38661 0
vsize: 154896
[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 98721 0 0 0 87795 222 0 0 25 0 1 0 854139619 158310400 37738 4294967295 134512640 134716908 3221224560 3221220508 1074788915 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38650 37738 1111 63 0 38587 0
vsize: 154600
[startup+890.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 99509 0 0 0 88793 224 0 0 25 0 1 0 854139619 158547968 37807 4294967295 134512640 134716908 3221224560 3221220784 1074960909 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38708 37807 1111 63 0 38645 0
vsize: 154832
[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 100230 0 0 0 89791 226 0 0 25 0 1 0 854139619 158302208 37723 4294967295 134512640 134716908 3221224560 3221221192 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38648 37723 1111 63 0 38585 0
vsize: 154592
[startup+910.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 101341 0 0 0 90788 229 0 0 25 0 1 0 854139619 158302208 37831 4294967295 134512640 134716908 3221224560 3221220884 1075114835 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38648 37831 1111 63 0 38585 0
vsize: 154592
[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 102303 0 0 0 91787 231 0 0 25 0 1 0 854139619 158601216 37816 4294967295 134512640 134716908 3221224560 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38721 37816 1111 63 0 38658 0
vsize: 154884
[startup+930.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 103507 0 0 0 92784 233 0 0 25 0 1 0 854139619 158343168 37661 4294967295 134512640 134716908 3221224560 3221221060 1074846155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38658 37661 1111 63 0 38595 0
vsize: 154632
[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 104175 0 0 0 93783 235 0 0 25 0 1 0 854139619 158588928 37770 4294967295 134512640 134716908 3221224560 3221221448 1075066457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38718 37770 1111 63 0 38655 0
vsize: 154872
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 105557 0 0 0 94780 238 0 0 25 0 1 0 854139619 158326784 37679 4294967295 134512640 134716908 3221224560 3221221216 1075968658 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38654 37679 1111 63 0 38591 0
vsize: 154616
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 106536 0 0 0 95777 241 0 0 25 0 1 0 854139619 158154752 37749 4294967295 134512640 134716908 3221224560 3221221060 1074846252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37749 1111 63 0 38549 0
vsize: 154448
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 107957 0 0 0 96775 243 0 0 25 0 1 0 854139619 157003776 37588 4294967295 134512640 134716908 3221224560 3221222912 1074115258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38331 37588 1111 63 0 38268 0
vsize: 153324
[startup+980.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 109645 0 0 0 97772 246 0 0 25 0 1 0 854139619 156852224 37583 4294967295 134512640 134716908 3221224560 3221222864 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+990.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 111177 0 0 0 98769 250 0 0 25 0 1 0 854139619 158388224 37764 4294967295 134512640 134716908 3221224560 3221220396 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38669 37764 1111 63 0 38606 0
vsize: 154676
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 112298 0 0 0 99766 252 0 0 25 0 1 0 854139619 156852224 37583 4294967295 134512640 134716908 3221224560 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 113436 0 0 0 100763 256 0 0 25 0 1 0 854139619 158154752 37668 4294967295 134512640 134716908 3221224560 3221220632 1074950169 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37668 1111 63 0 38549 0
vsize: 154448
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 114164 0 0 0 101762 257 0 0 25 0 1 0 854139619 158154752 37843 4294967295 134512640 134716908 3221224560 3221220720 1075091819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37843 1111 63 0 38549 0
vsize: 154448
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 115316 0 0 0 102760 259 0 0 25 0 1 0 854139619 156852224 37583 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 116372 0 0 0 103758 261 0 0 25 0 1 0 854139619 158154752 37652 4294967295 134512640 134716908 3221224560 3221220624 1075084537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38612 37652 1111 63 0 38549 0
vsize: 154448
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 117581 0 0 0 104756 264 0 0 25 0 1 0 854139619 156852224 37583 4294967295 134512640 134716908 3221224560 3221222560 1074917008 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38294 37583 1111 63 0 38231 0
vsize: 153176
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 118949 0 0 0 105753 267 0 0 25 0 1 0 854139619 156852224 37584 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38294 37584 1111 63 0 38231 0
vsize: 153176
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 120175 0 0 0 106750 270 0 0 25 0 1 0 854139619 157937664 37610 4294967295 134512640 134716908 3221224560 3221221216 1075967398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38559 37610 1111 63 0 38496 0
vsize: 154236
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 121400 0 0 0 107747 273 0 0 25 0 1 0 854139619 157937664 37614 4294967295 134512640 134716908 3221224560 3221220704 1074950928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38559 37614 1111 63 0 38496 0
vsize: 154236
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 122671 0 0 0 108744 276 0 0 25 0 1 0 854139619 157937664 37702 4294967295 134512640 134716908 3221224560 3221220720 1074883533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38559 37702 1111 63 0 38496 0
vsize: 154236
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 123812 0 0 0 109741 279 0 0 25 0 1 0 854139619 157937664 37665 4294967295 134512640 134716908 3221224560 3221220616 1074860223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38559 37665 1111 63 0 38496 0
vsize: 154236
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 124997 0 0 0 110737 283 0 0 25 0 1 0 854139619 157937664 37626 4294967295 134512640 134716908 3221224560 3221220508 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38559 37626 1111 63 0 38496 0
vsize: 154236
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 126302 0 0 0 111733 288 0 0 25 0 1 0 854139619 158195712 37691 4294967295 134512640 134716908 3221224560 3221220480 1074872727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38622 37691 1111 63 0 38559 0
vsize: 154488
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 127307 0 0 0 112731 290 0 0 25 0 1 0 854139619 157720576 37597 4294967295 134512640 134716908 3221224560 3221221680 1074834317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38506 37597 1111 63 0 38443 0
vsize: 154024
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 128135 0 0 0 113730 292 0 0 25 0 1 0 854139619 157286400 37590 4294967295 134512640 134716908 3221224560 3221220720 1075093367 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38400 37590 1111 63 0 38337 0
vsize: 153600
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 128786 0 0 0 114727 295 0 0 25 0 1 0 854139619 156852224 37584 4294967295 134512640 134716908 3221224560 3221222872 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38294 37584 1111 63 0 38231 0
vsize: 153176
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 130074 0 0 0 115724 298 0 0 25 0 1 0 854139619 156852224 37584 4294967295 134512640 134716908 3221224560 3221222960 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38294 37584 1111 63 0 38231 0
vsize: 153176
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 133188 0 0 0 116715 307 0 0 25 0 1 0 854139619 156884992 37592 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38302 37592 1111 63 0 38239 0
vsize: 153208
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6926
Raw data (stat): 6926 (bsolo_lpr_cuts-) R 6925 8378 8377 0 -1 0 133188 0 0 0 116715 307 0 0 25 0 1 0 854139619 156884992 37592 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38302 37592 1111 63 0 38239 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.12
CPU user time (s): 1171.84
CPU system time (s): 3.2835
CPU usage (%): 100.014
Max. virtual memory (Kb): 156024
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####