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/ttp/normalized-data10_3.opb
MD5SUM	4a63b686be1696a2915c6e312773fbad
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	81744
Optimality of the best value was proved	NO
Number of terms in the objective function	900
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	559660
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	559660
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.07
Number of variables	2700
Total number of constraints	42620
Number of constraints which are clauses	20220
Number of constraints which are cardinality constraints (but not clauses)	800
Number of constraints which are nor clauses,nor cardinality constraints	21600
Minimum length of a constraint	2
Maximum length of a constraint	36
Trace number 40809

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        841916 kB
Buffers:         29640 kB
Cached:         138260 kB
SwapCached:       1148 kB
Active:          46580 kB
Inactive:       123584 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        841664 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            16784 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:42:47 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 28874 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2700 variables and 43070 constraints.
c After prepocess the problem consists of 2700 variables and 41292 constraints.
c preprocess terminated 235.752 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/55 26677
Raw data (stat): 26677 (runsolver) R 26676 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 848344831 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 8401 0 0 0 973 24 0 0 25 0 1 0 848344831 47525888 8321 4294967295 134512640 134716908 3221224576 3221222236 1077245950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11603 8321 1111 63 0 11540 0
vsize: 46412
[startup+20.0032 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 58676 0 0 0 1849 148 0 0 25 0 1 0 848344831 50454528 11473 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12318 11473 1111 63 0 12255 0
vsize: 49272
[startup+30.0033 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 79375 0 0 0 2798 199 0 0 25 0 1 0 848344831 54214656 12364 4294967295 134512640 134716908 3221224576 3221223048 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13236 12364 1111 63 0 13173 0
vsize: 52944
[startup+40.0037 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 83421 0 0 0 3787 210 0 0 25 0 1 0 848344831 56373248 12917 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13763 12917 1111 63 0 13700 0
vsize: 55052
[startup+50.0049 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 88232 0 0 0 4775 222 0 0 25 0 1 0 848344831 69177344 16020 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16020 1111 63 0 16826 0
vsize: 67556
[startup+60.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 88490 0 0 0 5774 223 0 0 25 0 1 0 848344831 69177344 16044 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+70.0061 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 88490 0 0 0 6775 223 0 0 25 0 1 0 848344831 69177344 16044 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+80.0059 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 89692 0 0 0 7771 227 0 0 25 0 1 0 848344831 69177344 16044 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+90.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 92948 0 0 0 8764 234 0 0 25 0 1 0 848344831 69177344 16044 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16889 16044 1111 63 0 16826 0
vsize: 67556
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 96479 0 0 0 9756 242 0 0 25 0 1 0 848344831 72642560 16889 4294967295 134512640 134716908 3221224576 3221223056 134539460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17735 16889 1111 63 0 17672 0
vsize: 70940
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 97439 0 0 0 10754 245 0 0 25 0 1 0 848344831 72642560 16890 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17735 16890 1111 63 0 17672 0
vsize: 70940
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 99386 0 0 0 11750 249 0 0 25 0 1 0 848344831 72642560 16890 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17735 16890 1111 63 0 17672 0
vsize: 70940
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 100057 0 0 0 12748 251 0 0 25 0 1 0 848344831 75390976 17561 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18406 17561 1111 63 0 18343 0
vsize: 73624
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 100580 0 0 0 13747 252 0 0 25 0 1 0 848344831 75808768 17663 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18508 17663 1111 63 0 18445 0
vsize: 74032
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 101970 0 0 0 14744 256 0 0 25 0 1 0 848344831 75808768 17663 4294967295 134512640 134716908 3221224576 3221223192 134536901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18508 17663 1111 63 0 18445 0
vsize: 74032
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103646 0 0 0 15741 259 0 0 25 0 1 0 848344831 78106624 18224 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103646 0 0 0 16741 259 0 0 25 0 1 0 848344831 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103646 0 0 0 17741 259 0 0 25 0 1 0 848344831 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103646 0 0 0 18741 259 0 0 25 0 1 0 848344831 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103646 0 0 0 19741 259 0 0 25 0 1 0 848344831 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103646 0 0 0 20742 259 0 0 25 0 1 0 848344831 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103646 0 0 0 21742 259 0 0 25 0 1 0 848344831 78106624 18224 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18224 1111 63 0 19006 0
vsize: 76276
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103647 0 0 0 22742 259 0 0 25 0 1 0 848344831 78106624 18225 4294967295 134512640 134716908 3221224576 3221223432 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18225 1111 63 0 19006 0
vsize: 76276
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103668 0 0 0 23742 259 0 0 25 0 1 0 848344831 78106624 18246 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103668 0 0 0 24742 259 0 0 25 0 1 0 848344831 78106624 18246 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103668 0 0 0 25742 259 0 0 25 0 1 0 848344831 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103668 0 0 0 26742 259 0 0 25 0 1 0 848344831 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103668 0 0 0 27742 259 0 0 25 0 1 0 848344831 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103668 0 0 0 28743 259 0 0 25 0 1 0 848344831 78106624 18246 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103668 0 0 0 29743 259 0 0 25 0 1 0 848344831 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103668 0 0 0 30743 259 0 0 25 0 1 0 848344831 78106624 18246 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103668 0 0 0 31743 259 0 0 25 0 1 0 848344831 78106624 18246 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19069 18246 1111 63 0 19006 0
vsize: 76276
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103971 0 0 0 32743 260 0 0 25 0 1 0 848344831 79343616 18549 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19371 18549 1111 63 0 19308 0
vsize: 77484
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 103993 0 0 0 33742 261 0 0 25 0 1 0 848344831 79433728 18571 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19393 18571 1111 63 0 19330 0
vsize: 77572
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104014 0 0 0 34742 261 0 0 25 0 1 0 848344831 79519744 18592 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19414 18592 1111 63 0 19351 0
vsize: 77656
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104034 0 0 0 35742 261 0 0 25 0 1 0 848344831 79601664 18612 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19434 18612 1111 63 0 19371 0
vsize: 77736
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104051 0 0 0 36741 262 0 0 25 0 1 0 848344831 79671296 18629 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18629 1111 63 0 19388 0
vsize: 77804
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104069 0 0 0 37741 262 0 0 25 0 1 0 848344831 79745024 18647 4294967295 134512640 134716908 3221224576 3221222768 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19469 18647 1111 63 0 19406 0
vsize: 77876
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104087 0 0 0 38741 263 0 0 25 0 1 0 848344831 79818752 18665 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19487 18665 1111 63 0 19424 0
vsize: 77948
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104104 0 0 0 39740 264 0 0 25 0 1 0 848344831 79888384 18682 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19504 18682 1111 63 0 19441 0
vsize: 78016
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104118 0 0 0 40740 264 0 0 25 0 1 0 848344831 79945728 18696 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19518 18696 1111 63 0 19455 0
vsize: 78072
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104135 0 0 0 41740 264 0 0 25 0 1 0 848344831 80015360 18713 4294967295 134512640 134716908 3221224576 3221222576 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19535 18713 1111 63 0 19472 0
vsize: 78140
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104149 0 0 0 42740 265 0 0 25 0 1 0 848344831 80072704 18727 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19549 18727 1111 63 0 19486 0
vsize: 78196
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104164 0 0 0 43740 265 0 0 25 0 1 0 848344831 80134144 18742 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19564 18742 1111 63 0 19501 0
vsize: 78256
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104177 0 0 0 44739 266 0 0 25 0 1 0 848344831 80187392 18755 4294967295 134512640 134716908 3221224576 3221222640 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19577 18755 1111 63 0 19514 0
vsize: 78308
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104192 0 0 0 45739 266 0 0 25 0 1 0 848344831 80248832 18770 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19592 18770 1111 63 0 19529 0
vsize: 78368
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104205 0 0 0 46739 266 0 0 25 0 1 0 848344831 80302080 18783 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19605 18783 1111 63 0 19542 0
vsize: 78420
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104218 0 0 0 47739 267 0 0 25 0 1 0 848344831 80355328 18796 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19618 18796 1111 63 0 19555 0
vsize: 78472
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104230 0 0 0 48739 267 0 0 25 0 1 0 848344831 80404480 18808 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19630 18808 1111 63 0 19567 0
vsize: 78520
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104243 0 0 0 49739 267 0 0 25 0 1 0 848344831 80457728 18821 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19643 18821 1111 63 0 19580 0
vsize: 78572
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104255 0 0 0 50739 267 0 0 25 0 1 0 848344831 80506880 18833 4294967295 134512640 134716908 3221224576 3221222688 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19655 18833 1111 63 0 19592 0
vsize: 78620
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104267 0 0 0 51738 268 0 0 25 0 1 0 848344831 80556032 18845 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19667 18845 1111 63 0 19604 0
vsize: 78668
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104279 0 0 0 52738 268 0 0 25 0 1 0 848344831 80605184 18857 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19679 18857 1111 63 0 19616 0
vsize: 78716
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104290 0 0 0 53738 269 0 0 25 0 1 0 848344831 80650240 18868 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19690 18868 1111 63 0 19627 0
vsize: 78760
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104302 0 0 0 54738 269 0 0 25 0 1 0 848344831 80699392 18880 4294967295 134512640 134716908 3221224576 3221222720 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19702 18880 1111 63 0 19639 0
vsize: 78808
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104313 0 0 0 55738 269 0 0 25 0 1 0 848344831 80744448 18891 4294967295 134512640 134716908 3221224576 3221222768 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19713 18891 1111 63 0 19650 0
vsize: 78852
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104324 0 0 0 56738 269 0 0 25 0 1 0 848344831 80789504 18902 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19724 18902 1111 63 0 19661 0
vsize: 78896
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104335 0 0 0 57738 269 0 0 25 0 1 0 848344831 80834560 18913 4294967295 134512640 134716908 3221224576 3221222592 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19735 18913 1111 63 0 19672 0
vsize: 78940
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104346 0 0 0 58738 270 0 0 25 0 1 0 848344831 80879616 18924 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19746 18924 1111 63 0 19683 0
vsize: 78984
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104356 0 0 0 59738 270 0 0 25 0 1 0 848344831 80920576 18934 4294967295 134512640 134716908 3221224576 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19756 18934 1111 63 0 19693 0
vsize: 79024
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104366 0 0 0 60738 270 0 0 25 0 1 0 848344831 80961536 18944 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19766 18944 1111 63 0 19703 0
vsize: 79064
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104814 0 0 0 61736 272 0 0 25 0 1 0 848344831 82796544 19392 4294967295 134512640 134716908 3221224576 3221222768 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20214 19392 1111 63 0 20151 0
vsize: 80856
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104829 0 0 0 62736 272 0 0 25 0 1 0 848344831 82857984 19407 4294967295 134512640 134716908 3221224576 3221222736 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20229 19407 1111 63 0 20166 0
vsize: 80916
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104844 0 0 0 63736 272 0 0 25 0 1 0 848344831 82919424 19422 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20244 19422 1111 63 0 20181 0
vsize: 80976
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104859 0 0 0 64736 272 0 0 25 0 1 0 848344831 82980864 19437 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20259 19437 1111 63 0 20196 0
vsize: 81036
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104874 0 0 0 65736 273 0 0 25 0 1 0 848344831 83042304 19452 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20274 19452 1111 63 0 20211 0
vsize: 81096
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104889 0 0 0 66736 273 0 0 25 0 1 0 848344831 83103744 19467 4294967295 134512640 134716908 3221224576 3221222688 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20289 19467 1111 63 0 20226 0
vsize: 81156
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104902 0 0 0 67736 273 0 0 25 0 1 0 848344831 83156992 19480 4294967295 134512640 134716908 3221224576 3221222592 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20302 19480 1111 63 0 20239 0
vsize: 81208
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104916 0 0 0 68736 274 0 0 25 0 1 0 848344831 83214336 19494 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20316 19494 1111 63 0 20253 0
vsize: 81264
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104931 0 0 0 69736 274 0 0 25 0 1 0 848344831 83275776 19509 4294967295 134512640 134716908 3221224576 3221222816 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20331 19509 1111 63 0 20268 0
vsize: 81324
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104943 0 0 0 70736 274 0 0 25 0 1 0 848344831 83324928 19521 4294967295 134512640 134716908 3221224576 3221222592 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20343 19521 1111 63 0 20280 0
vsize: 81372
[startup+720.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104958 0 0 0 71736 274 0 0 25 0 1 0 848344831 83386368 19536 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20358 19536 1111 63 0 20295 0
vsize: 81432
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104971 0 0 0 72736 275 0 0 25 0 1 0 848344831 83439616 19549 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20371 19549 1111 63 0 20308 0
vsize: 81484
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104983 0 0 0 73736 275 0 0 25 0 1 0 848344831 83488768 19561 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20383 19561 1111 63 0 20320 0
vsize: 81532
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 104997 0 0 0 74736 275 0 0 25 0 1 0 848344831 83546112 19575 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20397 19575 1111 63 0 20334 0
vsize: 81588
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105012 0 0 0 75736 275 0 0 25 0 1 0 848344831 83607552 19590 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20412 19590 1111 63 0 20349 0
vsize: 81648
[startup+770.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105025 0 0 0 76736 276 0 0 25 0 1 0 848344831 83660800 19603 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20425 19603 1111 63 0 20362 0
vsize: 81700
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105036 0 0 0 77735 276 0 0 25 0 1 0 848344831 83705856 19614 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20436 19614 1111 63 0 20373 0
vsize: 81744
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105048 0 0 0 78735 276 0 0 25 0 1 0 848344831 83755008 19626 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20448 19626 1111 63 0 20385 0
vsize: 81792
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105061 0 0 0 79735 277 0 0 25 0 1 0 848344831 83808256 19639 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20461 19639 1111 63 0 20398 0
vsize: 81844
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105073 0 0 0 80735 277 0 0 25 0 1 0 848344831 83857408 19651 4294967295 134512640 134716908 3221224576 3221222672 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20473 19651 1111 63 0 20410 0
vsize: 81892
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105087 0 0 0 81735 277 0 0 25 0 1 0 848344831 83914752 19665 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20487 19665 1111 63 0 20424 0
vsize: 81948
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105099 0 0 0 82735 277 0 0 25 0 1 0 848344831 83963904 19677 4294967295 134512640 134716908 3221224576 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20499 19677 1111 63 0 20436 0
vsize: 81996
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105127 0 0 0 83735 277 0 0 25 0 1 0 848344831 84078592 19705 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20527 19705 1111 63 0 20464 0
vsize: 82108
[startup+850.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105139 0 0 0 84736 277 0 0 25 0 1 0 848344831 84127744 19717 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20539 19717 1111 63 0 20476 0
vsize: 82156
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105149 0 0 0 85736 278 0 0 25 0 1 0 848344831 84168704 19727 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20549 19727 1111 63 0 20486 0
vsize: 82196
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105161 0 0 0 86735 278 0 0 25 0 1 0 848344831 84217856 19739 4294967295 134512640 134716908 3221224576 3221222768 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20561 19739 1111 63 0 20498 0
vsize: 82244
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105176 0 0 0 87735 278 0 0 25 0 1 0 848344831 84279296 19754 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20576 19754 1111 63 0 20513 0
vsize: 82304
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 105188 0 0 0 88735 278 0 0 25 0 1 0 848344831 84328448 19766 4294967295 134512640 134716908 3221224576 3221222528 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20588 19766 1111 63 0 20525 0
vsize: 82352
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 109885 0 0 0 89726 288 0 0 25 0 1 0 848344831 96591872 22796 4294967295 134512640 134716908 3221224576 3221222480 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23582 22796 1111 63 0 23519 0
vsize: 94328
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 115639 0 0 0 90713 301 0 0 25 0 1 0 848344831 119570432 25193 4294967295 134512640 134716908 3221224576 3221220624 1074969469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29192 25193 1111 63 0 29129 0
vsize: 116768
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 116860 0 0 0 91711 303 0 0 25 0 1 0 848344831 119570432 26412 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29192 26412 1111 63 0 29129 0
vsize: 116768
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117103 0 0 0 92711 304 0 0 25 0 1 0 848344831 115036160 25494 4294967295 134512640 134716908 3221224576 3221220524 1074873501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28085 25494 1111 63 0 28022 0
vsize: 112340
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117226 0 0 0 93710 304 0 0 25 0 1 0 848344831 115564544 25615 4294967295 134512640 134716908 3221224576 3221220524 1074873541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28214 25615 1111 63 0 28151 0
vsize: 112856
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117264 0 0 0 94710 304 0 0 25 0 1 0 848344831 115564544 25649 4294967295 134512640 134716908 3221224576 3221220524 1074873465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28214 25649 1111 63 0 28151 0
vsize: 112856
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117278 0 0 0 95711 305 0 0 25 0 1 0 848344831 115564544 25661 4294967295 134512640 134716908 3221224576 3221220524 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28214 25661 1111 63 0 28151 0
vsize: 112856
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117365 0 0 0 96711 305 0 0 25 0 1 0 848344831 116121600 25746 4294967295 134512640 134716908 3221224576 3221220580 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28350 25746 1111 63 0 28287 0
vsize: 113400
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117411 0 0 0 97711 305 0 0 25 0 1 0 848344831 116121600 25790 4294967295 134512640 134716908 3221224576 3221220848 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28350 25790 1111 63 0 28287 0
vsize: 113400
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117436 0 0 0 98711 305 0 0 25 0 1 0 848344831 116121600 25813 4294967295 134512640 134716908 3221224576 3221220624 1074969455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28350 25813 1111 63 0 28287 0
vsize: 113400
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117452 0 0 0 99711 305 0 0 25 0 1 0 848344831 116121600 25827 4294967295 134512640 134716908 3221224576 3221220580 1075964248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28350 25827 1111 63 0 28287 0
vsize: 113400
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117462 0 0 0 100711 305 0 0 25 0 1 0 848344831 116121600 25837 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28350 25837 1111 63 0 28287 0
vsize: 113400
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117546 0 0 0 101711 305 0 0 25 0 1 0 848344831 116707328 25919 4294967295 134512640 134716908 3221224576 3221220688 1074815284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28493 25919 1111 63 0 28430 0
vsize: 113972
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117574 0 0 0 102711 305 0 0 25 0 1 0 848344831 116707328 25945 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28493 25945 1111 63 0 28430 0
vsize: 113972
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117591 0 0 0 103712 305 0 0 25 0 1 0 848344831 116707328 25960 4294967295 134512640 134716908 3221224576 3221220472 1075964740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28493 25960 1111 63 0 28430 0
vsize: 113972
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117596 0 0 0 104712 305 0 0 25 0 1 0 848344831 116707328 25963 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28493 25963 1111 63 0 28430 0
vsize: 113972
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117694 0 0 0 105712 305 0 0 25 0 1 0 848344831 117313536 26059 4294967295 134512640 134716908 3221224576 3221220492 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28641 26059 1111 63 0 28578 0
vsize: 114564
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117788 0 0 0 106711 306 0 0 25 0 1 0 848344831 117956608 26151 4294967295 134512640 134716908 3221224576 3221220640 1074883634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28798 26151 1111 63 0 28735 0
vsize: 115192
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117827 0 0 0 107712 306 0 0 25 0 1 0 848344831 117956608 26188 4294967295 134512640 134716908 3221224576 3221220688 1074815253 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28798 26188 1111 63 0 28735 0
vsize: 115192
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117832 0 0 0 108712 306 0 0 25 0 1 0 848344831 117956608 26193 4294967295 134512640 134716908 3221224576 3221220752 1074961138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28798 26193 1111 63 0 28735 0
vsize: 115192
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117922 0 0 0 109712 306 0 0 25 0 1 0 848344831 118628352 26281 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26281 1111 63 0 28899 0
vsize: 115848
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117960 0 0 0 110712 306 0 0 25 0 1 0 848344831 118628352 26317 4294967295 134512640 134716908 3221224576 3221220472 1075964737 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26317 1111 63 0 28899 0
vsize: 115848
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117963 0 0 0 111712 306 0 0 25 0 1 0 848344831 118628352 26318 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26318 1111 63 0 28899 0
vsize: 115848
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117965 0 0 0 112712 306 0 0 25 0 1 0 848344831 118628352 26318 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26318 1111 63 0 28899 0
vsize: 115848
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117970 0 0 0 113712 306 0 0 25 0 1 0 848344831 118628352 26321 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26321 1111 63 0 28899 0
vsize: 115848
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117984 0 0 0 114712 307 0 0 25 0 1 0 848344831 118628352 26333 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26333 1111 63 0 28899 0
vsize: 115848
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117992 0 0 0 115712 307 0 0 25 0 1 0 848344831 118628352 26339 4294967295 134512640 134716908 3221224576 3221220524 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26339 1111 63 0 28899 0
vsize: 115848
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 117993 0 0 0 116713 307 0 0 25 0 1 0 848344831 118628352 26340 4294967295 134512640 134716908 3221224576 3221220492 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28962 26340 1111 63 0 28899 0
vsize: 115848
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 118088 0 0 0 117713 307 0 0 25 0 1 0 848344831 119345152 26433 4294967295 134512640 134716908 3221224576 3221220524 1074873471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26433 1111 63 0 29074 0
vsize: 116548
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 118097 0 0 0 118713 307 0 0 25 0 1 0 848344831 119345152 26440 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26440 1111 63 0 29074 0
vsize: 116548
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) R 26676 8378 8377 0 -1 0 118107 0 0 0 119713 307 0 0 25 0 1 0 848344831 119345152 26448 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29137 26448 1111 63 0 29074 0
vsize: 116548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 26677
Raw data (stat): 26677 (bsolo_lpr_cuts-) Z 26676 8378 8377 0 -1 1036 118107 0 0 0 119713 312 0 0 25 0 1 0 848344831 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.09
CPU time (s): 1200.26
CPU user time (s): 1197.13
CPU system time (s): 3.12252
CPU usage (%): 100.014
Max. virtual memory (Kb): 116768
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####