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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-lseu.opb
MD5SUM	5fcfa2f72175b9723ffb2781fb76fcdc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02584
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 41463

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        417852 kB
Buffers:         28292 kB
Cached:         567408 kB
SwapCached:        932 kB
Active:          36472 kB
Inactive:       561272 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        417600 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            13404 kB
Committed_AS:    63720 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:11:45 (client local time) WITH STATUS 0 IN 1200.43 SECONDS
stats: 29518 7 1200.43 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.075 s
c Initial Lower Bound: 774
c Lower Bound Elapsed time: 0.013
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2874 @ 0.426
c NEW SOLUTION FOUND: 2823 @ 0.762
c NEW SOLUTION FOUND: 2727 @ 1.137
c NEW SOLUTION FOUND: 2668 @ 3.88
c NEW SOLUTION FOUND: 2665 @ 3.916
c NEW SOLUTION FOUND: 2663 @ 6.201
c NEW SOLUTION FOUND: 2641 @ 6.821
c NEW SOLUTION FOUND: 2638 @ 7.12
c NEW SOLUTION FOUND: 2603 @ 7.974
c NEW SOLUTION FOUND: 2573 @ 10.914
c NEW SOLUTION FOUND: 2546 @ 16.481
c NEW SOLUTION FOUND: 2490 @ 23.001
c NEW SOLUTION FOUND: 2415 @ 27.349
c NEW SOLUTION FOUND: 2405 @ 28.422
c NEW SOLUTION FOUND: 2403 @ 49.124
c NEW SOLUTION FOUND: 2367 @ 69.869
c NEW SOLUTION FOUND: 2353 @ 78.336
c NEW SOLUTION FOUND: 2343 @ 86.349
c NEW SOLUTION FOUND: 2310 @ 89.315
c NEW SOLUTION FOUND: 2293 @ 89.335
c NEW SOLUTION FOUND: 2220 @ 93.645
c NEW SOLUTION FOUND: 2134 @ 94.728
c NEW SOLUTION FOUND: 2101 @ 136.021
c NEW SOLUTION FOUND: 2066 @ 163.22
c NEW SOLUTION FOUND: 2062 @ 181.123
c NEW SOLUTION FOUND: 1976 @ 181.511
c NEW SOLUTION FOUND: 1949 @ 221.299
#### 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 12264
Raw data (stat): 12264 (runsolver) R 12263 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910415281 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.0001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 8389 0 0 0 964 33 0 0 25 0 1 0 910415281 12726272 2428 4294967295 134512640 134716908 3221224560 3221223336 134542409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3107 2428 1111 63 0 3044 0
vsize: 12428
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 36147 0 0 0 1899 97 0 0 25 0 1 0 910415281 16277504 3278 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3974 3278 1111 63 0 3911 0
vsize: 15896
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 58077 0 0 0 2849 148 0 0 25 0 1 0 910415281 18833408 3789 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3789 1111 63 0 4535 0
vsize: 18392
[startup+40.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 61146 0 0 0 3841 155 0 0 25 0 1 0 910415281 20111360 4222 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4910 4222 1111 63 0 4847 0
vsize: 19640
[startup+50.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 69143 0 0 0 4822 175 0 0 25 0 1 0 910415281 19783680 4021 4294967295 134512640 134716908 3221224560 3221220928 1075894487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4830 4021 1111 63 0 4767 0
vsize: 19320
[startup+60.0011 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 75877 0 0 0 5806 191 0 0 25 0 1 0 910415281 19521536 4087 4294967295 134512640 134716908 3221224560 3221222472 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4766 4087 1111 63 0 4703 0
vsize: 19064
[startup+70.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 82833 0 0 0 6791 206 0 0 25 0 1 0 910415281 19206144 4010 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4689 4010 1111 63 0 4626 0
vsize: 18756
[startup+80.0015 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 118719 0 0 0 7710 288 0 0 25 0 1 0 910415281 25174016 5388 4294967295 134512640 134716908 3221224560 3221223280 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6146 5388 1111 63 0 6083 0
vsize: 24584
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 149959 0 0 0 8639 359 0 0 25 0 1 0 910415281 29913088 6486 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7438 6492 1111 63 0 7375 0
vsize: 29212
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 175330 0 0 0 9580 418 0 0 25 0 1 0 910415281 32858112 7157 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8112 7160 1111 63 0 8049 0
vsize: 32088
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 192030 0 0 0 10544 455 0 0 25 0 1 0 910415281 34242560 7574 4294967295 134512640 134716908 3221224560 3221223376 134622277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8360 7574 1111 63 0 8297 0
vsize: 33440
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 218896 0 0 0 11484 515 0 0 25 0 1 0 910415281 36904960 8206 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9010 8206 1111 63 0 8947 0
vsize: 36040
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 239256 0 0 0 12439 560 0 0 25 0 1 0 910415281 39337984 8770 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9604 8770 1111 63 0 9541 0
vsize: 38416
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 276547 0 0 0 13356 643 0 0 25 0 1 0 910415281 44060672 9909 4294967295 134512640 134716908 3221224560 3221222896 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10757 9909 1111 63 0 10694 0
vsize: 43028
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 320530 0 0 0 14258 742 0 0 25 0 1 0 910415281 49446912 11205 4294967295 134512640 134716908 3221224560 3221222476 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12072 11205 1111 63 0 12009 0
vsize: 48288
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 356133 0 0 0 15176 824 0 0 25 0 1 0 910415281 54394880 12325 4294967295 134512640 134716908 3221224560 3221223272 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13280 12325 1111 63 0 13217 0
vsize: 53120
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 380057 0 0 0 16121 879 0 0 25 0 1 0 910415281 56836096 12897 4294967295 134512640 134716908 3221224560 3221222904 134652472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13876 12897 1111 63 0 13813 0
vsize: 55504
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 394397 0 0 0 17091 910 0 0 25 0 1 0 910415281 57634816 13096 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14071 13096 1111 63 0 14008 0
vsize: 56284
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 406644 0 0 0 18062 939 0 0 25 0 1 0 910415281 60743680 13831 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14830 13831 1111 63 0 14767 0
vsize: 59320
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 411330 0 0 0 19053 949 0 0 25 0 1 0 910415281 59871232 13481 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14617 13494 1111 63 0 14554 0
vsize: 58468
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 420020 0 0 0 20034 968 0 0 25 0 1 0 910415281 59461632 13543 4294967295 134512640 134716908 3221224560 3221222800 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14517 13543 1111 63 0 14454 0
vsize: 58068
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 426688 0 0 0 21019 983 0 0 25 0 1 0 910415281 59613184 13580 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14554 13580 1111 63 0 14491 0
vsize: 58216
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 442731 0 0 0 21981 1021 0 0 25 0 1 0 910415281 61153280 13956 4294967295 134512640 134716908 3221224560 3221222768 1074153690 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14930 13956 1111 63 0 14867 0
vsize: 59720
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 451763 0 0 0 22960 1042 0 0 25 0 1 0 910415281 62750720 14338 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15320 14338 1111 63 0 15257 0
vsize: 61280
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 451908 0 0 0 23959 1044 0 0 25 0 1 0 910415281 63340544 14482 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 14482 1111 63 0 15401 0
vsize: 61856
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 452003 0 0 0 24958 1045 0 0 25 0 1 0 910415281 63860736 14577 4294967295 134512640 134716908 3221224560 3221222608 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15591 14577 1111 63 0 15528 0
vsize: 62364
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 452097 0 0 0 25957 1047 0 0 25 0 1 0 910415281 64147456 14671 4294967295 134512640 134716908 3221224560 3221222848 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15661 14671 1111 63 0 15598 0
vsize: 62644
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 452172 0 0 0 26956 1048 0 0 25 0 1 0 910415281 64552960 14746 4294967295 134512640 134716908 3221224560 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15760 14746 1111 63 0 15697 0
vsize: 63040
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 452222 0 0 0 27956 1048 0 0 25 0 1 0 910415281 64757760 14796 4294967295 134512640 134716908 3221224560 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15810 14796 1111 63 0 15747 0
vsize: 63240
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 454038 0 0 0 28952 1053 0 0 25 0 1 0 910415281 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 454038 0 0 0 29953 1053 0 0 25 0 1 0 910415281 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 454038 0 0 0 30953 1053 0 0 25 0 1 0 910415281 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 454038 0 0 0 31953 1053 0 0 25 0 1 0 910415281 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 454038 0 0 0 32953 1053 0 0 25 0 1 0 910415281 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 454038 0 0 0 33954 1053 0 0 25 0 1 0 910415281 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 459853 0 0 0 34940 1067 0 0 25 0 1 0 910415281 64798720 14838 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 14838 1111 63 0 15757 0
vsize: 63280
[startup+370.006 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 459853 0 0 0 35940 1067 0 0 25 0 1 0 910415281 64798720 14838 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 14838 1111 63 0 15757 0
vsize: 63280
[startup+380.007 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 459853 0 0 0 36940 1067 0 0 25 0 1 0 910415281 64798720 14838 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15820 14838 1111 63 0 15757 0
vsize: 63280
[startup+390.007 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 460077 0 0 0 37939 1069 0 0 25 0 1 0 910415281 63320064 14477 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15459 14477 1111 63 0 15396 0
vsize: 61836
[startup+400.007 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 460177 0 0 0 38938 1071 0 0 25 0 1 0 910415281 63729664 14577 4294967295 134512640 134716908 3221224560 3221222704 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15559 14577 1111 63 0 15496 0
vsize: 62236
[startup+410.007 s]
Raw data (loadavg): 1.18 1.02 0.93 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 460243 0 0 0 39937 1071 0 0 25 0 1 0 910415281 64000000 14643 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15625 14643 1111 63 0 15562 0
vsize: 62500
[startup+420.008 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 461457 0 0 0 40935 1074 0 0 25 0 1 0 910415281 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16434 15444 1111 63 0 16371 0
vsize: 65736
[startup+430.007 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 461457 0 0 0 41935 1074 0 0 25 0 1 0 910415281 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16434 15444 1111 63 0 16371 0
vsize: 65736
[startup+440.01 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 464007 0 0 0 42930 1080 0 0 25 0 1 0 910415281 77774848 17079 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18988 17079 1111 63 0 18925 0
vsize: 75952
[startup+450.011 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 473944 0 0 0 43909 1102 0 0 25 0 1 0 910415281 67452928 15477 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16468 15477 1111 63 0 16405 0
vsize: 65872
[startup+460.011 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 473944 0 0 0 44909 1102 0 0 25 0 1 0 910415281 67452928 15477 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16468 15477 1111 63 0 16405 0
vsize: 65872
[startup+470.012 s]
Raw data (loadavg): 1.06 1.01 0.93 3/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 479708 0 0 0 45896 1115 0 0 25 0 1 0 910415281 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+480.013 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 479708 0 0 0 46897 1115 0 0 25 0 1 0 910415281 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+490.012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 12264
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 479708 0 0 0 47897 1115 0 0 25 0 1 0 910415281 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+500.013 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 12265
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 483511 0 0 0 48889 1123 0 0 25 0 1 0 910415281 64135168 14676 4294967295 134512640 134716908 3221224560 3221223308 134622718 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15658 14676 1111 63 0 15595 0
vsize: 62632
[startup+510.013 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 12317
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 483511 0 0 0 49889 1124 0 0 25 0 1 0 910415281 64135168 14676 4294967295 134512640 134716908 3221224560 3221223296 134622912 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15658 14676 1111 63 0 15595 0
vsize: 62632
[startup+520.013 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 12317
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 483511 0 0 0 50889 1124 0 0 25 0 1 0 910415281 64135168 14676 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15658 14676 1111 63 0 15595 0
vsize: 62632
[startup+530.013 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 12317
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 486455 0 0 0 51880 1133 0 0 25 0 1 0 910415281 63291392 14470 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 14470 1111 63 0 15389 0
vsize: 61808
[startup+540.014 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 12317
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 490179 0 0 0 52872 1142 0 0 25 0 1 0 910415281 64045056 14623 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15636 14623 1111 63 0 15573 0
vsize: 62544
[startup+550.015 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 12317
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 490551 0 0 0 53871 1143 0 0 25 0 1 0 910415281 63700992 14551 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 14551 1111 63 0 15489 0
vsize: 62208
[startup+560.014 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 12317
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 497686 0 0 0 54854 1160 0 0 25 0 1 0 910415281 63086592 14420 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15402 14420 1111 63 0 15339 0
vsize: 61608
[startup+570.015 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 12317
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 500331 0 0 0 55849 1166 0 0 25 0 1 0 910415281 62676992 14320 4294967295 134512640 134716908 3221224560 3221222704 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15302 14320 1111 63 0 15239 0
vsize: 61208
[startup+580.016 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 505233 0 0 0 56836 1179 0 0 25 0 1 0 910415281 63410176 14405 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15481 14410 1111 63 0 15418 0
vsize: 61924
[startup+590.016 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 514368 0 0 0 57813 1203 0 0 25 0 1 0 910415281 62926848 14382 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15363 14382 1111 63 0 15300 0
vsize: 61452
[startup+600.016 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 535191 0 0 0 58764 1252 0 0 25 0 1 0 910415281 69636096 14920 4294967295 134512640 134716908 3221224560 3221220528 1074872882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17001 14920 1111 63 0 16938 0
vsize: 68004
[startup+610.017 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 539963 0 0 0 59752 1265 0 0 25 0 1 0 910415281 63684608 14570 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15548 14570 1111 63 0 15485 0
vsize: 62192
[startup+620.017 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 540074 0 0 0 60751 1266 0 0 25 0 1 0 910415281 64139264 14681 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15659 14681 1111 63 0 15596 0
vsize: 62636
[startup+630.018 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 540182 0 0 0 61751 1266 0 0 25 0 1 0 910415281 64614400 14789 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15775 14789 1111 63 0 15712 0
vsize: 63100
[startup+640.019 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 540245 0 0 0 62750 1267 0 0 25 0 1 0 910415281 64872448 14852 4294967295 134512640 134716908 3221224560 3221222704 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15838 14852 1111 63 0 15775 0
vsize: 63352
[startup+650.019 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 540318 0 0 0 63750 1268 0 0 25 0 1 0 910415281 65269760 14925 4294967295 134512640 134716908 3221224560 3221222656 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15935 14925 1111 63 0 15872 0
vsize: 63740
[startup+660.019 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 540375 0 0 0 64749 1269 0 0 25 0 1 0 910415281 65503232 14982 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15992 14982 1111 63 0 15929 0
vsize: 63968
[startup+670.019 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 65744 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+680.02 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 66745 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+690.021 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 67745 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+700.021 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 68745 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+710.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 69746 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+720.022 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 70746 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+730.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 71747 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+740.022 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 72747 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+750.023 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 73747 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 542390 0 0 0 74748 1274 0 0 25 0 1 0 910415281 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+770.024 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 550365 0 0 0 75730 1293 0 0 25 0 1 0 910415281 67710976 15509 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16531 15509 1111 63 0 16468 0
vsize: 66124
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 550365 0 0 0 76730 1293 0 0 25 0 1 0 910415281 67710976 15509 4294967295 134512640 134716908 3221224560 3221223352 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16531 15509 1111 63 0 16468 0
vsize: 66124
[startup+790.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 550365 0 0 0 77730 1293 0 0 25 0 1 0 910415281 67710976 15509 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16531 15509 1111 63 0 16468 0
vsize: 66124
[startup+800.026 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 550611 0 0 0 78729 1295 0 0 25 0 1 0 910415281 66101248 15144 4294967295 134512640 134716908 3221224560 3221222208 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16138 15144 1111 63 0 16075 0
vsize: 64552
[startup+810.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12319
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 551522 0 0 0 79726 1298 0 0 25 0 1 0 910415281 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16426 15434 1111 63 0 16363 0
vsize: 65704
[startup+820.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 551522 0 0 0 80726 1298 0 0 25 0 1 0 910415281 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16426 15434 1111 63 0 16363 0
vsize: 65704
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 551522 0 0 0 81727 1298 0 0 25 0 1 0 910415281 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16426 15434 1111 63 0 16363 0
vsize: 65704
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 555546 0 0 0 82718 1307 0 0 25 0 1 0 910415281 65851392 15090 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16077 15090 1111 63 0 16014 0
vsize: 64308
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 555698 0 0 0 83717 1309 0 0 25 0 1 0 910415281 65179648 14934 4294967295 134512640 134716908 3221224560 3221222656 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15913 14934 1111 63 0 15850 0
vsize: 63652
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 556532 0 0 0 84714 1311 0 0 25 0 1 0 910415281 66822144 15335 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16314 15335 1111 63 0 16251 0
vsize: 65256
[startup+870.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 556532 0 0 0 85715 1311 0 0 25 0 1 0 910415281 66822144 15335 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16314 15335 1111 63 0 16251 0
vsize: 65256
[startup+880.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 563763 0 0 0 86696 1330 0 0 25 0 1 0 910415281 64516096 14774 4294967295 134512640 134716908 3221224560 3221222448 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15751 14774 1111 63 0 15688 0
vsize: 63004
[startup+890.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 564668 0 0 0 87694 1333 0 0 25 0 1 0 910415281 67051520 15385 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16370 15385 1111 63 0 16307 0
vsize: 65480
[startup+900.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 564668 0 0 0 88694 1333 0 0 25 0 1 0 910415281 67051520 15385 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16370 15385 1111 63 0 16307 0
vsize: 65480
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 568692 0 0 0 89686 1341 0 0 25 0 1 0 910415281 65961984 15049 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16104 15049 1111 63 0 16041 0
vsize: 64416
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 568717 0 0 0 90686 1342 0 0 25 0 1 0 910415281 65179648 14883 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15913 14883 1111 63 0 15850 0
vsize: 63652
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 574677 0 0 0 91673 1355 0 0 25 0 1 0 910415281 63885312 14621 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15597 14621 1111 63 0 15534 0
vsize: 62388
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 582854 0 0 0 92653 1375 0 0 25 0 1 0 910415281 65007616 14853 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15871 14853 1111 63 0 15808 0
vsize: 63484
[startup+950.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 591412 0 0 0 93632 1397 0 0 25 0 1 0 910415281 70283264 14663 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17159 14666 1111 63 0 17096 0
vsize: 68636
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 598533 0 0 0 94617 1413 0 0 25 0 1 0 910415281 65200128 14940 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15918 14940 1111 63 0 15855 0
vsize: 63672
[startup+970.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 618604 0 0 0 95565 1464 0 0 25 0 1 0 910415281 65777664 15066 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16059 15066 1111 63 0 15996 0
vsize: 64236
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 653626 0 0 0 96483 1547 0 0 25 0 1 0 910415281 72605696 15301 4294967295 134512640 134716908 3221224560 3221220928 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17726 15301 1111 63 0 17663 0
vsize: 70904
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 700283 0 0 0 97378 1652 0 0 25 0 1 0 910415281 68538368 15645 4294967295 134512640 134716908 3221224560 3221222812 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16733 15645 1111 63 0 16670 0
vsize: 66932
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 750215 0 0 0 98255 1775 0 0 25 0 1 0 910415281 78843904 16651 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19249 16651 1111 63 0 19186 0
vsize: 76996
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 796053 0 0 0 99137 1894 0 0 25 0 1 0 910415281 77934592 17790 4294967295 134512640 134716908 3221224560 3221222448 1074057988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19027 17790 1111 63 0 18964 0
vsize: 76108
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 845957 0 0 0 100010 2022 0 0 25 0 1 0 910415281 83742720 19199 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20445 19199 1111 63 0 20382 0
vsize: 81780
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 870139 0 0 0 100949 2083 0 0 25 0 1 0 910415281 85831680 19696 4294967295 134512640 134716908 3221224560 3221222376 1077380786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20955 19696 1111 63 0 20892 0
vsize: 83820
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 907008 0 0 0 101858 2174 0 0 25 0 1 0 910415281 87265280 20073 4294967295 134512640 134716908 3221224560 3221223048 134654537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21305 20073 1111 63 0 21242 0
vsize: 85220
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 949570 0 0 0 102755 2278 0 0 25 0 1 0 910415281 89370624 20579 4294967295 134512640 134716908 3221224560 3221222208 1075821189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21819 20579 1111 63 0 21756 0
vsize: 87276
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 985866 0 0 0 103673 2360 0 0 25 0 1 0 910415281 91226112 21041 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22272 21041 1111 63 0 22209 0
vsize: 89088
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1007023 0 0 0 104622 2411 0 0 25 0 1 0 910415281 98611200 21755 4294967295 134512640 134716908 3221224560 3221221216 1075967398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24075 21755 1111 63 0 24012 0
vsize: 96300
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1041342 0 0 0 105542 2492 0 0 25 0 1 0 910415281 93589504 21584 4294967295 134512640 134716908 3221224560 3221222704 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22849 21584 1111 63 0 22786 0
vsize: 91396
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1066722 0 0 0 106482 2553 0 0 25 0 1 0 910415281 100691968 21818 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24583 21829 1111 63 0 24520 0
vsize: 98332
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1088322 0 0 0 107431 2603 0 0 25 0 1 0 910415281 95518720 22063 4294967295 134512640 134716908 3221224560 3221223140 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23320 22063 1111 63 0 23257 0
vsize: 93280
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1088671 0 0 0 108429 2605 0 0 25 0 1 0 910415281 97017856 22402 4294967295 134512640 134716908 3221224560 3221222944 134652402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23686 22402 1111 63 0 23623 0
vsize: 94744
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1088776 0 0 0 109428 2606 0 0 25 0 1 0 910415281 97435648 22507 4294967295 134512640 134716908 3221224560 3221222224 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23788 22507 1111 63 0 23725 0
vsize: 95152
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1088854 0 0 0 110427 2608 0 0 25 0 1 0 910415281 97746944 22585 4294967295 134512640 134716908 3221224560 3221222560 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23864 22585 1111 63 0 23801 0
vsize: 95456
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1088940 0 0 0 111427 2608 0 0 25 0 1 0 910415281 98029568 22671 4294967295 134512640 134716908 3221224560 3221222512 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23933 22671 1111 63 0 23870 0
vsize: 95732
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1088999 0 0 0 112426 2609 0 0 25 0 1 0 910415281 98271232 22730 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23992 22730 1111 63 0 23929 0
vsize: 95968
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1089084 0 0 0 113426 2610 0 0 25 0 1 0 910415281 98639872 22815 4294967295 134512640 134716908 3221224560 3221222560 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24082 22815 1111 63 0 24019 0
vsize: 96328
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1089135 0 0 0 114426 2610 0 0 25 0 1 0 910415281 98848768 22866 4294967295 134512640 134716908 3221224560 3221222752 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24133 22866 1111 63 0 24070 0
vsize: 96532
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1089171 0 0 0 115426 2611 0 0 25 0 1 0 910415281 98996224 22902 4294967295 134512640 134716908 3221224560 3221222464 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24169 22902 1111 63 0 24106 0
vsize: 96676
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1091538 0 0 0 116422 2615 0 0 25 0 1 0 910415281 105308160 24442 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25710 24442 1111 63 0 25647 0
vsize: 102840
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) R 12263 25568 25567 0 -1 0 1091538 0 0 0 117422 2615 0 0 25 0 1 0 910415281 105308160 24442 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25710 24442 1111 63 0 25647 0
vsize: 102840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 12321
Raw data (stat): 12264 (bsolo_lpr_cuts-) Z 12263 25568 25567 0 -1 1036 1091538 0 0 0 117422 2620 0 0 25 0 1 0 910415281 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.09
CPU time (s): 1200.43
CPU user time (s): 1174.23
CPU system time (s): 26.204
CPU usage (%): 100.028
Max. virtual memory (Kb): 102840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####