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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-3.opb
MD5SUM	3d08363a486acbc90a149ca8c58297b8
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	6352
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	6352
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	6352
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	6352
Total number of constraints	13473
Number of constraints which are clauses	13473
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3
Trace number 40760

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 21:36:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28822 boxname=wulflinc5 idbench=208 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  3d08363a486acbc90a149ca8c58297b8  /oldhome/oroussel/tmp/wulflinc5/normalized-par32-3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-par32-3.opb
IDLAUNCH: 28822
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        836592 kB
Buffers:         29180 kB
Cached:         147176 kB
SwapCached:        648 kB
Active:          40424 kB
Inactive:       137956 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        836340 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5084 kB
Slab:            14040 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 21:56:27 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 28822 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6352 variables and 13473 constraints.
#### 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.84 0.94 0.90 2/54 22533
Raw data (stat): 22533 (runsolver) R 22532 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904923635 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 24986 0 0 0 936 60 0 0 25 0 1 0 904923635 105222144 24823 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25689 24823 1111 63 0 25626 0
vsize: 102756
[startup+20.0278 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 24986 0 0 0 1939 60 0 0 25 0 1 0 904923635 105222144 24823 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25689 24823 1111 63 0 25626 0
vsize: 102756
[startup+30.0282 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 25492 0 0 0 2938 62 0 0 25 0 1 0 904923635 105984000 25008 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25875 25008 1111 63 0 25812 0
vsize: 103500
[startup+40.0283 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 26608 0 0 0 3935 64 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+50.0287 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 26608 0 0 0 4935 64 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+60.0294 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 26608 0 0 0 5936 64 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+70.0301 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 26608 0 0 0 6936 64 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223000 1077377470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+80.0302 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 26608 0 0 0 7936 64 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+90.0306 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 26608 0 0 0 8936 64 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+100.042 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 26608 0 0 0 9937 65 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+110.052 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 26608 0 0 0 10938 65 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+120.052 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 28434 0 0 0 11933 70 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+130.052 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 28434 0 0 0 12934 70 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+140.053 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 28434 0 0 0 13934 70 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+150.054 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 29097 0 0 0 14933 71 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+160.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 35601 0 0 0 15917 87 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+170.056 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 35601 0 0 0 16917 87 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+180.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 35601 0 0 0 17917 87 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+190.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 43942 0 0 0 18897 108 0 0 25 0 1 0 904923635 110329856 26070 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26936 26070 1111 63 0 26873 0
vsize: 107744
[startup+200.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 44172 0 0 0 19897 108 0 0 25 0 1 0 904923635 110845952 26189 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26189 1111 63 0 26999 0
vsize: 108248
[startup+210.056 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 44178 0 0 0 20897 108 0 0 25 0 1 0 904923635 110845952 26195 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26195 1111 63 0 26999 0
vsize: 108248
[startup+220.056 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 52512 0 0 0 21876 129 0 0 25 0 1 0 904923635 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+230.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 58884 0 0 0 22861 144 0 0 25 0 1 0 904923635 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+240.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 65647 0 0 0 23847 159 0 0 25 0 1 0 904923635 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+250.055 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 75887 0 0 0 24824 182 0 0 25 0 1 0 904923635 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+260.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 85798 0 0 0 25801 205 0 0 25 0 1 0 904923635 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+270.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 95874 0 0 0 26776 230 0 0 25 0 1 0 904923635 110845952 26196 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27062 26196 1111 63 0 26999 0
vsize: 108248
[startup+280.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 105667 0 0 0 27753 254 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+290.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 107659 0 0 0 28747 259 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+300.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 110328 0 0 0 29741 266 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+310.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 115089 0 0 0 30730 277 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+320.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 120222 0 0 0 31719 288 0 0 25 0 1 0 904923635 112578560 26600 4294967295 134512640 134716908 3221224576 3221223176 134558629 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27485 26600 1111 63 0 27422 0
vsize: 109940
[startup+330.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 125843 0 0 0 32707 300 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+340.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 137036 0 0 0 33683 325 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+350.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 148264 0 0 0 34655 352 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+360.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 159156 0 0 0 35628 380 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+370.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 173111 0 0 0 36594 414 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+380.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 186939 0 0 0 37560 448 0 0 25 0 1 0 904923635 111972352 26471 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27337 26471 1111 63 0 27274 0
vsize: 109348
[startup+390.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 194201 0 0 0 38543 465 0 0 25 0 1 0 904923635 113045504 26733 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27599 26733 1111 63 0 27536 0
vsize: 110396
[startup+400.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 199194 0 0 0 39530 478 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+410.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 204657 0 0 0 40517 491 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+420.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 209097 0 0 0 41508 501 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+430.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 214062 0 0 0 42497 512 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+440.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 223783 0 0 0 43476 534 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+450.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 231231 0 0 0 44458 552 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+460.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 239408 0 0 0 45437 573 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+470.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 248804 0 0 0 46417 594 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+480.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 257936 0 0 0 47394 616 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+490.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 267637 0 0 0 48370 641 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+500.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 290132 0 0 0 49316 694 0 0 25 0 1 0 904923635 113278976 26790 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27656 26790 1111 63 0 27593 0
vsize: 110624
[startup+510.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 300958 0 0 0 50290 721 0 0 25 0 1 0 904923635 115261440 27268 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28140 27268 1111 63 0 28077 0
vsize: 112560
[startup+520.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 300965 0 0 0 51290 721 0 0 25 0 1 0 904923635 115269632 27275 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27275 1111 63 0 28079 0
vsize: 112568
[startup+530.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 307557 0 0 0 52273 739 0 0 25 0 1 0 904923635 115269632 27276 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27276 1111 63 0 28079 0
vsize: 112568
[startup+540.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 312177 0 0 0 53261 750 0 0 25 0 1 0 904923635 115269632 27276 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27276 1111 63 0 28079 0
vsize: 112568
[startup+550.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 317185 0 0 0 54250 761 0 0 25 0 1 0 904923635 115269632 27276 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27276 1111 63 0 28079 0
vsize: 112568
[startup+560.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 325369 0 0 0 55231 781 0 0 25 0 1 0 904923635 115269632 27276 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28142 27276 1111 63 0 28079 0
vsize: 112568
[startup+570.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 328601 0 0 0 56223 789 0 0 25 0 1 0 904923635 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+580.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 331036 0 0 0 57217 796 0 0 25 0 1 0 904923635 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+590.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 334909 0 0 0 58207 805 0 0 25 0 1 0 904923635 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+600.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 340766 0 0 0 59194 819 0 0 25 0 1 0 904923635 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+610.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 346385 0 0 0 60180 833 0 0 25 0 1 0 904923635 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+620.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 355214 0 0 0 61159 854 0 0 25 0 1 0 904923635 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+630.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 364076 0 0 0 62139 874 0 0 25 0 1 0 904923635 115884032 27426 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28292 27426 1111 63 0 28229 0
vsize: 113168
[startup+640.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 369124 0 0 0 63128 886 0 0 25 0 1 0 904923635 116797440 27644 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28515 27644 1111 63 0 28452 0
vsize: 114060
[startup+650.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 373523 0 0 0 64118 896 0 0 25 0 1 0 904923635 116879360 27669 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28535 27669 1111 63 0 28472 0
vsize: 114140
[startup+660.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 377968 0 0 0 65107 907 0 0 25 0 1 0 904923635 116879360 27669 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28535 27669 1111 63 0 28472 0
vsize: 114140
[startup+670.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 379184 0 0 0 66105 910 0 0 25 0 1 0 904923635 117338112 27769 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28647 27769 1111 63 0 28584 0
vsize: 114588
[startup+680.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 380541 0 0 0 67101 913 0 0 25 0 1 0 904923635 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+690.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 380981 0 0 0 68099 915 0 0 25 0 1 0 904923635 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+700.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 381752 0 0 0 69096 919 0 0 25 0 1 0 904923635 117395456 27795 4294967295 134512640 134716908 3221224576 3221223240 134606836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+710.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 382822 0 0 0 70094 921 0 0 25 0 1 0 904923635 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+720.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 383986 0 0 0 71090 925 0 0 25 0 1 0 904923635 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+730.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 385686 0 0 0 72086 930 0 0 25 0 1 0 904923635 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+740.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 391371 0 0 0 73072 944 0 0 25 0 1 0 904923635 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+750.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 396405 0 0 0 74060 956 0 0 25 0 1 0 904923635 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+760.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 401670 0 0 0 75048 968 0 0 25 0 1 0 904923635 117395456 27795 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28661 27795 1111 63 0 28598 0
vsize: 114644
[startup+770.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 407312 0 0 0 76035 981 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+780.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 407312 0 0 0 77035 982 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+790.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 407312 0 0 0 78035 982 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+800.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 407312 0 0 0 79035 982 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+810.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 407312 0 0 0 80035 982 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+820.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 407312 0 0 0 81036 982 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+830.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 413923 0 0 0 82020 998 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+840.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 413923 0 0 0 83020 998 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+850.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 413923 0 0 0 84020 998 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+860.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 420564 0 0 0 85004 1014 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+870.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 423097 0 0 0 85998 1021 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+880.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 425451 0 0 0 86992 1026 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+890.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 428830 0 0 0 87984 1035 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+900.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 432483 0 0 0 88976 1042 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+910.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 436072 0 0 0 89968 1051 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+920.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 444192 0 0 0 90949 1070 0 0 25 0 1 0 904923635 123097088 29161 4294967295 134512640 134716908 3221224576 3221223056 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30053 29161 1111 63 0 29990 0
vsize: 120212
[startup+930.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 455029 0 0 0 91925 1095 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+940.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 464292 0 0 0 92903 1117 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+950.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 474006 0 0 0 93880 1140 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+960.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 491323 0 0 0 94840 1180 0 0 25 0 1 0 904923635 121114624 28677 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29569 28683 1111 63 0 29506 0
vsize: 118276
[startup+970.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 504893 0 0 0 95807 1213 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+980.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 520036 0 0 0 96772 1249 0 0 25 0 1 0 904923635 119738368 28367 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29233 28367 1111 63 0 29170 0
vsize: 116932
[startup+990.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 526991 0 0 0 97756 1265 0 0 25 0 1 0 904923635 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 526991 0 0 0 98756 1265 0 0 25 0 1 0 904923635 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 526991 0 0 0 99756 1265 0 0 25 0 1 0 904923635 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 526991 0 0 0 100756 1265 0 0 25 0 1 0 904923635 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 526991 0 0 0 101756 1265 0 0 25 0 1 0 904923635 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 528191 0 0 0 102753 1268 0 0 25 0 1 0 904923635 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 528551 0 0 0 103752 1270 0 0 25 0 1 0 904923635 121499648 28797 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29663 28797 1111 63 0 29600 0
vsize: 118652
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 529176 0 0 0 104750 1272 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 532137 0 0 0 105742 1280 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 534375 0 0 0 106737 1285 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223244 134606911 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 537130 0 0 0 107732 1291 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 547097 0 0 0 108709 1314 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 554202 0 0 0 109693 1330 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 561792 0 0 0 110675 1348 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 570902 0 0 0 111652 1371 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 579590 0 0 0 112632 1392 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 588940 0 0 0 113609 1415 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 601191 0 0 0 114577 1447 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 612883 0 0 0 115548 1477 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 625066 0 0 0 116520 1504 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 637921 0 0 0 117488 1536 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) R 22532 7266 7265 0 -1 0 650585 0 0 0 118458 1567 0 0 25 0 1 0 904923635 121532416 28805 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29671 28805 1111 63 0 29608 0
vsize: 118684
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22533
Raw data (stat): 22533 (bsolo_lpr_cuts-) Z 22532 7266 7265 0 -1 1036 650585 0 0 0 118458 1572 0 0 25 0 1 0 904923635 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.31
CPU user time (s): 1184.59
CPU system time (s): 15.7266
CPU usage (%): 100.015
Max. virtual memory (Kb): 120212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####