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-n3706.opb
MD5SUM	2678162fff018c2bb73a090ae021ae87
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	39120920179
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	39120920179
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.973851
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 25577

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 21:07:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19073 boxname=wulflinc31 idbench=1468 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  2678162fff018c2bb73a090ae021ae87  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3706.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3706.opb
IDLAUNCH: 19073
/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:        624608 kB
Buffers:         32556 kB
Cached:         356184 kB
SwapCached:       1172 kB
Active:         262612 kB
Inactive:       128568 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        624356 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13148 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 21:27:30 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19073 7 1200.27 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.91 2/55 2465
Raw data (stat): 2465 (runsolver) R 2464 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 798770315 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 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.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 1160 0 0 0 990 5 0 0 25 0 1 0 798770315 16056320 1083 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.0016 s]
Raw data (loadavg): 0.89 0.94 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 1400 0 0 0 1990 5 0 0 25 0 1 0 798770315 17043456 1323 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.0028 s]
Raw data (loadavg): 0.91 0.94 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 1644 0 0 0 2989 6 0 0 25 0 1 0 798770315 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.0035 s]
Raw data (loadavg): 0.92 0.94 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 1891 0 0 0 3989 7 0 0 25 0 1 0 798770315 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.0044 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 2139 0 0 0 4988 7 0 0 25 0 1 0 798770315 20156416 2062 4294967295 134512640 134714508 3221221776 3221220004 1077414435 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.0053 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 2385 0 0 0 5988 8 0 0 25 0 1 0 798770315 21139456 2308 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.0053 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 2633 0 0 0 6987 9 0 0 25 0 1 0 798770315 22118400 2556 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5400 2556 1111 63 0 5337 0
vsize: 21600
[startup+80.0062 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 2880 0 0 0 7986 11 0 0 25 0 1 0 798770315 23105536 2803 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.0065 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 3121 0 0 0 8985 11 0 0 25 0 1 0 798770315 24092672 3044 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 3369 0 0 0 9984 13 0 0 25 0 1 0 798770315 25219072 3292 4294967295 134512640 134714508 3221221776 3221220004 1077414382 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.008 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 3617 0 0 0 10984 13 0 0 25 0 1 0 798770315 26206208 3540 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 3872 0 0 0 11983 14 0 0 25 0 1 0 798770315 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.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 4120 0 0 0 12982 15 0 0 25 0 1 0 798770315 28192768 4043 4294967295 134512640 134714508 3221221776 3221220004 1077414336 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.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 4373 0 0 0 13982 16 0 0 25 0 1 0 798770315 29319168 4296 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 4622 0 0 0 14982 16 0 0 25 0 1 0 798770315 30306304 4545 4294967295 134512640 134714508 3221221776 3221220004 1077414370 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.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 4870 0 0 0 15981 17 0 0 25 0 1 0 798770315 31293440 4793 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 5125 0 0 0 16981 18 0 0 25 0 1 0 798770315 32419840 5048 4294967295 134512640 134714508 3221221776 3221220004 1077414420 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.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 5374 0 0 0 17980 18 0 0 25 0 1 0 798770315 33406976 5297 4294967295 134512640 134714508 3221221776 3221220004 1077414351 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.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 5622 0 0 0 18980 19 0 0 25 0 1 0 798770315 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.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 5876 0 0 0 19979 20 0 0 25 0 1 0 798770315 35373056 5799 4294967295 134512640 134714508 3221221776 3221220004 1077414433 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.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 6129 0 0 0 20978 21 0 0 25 0 1 0 798770315 36499456 6052 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8911 6052 1111 63 0 8848 0
vsize: 35644
[startup+220.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 6377 0 0 0 21978 22 0 0 25 0 1 0 798770315 37486592 6300 4294967295 134512640 134714508 3221221776 3221220004 1077414345 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.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 6643 0 0 0 22978 22 0 0 25 0 1 0 798770315 38625280 6566 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9430 6566 1111 63 0 9367 0
vsize: 37720
[startup+240.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 6898 0 0 0 23977 23 0 0 25 0 1 0 798770315 39612416 6821 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9671 6821 1111 63 0 9608 0
vsize: 38684
[startup+250.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 7147 0 0 0 24975 25 0 0 25 0 1 0 798770315 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 7403 0 0 0 25975 25 0 0 25 0 1 0 798770315 41725952 7326 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10187 7326 1111 63 0 10124 0
vsize: 40748
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 7657 0 0 0 26974 26 0 0 25 0 1 0 798770315 42704896 7580 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 7911 0 0 0 27973 28 0 0 25 0 1 0 798770315 43835392 7834 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 8167 0 0 0 28972 29 0 0 25 0 1 0 798770315 44822528 8090 4294967295 134512640 134714508 3221221776 3221220004 1077414426 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 8428 0 0 0 29972 29 0 0 25 0 1 0 798770315 45948928 8351 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11218 8351 1111 63 0 11155 0
vsize: 44872
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 8684 0 0 0 30971 30 0 0 25 0 1 0 798770315 46931968 8607 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11458 8607 1111 63 0 11395 0
vsize: 45832
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 8939 0 0 0 31970 31 0 0 25 0 1 0 798770315 48058368 8862 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 9200 0 0 0 32970 32 0 0 25 0 1 0 798770315 49049600 9123 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11975 9123 1111 63 0 11912 0
vsize: 47900
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 9457 0 0 0 33969 33 0 0 25 0 1 0 798770315 50176000 9380 4294967295 134512640 134714508 3221221776 3221220004 1077414413 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 9712 0 0 0 34968 34 0 0 25 0 1 0 798770315 51159040 9635 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 9973 0 0 0 35968 35 0 0 25 0 1 0 798770315 52281344 9896 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12764 9896 1111 63 0 12701 0
vsize: 51056
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 10235 0 0 0 36966 36 0 0 25 0 1 0 798770315 53268480 10158 4294967295 134512640 134714508 3221221776 3221220004 1077414408 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 10496 0 0 0 37965 38 0 0 25 0 1 0 798770315 54394880 10419 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13280 10419 1111 63 0 13217 0
vsize: 53120
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 10752 0 0 0 38964 39 0 0 25 0 1 0 798770315 55382016 10675 4294967295 134512640 134714508 3221221776 3221220004 1077414388 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 11014 0 0 0 39963 40 0 0 25 0 1 0 798770315 56508416 10937 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 11276 0 0 0 40962 42 0 0 25 0 1 0 798770315 57495552 11199 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14037 11199 1111 63 0 13974 0
vsize: 56148
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 11537 0 0 0 41961 43 0 0 25 0 1 0 798770315 58621952 11460 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14312 11460 1111 63 0 14249 0
vsize: 57248
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 11799 0 0 0 42960 44 0 0 25 0 1 0 798770315 59748352 11722 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14587 11722 1111 63 0 14524 0
vsize: 58348
[startup+440.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 12078 0 0 0 43959 45 0 0 25 0 1 0 798770315 60956672 12001 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 12339 0 0 0 44958 46 0 0 25 0 1 0 798770315 62078976 12262 4294967295 134512640 134714508 3221221776 3221220004 1077414338 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 12607 0 0 0 45958 47 0 0 25 0 1 0 798770315 63062016 12530 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15396 12530 1111 63 0 15333 0
vsize: 61584
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 12869 0 0 0 46957 47 0 0 25 0 1 0 798770315 64188416 12792 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 13132 0 0 0 47956 48 0 0 25 0 1 0 798770315 65314816 13055 4294967295 134512640 134714508 3221221776 3221220004 1077414360 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.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 13401 0 0 0 48955 49 0 0 25 0 1 0 798770315 66301952 13324 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16187 13324 1111 63 0 16124 0
vsize: 64748
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 13669 0 0 0 49954 51 0 0 25 0 1 0 798770315 67432448 13592 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16463 13592 1111 63 0 16400 0
vsize: 65852
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 13932 0 0 0 50954 52 0 0 25 0 1 0 798770315 68558848 13855 4294967295 134512640 134714508 3221221776 3221220004 1077414363 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.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 14201 0 0 0 51953 52 0 0 25 0 1 0 798770315 69685248 14124 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17013 14124 1111 63 0 16950 0
vsize: 68052
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 14470 0 0 0 52953 53 0 0 25 0 1 0 798770315 70668288 14393 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17253 14393 1111 63 0 17190 0
vsize: 69012
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 14739 0 0 0 53952 54 0 0 25 0 1 0 798770315 71798784 14662 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17529 14662 1111 63 0 17466 0
vsize: 70116
[startup+550.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 15008 0 0 0 54951 55 0 0 25 0 1 0 798770315 72916992 14931 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17802 14931 1111 63 0 17739 0
vsize: 71208
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 15276 0 0 0 55950 56 0 0 25 0 1 0 798770315 74043392 15199 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18077 15199 1111 63 0 18014 0
vsize: 72308
[startup+570.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 15545 0 0 0 56949 57 0 0 25 0 1 0 798770315 75169792 15468 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18352 15468 1111 63 0 18289 0
vsize: 73408
[startup+580.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 15813 0 0 0 57948 59 0 0 25 0 1 0 798770315 76156928 15736 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18593 15736 1111 63 0 18530 0
vsize: 74372
[startup+590.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 16083 0 0 0 58948 59 0 0 25 0 1 0 798770315 77287424 16006 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18869 16006 1111 63 0 18806 0
vsize: 75476
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 16358 0 0 0 59947 60 0 0 25 0 1 0 798770315 78413824 16281 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19144 16281 1111 63 0 19081 0
vsize: 76576
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 16634 0 0 0 60946 61 0 0 25 0 1 0 798770315 79540224 16557 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19419 16557 1111 63 0 19356 0
vsize: 77676
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 16904 0 0 0 61946 62 0 0 25 0 1 0 798770315 80666624 16827 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19694 16827 1111 63 0 19631 0
vsize: 78776
[startup+630.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 17173 0 0 0 62945 62 0 0 25 0 1 0 798770315 81793024 17096 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19969 17096 1111 63 0 19906 0
vsize: 79876
[startup+640.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 17448 0 0 0 63945 63 0 0 25 0 1 0 798770315 82919424 17371 4294967295 134512640 134714508 3221221776 3221220004 1077414351 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 17724 0 0 0 64944 64 0 0 25 0 1 0 798770315 84045824 17647 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20519 17647 1111 63 0 20456 0
vsize: 82076
[startup+660.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 18000 0 0 0 65943 65 0 0 25 0 1 0 798770315 85172224 17923 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20794 17923 1111 63 0 20731 0
vsize: 83176
[startup+670.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 18277 0 0 0 66943 66 0 0 25 0 1 0 798770315 86298624 18200 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21069 18200 1111 63 0 21006 0
vsize: 84276
[startup+680.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 18552 0 0 0 67942 67 0 0 25 0 1 0 798770315 87425024 18475 4294967295 134512640 134714508 3221221776 3221220004 1077414397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21344 18475 1111 63 0 21281 0
vsize: 85376
[startup+690.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 18828 0 0 0 68942 67 0 0 25 0 1 0 798770315 88547328 18751 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21618 18751 1111 63 0 21555 0
vsize: 86472
[startup+700.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 19103 0 0 0 69941 68 0 0 25 0 1 0 798770315 89673728 19026 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21893 19026 1111 63 0 21830 0
vsize: 87572
[startup+710.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 19391 0 0 0 70941 68 0 0 25 0 1 0 798770315 90800128 19314 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22168 19314 1111 63 0 22105 0
vsize: 88672
[startup+720.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 19668 0 0 0 71940 69 0 0 25 0 1 0 798770315 91926528 19591 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22443 19591 1111 63 0 22380 0
vsize: 89772
[startup+730.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 19956 0 0 0 72940 70 0 0 25 0 1 0 798770315 93192192 19879 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22752 19879 1111 63 0 22689 0
vsize: 91008
[startup+740.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 20233 0 0 0 73939 71 0 0 25 0 1 0 798770315 94318592 20156 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23027 20156 1111 63 0 22964 0
vsize: 92108
[startup+750.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 20522 0 0 0 74939 71 0 0 25 0 1 0 798770315 95449088 20445 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23303 20445 1111 63 0 23240 0
vsize: 93212
[startup+760.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 20806 0 0 0 75939 72 0 0 25 0 1 0 798770315 96575488 20729 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23578 20729 1111 63 0 23515 0
vsize: 94312
[startup+770.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 21089 0 0 0 76939 72 0 0 25 0 1 0 798770315 97701888 21012 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23853 21012 1111 63 0 23790 0
vsize: 95412
[startup+780.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 21377 0 0 0 77938 73 0 0 25 0 1 0 798770315 98967552 21300 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24162 21300 1111 63 0 24099 0
vsize: 96648
[startup+790.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 21661 0 0 0 78938 73 0 0 25 0 1 0 798770315 100093952 21584 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24437 21584 1111 63 0 24374 0
vsize: 97748
[startup+800.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 21944 0 0 0 79938 74 0 0 25 0 1 0 798770315 101220352 21867 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24712 21867 1111 63 0 24649 0
vsize: 98848
[startup+810.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 22233 0 0 0 80938 74 0 0 25 0 1 0 798770315 102486016 22156 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25021 22156 1111 63 0 24958 0
vsize: 100084
[startup+820.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 22522 0 0 0 81938 75 0 0 25 0 1 0 798770315 103616512 22445 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25297 22445 1111 63 0 25234 0
vsize: 101188
[startup+830.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 22811 0 0 0 82937 75 0 0 25 0 1 0 798770315 104742912 22734 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25572 22734 1111 63 0 25509 0
vsize: 102288
[startup+840.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 23133 0 0 0 83937 76 0 0 25 0 1 0 798770315 106373120 23056 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25970 23056 1111 63 0 25907 0
vsize: 103880
[startup+850.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 23422 0 0 0 84937 76 0 0 25 0 1 0 798770315 107495424 23345 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26244 23345 1111 63 0 26181 0
vsize: 104976
[startup+860.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 23712 0 0 0 85937 76 0 0 25 0 1 0 798770315 108765184 23635 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26554 23635 1111 63 0 26491 0
vsize: 106216
[startup+870.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 24002 0 0 0 86936 77 0 0 25 0 1 0 798770315 109891584 23925 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26829 23925 1111 63 0 26766 0
vsize: 107316
[startup+880.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 24292 0 0 0 87936 78 0 0 25 0 1 0 798770315 111157248 24215 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27138 24215 1111 63 0 27075 0
vsize: 108552
[startup+890.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 24588 0 0 0 88936 78 0 0 25 0 1 0 798770315 112283648 24511 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27413 24511 1111 63 0 27350 0
vsize: 109652
[startup+900.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 24877 0 0 0 89935 79 0 0 25 0 1 0 798770315 113549312 24800 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27722 24800 1111 63 0 27659 0
vsize: 110888
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 25174 0 0 0 90935 79 0 0 25 0 1 0 798770315 114675712 25097 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27997 25097 1111 63 0 27934 0
vsize: 111988
[startup+920.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 25464 0 0 0 91934 80 0 0 25 0 1 0 798770315 115941376 25387 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28306 25387 1111 63 0 28243 0
vsize: 113224
[startup+930.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 25766 0 0 0 92934 81 0 0 25 0 1 0 798770315 117071872 25689 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28582 25689 1111 63 0 28519 0
vsize: 114328
[startup+940.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 26056 0 0 0 93934 81 0 0 25 0 1 0 798770315 118337536 25979 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28891 25979 1111 63 0 28828 0
vsize: 115564
[startup+950.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 26352 0 0 0 94933 82 0 0 25 0 1 0 798770315 119463936 26275 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29166 26275 1111 63 0 29103 0
vsize: 116664
[startup+960.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 26649 0 0 0 95933 83 0 0 25 0 1 0 798770315 120729600 26572 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29475 26572 1111 63 0 29412 0
vsize: 117900
[startup+970.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 26945 0 0 0 96932 83 0 0 25 0 1 0 798770315 121999360 26868 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29785 26868 1111 63 0 29722 0
vsize: 119140
[startup+980.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 27243 0 0 0 97932 83 0 0 25 0 1 0 798770315 123125760 27166 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30060 27166 1111 63 0 29997 0
vsize: 120240
[startup+990.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 27539 0 0 0 98932 84 0 0 25 0 1 0 798770315 124391424 27462 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30369 27462 1111 63 0 30306 0
vsize: 121476
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 27842 0 0 0 99932 84 0 0 25 0 1 0 798770315 125657088 27765 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30678 27765 1111 63 0 30615 0
vsize: 122712
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 28139 0 0 0 100931 85 0 0 25 0 1 0 798770315 126787584 28062 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30954 28062 1111 63 0 30891 0
vsize: 123816
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 28441 0 0 0 101931 86 0 0 25 0 1 0 798770315 128053248 28364 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31263 28364 1111 63 0 31200 0
vsize: 125052
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 28745 0 0 0 102931 86 0 0 25 0 1 0 798770315 129318912 28668 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31572 28668 1111 63 0 31509 0
vsize: 126288
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 29047 0 0 0 103930 86 0 0 25 0 1 0 798770315 130584576 28970 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31881 28970 1111 63 0 31818 0
vsize: 127524
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 29352 0 0 0 104930 87 0 0 25 0 1 0 798770315 131710976 29275 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32156 29275 1111 63 0 32093 0
vsize: 128624
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 29654 0 0 0 105930 87 0 0 25 0 1 0 798770315 132980736 29577 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32466 29577 1111 63 0 32403 0
vsize: 129864
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 29958 0 0 0 106930 88 0 0 25 0 1 0 798770315 134246400 29881 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32775 29881 1111 63 0 32712 0
vsize: 131100
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 30260 0 0 0 107929 88 0 0 25 0 1 0 798770315 135512064 30183 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33084 30183 1111 63 0 33021 0
vsize: 132336
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 30563 0 0 0 108929 89 0 0 25 0 1 0 798770315 136777728 30486 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33393 30486 1111 63 0 33330 0
vsize: 133572
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 30868 0 0 0 109928 90 0 0 25 0 1 0 798770315 137908224 30791 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33669 30791 1111 63 0 33606 0
vsize: 134676
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 31177 0 0 0 110928 90 0 0 25 0 1 0 798770315 139173888 31100 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33978 31100 1111 63 0 33915 0
vsize: 135912
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 31488 0 0 0 111927 91 0 0 25 0 1 0 798770315 140439552 31411 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34287 31411 1111 63 0 34224 0
vsize: 137148
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 31791 0 0 0 112927 91 0 0 25 0 1 0 798770315 141709312 31714 4294967295 134512640 134714508 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34597 31714 1111 63 0 34534 0
vsize: 138388
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 32097 0 0 0 113927 92 0 0 25 0 1 0 798770315 142974976 32020 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34906 32024 1111 63 0 34843 0
vsize: 139624
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 32412 0 0 0 114927 92 0 0 25 0 1 0 798770315 144248832 32335 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35217 32335 1111 63 0 35154 0
vsize: 140868
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 32716 0 0 0 115926 93 0 0 25 0 1 0 798770315 145514496 32639 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35526 32639 1111 63 0 35463 0
vsize: 142104
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 33026 0 0 0 116926 94 0 0 25 0 1 0 798770315 146780160 32949 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35835 32949 1111 63 0 35772 0
vsize: 143340
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 33336 0 0 0 117926 94 0 0 25 0 1 0 798770315 148045824 33259 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36144 33259 1111 63 0 36081 0
vsize: 144576
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 33647 0 0 0 118925 94 0 0 25 0 1 0 798770315 149315584 33570 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36454 33570 1111 63 0 36391 0
vsize: 145816
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) R 2464 7876 7672 0 -1 0 33956 0 0 0 119925 95 0 0 25 0 1 0 798770315 150581248 33879 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36763 33879 1111 63 0 36700 0
vsize: 147052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 2465
Raw data (stat): 2465 (bsolo_lpr_cuts) Z 2464 7876 7672 0 -1 1036 33956 0 0 0 119925 101 0 0 25 0 1 0 798770315 0 0 4294967295 0 0 0 0 0 0 0 1 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.14
CPU time (s): 1200.27
CPU user time (s): 1199.26
CPU system time (s): 1.01684
CPU usage (%): 100.011
Max. virtual memory (Kb): 147052
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####