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/miplib/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	96fe6be9d2b9e3e89a4b05733b0daf45
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 41486

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 13:37:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29552 boxname=wulflinc6 idbench=1336 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  96fe6be9d2b9e3e89a4b05733b0daf45  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 29552
/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:        416644 kB
Buffers:         28800 kB
Cached:         567988 kB
SwapCached:        932 kB
Active:          39552 kB
Inactive:       559288 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        416392 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13532 kB
Committed_AS:    63728 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:57:09 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 29552 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1459 variables and 357 constraints.
c preprocess terminated 47.676 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.178
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.85 0.94 0.91 2/54 12691
Raw data (stat): 12691 (runsolver) R 12690 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910690490 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.0008 s]
Raw data (loadavg): 0.87 0.94 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 5920 0 0 0 983 14 0 0 25 0 1 0 910690490 27402240 5838 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6690 5838 1111 63 0 6627 0
vsize: 26760
[startup+20.0024 s]
Raw data (loadavg): 0.89 0.94 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 5963 0 0 0 1983 14 0 0 25 0 1 0 910690490 27529216 5881 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6721 5881 1111 63 0 6658 0
vsize: 26884
[startup+30.005 s]
Raw data (loadavg): 0.91 0.94 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6065 0 0 0 2983 15 0 0 25 0 1 0 910690490 27779072 5927 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 5927 1111 63 0 6719 0
vsize: 27128
[startup+40.0052 s]
Raw data (loadavg): 0.92 0.94 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6073 0 0 0 3983 15 0 0 25 0 1 0 910690490 27779072 5935 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 5935 1111 63 0 6719 0
vsize: 27128
[startup+50.0069 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6314 0 0 0 4983 16 0 0 25 0 1 0 910690490 28164096 6121 4294967295 134512640 134716908 3221224560 3221220556 1074860998 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6876 6121 1111 63 0 6813 0
vsize: 27504
[startup+60.0075 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6520 0 0 0 5981 18 0 0 25 0 1 0 910690490 27926528 6120 4294967295 134512640 134716908 3221224560 3221222912 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+70.0087 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6569 0 0 0 6980 18 0 0 25 0 1 0 910690490 27926528 6120 4294967295 134512640 134716908 3221224560 3221222648 1077378266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+80.0104 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6697 0 0 0 7979 20 0 0 25 0 1 0 910690490 27926528 6120 4294967295 134512640 134716908 3221224560 3221222384 1075823576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+90.0115 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6697 0 0 0 8979 20 0 0 25 0 1 0 910690490 27926528 6120 4294967295 134512640 134716908 3221224560 3221222896 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+100.013 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6697 0 0 0 9978 21 0 0 25 0 1 0 910690490 27926528 6120 4294967295 134512640 134716908 3221224560 3221222264 1077378259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+110.014 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6697 0 0 0 10978 21 0 0 25 0 1 0 910690490 27926528 6120 4294967295 134512640 134716908 3221224560 3221222464 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6120 1111 63 0 6755 0
vsize: 27272
[startup+120.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 6791 0 0 0 11977 22 0 0 25 0 1 0 910690490 27926528 6121 4294967295 134512640 134716908 3221224560 3221222368 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6121 1111 63 0 6755 0
vsize: 27272
[startup+130.015 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 7546 0 0 0 12975 25 0 0 25 0 1 0 910690490 28172288 6122 4294967295 134512640 134716908 3221224560 3221221184 1075895394 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6878 6122 1111 63 0 6815 0
vsize: 27512
[startup+140.016 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 7780 0 0 0 13972 28 0 0 25 0 1 0 910690490 28082176 6125 4294967295 134512640 134716908 3221224560 3221221628 1074831231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6856 6125 1111 63 0 6793 0
vsize: 27424
[startup+150.017 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 8363 0 0 0 14970 31 0 0 25 0 1 0 910690490 27926528 6121 4294967295 134512640 134716908 3221224560 3221222920 1074205875 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6121 1111 63 0 6755 0
vsize: 27272
[startup+160.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 9029 0 0 0 15966 34 0 0 25 0 1 0 910690490 27926528 6121 4294967295 134512640 134716908 3221224560 3221222560 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6121 1111 63 0 6755 0
vsize: 27272
[startup+170.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 9593 0 0 0 16963 38 0 0 25 0 1 0 910690490 27926528 6122 4294967295 134512640 134716908 3221224560 3221222480 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+180.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 10195 0 0 0 17959 42 0 0 25 0 1 0 910690490 27926528 6122 4294967295 134512640 134716908 3221224560 3221222696 1077377401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+190.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 11208 0 0 0 18955 46 0 0 25 0 1 0 910690490 28200960 6126 4294967295 134512640 134716908 3221224560 3221221620 1074617711 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6885 6126 1111 63 0 6822 0
vsize: 27540
[startup+200.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 12463 0 0 0 19950 52 0 0 25 0 1 0 910690490 28086272 6123 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6857 6123 1111 63 0 6794 0
vsize: 27428
[startup+210.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 13723 0 0 0 20944 58 0 0 25 0 1 0 910690490 27926528 6122 4294967295 134512640 134716908 3221224560 3221222560 1074917320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+220.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 15842 0 0 0 21937 66 0 0 25 0 1 0 910690490 27926528 6122 4294967295 134512640 134716908 3221224560 3221222044 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+230.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 16828 0 0 0 22933 70 0 0 25 0 1 0 910690490 27926528 6122 4294967295 134512640 134716908 3221224560 3221222856 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+240.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 17488 0 0 0 23929 74 0 0 25 0 1 0 910690490 27926528 6122 4294967295 134512640 134716908 3221224560 3221222720 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6122 1111 63 0 6755 0
vsize: 27272
[startup+250.025 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 19148 0 0 0 24924 79 0 0 25 0 1 0 910690490 28299264 6149 4294967295 134512640 134716908 3221224560 3221221504 1074620038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6909 6149 1111 63 0 6846 0
vsize: 27636
[startup+260.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 21785 0 0 0 25913 90 0 0 25 0 1 0 910690490 28094464 6163 4294967295 134512640 134716908 3221224560 3221223168 134558523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6859 6163 1111 63 0 6796 0
vsize: 27436
[startup+270.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 23468 0 0 0 26906 98 0 0 25 0 1 0 910690490 28205056 6175 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6886 6175 1111 63 0 6823 0
vsize: 27544
[startup+280.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 26993 0 0 0 27897 107 0 0 25 0 1 0 910690490 28250112 6201 4294967295 134512640 134716908 3221224560 3221222568 1077380417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6897 6201 1111 63 0 6834 0
vsize: 27588
[startup+290.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 30596 0 0 0 28886 118 0 0 25 0 1 0 910690490 28274688 6207 4294967295 134512640 134716908 3221224560 3221222712 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6903 6207 1111 63 0 6840 0
vsize: 27612
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 34610 0 0 0 29876 128 0 0 25 0 1 0 910690490 28295168 6212 4294967295 134512640 134716908 3221224560 3221222568 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6908 6212 1111 63 0 6845 0
vsize: 27632
[startup+310.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 37376 0 0 0 30867 138 0 0 25 0 1 0 910690490 28368896 6230 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6926 6230 1111 63 0 6863 0
vsize: 27704
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 38892 0 0 0 31862 143 0 0 25 0 1 0 910690490 28368896 6230 4294967295 134512640 134716908 3221224560 3221222904 1074206849 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6926 6230 1111 63 0 6863 0
vsize: 27704
[startup+330.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 39566 0 0 0 32858 147 0 0 25 0 1 0 910690490 28368896 6230 4294967295 134512640 134716908 3221224560 3221222728 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6926 6230 1111 63 0 6863 0
vsize: 27704
[startup+340.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 40487 0 0 0 33854 151 0 0 25 0 1 0 910690490 28368896 6230 4294967295 134512640 134716908 3221224560 3221221680 1074866254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6926 6230 1111 63 0 6863 0
vsize: 27704
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 41496 0 0 0 34850 156 0 0 25 0 1 0 910690490 28368896 6230 4294967295 134512640 134716908 3221224560 3221222360 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6926 6230 1111 63 0 6863 0
vsize: 27704
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 44584 0 0 0 35839 167 0 0 25 0 1 0 910690490 28585984 6255 4294967295 134512640 134716908 3221224560 3221222624 1075961756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6979 6255 1111 63 0 6916 0
vsize: 27916
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 46516 0 0 0 36831 175 0 0 25 0 1 0 910690490 28516352 6267 4294967295 134512640 134716908 3221224560 3221222856 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6962 6267 1111 63 0 6899 0
vsize: 27848
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 48408 0 0 0 37818 188 0 0 25 0 1 0 910690490 28516352 6267 4294967295 134512640 134716908 3221224560 3221222480 1075799503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6962 6267 1111 63 0 6899 0
vsize: 27848
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 63612 0 0 0 38778 229 0 0 25 0 1 0 910690490 29806592 6548 4294967295 134512640 134716908 3221224560 3221222288 1075828224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7277 6548 1111 63 0 7214 0
vsize: 29108
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 80447 0 0 0 39737 270 0 0 25 0 1 0 910690490 30896128 6848 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7543 6848 1111 63 0 7480 0
vsize: 30172
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 99271 0 0 0 40693 314 0 0 25 0 1 0 910690490 32653312 7277 4294967295 134512640 134716908 3221224560 3221221904 1074839014 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7972 7277 1111 63 0 7909 0
vsize: 31888
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 117354 0 0 0 41646 362 0 0 25 0 1 0 910690490 33906688 7553 4294967295 134512640 134716908 3221224560 3221222672 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8278 7553 1111 63 0 8215 0
vsize: 33112
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 134037 0 0 0 42602 406 0 0 25 0 1 0 910690490 35659776 8011 4294967295 134512640 134716908 3221224560 3221222696 1077378337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8706 8011 1111 63 0 8643 0
vsize: 34824
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 150604 0 0 0 43560 448 0 0 25 0 1 0 910690490 37818368 8538 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9233 8538 1111 63 0 9170 0
vsize: 36932
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 154374 0 0 0 44551 458 0 0 25 0 1 0 910690490 38805504 8757 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9474 8757 1111 63 0 9411 0
vsize: 37896
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 157237 0 0 0 45544 464 0 0 25 0 1 0 910690490 38948864 8821 4294967295 134512640 134716908 3221224560 3221222608 1075963599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9509 8821 1111 63 0 9446 0
vsize: 38036
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 159760 0 0 0 46537 471 0 0 25 0 1 0 910690490 39718912 9009 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9697 9009 1111 63 0 9634 0
vsize: 38788
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 160950 0 0 0 47533 475 0 0 25 0 1 0 910690490 39542784 8965 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9654 8965 1111 63 0 9591 0
vsize: 38616
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 161889 0 0 0 48532 477 0 0 25 0 1 0 910690490 39530496 8963 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9651 8963 1111 63 0 9588 0
vsize: 38604
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 163678 0 0 0 49526 483 0 0 25 0 1 0 910690490 39456768 8945 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9633 8945 1111 63 0 9570 0
vsize: 38532
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 164971 0 0 0 50523 487 0 0 25 0 1 0 910690490 38686720 8757 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9445 8757 1111 63 0 9382 0
vsize: 37780
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 166744 0 0 0 51517 493 0 0 25 0 1 0 910690490 38535168 8720 4294967295 134512640 134716908 3221224560 3221222976 1074116520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9408 8720 1111 63 0 9345 0
vsize: 37632
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 184543 0 0 0 52475 534 0 0 25 0 1 0 910690490 39804928 9030 4294967295 134512640 134716908 3221224560 3221222592 1075088449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9718 9030 1111 63 0 9655 0
vsize: 38872
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 203498 0 0 0 53429 580 0 0 25 0 1 0 910690490 41857024 9396 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10219 9396 1111 63 0 10156 0
vsize: 40876
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 225485 0 0 0 54379 630 0 0 25 0 1 0 910690490 42602496 9689 4294967295 134512640 134716908 3221224560 3221222836 1077374498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10401 9689 1111 63 0 10338 0
vsize: 41604
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 245376 0 0 0 55330 680 0 0 25 0 1 0 910690490 45064192 10290 4294967295 134512640 134716908 3221224560 3221222816 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11002 10290 1111 63 0 10939 0
vsize: 44008
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 263747 0 0 0 56286 724 0 0 25 0 1 0 910690490 46678016 10676 4294967295 134512640 134716908 3221224560 3221221672 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11396 10676 1111 63 0 11333 0
vsize: 45584
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 281951 0 0 0 57243 768 0 0 25 0 1 0 910690490 48582656 11169 4294967295 134512640 134716908 3221224560 3221222352 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11861 11169 1111 63 0 11798 0
vsize: 47444
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 283972 0 0 0 58238 773 0 0 25 0 1 0 910690490 49225728 11325 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12018 11325 1111 63 0 11955 0
vsize: 48072
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 288785 0 0 0 59226 786 0 0 25 0 1 0 910690490 48443392 11135 4294967295 134512640 134716908 3221224560 3221222768 1073978447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11827 11135 1111 63 0 11764 0
vsize: 47308
[startup+610.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 292846 0 0 0 60216 795 0 0 25 0 1 0 910690490 49512448 11395 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12088 11395 1111 63 0 12025 0
vsize: 48352
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 296658 0 0 0 61208 804 0 0 25 0 1 0 910690490 48877568 11241 4294967295 134512640 134716908 3221224560 3221222912 1074115304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11933 11241 1111 63 0 11870 0
vsize: 47732
[startup+630.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 299774 0 0 0 62199 812 0 0 25 0 1 0 910690490 49033216 11279 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11971 11279 1111 63 0 11908 0
vsize: 47884
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 302387 0 0 0 63193 819 0 0 25 0 1 0 910690490 48791552 11220 4294967295 134512640 134716908 3221224560 3221222848 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11912 11220 1111 63 0 11849 0
vsize: 47648
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 303633 0 0 0 64190 822 0 0 25 0 1 0 910690490 51798016 11942 4294967295 134512640 134716908 3221224560 3221222560 1074918474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12646 11942 1111 63 0 12583 0
vsize: 50584
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 303633 0 0 0 65190 822 0 0 25 0 1 0 910690490 51798016 11942 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12646 11942 1111 63 0 12583 0
vsize: 50584
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 305367 0 0 0 66187 826 0 0 25 0 1 0 910690490 49922048 11496 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12188 11496 1111 63 0 12125 0
vsize: 48752
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 305490 0 0 0 67187 827 0 0 25 0 1 0 910690490 49532928 11390 4294967295 134512640 134716908 3221224560 3221222848 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12093 11390 1111 63 0 12030 0
vsize: 48372
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 307315 0 0 0 68183 831 0 0 25 0 1 0 910690490 49516544 11397 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12089 11397 1111 63 0 12026 0
vsize: 48356
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 313595 0 0 0 69167 847 0 0 25 0 1 0 910690490 49053696 11259 4294967295 134512640 134716908 3221224560 3221222960 1074118808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11976 11259 1111 63 0 11913 0
vsize: 47904
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 334659 0 0 0 70120 895 0 0 25 0 1 0 910690490 50356224 11585 4294967295 134512640 134716908 3221224560 3221222560 1074917148 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12294 11585 1111 63 0 12231 0
vsize: 49176
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 355894 0 0 0 71066 949 0 0 25 0 1 0 910690490 51765248 11949 4294967295 134512640 134716908 3221224560 3221222816 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12638 11949 1111 63 0 12575 0
vsize: 50552
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 375627 0 0 0 72016 999 0 0 25 0 1 0 910690490 53362688 12339 4294967295 134512640 134716908 3221224560 3221222816 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13028 12339 1111 63 0 12965 0
vsize: 52112
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 399228 0 0 0 72958 1058 0 0 25 0 1 0 910690490 55136256 12744 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13458 12744 1111 63 0 13395 0
vsize: 53844
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 420303 0 0 0 73910 1106 0 0 25 0 1 0 910690490 56467456 13097 4294967295 134512640 134716908 3221224560 3221222912 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13786 13097 1111 63 0 13723 0
vsize: 55144
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 440577 0 0 0 74862 1154 0 0 25 0 1 0 910690490 57946112 13455 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14147 13455 1111 63 0 14084 0
vsize: 56588
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 459184 0 0 0 75815 1202 0 0 25 0 1 0 910690490 61272064 14218 4294967295 134512640 134716908 3221224560 3221222944 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14959 14218 1111 63 0 14896 0
vsize: 59836
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 481681 0 0 0 76765 1252 0 0 25 0 1 0 910690490 62791680 14593 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15330 14593 1111 63 0 15267 0
vsize: 61320
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 488122 0 0 0 77747 1270 0 0 25 0 1 0 910690490 64995328 15116 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15868 15116 1111 63 0 15805 0
vsize: 63472
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 490307 0 0 0 78743 1275 0 0 25 0 1 0 910690490 64016384 14892 4294967295 134512640 134716908 3221224560 3221222448 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15629 14892 1111 63 0 15566 0
vsize: 62516
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 497725 0 0 0 79723 1295 0 0 25 0 1 0 910690490 63844352 14850 4294967295 134512640 134716908 3221224560 3221222912 1074142734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15587 14850 1111 63 0 15524 0
vsize: 62348
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 521487 0 0 0 80665 1353 0 0 25 0 1 0 910690490 65429504 15237 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15974 15237 1111 63 0 15911 0
vsize: 63896
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 545080 0 0 0 81609 1409 0 0 25 0 1 0 910690490 67272704 15666 4294967295 134512640 134716908 3221224560 3221222960 1074118820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16392 15658 1111 63 0 16329 0
vsize: 65696
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 566513 0 0 0 82561 1458 0 0 25 0 1 0 910690490 68939776 16076 4294967295 134512640 134716908 3221224560 3221222464 1075460134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16831 16076 1111 63 0 16768 0
vsize: 67324
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 590283 0 0 0 83504 1515 0 0 25 0 1 0 910690490 71700480 16488 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17505 16490 1111 63 0 17442 0
vsize: 70020
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 614134 0 0 0 84449 1570 0 0 25 0 1 0 910690490 72101888 16845 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17603 16845 1111 63 0 17540 0
vsize: 70412
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 633031 0 0 0 85404 1616 0 0 25 0 1 0 910690490 73900032 17313 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 17313 1111 63 0 17979 0
vsize: 72168
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 648716 0 0 0 86366 1655 0 0 25 0 1 0 910690490 74620928 17455 4294967295 134512640 134716908 3221224560 3221222520 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18218 17455 1111 63 0 18155 0
vsize: 72872
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 672810 0 0 0 87309 1712 0 0 25 0 1 0 910690490 76165120 17836 4294967295 134512640 134716908 3221224560 3221222288 1075828490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18595 17836 1111 63 0 18532 0
vsize: 74380
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 695212 0 0 0 88256 1765 0 0 25 0 1 0 910690490 77717504 18216 4294967295 134512640 134716908 3221224560 3221222288 1075828451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18974 18216 1111 63 0 18911 0
vsize: 75896
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 709320 0 0 0 89224 1798 0 0 25 0 1 0 910690490 79675392 18717 4294967295 134512640 134716908 3221224560 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19452 18717 1111 63 0 19389 0
vsize: 77808
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 710151 0 0 0 90221 1801 0 0 25 0 1 0 910690490 82022400 19294 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20025 19294 1111 63 0 19962 0
vsize: 80100
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 710151 0 0 0 91221 1801 0 0 25 0 1 0 910690490 82022400 19294 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20025 19294 1111 63 0 19962 0
vsize: 80100
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 713611 0 0 0 92213 1809 0 0 25 0 1 0 910690490 79396864 18659 4294967295 134512640 134716908 3221224560 3221223364 134622499 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19384 18659 1111 63 0 19321 0
vsize: 77536
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 717199 0 0 0 93204 1818 0 0 25 0 1 0 910690490 79069184 18579 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19304 18579 1111 63 0 19241 0
vsize: 77216
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 718818 0 0 0 94201 1822 0 0 25 0 1 0 910690490 79065088 18578 4294967295 134512640 134716908 3221224560 3221222396 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19303 18578 1111 63 0 19240 0
vsize: 77212
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 723109 0 0 0 95191 1832 0 0 25 0 1 0 910690490 80605184 18934 4294967295 134512640 134716908 3221224560 3221222560 1074919740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19679 18934 1111 63 0 19616 0
vsize: 78716
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 725850 0 0 0 96185 1839 0 0 25 0 1 0 910690490 79482880 18680 4294967295 134512640 134716908 3221224560 3221222304 1075640215 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19405 18680 1111 63 0 19342 0
vsize: 77620
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 743844 0 0 0 97142 1882 0 0 25 0 1 0 910690490 80592896 18947 4294967295 134512640 134716908 3221224560 3221222288 1075635922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19676 18947 1111 63 0 19613 0
vsize: 78704
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 766727 0 0 0 98088 1936 0 0 25 0 1 0 910690490 84008960 19319 4294967295 134512640 134716908 3221224560 3221221548 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20510 19319 1111 63 0 20447 0
vsize: 82040
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 786026 0 0 0 99043 1982 0 0 25 0 1 0 910690490 84537344 19654 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20875 19657 1111 63 0 20812 0
vsize: 82556
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 805881 0 0 0 99993 2032 0 0 25 0 1 0 910690490 84832256 19986 4294967295 134512640 134716908 3221224560 3221223232 134652581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20711 19986 1111 63 0 20648 0
vsize: 82844
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 827385 0 0 0 100942 2084 0 0 25 0 1 0 910690490 86163456 20311 4294967295 134512640 134716908 3221224560 3221222872 1074138144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21036 20311 1111 63 0 20973 0
vsize: 84144
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 848719 0 0 0 101889 2137 0 0 25 0 1 0 910690490 90431488 21107 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22078 21107 1111 63 0 22015 0
vsize: 88312
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 865815 0 0 0 102848 2178 0 0 25 0 1 0 910690490 93552640 21659 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22722 21657 1111 63 0 22659 0
vsize: 91360
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 886573 0 0 0 103800 2227 0 0 25 0 1 0 910690490 94511104 22020 4294967295 134512640 134716908 3221224560 3221223056 134652402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23074 22020 1111 63 0 23011 0
vsize: 92296
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 900115 0 0 0 104769 2258 0 0 25 0 1 0 910690490 97165312 22648 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23722 22648 1111 63 0 23659 0
vsize: 94888
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 901010 0 0 0 105767 2260 0 0 25 0 1 0 910690490 96243712 22436 4294967295 134512640 134716908 3221224560 3221223272 134543165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23497 22436 1111 63 0 23434 0
vsize: 93988
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 902235 0 0 0 106764 2263 0 0 25 0 1 0 910690490 96296960 22419 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23510 22419 1111 63 0 23447 0
vsize: 94040
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 903642 0 0 0 107762 2266 0 0 25 0 1 0 910690490 96972800 22614 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23675 22614 1111 63 0 23612 0
vsize: 94700
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 904780 0 0 0 108759 2269 0 0 25 0 1 0 910690490 97234944 22661 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23739 22661 1111 63 0 23676 0
vsize: 94956
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 906633 0 0 0 109755 2273 0 0 25 0 1 0 910690490 96022528 22382 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23443 22382 1111 63 0 23380 0
vsize: 93772
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 910455 0 0 0 110746 2283 0 0 25 0 1 0 910690490 97239040 22679 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23740 22679 1111 63 0 23677 0
vsize: 94960
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 911637 0 0 0 111744 2285 0 0 25 0 1 0 910690490 97398784 22705 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23779 22705 1111 63 0 23716 0
vsize: 95116
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 912434 0 0 0 112742 2288 0 0 25 0 1 0 910690490 96321536 22455 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23516 22455 1111 63 0 23453 0
vsize: 94064
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 913893 0 0 0 113739 2291 0 0 25 0 1 0 910690490 97431552 22710 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23787 22710 1111 63 0 23724 0
vsize: 95148
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 922515 0 0 0 114718 2312 0 0 25 0 1 0 910690490 96448512 22486 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23547 22486 1111 63 0 23484 0
vsize: 94188
[startup+1174.77 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12691
Raw data (stat): 12691 (bsolo_lpr_cuts-) R 12690 25568 25567 0 -1 0 922515 0 0 0 114718 2312 0 0 25 0 1 0 910690490 96448512 22486 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23547 22486 1111 63 0 23484 0
vsize: 0

Child status: 0
Real time (s): 1174.77
CPU time (s): 1175.05
CPU user time (s): 1151.65
CPU system time (s): 23.3944
CPU usage (%): 100.024
Max. virtual memory (Kb): 95148
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####