PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-rail507.opb
MD5SUM	3525728b1c2480586834886de2d50400
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	63309
Biggest coefficient in the objective function	53687091200000000000
Number of bits for the biggest coefficient in the objective function	66
Sum of the numbers in the objective function	215947469635884908544
Number of bits of the sum of numbers in the objective function	68
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	215947469635884908544
Number of bits of the biggest sum of numbers	68
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	290.253
Number of variables	63009
Total number of constraints	63518
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63011
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	59416
Trace number 26133

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 10:59:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15173 boxname=wulflinc31 idbench=1168 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  3525728b1c2480586834886de2d50400  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-rail507.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-rail507.opb
IDLAUNCH: 15173
/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:        692496 kB
Buffers:         30096 kB
Cached:         290668 kB
SwapCached:        944 kB
Active:         116556 kB
Inactive:       206288 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        692244 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13580 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 11:19:14 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 15173 7 1200.42 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.82 0.94 0.98 2/55 27597
Raw data (stat): 27597 (runsolver) R 27596 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 829684304 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.0004 s]
Raw data (loadavg): 0.85 0.94 0.98 2/55 27597
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 1792 0 0 0 987 7 0 0 25 0 1 0 829684304 18821120 1715 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4595 1715 1111 63 0 4532 0
vsize: 18380
[startup+20.0012 s]
Raw data (loadavg): 0.87 0.94 0.98 2/55 27597
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 2733 0 0 0 1985 9 0 0 25 0 1 0 829684304 22700032 2656 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5542 2656 1111 63 0 5479 0
vsize: 22168
[startup+30.002 s]
Raw data (loadavg): 0.89 0.94 0.98 2/55 27597
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 3674 0 0 0 2983 11 0 0 25 0 1 0 829684304 26583040 3597 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6490 3597 1111 63 0 6427 0
vsize: 25960
[startup+40.0031 s]
Raw data (loadavg): 0.91 0.94 0.98 2/55 27597
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 4609 0 0 0 3981 12 0 0 25 0 1 0 829684304 30314496 4532 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7401 4532 1111 63 0 7338 0
vsize: 29604
[startup+50.0031 s]
Raw data (loadavg): 0.92 0.95 0.98 2/55 27597
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 5545 0 0 0 4980 13 0 0 25 0 1 0 829684304 34197504 5468 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8349 5468 1111 63 0 8286 0
vsize: 33396
[startup+60.004 s]
Raw data (loadavg): 1.01 0.96 0.98 2/59 27640
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 6481 0 0 0 5978 15 0 0 25 0 1 0 829684304 38080512 6404 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9297 6404 1111 63 0 9234 0
vsize: 37188
[startup+70.0043 s]
Raw data (loadavg): 1.01 0.96 0.98 2/55 27650
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 7426 0 0 0 6977 16 0 0 25 0 1 0 829684304 41951232 7349 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10242 7349 1111 63 0 10179 0
vsize: 40968
[startup+80.0051 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 27650
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 8367 0 0 0 7976 18 0 0 25 0 1 0 829684304 45830144 8290 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11189 8290 1111 63 0 11126 0
vsize: 44756
[startup+90.005 s]
Raw data (loadavg): 1.01 0.97 0.98 2/55 27650
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 9315 0 0 0 8974 20 0 0 25 0 1 0 829684304 49713152 9238 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12137 9238 1111 63 0 12074 0
vsize: 48548
[startup+100.005 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27650
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 10257 0 0 0 9973 21 0 0 25 0 1 0 829684304 53448704 10180 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13049 10180 1111 63 0 12986 0
vsize: 52196
[startup+110.006 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27650
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 11211 0 0 0 10972 23 0 0 25 0 1 0 829684304 57479168 11134 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14033 11134 1111 63 0 13970 0
vsize: 56132
[startup+120.007 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27650
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 12159 0 0 0 11970 25 0 0 25 0 1 0 829684304 61362176 12082 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14981 12082 1111 63 0 14918 0
vsize: 59924
[startup+130.008 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 13118 0 0 0 12968 27 0 0 25 0 1 0 829684304 65216512 13041 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15922 13041 1111 63 0 15859 0
vsize: 63688
[startup+140.009 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 14071 0 0 0 13966 29 0 0 25 0 1 0 829684304 69095424 13994 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16869 13994 1111 63 0 16806 0
vsize: 67476
[startup+150.01 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 15031 0 0 0 14965 31 0 0 25 0 1 0 829684304 73125888 14954 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17853 14954 1111 63 0 17790 0
vsize: 71412
[startup+160.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 15991 0 0 0 15963 32 0 0 25 0 1 0 829684304 77008896 15914 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18801 15914 1111 63 0 18738 0
vsize: 75204
[startup+170.01 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 16957 0 0 0 16962 34 0 0 25 0 1 0 829684304 80891904 16880 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19749 16880 1111 63 0 19686 0
vsize: 78996
[startup+180.011 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 17917 0 0 0 17961 35 0 0 25 0 1 0 829684304 84922368 17840 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20733 17840 1111 63 0 20670 0
vsize: 82932
[startup+190.012 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 18889 0 0 0 18959 37 0 0 25 0 1 0 829684304 88805376 18812 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21681 18812 1111 63 0 21618 0
vsize: 86724
[startup+200.012 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 19855 0 0 0 19958 38 0 0 25 0 1 0 829684304 92835840 19778 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22665 19778 1111 63 0 22602 0
vsize: 90660
[startup+210.013 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 20827 0 0 0 20957 40 0 0 25 0 1 0 829684304 96866304 20750 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23649 20750 1111 63 0 23586 0
vsize: 94596
[startup+220.014 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 21806 0 0 0 21955 42 0 0 25 0 1 0 829684304 100749312 21729 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24597 21729 1111 63 0 24534 0
vsize: 98388
[startup+230.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 22778 0 0 0 22953 44 0 0 25 0 1 0 829684304 104783872 22701 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25582 22701 1111 63 0 25519 0
vsize: 102328
[startup+240.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 23762 0 0 0 23951 46 0 0 25 0 1 0 829684304 108814336 23685 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26566 23685 1111 63 0 26503 0
vsize: 106264
[startup+250.015 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 24740 0 0 0 24950 48 0 0 25 0 1 0 829684304 112844800 24663 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27550 24663 1111 63 0 27487 0
vsize: 110200
[startup+260.016 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 25731 0 0 0 25947 51 0 0 25 0 1 0 829684304 116850688 25654 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28528 25654 1111 63 0 28465 0
vsize: 114112
[startup+270.017 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 26722 0 0 0 26946 52 0 0 25 0 1 0 829684304 121028608 26645 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29548 26645 1111 63 0 29485 0
vsize: 118192
[startup+280.018 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 27712 0 0 0 27945 53 0 0 25 0 1 0 829684304 125063168 27635 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30533 27635 1111 63 0 30470 0
vsize: 122132
[startup+290.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 28703 0 0 0 28943 55 0 0 25 0 1 0 829684304 129093632 28626 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31517 28626 1111 63 0 31454 0
vsize: 126068
[startup+300.019 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 29700 0 0 0 29942 57 0 0 25 0 1 0 829684304 133120000 29623 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32500 29623 1111 63 0 32437 0
vsize: 130000
[startup+310.02 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 30694 0 0 0 30940 59 0 0 25 0 1 0 829684304 137297920 30617 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33520 30617 1111 63 0 33457 0
vsize: 134080
[startup+320.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 31692 0 0 0 31938 61 0 0 25 0 1 0 829684304 141332480 31615 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34505 31615 1111 63 0 34442 0
vsize: 138020
[startup+330.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 32700 0 0 0 32936 63 0 0 25 0 1 0 829684304 145510400 32623 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35525 32623 1111 63 0 35462 0
vsize: 142100
[startup+340.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 33703 0 0 0 33934 65 0 0 25 0 1 0 829684304 149544960 33626 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36510 33626 1111 63 0 36447 0
vsize: 146040
[startup+350.021 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 34712 0 0 0 34932 67 0 0 25 0 1 0 829684304 153722880 34635 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37530 34635 1111 63 0 37467 0
vsize: 150120
[startup+360.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 35721 0 0 0 35930 69 0 0 25 0 1 0 829684304 157757440 35644 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38515 35644 1111 63 0 38452 0
vsize: 154060
[startup+370.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 36735 0 0 0 36929 71 0 0 25 0 1 0 829684304 161935360 36658 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39535 36658 1111 63 0 39472 0
vsize: 158140
[startup+380.022 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27652
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 37751 0 0 0 37927 73 0 0 25 0 1 0 829684304 166117376 37674 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40556 37674 1111 63 0 40493 0
vsize: 162224
[startup+390.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 38772 0 0 0 38926 75 0 0 25 0 1 0 829684304 170295296 38695 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41576 38695 1111 63 0 41513 0
vsize: 166304
[startup+400.023 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 39792 0 0 0 39924 77 0 0 25 0 1 0 829684304 174477312 39715 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42597 39715 1111 63 0 42534 0
vsize: 170388
[startup+410.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 40820 0 0 0 40922 79 0 0 25 0 1 0 829684304 178659328 40743 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43618 40743 1111 63 0 43555 0
vsize: 174472
[startup+420.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 41847 0 0 0 41920 81 0 0 25 0 1 0 829684304 182837248 41770 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44638 41770 1111 63 0 44575 0
vsize: 178552
[startup+430.024 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 42880 0 0 0 42918 83 0 0 25 0 1 0 829684304 187170816 42803 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45696 42803 1111 63 0 45633 0
vsize: 182784
[startup+440.025 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 43912 0 0 0 43917 85 0 0 25 0 1 0 829684304 191348736 43835 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46716 43835 1111 63 0 46653 0
vsize: 186864
[startup+450.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 44945 0 0 0 44915 87 0 0 25 0 1 0 829684304 195530752 44868 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47737 44868 1111 63 0 47674 0
vsize: 190948
[startup+460.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 45984 0 0 0 45913 89 0 0 25 0 1 0 829684304 199860224 45907 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48794 45907 1111 63 0 48731 0
vsize: 195176
[startup+470.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 47029 0 0 0 46911 91 0 0 25 0 1 0 829684304 204189696 46952 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49851 46952 1111 63 0 49788 0
vsize: 199404
[startup+480.026 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 48074 0 0 0 47910 92 0 0 25 0 1 0 829684304 208371712 47997 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50872 47997 1111 63 0 50809 0
vsize: 203488
[startup+490.027 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 49119 0 0 0 48908 94 0 0 25 0 1 0 829684304 212701184 49042 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51929 49042 1111 63 0 51866 0
vsize: 207716
[startup+500.028 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 50180 0 0 0 49906 96 0 0 25 0 1 0 829684304 217026560 50103 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52985 50103 1111 63 0 52922 0
vsize: 211940
[startup+510.028 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 51238 0 0 0 50905 98 0 0 25 0 1 0 829684304 221356032 51161 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54042 51161 1111 63 0 53979 0
vsize: 216168
[startup+520.028 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 52295 0 0 0 51903 100 0 0 25 0 1 0 829684304 225685504 52218 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55099 52218 1111 63 0 55036 0
vsize: 220396
[startup+530.028 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 53358 0 0 0 52901 102 0 0 25 0 1 0 829684304 230162432 53281 4294967295 134512640 134714508 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56192 53281 1111 63 0 56129 0
vsize: 224768
[startup+540.029 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 54422 0 0 0 53900 103 0 0 25 0 1 0 829684304 234496000 54345 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57250 54345 1111 63 0 57187 0
vsize: 229000
[startup+550.029 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 55485 0 0 0 54898 106 0 0 25 0 1 0 829684304 238825472 55408 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58307 55414 1111 63 0 58244 0
vsize: 233228
[startup+560.029 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 56561 0 0 0 55896 108 0 0 25 0 1 0 829684304 243154944 56484 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59364 56484 1111 63 0 59301 0
vsize: 237456
[startup+570.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 57631 0 0 0 56894 110 0 0 25 0 1 0 829684304 247631872 57554 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60457 57554 1111 63 0 60394 0
vsize: 241828
[startup+580.029 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 58706 0 0 0 57893 111 0 0 25 0 1 0 829684304 251961344 58629 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61514 58629 1111 63 0 61451 0
vsize: 246056
[startup+590.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 59789 0 0 0 58890 114 0 0 25 0 1 0 829684304 256442368 59712 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62608 59712 1111 63 0 62545 0
vsize: 250432
[startup+600.03 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 60877 0 0 0 59889 115 0 0 25 0 1 0 829684304 260927488 60800 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63703 60800 1111 63 0 63640 0
vsize: 254812
[startup+610.031 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 61965 0 0 0 60887 117 0 0 25 0 1 0 829684304 265404416 61888 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64796 61888 1111 63 0 64733 0
vsize: 259184
[startup+620.032 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 63058 0 0 0 61886 119 0 0 25 0 1 0 829684304 269881344 62981 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65889 62981 1111 63 0 65826 0
vsize: 263556
[startup+630.032 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 64159 0 0 0 62884 121 0 0 25 0 1 0 829684304 274362368 64082 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66983 64082 1111 63 0 66920 0
vsize: 267932
[startup+640.033 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 65265 0 0 0 63882 123 0 0 25 0 1 0 829684304 278839296 65188 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 68076 65188 1111 63 0 68013 0
vsize: 272304
[startup+650.033 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 66370 0 0 0 64879 126 0 0 25 0 1 0 829684304 283320320 66293 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69170 66293 1111 63 0 69107 0
vsize: 276680
[startup+660.034 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 67476 0 0 0 65877 128 0 0 25 0 1 0 829684304 287948800 67399 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70300 67399 1111 63 0 70237 0
vsize: 281200
[startup+670.035 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 68588 0 0 0 66875 130 0 0 25 0 1 0 829684304 292425728 68511 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71393 68511 1111 63 0 71330 0
vsize: 285572
[startup+680.035 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 69707 0 0 0 67874 132 0 0 25 0 1 0 829684304 297054208 69630 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72523 69630 1111 63 0 72460 0
vsize: 290092
[startup+690.036 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 70825 0 0 0 68872 134 0 0 25 0 1 0 829684304 301682688 70748 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73653 70748 1111 63 0 73590 0
vsize: 294612
[startup+700.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 71949 0 0 0 69871 135 0 0 25 0 1 0 829684304 306159616 71872 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 74746 71872 1111 63 0 74683 0
vsize: 298984
[startup+710.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 73079 0 0 0 70869 137 0 0 25 0 1 0 829684304 310788096 73002 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75876 73002 1111 63 0 75813 0
vsize: 303504
[startup+720.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 74209 0 0 0 71867 139 0 0 25 0 1 0 829684304 315416576 74132 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 77006 74132 1111 63 0 76943 0
vsize: 308024
[startup+730.036 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 75347 0 0 0 72865 142 0 0 25 0 1 0 829684304 320200704 75270 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78174 75270 1111 63 0 78111 0
vsize: 312696
[startup+740.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 76490 0 0 0 73863 144 0 0 25 0 1 0 829684304 324829184 76413 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79304 76413 1111 63 0 79241 0
vsize: 317216
[startup+750.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 77632 0 0 0 74861 147 0 0 25 0 1 0 829684304 329453568 77555 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 80433 77555 1111 63 0 80370 0
vsize: 321732
[startup+760.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 78780 0 0 0 75858 149 0 0 25 0 1 0 829684304 334233600 78703 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81600 78703 1111 63 0 81537 0
vsize: 326400
[startup+770.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 79935 0 0 0 76856 151 0 0 25 0 1 0 829684304 338862080 79858 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82730 79858 1111 63 0 82667 0
vsize: 330920
[startup+780.037 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 81089 0 0 0 77854 154 0 0 25 0 1 0 829684304 343638016 81012 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 83896 81012 1111 63 0 83833 0
vsize: 335584
[startup+790.038 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 82250 0 0 0 78852 156 0 0 25 0 1 0 829684304 348413952 82173 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85062 82173 1111 63 0 84999 0
vsize: 340248
[startup+800.038 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 83416 0 0 0 79851 158 0 0 25 0 1 0 829684304 353189888 83339 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 86228 83339 1111 63 0 86165 0
vsize: 344912
[startup+810.039 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 84583 0 0 0 80848 160 0 0 25 0 1 0 829684304 357969920 84506 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87395 84506 1111 63 0 87332 0
vsize: 349580
[startup+820.039 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 85757 0 0 0 81846 163 0 0 25 0 1 0 829684304 362749952 85680 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88562 85680 1111 63 0 88499 0
vsize: 354248
[startup+830.039 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 86936 0 0 0 82844 165 0 0 25 0 1 0 829684304 367529984 86859 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 89729 86859 1111 63 0 89666 0
vsize: 358916
[startup+840.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 88121 0 0 0 83842 167 0 0 25 0 1 0 829684304 372453376 88044 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90931 88044 1111 63 0 90868 0
vsize: 363724
[startup+850.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 89306 0 0 0 84840 169 0 0 25 0 1 0 829684304 377229312 89229 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 92097 89229 1111 63 0 92034 0
vsize: 368388
[startup+860.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 90496 0 0 0 85838 171 0 0 25 0 1 0 829684304 382156800 90419 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93300 90419 1111 63 0 93237 0
vsize: 373200
[startup+870.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 91693 0 0 0 86836 173 0 0 25 0 1 0 829684304 387084288 91616 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 94503 91616 1111 63 0 94440 0
vsize: 378012
[startup+880.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 92896 0 0 0 87835 175 0 0 25 0 1 0 829684304 392007680 92819 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95705 92819 1111 63 0 95642 0
vsize: 382820
[startup+890.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 94100 0 0 0 88833 177 0 0 25 0 1 0 829684304 396943360 94023 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96910 94023 1111 63 0 96847 0
vsize: 387640
[startup+900.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 95308 0 0 0 89831 179 0 0 25 0 1 0 829684304 401866752 95231 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98112 95231 1111 63 0 98049 0
vsize: 392448
[startup+910.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 96529 0 0 0 90829 181 0 0 25 0 1 0 829684304 406941696 96452 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99351 96452 1111 63 0 99288 0
vsize: 397404
[startup+920.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 97744 0 0 0 91826 184 0 0 25 0 1 0 829684304 411869184 97667 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 100554 97667 1111 63 0 100491 0
vsize: 402216
[startup+930.041 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 98989 0 0 0 92825 186 0 0 25 0 1 0 829684304 417013760 98912 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101810 98912 1111 63 0 101747 0
vsize: 407240
[startup+940.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 100222 0 0 0 93823 188 0 0 25 0 1 0 829684304 422088704 100145 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103049 100145 1111 63 0 102986 0
vsize: 412196
[startup+950.042 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 101456 0 0 0 94820 191 0 0 25 0 1 0 829684304 427167744 101379 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104289 101379 1111 63 0 104226 0
vsize: 417156
[startup+960.043 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 102696 0 0 0 95817 195 0 0 25 0 1 0 829684304 432242688 102619 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 105528 102619 1111 63 0 105465 0
vsize: 422112
[startup+970.043 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 103942 0 0 0 96815 196 0 0 25 0 1 0 829684304 437317632 103865 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106767 103865 1111 63 0 106704 0
vsize: 427068
[startup+980.043 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 105194 0 0 0 97813 199 0 0 25 0 1 0 829684304 442544128 105117 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108043 105117 1111 63 0 107980 0
vsize: 432172
[startup+990.044 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 106451 0 0 0 98810 201 0 0 25 0 1 0 829684304 447619072 106374 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109282 106374 1111 63 0 109219 0
vsize: 437128
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 107716 0 0 0 99808 204 0 0 25 0 1 0 829684304 452849664 107639 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 110559 107639 1111 63 0 110496 0
vsize: 442236
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 108986 0 0 0 100806 206 0 0 25 0 1 0 829684304 458072064 108909 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111834 108909 1111 63 0 111771 0
vsize: 447336
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 110262 0 0 0 101804 209 0 0 25 0 1 0 829684304 463298560 110185 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 113110 110185 1111 63 0 113047 0
vsize: 452440
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 111538 0 0 0 102801 211 0 0 25 0 1 0 829684304 468520960 111461 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114385 111461 1111 63 0 114322 0
vsize: 457540
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 112821 0 0 0 103799 213 0 0 25 0 1 0 829684304 473751552 112744 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 115662 112744 1111 63 0 115599 0
vsize: 462648
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 114115 0 0 0 104797 215 0 0 25 0 1 0 829684304 478973952 114038 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116937 114038 1111 63 0 116874 0
vsize: 467748
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 115409 0 0 0 105796 217 0 0 25 0 1 0 829684304 484347904 115332 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 118249 115332 1111 63 0 118186 0
vsize: 472996
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 116716 0 0 0 106794 219 0 0 25 0 1 0 829684304 489721856 116639 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 119561 116639 1111 63 0 119498 0
vsize: 478244
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 118023 0 0 0 107792 221 0 0 25 0 1 0 829684304 494952448 117946 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 120838 117946 1111 63 0 120775 0
vsize: 483352
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 119341 0 0 0 108790 224 0 0 25 0 1 0 829684304 500473856 119264 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 122186 119264 1111 63 0 122123 0
vsize: 488744
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 120660 0 0 0 109787 227 0 0 25 0 1 0 829684304 505847808 120583 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123498 120583 1111 63 0 123435 0
vsize: 493992
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 121990 0 0 0 110785 229 0 0 25 0 1 0 829684304 511221760 121913 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 124810 121913 1111 63 0 124747 0
vsize: 499240
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 123335 0 0 0 111783 232 0 0 25 0 1 0 829684304 516751360 123258 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126160 123258 1111 63 0 126097 0
vsize: 504640
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 124677 0 0 0 112780 234 0 0 25 0 1 0 829684304 522272768 124600 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 127508 124600 1111 63 0 127445 0
vsize: 510032
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 126025 0 0 0 113778 236 0 0 25 0 1 0 829684304 527794176 125948 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128856 125948 1111 63 0 128793 0
vsize: 515424
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 127382 0 0 0 114776 239 0 0 25 0 1 0 829684304 533323776 127305 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 130206 127305 1111 63 0 130143 0
vsize: 520824
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 128744 0 0 0 115774 241 0 0 25 0 1 0 829684304 538845184 128667 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131554 128667 1111 63 0 131491 0
vsize: 526216
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 130116 0 0 0 116772 243 0 0 25 0 1 0 829684304 544518144 130039 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 132939 130039 1111 63 0 132876 0
vsize: 531756
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 131490 0 0 0 117769 246 0 0 25 0 1 0 829684304 550195200 131413 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 134325 131413 1111 63 0 134262 0
vsize: 537300
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 132875 0 0 0 118767 248 0 0 25 0 1 0 829684304 555868160 132798 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 135710 132798 1111 63 0 135647 0
vsize: 542840
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.97 0.98 2/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) R 27596 7876 7672 0 -1 0 134266 0 0 0 119764 251 0 0 25 0 1 0 829684304 561537024 134189 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 137094 134189 1111 63 0 137031 0
vsize: 548376
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 1.00 0.97 0.98 1/55 27654
Raw data (stat): 27597 (bsolo_lpr_cuts) Z 27596 7876 7672 0 -1 1036 134266 0 0 0 119764 276 0 0 25 0 1 0 829684304 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.31
CPU time (s): 1200.42
CPU user time (s): 1197.65
CPU system time (s): 2.76958
CPU usage (%): 100.009
Max. virtual memory (Kb): 548376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####