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/unibo/normalized-mps-v2-20-10-dc1c.opb
MD5SUM	bd6d0785955b31f4cbdede5ce3d2b1e9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	58150
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807821537690881359872
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6808845537690881359872
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1305.36
Number of variables	58150
Total number of constraints	10029
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	8381
Number of constraints which are nor clauses,nor cardinality constraints	1648
Minimum length of a constraint	1
Maximum length of a constraint	58150
Trace number 41316

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        627496 kB
Buffers:         18384 kB
Cached:         366852 kB
SwapCached:        664 kB
Active:          31304 kB
Inactive:       355960 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        627244 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14064 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:34:53 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 29376 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.97 0.92 1/54 652
Raw data (stat): 652 (runsolver) R 651 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909474884 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.92 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 1895 0 0 0 993 5 0 0 25 0 1 0 909474884 19415040 1815 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4740 1815 1111 63 0 4677 0
vsize: 18960
[startup+20.0011 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 2971 0 0 0 1991 7 0 0 25 0 1 0 909474884 23891968 2891 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5833 2891 1111 63 0 5770 0
vsize: 23332
[startup+30.0012 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 4046 0 0 0 2989 9 0 0 25 0 1 0 909474884 28221440 3966 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6890 3966 1111 63 0 6827 0
vsize: 27560
[startup+40.002 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 5206 0 0 0 3987 11 0 0 25 0 1 0 909474884 33001472 5126 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8057 5126 1111 63 0 7994 0
vsize: 32228
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 6542 0 0 0 4985 13 0 0 25 0 1 0 909474884 38522880 6462 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9405 6462 1111 63 0 9342 0
vsize: 37620
[startup+60.0036 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 7669 0 0 0 5984 15 0 0 25 0 1 0 909474884 43139072 7589 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 7589 1111 63 0 10469 0
vsize: 42128
[startup+70.0043 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 8897 0 0 0 6982 17 0 0 25 0 1 0 909474884 48214016 8817 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11771 8817 1111 63 0 11708 0
vsize: 47084
[startup+80.0046 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 10064 0 0 0 7980 20 0 0 25 0 1 0 909474884 52998144 9984 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12939 9984 1111 63 0 12876 0
vsize: 51756
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 11369 0 0 0 8977 22 0 0 25 0 1 0 909474884 58220544 11289 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14214 11289 1111 63 0 14151 0
vsize: 56856
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 12790 0 0 0 9975 24 0 0 25 0 1 0 909474884 64040960 12710 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15635 12710 1111 63 0 15572 0
vsize: 62540
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 13993 0 0 0 10974 26 0 0 25 0 1 0 909474884 69091328 13913 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16868 13913 1111 63 0 16805 0
vsize: 67472
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 15209 0 0 0 11971 29 0 0 25 0 1 0 909474884 74022912 15129 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18072 15129 1111 63 0 18009 0
vsize: 72288
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 16594 0 0 0 12968 32 0 0 25 0 1 0 909474884 79695872 16514 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19457 16514 1111 63 0 19394 0
vsize: 77828
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 17754 0 0 0 13966 34 0 0 25 0 1 0 909474884 84471808 17674 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20623 17674 1111 63 0 20560 0
vsize: 82492
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 18914 0 0 0 14964 36 0 0 25 0 1 0 909474884 89247744 18834 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21789 18834 1111 63 0 21726 0
vsize: 87156
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 20044 0 0 0 15962 38 0 0 25 0 1 0 909474884 93876224 19964 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22919 19964 1111 63 0 22856 0
vsize: 91676
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 21418 0 0 0 16960 41 0 0 25 0 1 0 909474884 99405824 21338 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24269 21338 1111 63 0 24206 0
vsize: 97076
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 22712 0 0 0 17958 44 0 0 25 0 1 0 909474884 104779776 22632 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25581 22632 1111 63 0 25518 0
vsize: 102324
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 23926 0 0 0 18956 46 0 0 25 0 1 0 909474884 109703168 23846 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26783 23846 1111 63 0 26720 0
vsize: 107132
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 25205 0 0 0 19953 49 0 0 25 0 1 0 909474884 114913280 25125 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28055 25125 1111 63 0 27992 0
vsize: 112220
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 26552 0 0 0 20950 52 0 0 25 0 1 0 909474884 120422400 26472 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29400 26472 1111 63 0 29337 0
vsize: 117600
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 27888 0 0 0 21949 53 0 0 25 0 1 0 909474884 125952000 27808 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30750 27808 1111 63 0 30687 0
vsize: 123000
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 29195 0 0 0 22946 56 0 0 25 0 1 0 909474884 131325952 29115 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32062 29115 1111 63 0 31999 0
vsize: 128248
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 30471 0 0 0 23943 59 0 0 25 0 1 0 909474884 136548352 30391 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33337 30391 1111 63 0 33274 0
vsize: 133348
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 31730 0 0 0 24941 62 0 0 25 0 1 0 909474884 141623296 31650 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34576 31650 1111 63 0 34513 0
vsize: 138304
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 32969 0 0 0 25939 64 0 0 25 0 1 0 909474884 146706432 32889 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35817 32889 1111 63 0 35754 0
vsize: 143268
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 34372 0 0 0 26937 66 0 0 25 0 1 0 909474884 152526848 34292 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37238 34292 1111 63 0 37175 0
vsize: 148952
[startup+280.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 35837 0 0 0 27936 69 0 0 25 0 1 0 909474884 158498816 35757 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38696 35757 1111 63 0 38633 0
vsize: 154784
[startup+290.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 37035 0 0 0 28933 72 0 0 25 0 1 0 909474884 163430400 36955 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39900 36955 1111 63 0 39837 0
vsize: 159600
[startup+300.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 38238 0 0 0 29931 74 0 0 25 0 1 0 909474884 168353792 38158 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41102 38158 1111 63 0 41039 0
vsize: 164408
[startup+310.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 39441 0 0 0 30929 77 0 0 25 0 1 0 909474884 173281280 39361 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42305 39361 1111 63 0 42242 0
vsize: 169220
[startup+320.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 40687 0 0 0 31925 80 0 0 25 0 1 0 909474884 178356224 40607 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43544 40607 1111 63 0 43481 0
vsize: 174176
[startup+330.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 41963 0 0 0 32923 82 0 0 25 0 1 0 909474884 183578624 41883 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44819 41883 1111 63 0 44756 0
vsize: 179276
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 43252 0 0 0 33921 85 0 0 25 0 1 0 909474884 188809216 43172 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46096 43172 1111 63 0 46033 0
vsize: 184384
[startup+350.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 44515 0 0 0 34919 87 0 0 25 0 1 0 909474884 194035712 44435 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47372 44435 1111 63 0 47309 0
vsize: 189488
[startup+360.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 45772 0 0 0 35917 90 0 0 25 0 1 0 909474884 199258112 45692 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48647 45692 1111 63 0 48584 0
vsize: 194588
[startup+370.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 47139 0 0 0 36914 92 0 0 25 0 1 0 909474884 204783616 47059 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49996 47059 1111 63 0 49933 0
vsize: 199984
[startup+380.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 48640 0 0 0 37912 95 0 0 25 0 1 0 909474884 210907136 48560 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51491 48560 1111 63 0 51428 0
vsize: 205964
[startup+390.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 49902 0 0 0 38909 98 0 0 25 0 1 0 909474884 216125440 49822 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52765 49822 1111 63 0 52702 0
vsize: 211060
[startup+400.03 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 51160 0 0 0 39908 100 0 0 25 0 1 0 909474884 221351936 51080 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54041 51080 1111 63 0 53978 0
vsize: 216164
[startup+410.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 51839 0 0 0 40906 101 0 0 25 0 1 0 909474884 224038912 51759 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54697 51759 1111 63 0 54634 0
vsize: 218788
[startup+420.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 51957 0 0 0 41906 102 0 0 25 0 1 0 909474884 224641024 51877 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54844 51877 1111 63 0 54781 0
vsize: 219376
[startup+430.031 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 52074 0 0 0 42905 102 0 0 25 0 1 0 909474884 225091584 51994 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54954 51994 1111 63 0 54891 0
vsize: 219816
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 52194 0 0 0 43905 103 0 0 25 0 1 0 909474884 225542144 52114 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55064 52114 1111 63 0 55001 0
vsize: 220256
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 52310 0 0 0 44905 103 0 0 25 0 1 0 909474884 225988608 52230 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55173 52230 1111 63 0 55110 0
vsize: 220692
[startup+460.033 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 52429 0 0 0 45905 104 0 0 25 0 1 0 909474884 226439168 52349 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55283 52349 1111 63 0 55220 0
vsize: 221132
[startup+470.034 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 52552 0 0 0 46904 105 0 0 25 0 1 0 909474884 227037184 52472 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55429 52472 1111 63 0 55366 0
vsize: 221716
[startup+480.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 52677 0 0 0 47904 105 0 0 25 0 1 0 909474884 227491840 52597 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55540 52597 1111 63 0 55477 0
vsize: 222160
[startup+490.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 52795 0 0 0 48904 106 0 0 25 0 1 0 909474884 227934208 52715 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55648 52715 1111 63 0 55585 0
vsize: 222592
[startup+500.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 52927 0 0 0 49904 106 0 0 25 0 1 0 909474884 228536320 52847 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55795 52847 1111 63 0 55732 0
vsize: 223180
[startup+510.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 53046 0 0 0 50903 107 0 0 25 0 1 0 909474884 228986880 52966 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55905 52966 1111 63 0 55842 0
vsize: 223620
[startup+520.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 53177 0 0 0 51903 107 0 0 25 0 1 0 909474884 229584896 53097 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56051 53097 1111 63 0 55988 0
vsize: 224204
[startup+530.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 53297 0 0 0 52903 107 0 0 25 0 1 0 909474884 230039552 53217 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56162 53217 1111 63 0 56099 0
vsize: 224648
[startup+540.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 53426 0 0 0 53903 107 0 0 25 0 1 0 909474884 230633472 53346 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56307 53346 1111 63 0 56244 0
vsize: 225228
[startup+550.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 53546 0 0 0 54903 108 0 0 25 0 1 0 909474884 231088128 53466 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56418 53466 1111 63 0 56355 0
vsize: 225672
[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 53676 0 0 0 55903 108 0 0 25 0 1 0 909474884 231534592 53596 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56527 53596 1111 63 0 56464 0
vsize: 226108
[startup+570.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 53796 0 0 0 56902 109 0 0 25 0 1 0 909474884 232132608 53716 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56673 53716 1111 63 0 56610 0
vsize: 226692
[startup+580.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 53928 0 0 0 57902 110 0 0 25 0 1 0 909474884 232583168 53848 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56783 53848 1111 63 0 56720 0
vsize: 227132
[startup+590.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 54060 0 0 0 58901 110 0 0 25 0 1 0 909474884 233185280 53980 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56930 53980 1111 63 0 56867 0
vsize: 227720
[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 54193 0 0 0 59901 111 0 0 25 0 1 0 909474884 233635840 54113 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57040 54113 1111 63 0 56977 0
vsize: 228160
[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 54324 0 0 0 60901 111 0 0 25 0 1 0 909474884 234229760 54244 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57185 54244 1111 63 0 57122 0
vsize: 228740
[startup+620.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 54456 0 0 0 61901 112 0 0 25 0 1 0 909474884 234831872 54376 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57332 54376 1111 63 0 57269 0
vsize: 229328
[startup+630.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 54589 0 0 0 62900 112 0 0 25 0 1 0 909474884 235282432 54509 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57442 54509 1111 63 0 57379 0
vsize: 229768
[startup+640.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 54721 0 0 0 63900 113 0 0 25 0 1 0 909474884 235884544 54641 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57589 54641 1111 63 0 57526 0
vsize: 230356
[startup+650.042 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 54853 0 0 0 64899 113 0 0 25 0 1 0 909474884 236335104 54773 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57699 54773 1111 63 0 57636 0
vsize: 230796
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 54985 0 0 0 65899 114 0 0 25 0 1 0 909474884 236929024 54905 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57844 54905 1111 63 0 57781 0
vsize: 231376
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 55117 0 0 0 66899 115 0 0 25 0 1 0 909474884 237531136 55037 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57991 55037 1111 63 0 57928 0
vsize: 231964
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 55263 0 0 0 67898 115 0 0 25 0 1 0 909474884 238133248 55183 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58138 55183 1111 63 0 58075 0
vsize: 232552
[startup+690.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 55395 0 0 0 68898 116 0 0 25 0 1 0 909474884 238579712 55315 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58247 55315 1111 63 0 58184 0
vsize: 232988
[startup+700.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 55552 0 0 0 69897 117 0 0 25 0 1 0 909474884 239378432 55472 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58442 55472 1111 63 0 58379 0
vsize: 233768
[startup+710.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 55677 0 0 0 70897 117 0 0 25 0 1 0 909474884 239820800 55597 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58550 55597 1111 63 0 58487 0
vsize: 234200
[startup+720.045 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 55823 0 0 0 71896 118 0 0 25 0 1 0 909474884 240422912 55743 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58697 55743 1111 63 0 58634 0
vsize: 234788
[startup+730.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 55957 0 0 0 72896 119 0 0 25 0 1 0 909474884 241020928 55877 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58843 55877 1111 63 0 58780 0
vsize: 235372
[startup+740.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 56103 0 0 0 73896 119 0 0 25 0 1 0 909474884 241618944 56023 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58989 56023 1111 63 0 58926 0
vsize: 235956
[startup+750.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 56250 0 0 0 74895 120 0 0 25 0 1 0 909474884 242221056 56170 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59136 56170 1111 63 0 59073 0
vsize: 236544
[startup+760.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 56396 0 0 0 75894 121 0 0 25 0 1 0 909474884 242823168 56316 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59283 56316 1111 63 0 59220 0
vsize: 237132
[startup+770.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 56543 0 0 0 76894 121 0 0 25 0 1 0 909474884 243417088 56463 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59428 56463 1111 63 0 59365 0
vsize: 237712
[startup+780.046 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 56692 0 0 0 77893 122 0 0 25 0 1 0 909474884 244019200 56612 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59575 56612 1111 63 0 59512 0
vsize: 238300
[startup+790.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 56846 0 0 0 78893 123 0 0 25 0 1 0 909474884 244621312 56766 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59722 56766 1111 63 0 59659 0
vsize: 238888
[startup+800.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 57000 0 0 0 79892 124 0 0 25 0 1 0 909474884 245215232 56920 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59867 56920 1111 63 0 59804 0
vsize: 239468
[startup+810.047 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 57162 0 0 0 80892 124 0 0 25 0 1 0 909474884 245968896 57082 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60051 57082 1111 63 0 59988 0
vsize: 240204
[startup+820.048 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 57323 0 0 0 81891 125 0 0 25 0 1 0 909474884 246571008 57243 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60198 57243 1111 63 0 60135 0
vsize: 240792
[startup+830.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 57485 0 0 0 82891 126 0 0 25 0 1 0 909474884 247320576 57405 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60381 57405 1111 63 0 60318 0
vsize: 241524
[startup+840.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 57645 0 0 0 83890 127 0 0 25 0 1 0 909474884 247914496 57565 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60526 57565 1111 63 0 60463 0
vsize: 242104
[startup+850.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 57808 0 0 0 84890 127 0 0 25 0 1 0 909474884 248516608 57728 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60673 57728 1111 63 0 60610 0
vsize: 242692
[startup+860.049 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 57971 0 0 0 85890 127 0 0 25 0 1 0 909474884 249270272 57891 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60857 57891 1111 63 0 60794 0
vsize: 243428
[startup+870.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 58139 0 0 0 86890 128 0 0 25 0 1 0 909474884 249864192 58059 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61002 58059 1111 63 0 60939 0
vsize: 244008
[startup+880.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 58307 0 0 0 87889 129 0 0 25 0 1 0 909474884 250613760 58227 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61185 58227 1111 63 0 61122 0
vsize: 244740
[startup+890.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 58470 0 0 0 88888 130 0 0 25 0 1 0 909474884 251215872 58390 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61332 58390 1111 63 0 61269 0
vsize: 245328
[startup+900.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 58645 0 0 0 89888 130 0 0 25 0 1 0 909474884 251965440 58565 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61515 58565 1111 63 0 61452 0
vsize: 246060
[startup+910.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 58808 0 0 0 90887 131 0 0 25 0 1 0 909474884 252715008 58728 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61698 58728 1111 63 0 61635 0
vsize: 246792
[startup+920.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 58969 0 0 0 91887 132 0 0 25 0 1 0 909474884 253313024 58889 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61844 58889 1111 63 0 61781 0
vsize: 247376
[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 59145 0 0 0 92886 132 0 0 25 0 1 0 909474884 254062592 59065 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62027 59065 1111 63 0 61964 0
vsize: 248108
[startup+940.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 59321 0 0 0 93886 133 0 0 25 0 1 0 909474884 254812160 59241 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62210 59241 1111 63 0 62147 0
vsize: 248840
[startup+950.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 59492 0 0 0 94885 134 0 0 25 0 1 0 909474884 255414272 59412 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62357 59412 1111 63 0 62294 0
vsize: 249428
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 59674 0 0 0 95885 134 0 0 25 0 1 0 909474884 256159744 59594 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62539 59594 1111 63 0 62476 0
vsize: 250156
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 59850 0 0 0 96885 135 0 0 25 0 1 0 909474884 256909312 59770 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62722 59770 1111 63 0 62659 0
vsize: 250888
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 60028 0 0 0 97884 136 0 0 25 0 1 0 909474884 257662976 59948 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62906 59948 1111 63 0 62843 0
vsize: 251624
[startup+990.054 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 60219 0 0 0 98884 136 0 0 25 0 1 0 909474884 258408448 60139 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63088 60139 1111 63 0 63025 0
vsize: 252352
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 60409 0 0 0 99883 137 0 0 25 0 1 0 909474884 259162112 60329 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63272 60329 1111 63 0 63209 0
vsize: 253088
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 60600 0 0 0 100883 137 0 0 25 0 1 0 909474884 259903488 60520 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63453 60520 1111 63 0 63390 0
vsize: 253812
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 60792 0 0 0 101883 138 0 0 25 0 1 0 909474884 260775936 60712 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63666 60712 1111 63 0 63603 0
vsize: 254664
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 60983 0 0 0 102883 138 0 0 25 0 1 0 909474884 261525504 60903 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63849 60903 1111 63 0 63786 0
vsize: 255396
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 61181 0 0 0 103882 139 0 0 25 0 1 0 909474884 262279168 61101 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64033 61101 1111 63 0 63970 0
vsize: 256132
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 61379 0 0 0 104882 139 0 0 25 0 1 0 909474884 263176192 61299 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64252 61299 1111 63 0 64189 0
vsize: 257008
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 61585 0 0 0 105882 139 0 0 25 0 1 0 909474884 263925760 61505 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64435 61505 1111 63 0 64372 0
vsize: 257740
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 61791 0 0 0 106882 139 0 0 25 0 1 0 909474884 264826880 61711 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64655 61711 1111 63 0 64592 0
vsize: 258620
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 61997 0 0 0 107882 140 0 0 25 0 1 0 909474884 265723904 61917 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64874 61917 1111 63 0 64811 0
vsize: 259496
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 62210 0 0 0 108882 140 0 0 25 0 1 0 909474884 266477568 62130 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65058 62130 1111 63 0 64995 0
vsize: 260232
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 62424 0 0 0 109882 141 0 0 25 0 1 0 909474884 267374592 62344 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65277 62344 1111 63 0 65214 0
vsize: 261108
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 62643 0 0 0 110881 141 0 0 25 0 1 0 909474884 268275712 62563 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65497 62563 1111 63 0 65434 0
vsize: 261988
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 62863 0 0 0 111881 142 0 0 25 0 1 0 909474884 269176832 62783 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65717 62783 1111 63 0 65654 0
vsize: 262868
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 63083 0 0 0 112881 142 0 0 25 0 1 0 909474884 270073856 63003 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65936 63003 1111 63 0 65873 0
vsize: 263744
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 63304 0 0 0 113881 142 0 0 25 0 1 0 909474884 270974976 63224 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66156 63224 1111 63 0 66093 0
vsize: 264624
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 63571 0 0 0 114880 143 0 0 25 0 1 0 909474884 272347136 63491 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66491 63491 1111 63 0 66428 0
vsize: 265964
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 63806 0 0 0 115880 143 0 0 25 0 1 0 909474884 273248256 63726 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66711 63726 1111 63 0 66648 0
vsize: 266844
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 64048 0 0 0 116880 144 0 0 25 0 1 0 909474884 274296832 63968 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66967 63968 1111 63 0 66904 0
vsize: 267868
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 64292 0 0 0 117879 144 0 0 25 0 1 0 909474884 275345408 64212 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67223 64212 1111 63 0 67160 0
vsize: 268892
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 64556 0 0 0 118879 145 0 0 25 0 1 0 909474884 276393984 64476 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67479 64476 1111 63 0 67416 0
vsize: 269916
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) R 651 7266 7265 0 -1 0 64836 0 0 0 119878 145 0 0 25 0 1 0 909474884 277569536 64756 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67766 64756 1111 63 0 67703 0
vsize: 271064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 652
Raw data (stat): 652 (bsolo_lpr_cuts-) Z 651 7266 7265 0 -1 1036 64836 0 0 0 119878 157 0 0 25 0 1 0 909474884 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.18
CPU time (s): 1200.37
CPU user time (s): 1198.79
CPU system time (s): 1.57876
CPU usage (%): 100.015
Max. virtual memory (Kb): 271064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####