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-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb
MD5SUM	de6e9dcd85d0fedc70e76c82543d6a33
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	11514
Biggest coefficient in the objective function	2949120
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	462466666
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	3870720
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	580921206
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	11514
Total number of constraints	1050
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1050
Minimum length of a constraint	11
Maximum length of a constraint	11514
Trace number 41013

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 04:00:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29046 boxname=wulflinc1 idbench=830 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  de6e9dcd85d0fedc70e76c82543d6a33  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fit1d.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-fit1d.opb
IDLAUNCH: 29046
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        843840 kB
Buffers:         22696 kB
Cached:         143592 kB
SwapCached:       1128 kB
Active:          28276 kB
Inactive:       140172 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        843588 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            16640 kB
Committed_AS:    92708 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:19:38 (client local time) WITH STATUS 0 IN 1175.27 SECONDS
stats: 29046 7 1175.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11514 variables and 1051 constraints.
c After prepocess the problem consists of 11512 variables and 1050 constraints.
c preprocess terminated 177.841 s
c Initial Lower Bound: -30315768
c Lower Bound Elapsed time: 37.835
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.23 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.74 0.88 0.88 1/56 29848
Raw data (stat): 29848 (runsolver) R 29847 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850368843 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+10.0007 s]
Raw data (loadavg): 0.78 0.88 0.88 2/55 29900
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 7133 0 0 0 978 17 0 0 25 0 1 0 850368843 42184704 7053 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10299 7053 1111 63 0 10236 0
vsize: 41196
[startup+20.0016 s]
Raw data (loadavg): 0.81 0.88 0.88 2/55 29900
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 14221 0 0 0 1964 31 0 0 25 0 1 0 850368843 71159808 14141 4294967295 134512640 134716908 3221224560 3221222836 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17373 14141 1111 63 0 17310 0
vsize: 69492
[startup+30.0014 s]
Raw data (loadavg): 0.84 0.89 0.88 2/55 29900
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 14785 0 0 0 2962 33 0 0 25 0 1 0 850368843 73670656 14697 4294967295 134512640 134716908 3221224560 3221221100 1077090821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17986 14697 1111 63 0 17923 0
vsize: 71944
[startup+40.0011 s]
Raw data (loadavg): 0.86 0.89 0.88 2/55 29900
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 14972 0 0 0 3960 34 0 0 25 0 1 0 850368843 74407936 14876 4294967295 134512640 134716908 3221224560 3221222836 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18166 14876 1111 63 0 18103 0
vsize: 72664
[startup+50.0009 s]
Raw data (loadavg): 0.88 0.89 0.88 2/55 29900
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 15137 0 0 0 4960 34 0 0 25 0 1 0 850368843 75145216 15033 4294967295 134512640 134716908 3221224560 3221223056 134539144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18346 15033 1111 63 0 18283 0
vsize: 73384
[startup+60.0017 s]
Raw data (loadavg): 0.90 0.90 0.89 2/55 29902
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 15330 0 0 0 5959 35 0 0 25 0 1 0 850368843 76079104 15219 4294967295 134512640 134716908 3221224560 3221222836 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18574 15219 1111 63 0 18511 0
vsize: 74296
[startup+70.0025 s]
Raw data (loadavg): 0.92 0.90 0.89 2/55 29904
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 15569 0 0 0 6958 36 0 0 25 0 1 0 850368843 77066240 15451 4294967295 134512640 134716908 3221224560 3221223056 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18815 15451 1111 63 0 18752 0
vsize: 75260
[startup+80.0022 s]
Raw data (loadavg): 0.93 0.90 0.89 2/55 29904
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 15571 0 0 0 7958 36 0 0 25 0 1 0 850368843 77066240 15453 4294967295 134512640 134716908 3221224560 3221222836 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18815 15453 1111 63 0 18752 0
vsize: 75260
[startup+90.0021 s]
Raw data (loadavg): 0.94 0.90 0.89 2/55 29904
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 15814 0 0 0 8957 37 0 0 25 0 1 0 850368843 78200832 15690 4294967295 134512640 134716908 3221224560 3221222836 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19092 15690 1111 63 0 19029 0
vsize: 76368
[startup+100.002 s]
Raw data (loadavg): 0.95 0.91 0.89 2/55 29904
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 15969 0 0 0 9957 37 0 0 25 0 1 0 850368843 78897152 15838 4294967295 134512640 134716908 3221224560 3221222836 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19262 15838 1111 63 0 19199 0
vsize: 77048
[startup+110.003 s]
Raw data (loadavg): 0.96 0.91 0.89 2/55 29904
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 16061 0 0 0 10957 37 0 0 25 0 1 0 850368843 79384576 15928 4294967295 134512640 134716908 3221224560 3221222836 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19381 15928 1111 63 0 19318 0
vsize: 77524
[startup+120.003 s]
Raw data (loadavg): 1.12 0.95 0.90 5/69 29921
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 16322 0 0 0 11955 38 0 0 25 0 1 0 850368843 80510976 16182 4294967295 134512640 134716908 3221224560 3221222836 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19656 16182 1111 63 0 19593 0
vsize: 78624
[startup+130.003 s]
Raw data (loadavg): 1.56 1.05 0.93 5/69 29921
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 16534 0 0 0 12949 39 0 0 25 0 1 0 850368843 81440768 16386 4294967295 134512640 134716908 3221224560 3221222836 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19883 16386 1111 63 0 19820 0
vsize: 79532
[startup+140.003 s]
Raw data (loadavg): 1.71 1.09 0.95 2/59 30147
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 16801 0 0 0 13939 42 0 0 25 0 1 0 850368843 82685952 16645 4294967295 134512640 134716908 3221224560 3221222220 1077244344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20187 16645 1111 63 0 20124 0
vsize: 80748
[startup+150.003 s]
Raw data (loadavg): 1.67 1.11 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 19970 0 0 0 14933 49 0 0 25 0 1 0 850368843 78045184 17858 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19054 17858 1111 63 0 18991 0
vsize: 76216
[startup+160.004 s]
Raw data (loadavg): 1.57 1.10 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 95829 0 0 0 15780 202 0 0 25 0 1 0 850368843 78045184 17858 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19054 17858 1111 63 0 18991 0
vsize: 76216
[startup+170.003 s]
Raw data (loadavg): 1.48 1.10 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 210678 0 0 0 16572 410 0 0 25 0 1 0 850368843 78434304 17959 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19149 17959 1111 63 0 19086 0
vsize: 76596
[startup+180.003 s]
Raw data (loadavg): 1.41 1.09 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 218826 0 0 0 17552 430 0 0 25 0 1 0 850368843 95207424 21974 4294967295 134512640 134716908 3221224560 3221222112 1075818352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23244 21974 1111 63 0 23181 0
vsize: 92976
[startup+190.003 s]
Raw data (loadavg): 1.34 1.09 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 220700 0 0 0 18548 433 0 0 25 0 1 0 850368843 95002624 22145 4294967295 134512640 134716908 3221224560 3221220332 1074787819 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23194 22145 1111 63 0 23131 0
vsize: 92776
[startup+200.003 s]
Raw data (loadavg): 1.29 1.09 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 220700 0 0 0 19548 433 0 0 25 0 1 0 850368843 95002624 22145 4294967295 134512640 134716908 3221224560 3221220428 1074860659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23194 22145 1111 63 0 23131 0
vsize: 92776
[startup+210.004 s]
Raw data (loadavg): 1.25 1.08 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 220700 0 0 0 20549 433 0 0 25 0 1 0 850368843 95002624 22145 4294967295 134512640 134716908 3221224560 3221220332 1074787813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23194 22145 1111 63 0 23131 0
vsize: 92776
[startup+220.004 s]
Raw data (loadavg): 1.21 1.08 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223029 0 0 0 21543 438 0 0 25 0 1 0 850368843 90415104 21044 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21044 1111 63 0 22011 0
vsize: 88296
[startup+230.004 s]
Raw data (loadavg): 1.17 1.08 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223029 0 0 0 22543 439 0 0 25 0 1 0 850368843 90415104 21044 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21044 1111 63 0 22011 0
vsize: 88296
[startup+240.004 s]
Raw data (loadavg): 1.15 1.08 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223031 0 0 0 23543 439 0 0 25 0 1 0 850368843 90415104 21046 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21046 1111 63 0 22011 0
vsize: 88296
[startup+250.004 s]
Raw data (loadavg): 1.12 1.07 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223033 0 0 0 24543 439 0 0 25 0 1 0 850368843 90415104 21048 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21048 1111 63 0 22011 0
vsize: 88296
[startup+260.004 s]
Raw data (loadavg): 1.18 1.09 0.96 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223035 0 0 0 25543 439 0 0 25 0 1 0 850368843 90415104 21050 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21050 1111 63 0 22011 0
vsize: 88296
[startup+270.004 s]
Raw data (loadavg): 1.23 1.10 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223037 0 0 0 26543 439 0 0 25 0 1 0 850368843 90415104 21052 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21052 1111 63 0 22011 0
vsize: 88296
[startup+280.004 s]
Raw data (loadavg): 1.19 1.10 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223039 0 0 0 27543 440 0 0 25 0 1 0 850368843 90415104 21054 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21054 1111 63 0 22011 0
vsize: 88296
[startup+290.005 s]
Raw data (loadavg): 1.16 1.09 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 28542 441 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+300.005 s]
Raw data (loadavg): 1.14 1.09 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 29542 441 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+310.005 s]
Raw data (loadavg): 1.12 1.08 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 30542 442 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+320.028 s]
Raw data (loadavg): 1.10 1.08 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 31544 442 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+330.028 s]
Raw data (loadavg): 1.08 1.08 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 32543 443 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+340.028 s]
Raw data (loadavg): 1.07 1.08 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 33543 443 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+350.027 s]
Raw data (loadavg): 1.06 1.07 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 34543 444 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+360.028 s]
Raw data (loadavg): 1.05 1.07 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 35542 444 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+370.028 s]
Raw data (loadavg): 1.04 1.07 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 36542 444 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+380.028 s]
Raw data (loadavg): 1.03 1.06 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 37542 445 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+390.029 s]
Raw data (loadavg): 1.03 1.06 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 38542 445 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+400.028 s]
Raw data (loadavg): 1.02 1.06 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 39542 446 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+410.029 s]
Raw data (loadavg): 1.02 1.06 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 40542 446 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+420.029 s]
Raw data (loadavg): 1.02 1.05 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 41541 446 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+430.029 s]
Raw data (loadavg): 1.01 1.05 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223042 0 0 0 42541 447 0 0 25 0 1 0 850368843 90415104 21057 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21057 1111 63 0 22011 0
vsize: 88296
[startup+440.029 s]
Raw data (loadavg): 1.01 1.05 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223044 0 0 0 43541 447 0 0 25 0 1 0 850368843 90415104 21059 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21059 1111 63 0 22011 0
vsize: 88296
[startup+450.028 s]
Raw data (loadavg): 1.01 1.05 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223046 0 0 0 44541 448 0 0 25 0 1 0 850368843 90415104 21061 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21061 1111 63 0 22011 0
vsize: 88296
[startup+460.266 s]
Raw data (loadavg): 1.01 1.05 0.97 2/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223062 0 0 0 45564 448 0 0 25 0 1 0 850368843 90550272 21077 4294967295 134512640 134716908 3221224560 3221223116 134536788 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22107 21077 1111 63 0 22044 0
vsize: 88428
[startup+470.266 s]
Raw data (loadavg): 1.00 1.04 0.97 3/55 30223
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223417 0 0 0 46563 450 0 0 25 0 1 0 850368843 92041216 21432 4294967295 134512640 134716908 3221224560 3221223188 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22471 21432 1111 63 0 22408 0
vsize: 89884
[startup+480.266 s]
Raw data (loadavg): 1.00 1.04 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 47561 451 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+490.265 s]
Raw data (loadavg): 1.00 1.04 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 48561 451 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+500.266 s]
Raw data (loadavg): 1.00 1.04 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 49561 451 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+510.266 s]
Raw data (loadavg): 1.00 1.04 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 50561 452 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+520.266 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 51561 452 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+530.266 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 52561 452 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223172 134549501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+540.265 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 53561 452 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+550.265 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 54561 452 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+560.265 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 55561 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+570.266 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 56561 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+580.265 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 57562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+590.265 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 58562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+600.265 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 59562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+610.265 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 60562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+620.265 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 61562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+630.265 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 62562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+640.265 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 63562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+650.265 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 64562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+660.265 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 65562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+670.266 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 66562 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+680.266 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 67563 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+690.266 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 68563 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+700.266 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 69563 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+710.267 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 70563 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+720.267 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 71563 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+730.266 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 72563 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+740.268 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 73564 453 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+750.268 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 74564 454 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+760.269 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 75564 454 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+770.269 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 76564 454 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+780.268 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 77564 454 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+790.268 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 78564 454 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+800.268 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 79564 454 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+810.269 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223510 0 0 0 80564 454 0 0 25 0 1 0 850368843 92205056 21500 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21500 1111 63 0 22448 0
vsize: 90044
[startup+820.269 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223563 0 0 0 81564 454 0 0 25 0 1 0 850368843 92475392 21553 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21553 1111 63 0 22514 0
vsize: 90308
[startup+830.269 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223563 0 0 0 82564 454 0 0 25 0 1 0 850368843 92475392 21553 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21553 1111 63 0 22514 0
vsize: 90308
[startup+840.269 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223563 0 0 0 83564 454 0 0 25 0 1 0 850368843 92475392 21553 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21553 1111 63 0 22514 0
vsize: 90308
[startup+850.291 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223563 0 0 0 84567 454 0 0 25 0 1 0 850368843 92475392 21553 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21553 1111 63 0 22514 0
vsize: 90308
[startup+860.292 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223563 0 0 0 85567 454 0 0 25 0 1 0 850368843 92475392 21553 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21553 1111 63 0 22514 0
vsize: 90308
[startup+870.292 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223563 0 0 0 86567 455 0 0 25 0 1 0 850368843 92475392 21553 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21553 1111 63 0 22514 0
vsize: 90308
[startup+880.291 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223563 0 0 0 87567 455 0 0 25 0 1 0 850368843 92475392 21553 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21553 1111 63 0 22514 0
vsize: 90308
[startup+890.291 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223564 0 0 0 88567 455 0 0 25 0 1 0 850368843 92475392 21554 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21554 1111 63 0 22514 0
vsize: 90308
[startup+900.291 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223567 0 0 0 89567 455 0 0 25 0 1 0 850368843 92475392 21557 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21557 1111 63 0 22514 0
vsize: 90308
[startup+910.292 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223568 0 0 0 90568 455 0 0 25 0 1 0 850368843 92475392 21558 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21558 1111 63 0 22514 0
vsize: 90308
[startup+920.301 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223568 0 0 0 91569 455 0 0 25 0 1 0 850368843 92475392 21558 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21558 1111 63 0 22514 0
vsize: 90308
[startup+930.301 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223568 0 0 0 92569 455 0 0 25 0 1 0 850368843 92475392 21558 4294967295 134512640 134716908 3221224560 3221223168 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21558 1111 63 0 22514 0
vsize: 90308
[startup+940.301 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223568 0 0 0 93569 455 0 0 25 0 1 0 850368843 92475392 21558 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21558 1111 63 0 22514 0
vsize: 90308
[startup+950.301 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223568 0 0 0 94569 455 0 0 25 0 1 0 850368843 92475392 21558 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21558 1111 63 0 22514 0
vsize: 90308
[startup+960.301 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223629 0 0 0 95569 455 0 0 25 0 1 0 850368843 92573696 21590 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22601 21590 1111 63 0 22538 0
vsize: 90404
[startup+970.301 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223658 0 0 0 96569 455 0 0 25 0 1 0 850368843 92573696 21590 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22601 21590 1111 63 0 22538 0
vsize: 90404
[startup+980.301 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223687 0 0 0 97569 455 0 0 25 0 1 0 850368843 92692480 21619 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22630 21619 1111 63 0 22567 0
vsize: 90520
[startup+990.302 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223687 0 0 0 98569 455 0 0 25 0 1 0 850368843 92692480 21619 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22630 21619 1111 63 0 22567 0
vsize: 90520
[startup+1000.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223716 0 0 0 99569 456 0 0 25 0 1 0 850368843 92676096 21615 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22626 21615 1111 63 0 22563 0
vsize: 90504
[startup+1010.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223716 0 0 0 100569 456 0 0 25 0 1 0 850368843 92676096 21615 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22626 21615 1111 63 0 22563 0
vsize: 90504
[startup+1020.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 101569 456 0 0 25 0 1 0 850368843 92811264 21619 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22659 21619 1111 63 0 22596 0
vsize: 90636
[startup+1030.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 102570 456 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1040.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 103570 456 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1050.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 104570 456 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1060.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 105570 456 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1070.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 106570 456 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1080.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 107570 456 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1090.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 108570 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1100.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 109570 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1110.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 110570 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1120.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 111571 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1130.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 112571 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1140.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 113571 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1150.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 114571 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1160.3 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 115571 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1170.31 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 116571 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 90392
[startup+1175.37 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 30225
Raw data (stat): 29848 (bsolo_lpr_cuts-) R 29847 8378 8377 0 -1 0 223720 0 0 0 116571 457 0 0 25 0 1 0 850368843 92561408 21587 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21587 1111 63 0 22535 0
vsize: 0

Child status: 0
Real time (s): 1175.37
CPU time (s): 1175.27
CPU user time (s): 1170.66
CPU system time (s): 4.6163
CPU usage (%): 99.9921
Max. virtual memory (Kb): 92976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####