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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos12.opb
MD5SUM	8be56d63285d7b46f1a8393a6f228d5d
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5243135
Optimality of the best value was proved	NO
Number of terms in the objective function	8960
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	469761600
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	469761600
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.45
Number of variables	16548
Total number of constraints	11747
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	3136
Number of constraints which are nor clauses,nor cardinality constraints	8611
Minimum length of a constraint	1
Maximum length of a constraint	560
Trace number 41660

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 19:07:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29720 boxname=wulflinc6 idbench=1504 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8be56d63285d7b46f1a8393a6f228d5d  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos12.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-neos12.opb
IDLAUNCH: 29720
/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:        848912 kB
Buffers:         16248 kB
Cached:         148132 kB
SwapCached:        928 kB
Active:          32352 kB
Inactive:       134128 kB
HighTotal:      131008 kB
HighFree:        20636 kB
LowTotal:       903652 kB
LowFree:        828276 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13556 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 19:26:46 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 29720 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 16548 variables and 9186 constraints.
c After prepocess the problem consists of 15827 variables and 9718 constraints.
c preprocess terminated 151.291 s
c Initial Lower Bound: 1205
c Lower Bound Elapsed time: 478.388
c Not 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.93 0.98 0.94 2/54 15632
Raw data (stat): 15632 (runsolver) R 15631 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912668433 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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+9.99983 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 11022 0 0 0 971 26 0 0 25 0 1 0 912668433 58175488 10942 4294967295 134512640 134716908 3221224560 3221222844 1077049382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14203 10942 1111 63 0 14140 0
vsize: 56812
[startup+20.0007 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 33268 0 0 0 1927 70 0 0 25 0 1 0 912668433 149409792 33188 4294967295 134512640 134716908 3221224560 3221222884 1077314202 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36477 33188 1111 63 0 36414 0
vsize: 145908
[startup+30.0001 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 36899 0 0 0 2917 81 0 0 25 0 1 0 912668433 154148864 36665 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37634 36665 1111 63 0 37571 0
vsize: 150536
[startup+39.9993 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 40602 0 0 0 3907 90 0 0 25 0 1 0 912668433 167653376 39978 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40931 39978 1111 63 0 40868 0
vsize: 163724
[startup+50.003 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 62732 0 0 0 4853 145 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 65357 0 0 0 5845 153 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 68525 0 0 0 6836 162 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 71726 0 0 0 7827 171 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 74927 0 0 0 8818 180 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 74993 0 0 0 9818 181 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223232 134627141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 74993 0 0 0 10818 181 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223220 134627154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 74993 0 0 0 11818 181 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 74993 0 0 0 12818 182 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 74993 0 0 0 13817 182 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+150.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 74993 0 0 0 14817 183 0 0 25 0 1 0 912668433 200093696 47898 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47898 1111 63 0 48788 0
vsize: 195404
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 75015 0 0 0 15817 183 0 0 25 0 1 0 912668433 200093696 47920 4294967295 134512640 134716908 3221224560 3221222248 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47920 1111 63 0 48788 0
vsize: 195404
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 75015 0 0 0 16817 183 0 0 25 0 1 0 912668433 200093696 47920 4294967295 134512640 134716908 3221224560 3221222624 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47920 1111 63 0 48788 0
vsize: 195404
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 75015 0 0 0 17817 183 0 0 25 0 1 0 912668433 200093696 47920 4294967295 134512640 134716908 3221224560 3221222752 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47920 1111 63 0 48788 0
vsize: 195404
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 75015 0 0 0 18817 184 0 0 25 0 1 0 912668433 200093696 47920 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47920 1111 63 0 48788 0
vsize: 195404
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 75015 0 0 0 19817 184 0 0 25 0 1 0 912668433 200093696 47920 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47920 1111 63 0 48788 0
vsize: 195404
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 75015 0 0 0 20816 184 0 0 25 0 1 0 912668433 200093696 47920 4294967295 134512640 134716908 3221224560 3221222480 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47920 1111 63 0 48788 0
vsize: 195404
[startup+220.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 75015 0 0 0 21816 184 0 0 25 0 1 0 912668433 200093696 47920 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48851 47920 1111 63 0 48788 0
vsize: 195404
[startup+230.004 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77136 0 0 0 22811 190 0 0 25 0 1 0 912668433 203804672 48669 4294967295 134512640 134716908 3221224560 3221220672 1074815366 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49757 48669 1111 63 0 49694 0
vsize: 199028
[startup+240.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77363 0 0 0 23810 191 0 0 25 0 1 0 912668433 204587008 48896 4294967295 134512640 134716908 3221224560 3221220436 1074786582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49948 48896 1111 63 0 49885 0
vsize: 199792
[startup+250.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77391 0 0 0 24810 191 0 0 25 0 1 0 912668433 204587008 48924 4294967295 134512640 134716908 3221224560 3221220412 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49948 48924 1111 63 0 49885 0
vsize: 199792
[startup+260.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77400 0 0 0 25810 191 0 0 25 0 1 0 912668433 204587008 48933 4294967295 134512640 134716908 3221224560 3221220508 1074873347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49948 48933 1111 63 0 49885 0
vsize: 199792
[startup+270.003 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77404 0 0 0 26810 192 0 0 25 0 1 0 912668433 204587008 48937 4294967295 134512640 134716908 3221224560 3221220508 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49948 48937 1111 63 0 49885 0
vsize: 199792
[startup+280.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77406 0 0 0 27810 192 0 0 25 0 1 0 912668433 204587008 48939 4294967295 134512640 134716908 3221224560 3221220508 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49948 48939 1111 63 0 49885 0
vsize: 199792
[startup+290.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77556 0 0 0 28810 193 0 0 25 0 1 0 912668433 205942784 49089 4294967295 134512640 134716908 3221224560 3221220508 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50279 49089 1111 63 0 50216 0
vsize: 201116
[startup+300.002 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77558 0 0 0 29809 193 0 0 25 0 1 0 912668433 205942784 49091 4294967295 134512640 134716908 3221224560 3221220684 1075116560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50279 49091 1111 63 0 50216 0
vsize: 201116
[startup+310.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 30809 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220624 1074883551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+320.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 31809 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220508 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+330.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 32809 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220508 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+340.001 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 33810 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+350 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 34810 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220928 1075602856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+360 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 35810 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220692 1075114950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+369.999 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 36810 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220736 1074961157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+379.999 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 37811 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220736 1074961301 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+389.998 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 38811 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220508 1074873527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+399.998 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 39811 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220608 1074969474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+409.998 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77655 0 0 0 40812 194 0 0 25 0 1 0 912668433 204587008 48858 4294967295 134512640 134716908 3221224560 3221220704 1075115715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49948 48858 1111 63 0 49885 0
vsize: 199792
[startup+419.998 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77682 0 0 0 41812 194 0 0 25 0 1 0 912668433 204722176 48885 4294967295 134512640 134716908 3221224560 3221220528 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48885 1111 63 0 49918 0
vsize: 199924
[startup+429.998 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77683 0 0 0 42812 194 0 0 25 0 1 0 912668433 204722176 48886 4294967295 134512640 134716908 3221224560 3221220508 1074873347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48886 1111 63 0 49918 0
vsize: 199924
[startup+439.998 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77683 0 0 0 43812 194 0 0 25 0 1 0 912668433 204722176 48886 4294967295 134512640 134716908 3221224560 3221220404 1074786537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48886 1111 63 0 49918 0
vsize: 199924
[startup+449.997 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77683 0 0 0 44813 194 0 0 25 0 1 0 912668433 204722176 48886 4294967295 134512640 134716908 3221224560 3221220476 1074788930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48886 1111 63 0 49918 0
vsize: 199924
[startup+459.996 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77683 0 0 0 45813 194 0 0 25 0 1 0 912668433 204722176 48886 4294967295 134512640 134716908 3221224560 3221220508 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48886 1111 63 0 49918 0
vsize: 199924
[startup+469.997 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 46813 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221220432 1074872727 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+479.997 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 47814 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221220348 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+489.996 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 48814 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221220692 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+499.997 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 49814 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221220640 1074882614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+509.996 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 50815 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221221392 1075960434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+519.995 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 51815 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221220832 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+529.995 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 52815 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221220624 1074794664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+539.995 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 53815 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221221008 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+549.994 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 54816 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221220476 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+559.994 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 77684 0 0 0 55816 194 0 0 25 0 1 0 912668433 204722176 48887 4294967295 134512640 134716908 3221224560 3221220348 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49981 48887 1111 63 0 49918 0
vsize: 199924
[startup+569.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78919 0 0 0 56813 197 0 0 25 0 1 0 912668433 200847360 48233 4294967295 134512640 134716908 3221224560 3221222976 134646788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48233 1111 63 0 48972 0
vsize: 196140
[startup+579.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78919 0 0 0 57813 197 0 0 25 0 1 0 912668433 200847360 48233 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48233 1111 63 0 48972 0
vsize: 196140
[startup+589.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78919 0 0 0 58813 198 0 0 25 0 1 0 912668433 200847360 48233 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48233 1111 63 0 48972 0
vsize: 196140
[startup+599.991 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78919 0 0 0 59813 198 0 0 25 0 1 0 912668433 200847360 48233 4294967295 134512640 134716908 3221224560 3221222960 134646775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48233 1111 63 0 48972 0
vsize: 196140
[startup+609.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78919 0 0 0 60813 198 0 0 25 0 1 0 912668433 200847360 48233 4294967295 134512640 134716908 3221224560 3221222784 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48233 1111 63 0 48972 0
vsize: 196140
[startup+619.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78919 0 0 0 61813 199 0 0 25 0 1 0 912668433 200847360 48233 4294967295 134512640 134716908 3221224560 3221222960 134649143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48233 1111 63 0 48972 0
vsize: 196140
[startup+629.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78919 0 0 0 62813 199 0 0 25 0 1 0 912668433 200847360 48233 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49035 48233 1111 63 0 48972 0
vsize: 196140
[startup+639.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 63812 200 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+649.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 64812 201 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+659.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 65812 201 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+669.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 66813 201 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+679.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 67813 201 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+689.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 68813 201 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+699.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 69813 201 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+709.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 70813 201 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+719.991 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 71813 201 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+729.991 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 72813 202 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+739.991 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78920 0 0 0 73813 202 0 0 25 0 1 0 912668433 200847360 48234 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48234 1111 63 0 48972 0
vsize: 196140
[startup+749.991 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 74814 202 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+759.991 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 75814 202 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223340 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+769.991 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 76814 202 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+779.991 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 77814 202 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+789.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 78815 202 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+799.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 79815 202 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223324 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+809.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 80815 202 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+819.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 81816 203 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+829.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 82816 203 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+839.992 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 83816 203 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+849.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 84816 203 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+859.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 85816 204 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+869.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 86816 204 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+879.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 87817 204 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+889.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 88817 204 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+899.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 89817 204 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+909.994 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 90817 204 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+919.994 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 91817 204 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+929.993 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 92817 204 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+939.994 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 93817 205 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+949.994 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 94817 205 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+959.994 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 95818 205 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+969.995 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 96818 206 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+979.995 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 97818 206 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223312 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+989.994 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 98818 206 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+999.995 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 99818 206 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 100819 206 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 101819 206 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 102819 206 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 103819 206 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 104819 207 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 105820 207 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 106820 207 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 107820 207 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 108820 207 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 109820 208 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 110820 208 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 111821 208 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 112821 208 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 113821 208 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 114821 209 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 115821 209 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 116822 209 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 196140
[startup+1174.78 s]
Raw data (loadavg): 0.99 0.98 0.94 1/53 15632
Raw data (stat): 15632 (bsolo_lpr_cuts-) R 15631 25568 25567 0 -1 0 78922 0 0 0 116822 209 0 0 25 0 1 0 912668433 200847360 48236 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49035 48236 1111 63 0 48972 0
vsize: 0

Child status: 0
Real time (s): 1174.78
CPU time (s): 1175.1
CPU user time (s): 1172.91
CPU system time (s): 2.18367
CPU usage (%): 100.027
Max. virtual memory (Kb): 201116
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####