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/een/normalized-mitre.opb
MD5SUM	a32373ce42835aed9464b28f5a9ed13c
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8818
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	10724
Total number of constraints	2045
Number of constraints which are clauses	523
Number of constraints which are cardinality constraints (but not clauses)	1139
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	3
Maximum length of a constraint	98
Trace number 40957

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        901012 kB
Buffers:         25992 kB
Cached:          83656 kB
SwapCached:       4048 kB
Active:          30428 kB
Inactive:        84456 kB
HighTotal:      131008 kB
HighFree:        48580 kB
LowTotal:       903652 kB
LowFree:        852432 kB
SwapTotal:     2097136 kB
SwapFree:      2092080 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13192 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:41:03 (client local time) WITH STATUS 0 IN 1200.5 SECONDS
stats: 29009 7 1200.5 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10724 variables and 2045 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.86 0.97 0.91 1/54 5340
Raw data (stat): 5340 (runsolver) R 5339 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 906990626 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.0004 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 6101 0 0 0 980 17 0 0 25 0 1 0 906990626 20971520 4220 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5120 4220 1111 63 0 5057 0
vsize: 20480
[startup+20.0017 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 11301 0 0 0 1964 34 0 0 25 0 1 0 906990626 25563136 5342 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6241 5342 1111 63 0 6178 0
vsize: 24964
[startup+30.0028 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 14099 0 0 0 2955 42 0 0 25 0 1 0 906990626 28438528 6043 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6943 6043 1111 63 0 6880 0
vsize: 27772
[startup+40.0026 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 16050 0 0 0 3950 48 0 0 25 0 1 0 906990626 31182848 6714 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7613 6714 1111 63 0 7550 0
vsize: 30452
[startup+50.0031 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 17495 0 0 0 4947 52 0 0 25 0 1 0 906990626 36204544 7939 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8839 7939 1111 63 0 8776 0
vsize: 35356
[startup+60.0033 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 18694 0 0 0 5944 55 0 0 25 0 1 0 906990626 37879808 8348 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9248 8348 1111 63 0 9185 0
vsize: 36992
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 19666 0 0 0 6942 57 0 0 25 0 1 0 906990626 39034880 8631 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9530 8631 1111 63 0 9467 0
vsize: 38120
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 21010 0 0 0 7939 61 0 0 25 0 1 0 906990626 40194048 8914 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9813 8914 1111 63 0 9750 0
vsize: 39252
[startup+90.0047 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 21937 0 0 0 8937 63 0 0 25 0 1 0 906990626 40796160 9060 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9960 9060 1111 63 0 9897 0
vsize: 39840
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 24320 0 0 0 9929 71 0 0 25 0 1 0 906990626 41738240 9291 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10190 9291 1111 63 0 10127 0
vsize: 40760
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 25808 0 0 0 10925 75 0 0 25 0 1 0 906990626 43155456 9636 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10536 9636 1111 63 0 10473 0
vsize: 42144
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 26794 0 0 0 11923 78 0 0 25 0 1 0 906990626 43548672 9732 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10632 9732 1111 63 0 10569 0
vsize: 42528
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 27186 0 0 0 12922 80 0 0 25 0 1 0 906990626 44879872 10058 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10058 1111 63 0 10894 0
vsize: 43828
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 28376 0 0 0 13919 83 0 0 25 0 1 0 906990626 45477888 10204 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11103 10204 1111 63 0 11040 0
vsize: 44412
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 30136 0 0 0 14914 88 0 0 25 0 1 0 906990626 51785728 11744 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12643 11744 1111 63 0 12580 0
vsize: 50572
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 30302 0 0 0 15914 89 0 0 25 0 1 0 906990626 52342784 11880 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12779 11880 1111 63 0 12716 0
vsize: 51116
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 30302 0 0 0 16914 89 0 0 25 0 1 0 906990626 52342784 11880 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12779 11880 1111 63 0 12716 0
vsize: 51116
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 30532 0 0 0 17914 89 0 0 25 0 1 0 906990626 53030912 12048 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12947 12048 1111 63 0 12884 0
vsize: 51788
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 31813 0 0 0 18911 93 0 0 25 0 1 0 906990626 53673984 12204 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13104 12204 1111 63 0 13041 0
vsize: 52416
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 32393 0 0 0 19910 94 0 0 25 0 1 0 906990626 54534144 12414 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13314 12414 1111 63 0 13251 0
vsize: 53256
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 32582 0 0 0 20910 95 0 0 25 0 1 0 906990626 55304192 12603 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13502 12603 1111 63 0 13439 0
vsize: 54008
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 32843 0 0 0 21910 95 0 0 25 0 1 0 906990626 56377344 12864 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13764 12864 1111 63 0 13701 0
vsize: 55056
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 34030 0 0 0 22907 98 0 0 25 0 1 0 906990626 56979456 13011 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13911 13011 1111 63 0 13848 0
vsize: 55644
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 34944 0 0 0 23905 101 0 0 25 0 1 0 906990626 57364480 13105 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14005 13105 1111 63 0 13942 0
vsize: 56020
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 35173 0 0 0 24904 102 0 0 25 0 1 0 906990626 58134528 13294 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14193 13294 1111 63 0 14130 0
vsize: 56772
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 36294 0 0 0 25901 105 0 0 25 0 1 0 906990626 58994688 13503 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14403 13503 1111 63 0 14340 0
vsize: 57612
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 36888 0 0 0 26900 107 0 0 25 0 1 0 906990626 61095936 14017 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14916 14017 1111 63 0 14853 0
vsize: 59664
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 37556 0 0 0 27899 109 0 0 25 0 1 0 906990626 61095936 14017 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14916 14017 1111 63 0 14853 0
vsize: 59664
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 38767 0 0 0 28896 112 0 0 25 0 1 0 906990626 61739008 14174 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15073 14174 1111 63 0 15010 0
vsize: 60292
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 39706 0 0 0 29894 114 0 0 25 0 1 0 906990626 64401408 14823 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15723 14823 1111 63 0 15660 0
vsize: 62892
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 39706 0 0 0 30894 114 0 0 25 0 1 0 906990626 64401408 14823 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15723 14823 1111 63 0 15660 0
vsize: 62892
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 39706 0 0 0 31894 114 0 0 25 0 1 0 906990626 64401408 14823 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15723 14823 1111 63 0 15660 0
vsize: 62892
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 40411 0 0 0 32893 116 0 0 25 0 1 0 906990626 65392640 15066 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15965 15066 1111 63 0 15902 0
vsize: 63860
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 40554 0 0 0 33893 117 0 0 25 0 1 0 906990626 65695744 15139 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16039 15139 1111 63 0 15976 0
vsize: 64156
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 40877 0 0 0 34892 118 0 0 25 0 1 0 906990626 66207744 15265 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16164 15265 1111 63 0 16101 0
vsize: 64656
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 41771 0 0 0 35891 120 0 0 25 0 1 0 906990626 68354048 15789 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16688 15789 1111 63 0 16625 0
vsize: 66752
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 42064 0 0 0 36890 121 0 0 25 0 1 0 906990626 68612096 15852 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16751 15852 1111 63 0 16688 0
vsize: 67004
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 43291 0 0 0 37886 125 0 0 25 0 1 0 906990626 69255168 16009 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16908 16009 1111 63 0 16845 0
vsize: 67632
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 43490 0 0 0 38886 126 0 0 25 0 1 0 906990626 70070272 16208 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17107 16208 1111 63 0 17044 0
vsize: 68428
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 43673 0 0 0 39886 126 0 0 25 0 1 0 906990626 70328320 16271 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17170 16271 1111 63 0 17107 0
vsize: 68680
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 44766 0 0 0 40883 130 0 0 25 0 1 0 906990626 70672384 16354 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17254 16354 1111 63 0 17191 0
vsize: 69016
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 45193 0 0 0 41882 131 0 0 25 0 1 0 906990626 71229440 16491 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17390 16491 1111 63 0 17327 0
vsize: 69560
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 46550 0 0 0 42877 136 0 0 25 0 1 0 906990626 72646656 16836 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17736 16836 1111 63 0 17673 0
vsize: 70944
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 46927 0 0 0 43877 136 0 0 25 0 1 0 906990626 74190848 17213 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18113 17213 1111 63 0 18050 0
vsize: 72452
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 47131 0 0 0 44877 137 0 0 25 0 1 0 906990626 74448896 17277 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18176 17277 1111 63 0 18113 0
vsize: 72704
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 48187 0 0 0 45874 140 0 0 25 0 1 0 906990626 75046912 17423 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18322 17423 1111 63 0 18259 0
vsize: 73288
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 48511 0 0 0 46873 141 0 0 25 0 1 0 906990626 75350016 17497 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17497 1111 63 0 18333 0
vsize: 73584
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 49751 0 0 0 47870 145 0 0 25 0 1 0 906990626 75735040 17590 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18490 17590 1111 63 0 18427 0
vsize: 73960
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 49888 0 0 0 48870 145 0 0 25 0 1 0 906990626 76251136 17717 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18616 17717 1111 63 0 18553 0
vsize: 74464
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 50212 0 0 0 49870 146 0 0 25 0 1 0 906990626 77578240 18041 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18940 18041 1111 63 0 18877 0
vsize: 75760
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 50700 0 0 0 50869 147 0 0 25 0 1 0 906990626 79167488 18429 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19328 18429 1111 63 0 19265 0
vsize: 77312
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 51530 0 0 0 51867 149 0 0 25 0 1 0 906990626 79167488 18429 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19328 18429 1111 63 0 19265 0
vsize: 77312
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 51676 0 0 0 52867 149 0 0 25 0 1 0 906990626 79769600 18575 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19475 18575 1111 63 0 19412 0
vsize: 77900
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 51875 0 0 0 53867 150 0 0 25 0 1 0 906990626 80584704 18774 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19674 18774 1111 63 0 19611 0
vsize: 78696
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 52678 0 0 0 54865 152 0 0 25 0 1 0 906990626 82685952 19287 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20187 19287 1111 63 0 20124 0
vsize: 80748
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 52985 0 0 0 55865 153 0 0 25 0 1 0 906990626 83243008 19424 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20323 19424 1111 63 0 20260 0
vsize: 81292
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 53298 0 0 0 56865 154 0 0 25 0 1 0 906990626 83501056 19487 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20386 19487 1111 63 0 20323 0
vsize: 81544
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 54224 0 0 0 57863 156 0 0 25 0 1 0 906990626 84103168 19633 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20533 19633 1111 63 0 20470 0
vsize: 82132
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 54527 0 0 0 58862 157 0 0 25 0 1 0 906990626 84402176 19706 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20606 19706 1111 63 0 20543 0
vsize: 82424
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 54783 0 0 0 59862 158 0 0 25 0 1 0 906990626 84918272 19833 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20732 19833 1111 63 0 20669 0
vsize: 82928
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 55058 0 0 0 60861 159 0 0 25 0 1 0 906990626 85221376 19907 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20806 19907 1111 63 0 20743 0
vsize: 83224
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 55830 0 0 0 61859 161 0 0 25 0 1 0 906990626 85864448 20063 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20963 20063 1111 63 0 20900 0
vsize: 83852
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 55893 0 0 0 62860 161 0 0 25 0 1 0 906990626 86122496 20126 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21026 20126 1111 63 0 20963 0
vsize: 84104
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 56308 0 0 0 63859 162 0 0 25 0 1 0 906990626 86122496 20127 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21026 20127 1111 63 0 20963 0
vsize: 84104
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 56576 0 0 0 64859 163 0 0 25 0 1 0 906990626 86978560 20336 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21235 20336 1111 63 0 21172 0
vsize: 84940
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 57016 0 0 0 65857 164 0 0 25 0 1 0 906990626 86978560 20336 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21235 20336 1111 63 0 21172 0
vsize: 84940
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 57682 0 0 0 66856 166 0 0 25 0 1 0 906990626 87580672 20482 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21382 20482 1111 63 0 21319 0
vsize: 85528
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 58033 0 0 0 67856 167 0 0 25 0 1 0 906990626 87580672 20483 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21382 20483 1111 63 0 21319 0
vsize: 85528
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 58392 0 0 0 68855 168 0 0 25 0 1 0 906990626 88436736 20692 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21591 20692 1111 63 0 21528 0
vsize: 86364
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 58598 0 0 0 69855 169 0 0 25 0 1 0 906990626 88952832 20818 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21717 20818 1111 63 0 21654 0
vsize: 86868
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 58741 0 0 0 70854 170 0 0 25 0 1 0 906990626 89251840 20891 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21790 20891 1111 63 0 21727 0
vsize: 87160
[startup+720.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 59126 0 0 0 71854 171 0 0 25 0 1 0 906990626 89251840 20891 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21790 20891 1111 63 0 21727 0
vsize: 87160
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 60102 0 0 0 72851 174 0 0 25 0 1 0 906990626 89640960 20985 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21885 20985 1111 63 0 21822 0
vsize: 87540
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 60278 0 0 0 73850 175 0 0 25 0 1 0 906990626 90198016 21121 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22021 21121 1111 63 0 21958 0
vsize: 88084
[startup+750.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 60404 0 0 0 74851 175 0 0 25 0 1 0 906990626 90710016 21247 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22146 21247 1111 63 0 22083 0
vsize: 88584
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 60917 0 0 0 75850 176 0 0 25 0 1 0 906990626 92815360 21760 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22660 21760 1111 63 0 22597 0
vsize: 90640
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 61609 0 0 0 76849 178 0 0 25 0 1 0 906990626 95645696 22452 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23351 22452 1111 63 0 23288 0
vsize: 93404
[startup+780.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 62061 0 0 0 77848 179 0 0 25 0 1 0 906990626 96718848 22714 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23613 22714 1111 63 0 23550 0
vsize: 94452
[startup+790.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 62188 0 0 0 78848 179 0 0 25 0 1 0 906990626 97370112 22841 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23772 22841 1111 63 0 23709 0
vsize: 95088
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 62198 0 0 0 79848 179 0 0 25 0 1 0 906990626 97370112 22851 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23772 22851 1111 63 0 23709 0
vsize: 95088
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 62334 0 0 0 80848 180 0 0 25 0 1 0 906990626 97841152 22987 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23887 22987 1111 63 0 23824 0
vsize: 95548
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 62548 0 0 0 81848 180 0 0 25 0 1 0 906990626 98099200 23051 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23950 23051 1111 63 0 23887 0
vsize: 95800
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 62971 0 0 0 82847 182 0 0 25 0 1 0 906990626 98398208 23124 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24023 23124 1111 63 0 23960 0
vsize: 96092
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 63167 0 0 0 83847 182 0 0 25 0 1 0 906990626 98955264 23260 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24159 23260 1111 63 0 24096 0
vsize: 96636
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 63376 0 0 0 84847 182 0 0 25 0 1 0 906990626 99729408 23449 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24348 23449 1111 63 0 24285 0
vsize: 97392
[startup+860.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 63489 0 0 0 85847 183 0 0 25 0 1 0 906990626 100028416 23522 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24421 23522 1111 63 0 24358 0
vsize: 97684
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 63562 0 0 0 86847 183 0 0 25 0 1 0 906990626 100331520 23595 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24495 23595 1111 63 0 24432 0
vsize: 97980
[startup+880.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 63688 0 0 0 87847 183 0 0 25 0 1 0 906990626 100843520 23721 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24620 23721 1111 63 0 24557 0
vsize: 98480
[startup+890.048 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 63824 0 0 0 88847 183 0 0 25 0 1 0 906990626 101400576 23857 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24756 23857 1111 63 0 24693 0
vsize: 99024
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 63887 0 0 0 89848 184 0 0 25 0 1 0 906990626 101658624 23920 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24819 23920 1111 63 0 24756 0
vsize: 99276
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 64023 0 0 0 90847 184 0 0 25 0 1 0 906990626 102215680 24056 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24955 24056 1111 63 0 24892 0
vsize: 99820
[startup+920.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 64086 0 0 0 91848 184 0 0 25 0 1 0 906990626 102473728 24119 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25018 24119 1111 63 0 24955 0
vsize: 100072
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 65479 0 0 0 92845 187 0 0 25 0 1 0 906990626 108183552 25512 4294967295 134512640 134716908 3221224576 3221223224 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 65479 0 0 0 93846 187 0 0 25 0 1 0 906990626 108183552 25512 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 65479 0 0 0 94846 187 0 0 25 0 1 0 906990626 108183552 25512 4294967295 134512640 134716908 3221224576 3221223212 134554926 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 65479 0 0 0 95846 187 0 0 25 0 1 0 906990626 108183552 25512 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 65479 0 0 0 96847 187 0 0 25 0 1 0 906990626 108183552 25512 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 65479 0 0 0 97847 187 0 0 25 0 1 0 906990626 108183552 25512 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+990.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 65479 0 0 0 98847 187 0 0 25 0 1 0 906990626 108183552 25512 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26412 25512 1111 63 0 26349 0
vsize: 105648
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 65868 0 0 0 99847 189 0 0 25 0 1 0 906990626 108183552 25513 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26412 25513 1111 63 0 26349 0
vsize: 105648
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 67290 0 0 0 100844 192 0 0 25 0 1 0 906990626 108953600 25701 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26600 25701 1111 63 0 26537 0
vsize: 106400
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 67363 0 0 0 101844 193 0 0 25 0 1 0 906990626 109211648 25764 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26663 25764 1111 63 0 26600 0
vsize: 106652
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 67363 0 0 0 102844 193 0 0 25 0 1 0 906990626 109211648 25764 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26663 25764 1111 63 0 26600 0
vsize: 106652
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 67546 0 0 0 103844 193 0 0 25 0 1 0 906990626 109555712 25847 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26747 25847 1111 63 0 26684 0
vsize: 106988
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 67546 0 0 0 104844 193 0 0 25 0 1 0 906990626 109555712 25847 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26747 25847 1111 63 0 26684 0
vsize: 106988
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 67967 0 0 0 105843 195 0 0 25 0 1 0 906990626 109555712 25848 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26747 25848 1111 63 0 26684 0
vsize: 106988
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 68080 0 0 0 106843 196 0 0 25 0 1 0 906990626 109899776 25931 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26831 25931 1111 63 0 26768 0
vsize: 107324
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 68216 0 0 0 107842 196 0 0 25 0 1 0 906990626 110456832 26067 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26967 26067 1111 63 0 26904 0
vsize: 107868
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 68342 0 0 0 108842 197 0 0 25 0 1 0 906990626 110968832 26193 4294967295 134512640 134716908 3221224576 3221223236 1076648088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27092 26193 1111 63 0 27029 0
vsize: 108368
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 68628 0 0 0 109842 198 0 0 25 0 1 0 906990626 110968832 26193 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27092 26193 1111 63 0 27029 0
vsize: 108368
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 69768 0 0 0 110839 201 0 0 25 0 1 0 906990626 112603136 26592 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27491 26592 1111 63 0 27428 0
vsize: 109964
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 70101 0 0 0 111838 202 0 0 25 0 1 0 906990626 113160192 26727 4294967295 134512640 134716908 3221224576 3221223216 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27627 26727 1111 63 0 27564 0
vsize: 110508
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 70122 0 0 0 112838 203 0 0 25 0 1 0 906990626 113160192 26728 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27627 26728 1111 63 0 27564 0
vsize: 110508
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 70352 0 0 0 113838 203 0 0 25 0 1 0 906990626 113160192 26728 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27627 26728 1111 63 0 27564 0
vsize: 110508
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 71315 0 0 0 114835 207 0 0 25 0 1 0 906990626 113504256 26811 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27711 26811 1111 63 0 27648 0
vsize: 110844
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 71378 0 0 0 115835 207 0 0 25 0 1 0 906990626 113758208 26874 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27773 26874 1111 63 0 27710 0
vsize: 111092
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 71697 0 0 0 116835 208 0 0 25 0 1 0 906990626 114532352 27063 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27962 27063 1111 63 0 27899 0
vsize: 111848
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 72277 0 0 0 117833 210 0 0 25 0 1 0 906990626 114532352 27063 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27962 27063 1111 63 0 27899 0
vsize: 111848
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 72806 0 0 0 118832 211 0 0 25 0 1 0 906990626 115388416 27272 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28171 27272 1111 63 0 28108 0
vsize: 112684
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) R 5339 25568 25567 0 -1 0 72879 0 0 0 119832 212 0 0 25 0 1 0 906990626 115691520 27345 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28245 27345 1111 63 0 28182 0
vsize: 112980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 5340
Raw data (stat): 5340 (bsolo_lpr_cuts-) Z 5339 25568 25567 0 -1 1036 72879 0 0 0 119832 217 0 0 25 0 1 0 906990626 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.13
CPU time (s): 1200.5
CPU user time (s): 1198.33
CPU system time (s): 2.17067
CPU usage (%): 100.031
Max. virtual memory (Kb): 112980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####