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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3708.opb
MD5SUM	5b991f27ed09188f1ae8c5e20a0bcb79
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39212410939
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39212410939
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.997848
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 25573

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 19:46:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19099 boxname=wulflinc31 idbench=1470 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5b991f27ed09188f1ae8c5e20a0bcb79  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3708.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3708.opb
IDLAUNCH: 19099
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        639304 kB
Buffers:         32196 kB
Cached:         341724 kB
SwapCached:       1168 kB
Active:         246828 kB
Inactive:       129464 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        639052 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            13344 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 20:06:03 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 19099 7 1200.23 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
Raw data (loadavg): 0.85 0.94 0.95 2/55 1975
Raw data (stat): 1975 (runsolver) R 1974 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 798281593 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0007 s]
Raw data (loadavg): 0.88 0.94 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 1160 0 0 0 990 5 0 0 25 0 1 0 798281593 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3920 1083 1111 63 0 3857 0
vsize: 15680
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 1400 0 0 0 1989 6 0 0 25 0 1 0 798281593 17043456 1323 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4161 1323 1111 63 0 4098 0
vsize: 16644
[startup+30.002 s]
Raw data (loadavg): 0.91 0.94 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 1644 0 0 0 2988 7 0 0 25 0 1 0 798281593 18042880 1567 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4405 1567 1111 63 0 4342 0
vsize: 17620
[startup+40.0026 s]
Raw data (loadavg): 0.92 0.94 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 1891 0 0 0 3987 8 0 0 25 0 1 0 798281593 19169280 1814 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4680 1814 1111 63 0 4617 0
vsize: 18720
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 2139 0 0 0 4987 9 0 0 25 0 1 0 798281593 20156416 2062 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4921 2062 1111 63 0 4858 0
vsize: 19684
[startup+60.0028 s]
Raw data (loadavg): 0.94 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 2385 0 0 0 5985 10 0 0 25 0 1 0 798281593 21139456 2308 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5161 2308 1111 63 0 5098 0
vsize: 20644
[startup+70.0023 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 2632 0 0 0 6985 10 0 0 25 0 1 0 798281593 22118400 2555 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5400 2555 1111 63 0 5337 0
vsize: 21600
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 2880 0 0 0 7984 11 0 0 25 0 1 0 798281593 23105536 2803 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5641 2803 1111 63 0 5578 0
vsize: 22564
[startup+90.0046 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 3121 0 0 0 8984 12 0 0 25 0 1 0 798281593 24092672 3044 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5882 3044 1111 63 0 5819 0
vsize: 23528
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 3369 0 0 0 9983 12 0 0 25 0 1 0 798281593 25219072 3292 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6157 3292 1111 63 0 6094 0
vsize: 24628
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 3617 0 0 0 10983 13 0 0 25 0 1 0 798281593 26206208 3540 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6398 3540 1111 63 0 6335 0
vsize: 25592
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 3872 0 0 0 11982 14 0 0 25 0 1 0 798281593 27213824 3795 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6644 3795 1111 63 0 6581 0
vsize: 26576
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 4120 0 0 0 12982 15 0 0 25 0 1 0 798281593 28192768 4043 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6883 4043 1111 63 0 6820 0
vsize: 27532
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 4373 0 0 0 13981 16 0 0 25 0 1 0 798281593 29319168 4296 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7158 4296 1111 63 0 7095 0
vsize: 28632
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 4622 0 0 0 14979 17 0 0 25 0 1 0 798281593 30306304 4545 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7399 4545 1111 63 0 7336 0
vsize: 29596
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 4870 0 0 0 15979 18 0 0 25 0 1 0 798281593 31293440 4793 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7640 4793 1111 63 0 7577 0
vsize: 30560
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 5125 0 0 0 16979 18 0 0 25 0 1 0 798281593 32419840 5048 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7915 5048 1111 63 0 7852 0
vsize: 31660
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 5374 0 0 0 17978 19 0 0 25 0 1 0 798281593 33406976 5297 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8156 5297 1111 63 0 8093 0
vsize: 32624
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 5622 0 0 0 18977 20 0 0 25 0 1 0 798281593 34394112 5545 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8397 5545 1111 63 0 8334 0
vsize: 33588
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 5876 0 0 0 19976 21 0 0 25 0 1 0 798281593 35373056 5799 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8636 5799 1111 63 0 8573 0
vsize: 34544
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 6123 0 0 0 20975 22 0 0 25 0 1 0 798281593 36499456 6046 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8911 6046 1111 63 0 8848 0
vsize: 35644
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 6377 0 0 0 21975 23 0 0 25 0 1 0 798281593 37486592 6300 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9152 6300 1111 63 0 9089 0
vsize: 36608
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 6641 0 0 0 22974 24 0 0 25 0 1 0 798281593 38625280 6564 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9430 6564 1111 63 0 9367 0
vsize: 37720
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 6897 0 0 0 23974 24 0 0 25 0 1 0 798281593 39612416 6820 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9671 6820 1111 63 0 9608 0
vsize: 38684
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 7147 0 0 0 24973 25 0 0 25 0 1 0 798281593 40738816 7070 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9946 7070 1111 63 0 9883 0
vsize: 39784
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 7402 0 0 0 25973 26 0 0 25 0 1 0 798281593 41725952 7325 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10187 7325 1111 63 0 10124 0
vsize: 40748
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 7657 0 0 0 26972 26 0 0 25 0 1 0 798281593 42704896 7580 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10426 7580 1111 63 0 10363 0
vsize: 41704
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 7911 0 0 0 27972 27 0 0 25 0 1 0 798281593 43835392 7834 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10702 7834 1111 63 0 10639 0
vsize: 42808
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 8167 0 0 0 28971 27 0 0 25 0 1 0 798281593 44822528 8090 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10943 8090 1111 63 0 10880 0
vsize: 43772
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 8421 0 0 0 29971 28 0 0 25 0 1 0 798281593 45948928 8344 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11218 8344 1111 63 0 11155 0
vsize: 44872
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 8678 0 0 0 30970 29 0 0 25 0 1 0 798281593 46931968 8601 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11458 8601 1111 63 0 11395 0
vsize: 45832
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 8939 0 0 0 31970 30 0 0 25 0 1 0 798281593 48058368 8862 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11733 8862 1111 63 0 11670 0
vsize: 46932
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 9194 0 0 0 32969 30 0 0 25 0 1 0 798281593 49049600 9117 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11975 9117 1111 63 0 11912 0
vsize: 47900
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 9457 0 0 0 33969 31 0 0 25 0 1 0 798281593 50176000 9380 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12250 9380 1111 63 0 12187 0
vsize: 49000
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 9712 0 0 0 34968 31 0 0 25 0 1 0 798281593 51159040 9635 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12490 9635 1111 63 0 12427 0
vsize: 49960
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 9972 0 0 0 35967 33 0 0 25 0 1 0 798281593 52281344 9895 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12764 9895 1111 63 0 12701 0
vsize: 51056
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 10235 0 0 0 36966 34 0 0 25 0 1 0 798281593 53268480 10158 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13005 10158 1111 63 0 12942 0
vsize: 52020
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 10490 0 0 0 37966 34 0 0 25 0 1 0 798281593 54394880 10413 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13280 10413 1111 63 0 13217 0
vsize: 53120
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 10752 0 0 0 38965 35 0 0 25 0 1 0 798281593 55382016 10675 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13521 10675 1111 63 0 13458 0
vsize: 54084
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 11014 0 0 0 39964 36 0 0 25 0 1 0 798281593 56508416 10937 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13796 10937 1111 63 0 13733 0
vsize: 55184
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 11269 0 0 0 40964 37 0 0 25 0 1 0 798281593 57495552 11192 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14037 11192 1111 63 0 13974 0
vsize: 56148
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 11531 0 0 0 41963 38 0 0 25 0 1 0 798281593 58621952 11454 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14312 11454 1111 63 0 14249 0
vsize: 57248
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 11792 0 0 0 42962 38 0 0 25 0 1 0 798281593 59609088 11715 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14553 11715 1111 63 0 14490 0
vsize: 58212
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 12078 0 0 0 43961 40 0 0 25 0 1 0 798281593 60956672 12001 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14882 12001 1111 63 0 14819 0
vsize: 59528
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 12339 0 0 0 44960 41 0 0 25 0 1 0 798281593 62078976 12262 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15156 12262 1111 63 0 15093 0
vsize: 60624
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 12600 0 0 0 45959 42 0 0 25 0 1 0 798281593 63062016 12523 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15396 12523 1111 63 0 15333 0
vsize: 61584
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 12869 0 0 0 46959 42 0 0 25 0 1 0 798281593 64188416 12792 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15671 12792 1111 63 0 15608 0
vsize: 62684
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 13132 0 0 0 47958 43 0 0 25 0 1 0 798281593 65314816 13055 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15946 13055 1111 63 0 15883 0
vsize: 63784
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 13395 0 0 0 48957 44 0 0 25 0 1 0 798281593 66301952 13318 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16187 13318 1111 63 0 16124 0
vsize: 64748
[startup+500.028 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 13663 0 0 0 49956 45 0 0 25 0 1 0 798281593 67432448 13586 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16463 13586 1111 63 0 16400 0
vsize: 65852
[startup+510.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 13932 0 0 0 50955 46 0 0 25 0 1 0 798281593 68558848 13855 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16738 13855 1111 63 0 16675 0
vsize: 66952
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 14195 0 0 0 51955 47 0 0 25 0 1 0 798281593 69541888 14118 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16978 14118 1111 63 0 16915 0
vsize: 67912
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 14464 0 0 0 52954 48 0 0 25 0 1 0 798281593 70668288 14387 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17253 14387 1111 63 0 17190 0
vsize: 69012
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 14732 0 0 0 53953 49 0 0 25 0 1 0 798281593 71798784 14655 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17529 14655 1111 63 0 17466 0
vsize: 70116
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 14999 0 0 0 54952 50 0 0 25 0 1 0 798281593 72916992 14922 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17802 14922 1111 63 0 17739 0
vsize: 71208
[startup+560.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 15269 0 0 0 55951 51 0 0 25 0 1 0 798281593 74043392 15192 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18077 15192 1111 63 0 18014 0
vsize: 72308
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 15538 0 0 0 56951 52 0 0 25 0 1 0 798281593 75030528 15461 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18318 15461 1111 63 0 18255 0
vsize: 73272
[startup+580.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 15807 0 0 0 57950 52 0 0 25 0 1 0 798281593 76156928 15730 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18593 15730 1111 63 0 18530 0
vsize: 74372
[startup+590.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 16082 0 0 0 58949 53 0 0 25 0 1 0 798281593 77287424 16005 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18869 16005 1111 63 0 18806 0
vsize: 75476
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 16352 0 0 0 59948 54 0 0 25 0 1 0 798281593 78413824 16275 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19144 16275 1111 63 0 19081 0
vsize: 76576
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 16621 0 0 0 60947 56 0 0 25 0 1 0 798281593 79540224 16544 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19419 16544 1111 63 0 19356 0
vsize: 77676
[startup+620.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 16897 0 0 0 61946 57 0 0 25 0 1 0 798281593 80666624 16820 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19694 16820 1111 63 0 19631 0
vsize: 78776
[startup+630.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 17172 0 0 0 62945 58 0 0 25 0 1 0 798281593 81793024 17095 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19969 17095 1111 63 0 19906 0
vsize: 79876
[startup+640.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 17448 0 0 0 63944 59 0 0 25 0 1 0 798281593 82919424 17371 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20244 17371 1111 63 0 20181 0
vsize: 80976
[startup+650.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 17718 0 0 0 64944 60 0 0 25 0 1 0 798281593 84045824 17641 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20519 17641 1111 63 0 20456 0
vsize: 82076
[startup+660.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 17994 0 0 0 65943 60 0 0 25 0 1 0 798281593 85172224 17917 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20794 17917 1111 63 0 20731 0
vsize: 83176
[startup+670.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 18270 0 0 0 66943 61 0 0 25 0 1 0 798281593 86298624 18193 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21069 18193 1111 63 0 21006 0
vsize: 84276
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 18545 0 0 0 67943 61 0 0 25 0 1 0 798281593 87425024 18468 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21344 18468 1111 63 0 21281 0
vsize: 85376
[startup+690.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 18820 0 0 0 68942 62 0 0 25 0 1 0 798281593 88547328 18743 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21618 18743 1111 63 0 21555 0
vsize: 86472
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 19102 0 0 0 69941 63 0 0 25 0 1 0 798281593 89673728 19025 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21893 19025 1111 63 0 21830 0
vsize: 87572
[startup+710.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 19377 0 0 0 70941 63 0 0 25 0 1 0 798281593 90800128 19300 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22168 19300 1111 63 0 22105 0
vsize: 88672
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 19654 0 0 0 71940 64 0 0 25 0 1 0 798281593 91926528 19577 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22443 19577 1111 63 0 22380 0
vsize: 89772
[startup+730.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 19930 0 0 0 72940 65 0 0 25 0 1 0 798281593 93052928 19853 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22718 19853 1111 63 0 22655 0
vsize: 90872
[startup+740.041 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 20212 0 0 0 73939 65 0 0 25 0 1 0 798281593 94179328 20135 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22993 20135 1111 63 0 22930 0
vsize: 91972
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 20489 0 0 0 74939 66 0 0 25 0 1 0 798281593 95309824 20412 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23269 20412 1111 63 0 23206 0
vsize: 93076
[startup+760.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 20771 0 0 0 75938 67 0 0 25 0 1 0 798281593 96436224 20694 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23544 20694 1111 63 0 23481 0
vsize: 94176
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 21054 0 0 0 76938 67 0 0 25 0 1 0 798281593 97562624 20977 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23819 20977 1111 63 0 23756 0
vsize: 95276
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 21336 0 0 0 77938 68 0 0 25 0 1 0 798281593 98828288 21259 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24128 21259 1111 63 0 24065 0
vsize: 96512
[startup+790.045 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 21626 0 0 0 78938 68 0 0 25 0 1 0 798281593 99954688 21549 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24403 21549 1111 63 0 24340 0
vsize: 97612
[startup+800.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 21909 0 0 0 79937 69 0 0 25 0 1 0 798281593 101081088 21832 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24678 21832 1111 63 0 24615 0
vsize: 98712
[startup+810.048 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 22198 0 0 0 80936 70 0 0 25 0 1 0 798281593 102350848 22121 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24988 22121 1111 63 0 24925 0
vsize: 99952
[startup+820.049 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 22481 0 0 0 81936 70 0 0 25 0 1 0 798281593 103477248 22404 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25263 22404 1111 63 0 25200 0
vsize: 101052
[startup+830.05 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 22770 0 0 0 82936 71 0 0 25 0 1 0 798281593 104603648 22693 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25538 22693 1111 63 0 25475 0
vsize: 102152
[startup+840.051 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 1975
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 23093 0 0 0 83935 72 0 0 25 0 1 0 798281593 106237952 23016 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25937 23016 1111 63 0 25874 0
vsize: 103748
[startup+850.051 s]
Raw data (loadavg): 1.07 0.99 0.95 2/55 2028
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 23381 0 0 0 84935 72 0 0 25 0 1 0 798281593 107356160 23304 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26210 23304 1111 63 0 26147 0
vsize: 104840
[startup+860.052 s]
Raw data (loadavg): 1.06 0.99 0.95 2/55 2028
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 23671 0 0 0 85934 73 0 0 25 0 1 0 798281593 108621824 23594 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26519 23594 1111 63 0 26456 0
vsize: 106076
[startup+870.053 s]
Raw data (loadavg): 1.05 0.99 0.95 2/55 2028
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 23961 0 0 0 86934 74 0 0 25 0 1 0 798281593 109748224 23884 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26794 23884 1111 63 0 26731 0
vsize: 107176
[startup+880.054 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 2028
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 24250 0 0 0 87933 74 0 0 25 0 1 0 798281593 110874624 24173 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27069 24173 1111 63 0 27006 0
vsize: 108276
[startup+890.054 s]
Raw data (loadavg): 1.04 0.99 0.95 2/55 2028
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 24547 0 0 0 88933 76 0 0 25 0 1 0 798281593 112144384 24470 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27379 24470 1111 63 0 27316 0
vsize: 109516
[startup+900.054 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 2028
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 24836 0 0 0 89932 76 0 0 25 0 1 0 798281593 113270784 24759 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27654 24759 1111 63 0 27591 0
vsize: 110616
[startup+910.055 s]
Raw data (loadavg): 1.03 0.99 0.95 2/55 2028
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 25133 0 0 0 90931 77 0 0 25 0 1 0 798281593 114536448 25056 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27963 25056 1111 63 0 27900 0
vsize: 111852
[startup+920.065 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 2028
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 25422 0 0 0 91931 79 0 0 25 0 1 0 798281593 115662848 25345 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28238 25345 1111 63 0 28175 0
vsize: 112952
[startup+930.067 s]
Raw data (loadavg): 1.02 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 25718 0 0 0 92930 80 0 0 25 0 1 0 798281593 116932608 25641 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28548 25641 1111 63 0 28485 0
vsize: 114192
[startup+940.067 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 26015 0 0 0 93930 81 0 0 25 0 1 0 798281593 118198272 25938 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28857 25938 1111 63 0 28794 0
vsize: 115428
[startup+950.067 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 26304 0 0 0 94929 81 0 0 25 0 1 0 798281593 119324672 26227 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29132 26227 1111 63 0 29069 0
vsize: 116528
[startup+960.068 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 26602 0 0 0 95928 82 0 0 25 0 1 0 798281593 120590336 26525 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29441 26525 1111 63 0 29378 0
vsize: 117764
[startup+970.068 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 26897 0 0 0 96927 83 0 0 25 0 1 0 798281593 121716736 26820 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29716 26820 1111 63 0 29653 0
vsize: 118864
[startup+980.069 s]
Raw data (loadavg): 1.01 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 27201 0 0 0 97927 84 0 0 25 0 1 0 798281593 122982400 27124 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30025 27124 1111 63 0 29962 0
vsize: 120100
[startup+990.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 27491 0 0 0 98926 86 0 0 25 0 1 0 798281593 124112896 27414 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30301 27414 1111 63 0 30238 0
vsize: 121204
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 27793 0 0 0 99925 87 0 0 25 0 1 0 798281593 125378560 27716 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30610 27716 1111 63 0 30547 0
vsize: 122440
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 28090 0 0 0 100924 87 0 0 25 0 1 0 798281593 126644224 28013 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30919 28013 1111 63 0 30856 0
vsize: 123676
[startup+1020.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 28386 0 0 0 101923 89 0 0 25 0 1 0 798281593 127770624 28309 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31194 28309 1111 63 0 31131 0
vsize: 124776
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 28690 0 0 0 102922 90 0 0 25 0 1 0 798281593 129040384 28613 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31504 28613 1111 63 0 31441 0
vsize: 126016
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 28993 0 0 0 103922 90 0 0 25 0 1 0 798281593 130306048 28916 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31813 28916 1111 63 0 31750 0
vsize: 127252
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 29291 0 0 0 104921 91 0 0 25 0 1 0 798281593 131571712 29214 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32122 29214 1111 63 0 32059 0
vsize: 128488
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 29593 0 0 0 105921 92 0 0 25 0 1 0 798281593 132698112 29516 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32397 29516 1111 63 0 32334 0
vsize: 129588
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 29889 0 0 0 106920 93 0 0 25 0 1 0 798281593 133963776 29812 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32706 29812 1111 63 0 32643 0
vsize: 130824
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 30192 0 0 0 107920 93 0 0 25 0 1 0 798281593 135233536 30115 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33016 30115 1111 63 0 32953 0
vsize: 132064
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 30495 0 0 0 108919 94 0 0 25 0 1 0 798281593 136499200 30418 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33325 30418 1111 63 0 33262 0
vsize: 133300
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 30799 0 0 0 109919 95 0 0 25 0 1 0 798281593 137625600 30722 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33600 30722 1111 63 0 33537 0
vsize: 134400
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 31102 0 0 0 110918 95 0 0 25 0 1 0 798281593 138895360 31025 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33910 31025 1111 63 0 33847 0
vsize: 135640
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 31406 0 0 0 111917 97 0 0 25 0 1 0 798281593 140161024 31329 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34219 31329 1111 63 0 34156 0
vsize: 136876
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 31709 0 0 0 112916 98 0 0 25 0 1 0 798281593 141426688 31632 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34528 31632 1111 63 0 34465 0
vsize: 138112
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 32019 0 0 0 113915 100 0 0 25 0 1 0 798281593 142692352 31942 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34837 31942 1111 63 0 34774 0
vsize: 139348
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 32322 0 0 0 114914 101 0 0 25 0 1 0 798281593 143962112 32245 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35147 32245 1111 63 0 35084 0
vsize: 140588
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 32631 0 0 0 115913 102 0 0 25 0 1 0 798281593 145227776 32554 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35456 32554 1111 63 0 35393 0
vsize: 141824
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 32936 0 0 0 116912 103 0 0 25 0 1 0 798281593 146354176 32859 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35731 32859 1111 63 0 35668 0
vsize: 142924
[startup+1180.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 33245 0 0 0 117911 104 0 0 25 0 1 0 798281593 147623936 33168 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36041 33168 1111 63 0 35978 0
vsize: 144164
[startup+1190.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 33557 0 0 0 118911 105 0 0 25 0 1 0 798281593 148889600 33480 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36350 33480 1111 63 0 36287 0
vsize: 145400
[startup+1200.08 s]
Raw data (loadavg): 1.00 0.99 0.95 2/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) R 1974 7876 7672 0 -1 0 33867 0 0 0 119909 106 0 0 25 0 1 0 798281593 150155264 33790 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36659 33790 1111 63 0 36596 0
vsize: 146636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.15 s]
Raw data (loadavg): 1.00 0.99 0.95 1/55 2030
Raw data (stat): 1975 (bsolo_lpr_cuts) Z 1974 7876 7672 0 -1 1036 33867 0 0 0 119910 113 0 0 25 0 1 0 798281593 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.15
CPU time (s): 1200.23
CPU user time (s): 1199.1
CPU system time (s): 1.13083
CPU usage (%): 100.007
Max. virtual memory (Kb): 146636
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####