PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-nug08.opb
MD5SUM	c527241c4d9537dec2ef265de58c54af
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	107
Optimality of the best value was proved	NO
Number of terms in the objective function	20160
Biggest coefficient in the objective function	20971520
Number of bits for the biggest coefficient in the objective function	25
Sum of the numbers in the objective function	9042910800
Number of bits of the sum of numbers in the objective function	34
Biggest number in a constraint	20971520
Number of bits of the biggest number in a constraint	25
Biggest sum of numbers in a constraint	9042910800
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	922.173
Number of variables	32640
Total number of constraints	912
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	912
Minimum length of a constraint	160
Maximum length of a constraint	160
Trace number 41299

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 09:52:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29353 boxname=wulflinc4 idbench=1137 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c527241c4d9537dec2ef265de58c54af  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-nug08.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-nug08.opb
IDLAUNCH: 29353
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        849552 kB
Buffers:         11768 kB
Cached:         152464 kB
SwapCached:        872 kB
Active:          27224 kB
Inactive:       139008 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        849300 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13156 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:12:27 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 29353 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 32640 variables and 1824 constraints.
c After prepocess the problem consists of 1632 variables and 1909 constraints.
c preprocess terminated 256.777 s
c Initial Lower Bound: 102
c Lower Bound Elapsed time: 49.155
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 135 @ 305.997
c NEW SOLUTION FOUND: 129 @ 306.027
c NEW SOLUTION FOUND: 126 @ 309.183
c NEW SOLUTION FOUND: 113 @ 323.052
c NEW SOLUTION FOUND: 111 @ 330.671
c NEW SOLUTION FOUND: 107 @ 339.242
#### 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 2/54 13288
Raw data (stat): 13288 (runsolver) R 13287 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909330697 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99996 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 1701 0 0 0 993 4 0 0 25 0 1 0 909330697 19861504 1621 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 1621 1111 63 0 4786 0
vsize: 19396
[startup+20.0001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 3024 0 0 0 1990 7 0 0 25 0 1 0 909330697 25186304 2944 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6149 2944 1111 63 0 6086 0
vsize: 24596
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 4515 0 0 0 2988 10 0 0 25 0 1 0 909330697 31420416 4435 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7671 4435 1111 63 0 7608 0
vsize: 30684
[startup+40.0005 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 6038 0 0 0 3985 12 0 0 25 0 1 0 909330697 37531648 5958 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9163 5958 1111 63 0 9100 0
vsize: 36652
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 7712 0 0 0 4982 16 0 0 25 0 1 0 909330697 44564480 7632 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10880 7632 1111 63 0 10817 0
vsize: 43520
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 14732 0 0 0 5965 33 0 0 25 0 1 0 909330697 73142272 14652 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17857 14652 1111 63 0 17794 0
vsize: 71428
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 17796 0 0 0 6957 40 0 0 25 0 1 0 909330697 85983232 17716 4294967295 134512640 134716908 3221224560 3221221432 1077360735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20992 17716 1111 63 0 20929 0
vsize: 83968
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 22827 0 0 0 7946 51 0 0 25 0 1 0 909330697 97300480 22659 4294967295 134512640 134716908 3221224560 3221223232 134556501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23755 22659 1111 63 0 23692 0
vsize: 95020
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 25000 0 0 0 8941 55 0 0 25 0 1 0 909330697 106225664 24832 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25934 24832 1111 63 0 25871 0
vsize: 103736
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 26995 0 0 0 9938 58 0 0 25 0 1 0 909330697 114339840 26827 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27915 26827 1111 63 0 27852 0
vsize: 111660
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 28801 0 0 0 10936 62 0 0 25 0 1 0 909330697 121778176 28633 4294967295 134512640 134716908 3221224560 3221223288 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29731 28633 1111 63 0 29668 0
vsize: 118924
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 30489 0 0 0 11933 65 0 0 25 0 1 0 909330697 128675840 30321 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31415 30321 1111 63 0 31352 0
vsize: 125660
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 31978 0 0 0 12931 67 0 0 25 0 1 0 909330697 134758400 31810 4294967295 134512640 134716908 3221224560 3221223052 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32900 31810 1111 63 0 32837 0
vsize: 131600
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 33260 0 0 0 13928 70 0 0 25 0 1 0 909330697 140034048 33092 4294967295 134512640 134716908 3221224560 3221223180 134588029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34188 33092 1111 63 0 34125 0
vsize: 136752
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 34332 0 0 0 14926 72 0 0 25 0 1 0 909330697 144494592 34164 4294967295 134512640 134716908 3221224560 3221222892 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35277 34164 1111 63 0 35214 0
vsize: 141108
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 35076 0 0 0 15924 74 0 0 25 0 1 0 909330697 147468288 34908 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36003 34908 1111 63 0 35940 0
vsize: 144012
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 35669 0 0 0 16923 76 0 0 25 0 1 0 909330697 149905408 35501 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36598 35501 1111 63 0 36535 0
vsize: 146392
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 36178 0 0 0 17922 77 0 0 25 0 1 0 909330697 151932928 36010 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37093 36010 1111 63 0 37030 0
vsize: 148372
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 36427 0 0 0 18922 77 0 0 25 0 1 0 909330697 153014272 36259 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37357 36259 1111 63 0 37294 0
vsize: 149428
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 36517 0 0 0 19922 77 0 0 25 0 1 0 909330697 153407488 36349 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37453 36349 1111 63 0 37390 0
vsize: 149812
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 36528 0 0 0 20922 77 0 0 25 0 1 0 909330697 153407488 36360 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37453 36360 1111 63 0 37390 0
vsize: 149812
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 36536 0 0 0 21922 77 0 0 25 0 1 0 909330697 153407488 36368 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37453 36368 1111 63 0 37390 0
vsize: 149812
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 36543 0 0 0 22922 77 0 0 25 0 1 0 909330697 153542656 36375 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37486 36375 1111 63 0 37423 0
vsize: 149944
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 36554 0 0 0 23923 77 0 0 25 0 1 0 909330697 153542656 36386 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37486 36386 1111 63 0 37423 0
vsize: 149944
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 36562 0 0 0 24923 77 0 0 25 0 1 0 909330697 153542656 36394 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37486 36394 1111 63 0 37423 0
vsize: 149944
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 38240 0 0 0 25919 81 0 0 25 0 1 0 909330697 160440320 37954 4294967295 134512640 134716908 3221224560 3221222800 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39170 37954 1111 63 0 39107 0
vsize: 156680
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 39887 0 0 0 26915 84 0 0 25 0 1 0 909330697 166092800 39234 4294967295 134512640 134716908 3221224560 3221220340 1074786600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40550 39234 1111 63 0 40487 0
vsize: 162200
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 39940 0 0 0 27915 84 0 0 25 0 1 0 909330697 166260736 39287 4294967295 134512640 134716908 3221224560 3221220320 1074868616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40591 39287 1111 63 0 40528 0
vsize: 162364
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 39955 0 0 0 28915 84 0 0 25 0 1 0 909330697 167256064 39302 4294967295 134512640 134716908 3221224560 3221220340 1074786588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40834 39302 1111 63 0 40771 0
vsize: 163336
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 78657 0 0 0 29832 168 0 0 25 0 1 0 909330697 162488320 38620 4294967295 134512640 134716908 3221224560 3221222616 1074950131 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39670 38620 1111 63 0 39607 0
vsize: 158680
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 127818 0 0 0 30721 279 0 0 25 0 1 0 909330697 161869824 38470 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39519 38470 1111 63 0 39456 0
vsize: 158076
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 130631 0 0 0 31715 285 0 0 25 0 1 0 909330697 163229696 38774 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39851 38774 1111 63 0 39788 0
vsize: 159404
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 132845 0 0 0 32710 290 0 0 25 0 1 0 909330697 163819520 38930 4294967295 134512640 134716908 3221224560 3221222752 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39995 38930 1111 63 0 39932 0
vsize: 159980
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 135784 0 0 0 33704 296 0 0 25 0 1 0 909330697 163340288 38822 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39878 38822 1111 63 0 39815 0
vsize: 159512
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 137496 0 0 0 34700 300 0 0 25 0 1 0 909330697 168665088 39707 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41178 39707 1111 63 0 41115 0
vsize: 164712
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 137523 0 0 0 35701 300 0 0 25 0 1 0 909330697 169320448 39734 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41338 39734 1111 63 0 41275 0
vsize: 165352
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 138057 0 0 0 36700 301 0 0 25 0 1 0 909330697 167391232 39496 4294967295 134512640 134716908 3221224560 3221220720 1075095344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40867 39504 1111 63 0 40804 0
vsize: 163468
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 138770 0 0 0 37698 303 0 0 25 0 1 0 909330697 164421632 39077 4294967295 134512640 134716908 3221224560 3221222896 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40142 39077 1111 63 0 40079 0
vsize: 160568
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 139833 0 0 0 38696 305 0 0 25 0 1 0 909330697 168980480 39881 4294967295 134512640 134716908 3221224560 3221220788 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41255 39881 1111 63 0 41192 0
vsize: 165020
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 139833 0 0 0 39697 305 0 0 25 0 1 0 909330697 168980480 39881 4294967295 134512640 134716908 3221224560 3221221152 1074885865 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41255 39881 1111 63 0 41192 0
vsize: 165020
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 139834 0 0 0 40697 305 0 0 25 0 1 0 909330697 168980480 39882 4294967295 134512640 134716908 3221224560 3221221152 1074886346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41255 39882 1111 63 0 41192 0
vsize: 165020
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 139834 0 0 0 41697 305 0 0 25 0 1 0 909330697 168980480 39882 4294967295 134512640 134716908 3221224560 3221220416 1074868635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41255 39882 1111 63 0 41192 0
vsize: 165020
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 139834 0 0 0 42697 305 0 0 25 0 1 0 909330697 168980480 39882 4294967295 134512640 134716908 3221224560 3221220788 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41255 39882 1111 63 0 41192 0
vsize: 165020
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 140399 0 0 0 43696 306 0 0 25 0 1 0 909330697 165015552 39203 4294967295 134512640 134716908 3221224560 3221223048 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40287 39203 1111 63 0 40224 0
vsize: 161148
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13288
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 140399 0 0 0 44696 306 0 0 25 0 1 0 909330697 165015552 39203 4294967295 134512640 134716908 3221224560 3221223040 1074031998 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40287 39203 1111 63 0 40224 0
vsize: 161148
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 13324
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 141858 0 0 0 45693 310 0 0 25 0 1 0 909330697 169304064 39886 4294967295 134512640 134716908 3221224560 3221220528 1074872876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41334 39886 1111 63 0 41271 0
vsize: 165336
[startup+470.024 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 13341
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 142194 0 0 0 46691 312 0 0 25 0 1 0 909330697 167571456 39417 4294967295 134512640 134716908 3221224560 3221220896 1075113634 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40911 39417 1111 63 0 40848 0
vsize: 163644
[startup+480.024 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13341
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 142894 0 0 0 47688 314 0 0 25 0 1 0 909330697 164691968 39146 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40208 39146 1111 63 0 40145 0
vsize: 160832
[startup+490.024 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13341
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144129 0 0 0 48686 317 0 0 25 0 1 0 909330697 170045440 40122 4294967295 134512640 134716908 3221224560 3221220528 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41515 40122 1111 63 0 41452 0
vsize: 166060
[startup+500.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13341
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144142 0 0 0 49686 317 0 0 25 0 1 0 909330697 170045440 40135 4294967295 134512640 134716908 3221224560 3221220720 1075095088 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41515 40135 1111 63 0 41452 0
vsize: 166060
[startup+510.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13341
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144142 0 0 0 50687 317 0 0 25 0 1 0 909330697 170045440 40135 4294967295 134512640 134716908 3221224560 3221220788 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41515 40135 1111 63 0 41452 0
vsize: 166060
[startup+520.024 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13341
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144142 0 0 0 51687 317 0 0 25 0 1 0 909330697 170045440 40135 4294967295 134512640 134716908 3221224560 3221220892 1076111473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41515 40135 1111 63 0 41452 0
vsize: 166060
[startup+530.025 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13341
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144149 0 0 0 52687 317 0 0 25 0 1 0 909330697 170708992 40142 4294967295 134512640 134716908 3221224560 3221220416 1074868672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41677 40142 1111 63 0 41614 0
vsize: 166708
[startup+540.025 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144149 0 0 0 53687 317 0 0 25 0 1 0 909330697 170708992 40142 4294967295 134512640 134716908 3221224560 3221221108 1075088584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41677 40142 1111 63 0 41614 0
vsize: 166708
[startup+550.026 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144149 0 0 0 54687 317 0 0 25 0 1 0 909330697 170708992 40142 4294967295 134512640 134716908 3221224560 3221220416 1074868878 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41677 40142 1111 63 0 41614 0
vsize: 166708
[startup+560.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144149 0 0 0 55687 317 0 0 25 0 1 0 909330697 170708992 40142 4294967295 134512640 134716908 3221224560 3221221504 1074620107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41677 40142 1111 63 0 41614 0
vsize: 166708
[startup+570.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144149 0 0 0 56688 317 0 0 25 0 1 0 909330697 170708992 40142 4294967295 134512640 134716908 3221224560 3221220444 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41677 40142 1111 63 0 41614 0
vsize: 166708
[startup+580.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144149 0 0 0 57688 317 0 0 25 0 1 0 909330697 170708992 40142 4294967295 134512640 134716908 3221224560 3221220956 1075965344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41677 40142 1111 63 0 41614 0
vsize: 166708
[startup+590.025 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144150 0 0 0 58688 317 0 0 25 0 1 0 909330697 170708992 40143 4294967295 134512640 134716908 3221224560 3221220524 1074788184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41677 40143 1111 63 0 41614 0
vsize: 166708
[startup+600.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 144150 0 0 0 59688 317 0 0 25 0 1 0 909330697 170708992 40143 4294967295 134512640 134716908 3221224560 3221220984 1075111251 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41677 40143 1111 63 0 41614 0
vsize: 166708
[startup+610.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 145182 0 0 0 60686 319 0 0 25 0 1 0 909330697 169058304 39902 4294967295 134512640 134716908 3221224560 3221220416 1074868498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41274 39902 1111 63 0 41211 0
vsize: 165096
[startup+620.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 145182 0 0 0 61687 319 0 0 25 0 1 0 909330697 169058304 39902 4294967295 134512640 134716908 3221224560 3221221216 1075967920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41274 39902 1111 63 0 41211 0
vsize: 165096
[startup+630.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 145189 0 0 0 62687 319 0 0 25 0 1 0 909330697 169721856 39909 4294967295 134512640 134716908 3221224560 3221220468 1074786537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41436 39909 1111 63 0 41373 0
vsize: 165744
[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 145189 0 0 0 63687 319 0 0 25 0 1 0 909330697 169721856 39909 4294967295 134512640 134716908 3221224560 3221221136 1076048416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41436 39909 1111 63 0 41373 0
vsize: 165744
[startup+650.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 145189 0 0 0 64687 319 0 0 25 0 1 0 909330697 169721856 39909 4294967295 134512640 134716908 3221224560 3221221496 1075066460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41436 39909 1111 63 0 41373 0
vsize: 165744
[startup+660.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 145189 0 0 0 65687 319 0 0 25 0 1 0 909330697 169721856 39909 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41436 39909 1111 63 0 41373 0
vsize: 165744
[startup+670.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 154653 0 0 0 66668 338 0 0 25 0 1 0 909330697 165453824 39332 4294967295 134512640 134716908 3221224560 3221223116 134539334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40394 39332 1111 63 0 40331 0
vsize: 161576
[startup+680.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 156333 0 0 0 67665 342 0 0 25 0 1 0 909330697 169918464 40047 4294967295 134512640 134716908 3221224560 3221220468 1074786479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41484 40047 1111 63 0 41421 0
vsize: 165936
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 156341 0 0 0 68665 342 0 0 25 0 1 0 909330697 170573824 40055 4294967295 134512640 134716908 3221224560 3221221480 1075964781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41644 40055 1111 63 0 41581 0
vsize: 166576
[startup+700.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 157305 0 0 0 69663 344 0 0 25 0 1 0 909330697 165683200 39367 4294967295 134512640 134716908 3221224560 3221223080 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40450 39369 1111 63 0 40387 0
vsize: 161800
[startup+710.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159091 0 0 0 70659 348 0 0 25 0 1 0 909330697 171356160 40381 4294967295 134512640 134716908 3221224560 3221220444 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41835 40381 1111 63 0 41772 0
vsize: 167340
[startup+720.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159111 0 0 0 71659 348 0 0 25 0 1 0 909330697 171356160 40401 4294967295 134512640 134716908 3221224560 3221220652 1075663457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41835 40401 1111 63 0 41772 0
vsize: 167340
[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159111 0 0 0 72660 348 0 0 25 0 1 0 909330697 171356160 40401 4294967295 134512640 134716908 3221224560 3221220416 1074868638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41835 40401 1111 63 0 41772 0
vsize: 167340
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159111 0 0 0 73660 348 0 0 25 0 1 0 909330697 171356160 40401 4294967295 134512640 134716908 3221224560 3221220416 1074868863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41835 40401 1111 63 0 41772 0
vsize: 167340
[startup+750.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159111 0 0 0 74660 348 0 0 25 0 1 0 909330697 171356160 40401 4294967295 134512640 134716908 3221224560 3221220624 1074881447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41835 40401 1111 63 0 41772 0
vsize: 167340
[startup+760.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159127 0 0 0 75660 348 0 0 25 0 1 0 909330697 172019712 40417 4294967295 134512640 134716908 3221224560 3221220496 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41997 40417 1111 63 0 41934 0
vsize: 167988
[startup+770.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159127 0 0 0 76660 348 0 0 25 0 1 0 909330697 172019712 40417 4294967295 134512640 134716908 3221224560 3221220444 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41997 40417 1111 63 0 41934 0
vsize: 167988
[startup+780.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13343
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159127 0 0 0 77660 348 0 0 25 0 1 0 909330697 172019712 40417 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41997 40417 1111 63 0 41934 0
vsize: 167988
[startup+790.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159127 0 0 0 78661 348 0 0 25 0 1 0 909330697 172019712 40417 4294967295 134512640 134716908 3221224560 3221220832 1074799491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41997 40417 1111 63 0 41934 0
vsize: 167988
[startup+800.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159127 0 0 0 79661 348 0 0 25 0 1 0 909330697 172019712 40417 4294967295 134512640 134716908 3221224560 3221220788 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41997 40417 1111 63 0 41934 0
vsize: 167988
[startup+810.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159127 0 0 0 80661 348 0 0 25 0 1 0 909330697 172019712 40417 4294967295 134512640 134716908 3221224560 3221220944 1074972112 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41997 40417 1111 63 0 41934 0
vsize: 167988
[startup+820.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159127 0 0 0 81661 348 0 0 25 0 1 0 909330697 172019712 40417 4294967295 134512640 134716908 3221224560 3221220496 1075965287 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41997 40417 1111 63 0 41934 0
vsize: 167988
[startup+830.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 159131 0 0 0 82661 348 0 0 25 0 1 0 909330697 172019712 40421 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41997 40421 1111 63 0 41934 0
vsize: 167988
[startup+840.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160143 0 0 0 83659 350 0 0 25 0 1 0 909330697 169852928 40149 4294967295 134512640 134716908 3221224560 3221221564 1074621117 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41468 40149 1111 63 0 41405 0
vsize: 165872
[startup+850.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160151 0 0 0 84660 350 0 0 25 0 1 0 909330697 170184704 40157 4294967295 134512640 134716908 3221224560 3221221152 1074887021 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41549 40157 1111 63 0 41486 0
vsize: 166196
[startup+860.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160164 0 0 0 85660 350 0 0 25 0 1 0 909330697 170848256 40170 4294967295 134512640 134716908 3221224560 3221220444 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41711 40170 1111 63 0 41648 0
vsize: 166844
[startup+870.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160164 0 0 0 86660 350 0 0 25 0 1 0 909330697 170848256 40170 4294967295 134512640 134716908 3221224560 3221220788 1075115043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41711 40170 1111 63 0 41648 0
vsize: 166844
[startup+880.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160164 0 0 0 87660 350 0 0 25 0 1 0 909330697 170848256 40170 4294967295 134512640 134716908 3221224560 3221220416 1074868565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41711 40170 1111 63 0 41648 0
vsize: 166844
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160164 0 0 0 88660 350 0 0 25 0 1 0 909330697 170848256 40170 4294967295 134512640 134716908 3221224560 3221220788 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41711 40170 1111 63 0 41648 0
vsize: 166844
[startup+900.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160164 0 0 0 89660 350 0 0 25 0 1 0 909330697 170848256 40170 4294967295 134512640 134716908 3221224560 3221221024 1075602720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41711 40170 1111 63 0 41648 0
vsize: 166844
[startup+910.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160164 0 0 0 90661 350 0 0 25 0 1 0 909330697 170848256 40170 4294967295 134512640 134716908 3221224560 3221220660 1075964218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41711 40170 1111 63 0 41648 0
vsize: 166844
[startup+920.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160164 0 0 0 91661 350 0 0 25 0 1 0 909330697 170848256 40170 4294967295 134512640 134716908 3221224560 3221220572 1074788937 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41711 40170 1111 63 0 41648 0
vsize: 166844
[startup+930.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 160165 0 0 0 92661 350 0 0 25 0 1 0 909330697 170848256 40171 4294967295 134512640 134716908 3221224560 3221220800 1075115747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41711 40171 1111 63 0 41648 0
vsize: 166844
[startup+940.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 164348 0 0 0 93651 361 0 0 25 0 1 0 909330697 171376640 40224 4294967295 134512640 134716908 3221224560 3221220604 1074873723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41840 40224 1111 63 0 41777 0
vsize: 167360
[startup+950.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 164532 0 0 0 94650 361 0 0 25 0 1 0 909330697 171548672 40290 4294967295 134512640 134716908 3221224560 3221220624 1074880982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41882 40290 1111 63 0 41819 0
vsize: 167528
[startup+960.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 165279 0 0 0 95649 363 0 0 25 0 1 0 909330697 166961152 39670 4294967295 134512640 134716908 3221224560 3221223152 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40762 39670 1111 63 0 40699 0
vsize: 163048
[startup+970.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 167026 0 0 0 96646 366 0 0 25 0 1 0 909330697 172441600 40645 4294967295 134512640 134716908 3221224560 3221221088 1075397153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42100 40645 1111 63 0 42037 0
vsize: 168400
[startup+980.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 167041 0 0 0 97646 367 0 0 25 0 1 0 909330697 172441600 40660 4294967295 134512640 134716908 3221224560 3221221216 1075967916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42100 40660 1111 63 0 42037 0
vsize: 168400
[startup+990.038 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 167041 0 0 0 98646 367 0 0 25 0 1 0 909330697 172441600 40660 4294967295 134512640 134716908 3221224560 3221220444 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42100 40660 1111 63 0 42037 0
vsize: 168400
[startup+1000.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 167041 0 0 0 99646 367 0 0 25 0 1 0 909330697 172441600 40660 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42100 40660 1111 63 0 42037 0
vsize: 168400
[startup+1010.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 167041 0 0 0 100646 367 0 0 25 0 1 0 909330697 172441600 40660 4294967295 134512640 134716908 3221224560 3221221504 1074620113 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42100 40660 1111 63 0 42037 0
vsize: 168400
[startup+1020.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 167048 0 0 0 101646 367 0 0 25 0 1 0 909330697 173105152 40667 4294967295 134512640 134716908 3221224560 3221220436 1074786582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42262 40667 1111 63 0 42199 0
vsize: 169048
[startup+1030.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 167048 0 0 0 102647 367 0 0 25 0 1 0 909330697 173105152 40667 4294967295 134512640 134716908 3221224560 3221220572 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42262 40667 1111 63 0 42199 0
vsize: 169048
[startup+1040.04 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 170172 0 0 0 103641 373 0 0 25 0 1 0 909330697 167768064 39875 4294967295 134512640 134716908 3221224560 3221222760 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40959 39875 1111 63 0 40896 0
vsize: 163836
[startup+1050.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 174172 0 0 0 104632 382 0 0 25 0 1 0 909330697 172015616 40531 4294967295 134512640 134716908 3221224560 3221220572 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41996 40531 1111 63 0 41933 0
vsize: 167984
[startup+1060.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 174874 0 0 0 105631 383 0 0 25 0 1 0 909330697 170401792 40226 4294967295 134512640 134716908 3221224560 3221221372 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41602 40226 1111 63 0 41539 0
vsize: 166408
[startup+1070.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176641 0 0 0 106628 386 0 0 25 0 1 0 909330697 173920256 40815 4294967295 134512640 134716908 3221224560 3221220720 1074883509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42461 40815 1111 63 0 42398 0
vsize: 169844
[startup+1080.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176840 0 0 0 107627 387 0 0 25 0 1 0 909330697 173436928 40896 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42343 40896 1111 63 0 42280 0
vsize: 169372
[startup+1090.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176844 0 0 0 108627 387 0 0 25 0 1 0 909330697 173436928 40900 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42343 40900 1111 63 0 42280 0
vsize: 169372
[startup+1100.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176844 0 0 0 109628 387 0 0 25 0 1 0 909330697 173436928 40900 4294967295 134512640 134716908 3221224560 3221220416 1074867717 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42343 40900 1111 63 0 42280 0
vsize: 169372
[startup+1110.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176853 0 0 0 110628 387 0 0 25 0 1 0 909330697 174100480 40909 4294967295 134512640 134716908 3221224560 3221220928 1075894487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42505 40909 1111 63 0 42442 0
vsize: 170020
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176861 0 0 0 111628 387 0 0 25 0 1 0 909330697 174100480 40917 4294967295 134512640 134716908 3221224560 3221220416 1074867730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42505 40917 1111 63 0 42442 0
vsize: 170020
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176861 0 0 0 112628 387 0 0 25 0 1 0 909330697 174100480 40917 4294967295 134512640 134716908 3221224560 3221221372 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42505 40917 1111 63 0 42442 0
vsize: 170020
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176861 0 0 0 113631 387 0 0 25 0 1 0 909330697 174100480 40917 4294967295 134512640 134716908 3221224560 3221220788 1075114984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42505 40917 1111 63 0 42442 0
vsize: 170020
[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176861 0 0 0 114632 387 0 0 25 0 1 0 909330697 174100480 40917 4294967295 134512640 134716908 3221224560 3221220624 1074881476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42505 40917 1111 63 0 42442 0
vsize: 170020
[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176861 0 0 0 115632 387 0 0 25 0 1 0 909330697 174100480 40917 4294967295 134512640 134716908 3221224560 3221220416 1074868649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42505 40917 1111 63 0 42442 0
vsize: 170020
[startup+1170.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 176862 0 0 0 116632 387 0 0 25 0 1 0 909330697 174100480 40918 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42505 40918 1111 63 0 42442 0
vsize: 170020
[startup+1180.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 177828 0 0 0 117630 389 0 0 25 0 1 0 909330697 172449792 40638 4294967295 134512640 134716908 3221224560 3221220436 1074786584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42102 40638 1111 63 0 42039 0
vsize: 168408
[startup+1190.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 177836 0 0 0 118631 389 0 0 25 0 1 0 909330697 173113344 40646 4294967295 134512640 134716908 3221224560 3221220936 1075112606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42264 40646 1111 63 0 42201 0
vsize: 169056
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) R 13287 21152 21151 0 -1 0 177840 0 0 0 119631 389 0 0 25 0 1 0 909330697 173113344 40650 4294967295 134512640 134716908 3221224560 3221220880 1075170487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42264 40650 1111 63 0 42201 0
vsize: 169056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 13345
Raw data (stat): 13288 (bsolo_lpr_cuts-) Z 13287 21152 21151 0 -1 1036 177840 0 0 0 119631 396 0 0 25 0 1 0 909330697 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.15
CPU time (s): 1200.28
CPU user time (s): 1196.31
CPU system time (s): 3.9674
CPU usage (%): 100.011
Max. virtual memory (Kb): 170020
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####