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/submitted/een/normalized-nw04.opb
MD5SUM	c4c13764e2ea959929790d6ef6d0273c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	42031
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	18.0483
Number of variables	87482
Total number of constraints	72
Number of constraints which are clauses	36
Number of constraints which are cardinality constraints (but not clauses)	36
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	599
Maximum length of a constraint	42032
Trace number 25098

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 17:58:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5085 boxname=wulflinc31 idbench=392 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  c4c13764e2ea959929790d6ef6d0273c  /oldhome/oroussel/tmp/wulflinc31/normalized-nw04.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-nw04.opb
IDLAUNCH: 5085
/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:        763492 kB
Buffers:         49628 kB
Cached:         198796 kB
SwapCached:       1952 kB
Active:         207576 kB
Inactive:        44100 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        763240 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13828 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 18:18:57 (client local time) WITH STATUS 0 IN 1200.53 SECONDS
stats: 5085 7 1200.53 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.97 2/55 15822
Raw data (stat): 15822 (runsolver) R 15821 7876 7672 0 -1 64 1 0 0 0 0 0 0 0 19 0 1 0 763074895 1056768 98 4294967295 134512640 135381576 3221221696 3221217136 134514566 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 98 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.88 0.94 0.97 2/55 15822
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 792 0 0 0 991 4 0 0 25 0 1 0 763074895 15351808 715 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3748 715 1111 63 0 3685 0
vsize: 14992
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.94 0.97 2/55 15822
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 847 0 0 0 1991 4 0 0 25 0 1 0 763074895 15622144 770 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3814 770 1111 63 0 3751 0
vsize: 15256
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.94 0.97 2/55 15822
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 899 0 0 0 2991 4 0 0 25 0 1 0 763074895 15757312 822 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3847 822 1111 63 0 3784 0
vsize: 15388
[startup+40.0007 s]
Raw data (loadavg): 0.92 0.94 0.97 2/55 15822
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 957 0 0 0 3991 5 0 0 25 0 1 0 763074895 16027648 880 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3913 880 1111 63 0 3850 0
vsize: 15652
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.95 0.97 2/55 15822
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1010 0 0 0 4991 5 0 0 25 0 1 0 763074895 16162816 933 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3946 933 1111 63 0 3883 0
vsize: 15784
[startup+60.0017 s]
Raw data (loadavg): 0.94 0.95 0.97 2/55 15822
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1065 0 0 0 5991 5 0 0 25 0 1 0 763074895 16433152 988 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4012 988 1111 63 0 3949 0
vsize: 16048
[startup+70.0257 s]
Raw data (loadavg): 0.95 0.95 0.97 2/55 15822
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1126 0 0 0 6993 5 0 0 25 0 1 0 763074895 16711680 1049 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4080 1049 1111 63 0 4017 0
vsize: 16320
[startup+80.122 s]
Raw data (loadavg): 1.04 0.96 0.97 3/58 15860
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1179 0 0 0 8002 5 0 0 25 0 1 0 763074895 16982016 1102 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4146 1102 1111 63 0 4083 0
vsize: 16584
[startup+90.2165 s]
Raw data (loadavg): 1.11 0.98 0.98 3/59 15869
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1234 0 0 0 9012 6 0 0 25 0 1 0 763074895 17117184 1157 4294967295 134512640 134714508 3221221792 3221220020 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4179 1157 1111 63 0 4116 0
vsize: 16716
[startup+100.339 s]
Raw data (loadavg): 1.24 1.02 0.99 2/55 15875
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1288 0 0 0 10024 6 0 0 25 0 1 0 763074895 17387520 1211 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 1211 1111 63 0 4182 0
vsize: 16980
[startup+110.339 s]
Raw data (loadavg): 1.21 1.01 0.99 2/55 15875
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1359 0 0 0 11024 6 0 0 25 0 1 0 763074895 17616896 1282 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4301 1282 1111 63 0 4238 0
vsize: 17204
[startup+120.34 s]
Raw data (loadavg): 1.17 1.01 0.99 2/55 15875
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1416 0 0 0 12024 6 0 0 25 0 1 0 763074895 17895424 1339 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4369 1339 1111 63 0 4306 0
vsize: 17476
[startup+130.34 s]
Raw data (loadavg): 1.15 1.01 0.99 2/55 15875
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1469 0 0 0 13024 6 0 0 25 0 1 0 763074895 18075648 1392 4294967295 134512640 134714508 3221221792 3221220020 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4413 1392 1111 63 0 4350 0
vsize: 17652
[startup+140.34 s]
Raw data (loadavg): 1.12 1.01 0.99 2/55 15875
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1537 0 0 0 14024 6 0 0 25 0 1 0 763074895 18432000 1460 4294967295 134512640 134714508 3221221792 3221220020 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4500 1460 1111 63 0 4437 0
vsize: 18000
[startup+150.341 s]
Raw data (loadavg): 1.10 1.01 0.99 2/55 15875
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1592 0 0 0 15025 6 0 0 25 0 1 0 763074895 18649088 1515 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4553 1515 1111 63 0 4490 0
vsize: 18212
[startup+160.341 s]
Raw data (loadavg): 1.09 1.01 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1650 0 0 0 16025 6 0 0 25 0 1 0 763074895 18878464 1573 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4609 1573 1111 63 0 4546 0
vsize: 18436
[startup+170.342 s]
Raw data (loadavg): 1.07 1.01 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1703 0 0 0 17025 6 0 0 25 0 1 0 763074895 19042304 1626 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4649 1626 1111 63 0 4586 0
vsize: 18596
[startup+180.341 s]
Raw data (loadavg): 1.06 1.01 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1759 0 0 0 18025 7 0 0 25 0 1 0 763074895 19304448 1682 4294967295 134512640 134714508 3221221792 3221220020 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4713 1682 1111 63 0 4650 0
vsize: 18852
[startup+190.342 s]
Raw data (loadavg): 1.05 1.01 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1816 0 0 0 19025 7 0 0 25 0 1 0 763074895 19529728 1739 4294967295 134512640 134714508 3221221792 3221220020 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4768 1739 1111 63 0 4705 0
vsize: 19072
[startup+200.342 s]
Raw data (loadavg): 1.04 1.01 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1876 0 0 0 20025 7 0 0 25 0 1 0 763074895 19767296 1799 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4826 1799 1111 63 0 4763 0
vsize: 19304
[startup+210.342 s]
Raw data (loadavg): 1.04 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1928 0 0 0 21025 7 0 0 25 0 1 0 763074895 19968000 1851 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4875 1851 1111 63 0 4812 0
vsize: 19500
[startup+220.344 s]
Raw data (loadavg): 1.03 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1981 0 0 0 22025 7 0 0 25 0 1 0 763074895 20176896 1904 4294967295 134512640 134714508 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4926 1904 1111 63 0 4863 0
vsize: 19704
[startup+230.344 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2037 0 0 0 23025 8 0 0 25 0 1 0 763074895 20393984 1960 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4979 1960 1111 63 0 4916 0
vsize: 19916
[startup+240.344 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2094 0 0 0 24025 8 0 0 25 0 1 0 763074895 20623360 2017 4294967295 134512640 134714508 3221221792 3221220020 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 2017 1111 63 0 4972 0
vsize: 20140
[startup+250.344 s]
Raw data (loadavg): 1.02 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2155 0 0 0 25024 8 0 0 25 0 1 0 763074895 20856832 2078 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2078 1111 63 0 5029 0
vsize: 20368
[startup+260.345 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2201 0 0 0 26025 8 0 0 25 0 1 0 763074895 21045248 2124 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5138 2124 1111 63 0 5075 0
vsize: 20552
[startup+270.345 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2283 0 0 0 27024 9 0 0 25 0 1 0 763074895 21557248 2206 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5263 2206 1111 63 0 5200 0
vsize: 21052
[startup+280.345 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2372 0 0 0 28024 9 0 0 25 0 1 0 763074895 21823488 2256 4294967295 134512640 134714508 3221221792 3221220020 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5328 2256 1111 63 0 5265 0
vsize: 21312
[startup+290.346 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2640 0 0 0 29023 11 0 0 25 0 1 0 763074895 21897216 2307 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5346 2307 1111 63 0 5283 0
vsize: 21384
[startup+300.346 s]
Raw data (loadavg): 1.01 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 3163 0 0 0 30020 13 0 0 25 0 1 0 763074895 22118400 2362 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5400 2362 1111 63 0 5337 0
vsize: 21600
[startup+310.346 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 3917 0 0 0 31019 15 0 0 25 0 1 0 763074895 22335488 2416 4294967295 134512640 134714508 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5453 2416 1111 63 0 5390 0
vsize: 21812
[startup+320.347 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 4921 0 0 0 32016 18 0 0 25 0 1 0 763074895 22564864 2474 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5509 2474 1111 63 0 5446 0
vsize: 22036
[startup+330.346 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 6139 0 0 0 33012 22 0 0 25 0 1 0 763074895 22962176 2540 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5606 2540 1111 63 0 5543 0
vsize: 22424
[startup+340.347 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 7589 0 0 0 34007 27 0 0 25 0 1 0 763074895 23048192 2594 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5627 2594 1111 63 0 5564 0
vsize: 22508
[startup+350.347 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 9279 0 0 0 35004 31 0 0 25 0 1 0 763074895 23298048 2656 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5688 2656 1111 63 0 5625 0
vsize: 22752
[startup+360.347 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 11293 0 0 0 36000 35 0 0 25 0 1 0 763074895 23470080 2699 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5730 2699 1111 63 0 5667 0
vsize: 22920
[startup+370.349 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 13704 0 0 0 36996 39 0 0 25 0 1 0 763074895 23912448 2777 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5838 2777 1111 63 0 5775 0
vsize: 23352
[startup+380.349 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 16423 0 0 0 37990 45 0 0 25 0 1 0 763074895 24010752 2834 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5862 2834 1111 63 0 5799 0
vsize: 23448
[startup+390.349 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 19346 0 0 0 38984 51 0 0 25 0 1 0 763074895 24199168 2881 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5908 2881 1111 63 0 5845 0
vsize: 23632
[startup+400.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 22420 0 0 0 39976 59 0 0 25 0 1 0 763074895 24682496 2969 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6026 2969 1111 63 0 5963 0
vsize: 24104
[startup+410.35 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 25514 0 0 0 40970 66 0 0 25 0 1 0 763074895 24690688 3003 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6028 3003 1111 63 0 5965 0
vsize: 24112
[startup+420.351 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 28950 0 0 0 41962 74 0 0 25 0 1 0 763074895 24895488 3055 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6078 3055 1111 63 0 6015 0
vsize: 24312
[startup+430.352 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 32934 0 0 0 42954 82 0 0 25 0 1 0 763074895 25309184 3125 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6179 3125 1111 63 0 6116 0
vsize: 24716
[startup+440.352 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 37195 0 0 0 43944 93 0 0 25 0 1 0 763074895 25640960 3207 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6260 3207 1111 63 0 6197 0
vsize: 25040
[startup+450.352 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 41345 0 0 0 44936 100 0 0 25 0 1 0 763074895 25866240 3264 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6315 3264 1111 63 0 6252 0
vsize: 25260
[startup+460.352 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15877
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 46089 0 0 0 45926 110 0 0 25 0 1 0 763074895 26095616 3321 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6371 3321 1111 63 0 6308 0
vsize: 25484
[startup+470.353 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 50735 0 0 0 46918 119 0 0 25 0 1 0 763074895 26329088 3379 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6428 3379 1111 63 0 6365 0
vsize: 25712
[startup+480.352 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 55665 0 0 0 47907 130 0 0 25 0 1 0 763074895 26337280 3415 4294967295 134512640 134714508 3221221792 3221220020 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6430 3415 1111 63 0 6367 0
vsize: 25720
[startup+490.353 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 60591 0 0 0 48899 139 0 0 25 0 1 0 763074895 26456064 3444 4294967295 134512640 134714508 3221221792 3221220020 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6459 3444 1111 63 0 6396 0
vsize: 25836
[startup+500.353 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 65708 0 0 0 49890 148 0 0 25 0 1 0 763074895 26943488 3533 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6578 3533 1111 63 0 6515 0
vsize: 26312
[startup+510.353 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 71053 0 0 0 50880 158 0 0 25 0 1 0 763074895 26947584 3566 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6579 3566 1111 63 0 6516 0
vsize: 26316
[startup+520.355 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 76981 0 0 0 51868 169 0 0 25 0 1 0 763074895 27451392 3658 4294967295 134512640 134714508 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6702 3658 1111 63 0 6639 0
vsize: 26808
[startup+530.356 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 83175 0 0 0 52857 181 0 0 25 0 1 0 763074895 27844608 3725 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6798 3725 1111 63 0 6735 0
vsize: 27192
[startup+540.355 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 89520 0 0 0 53844 194 0 0 25 0 1 0 763074895 27979776 3758 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6831 3758 1111 63 0 6768 0
vsize: 27324
[startup+550.355 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 101626 0 0 0 54821 217 0 0 25 0 1 0 763074895 28114944 3793 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6864 3793 1111 63 0 6801 0
vsize: 27456
[startup+560.355 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 122057 0 0 0 55780 259 0 0 25 0 1 0 763074895 28389376 3831 4294967295 134512640 134714508 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6931 3831 1111 63 0 6868 0
vsize: 27724
[startup+570.356 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 143943 0 0 0 56738 301 0 0 25 0 1 0 763074895 28524544 3889 4294967295 134512640 134714508 3221221792 3221220448 134527972 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6964 3889 1111 63 0 6901 0
vsize: 27856
[startup+580.356 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 165417 0 0 0 57697 342 0 0 25 0 1 0 763074895 28798976 3947 4294967295 134512640 134714508 3221221792 3221220020 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7031 3947 1111 63 0 6968 0
vsize: 28124
[startup+590.356 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 187900 0 0 0 58652 387 0 0 25 0 1 0 763074895 29212672 4030 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 4035 1111 63 0 7069 0
vsize: 28528
[startup+600.357 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 211432 0 0 0 59607 432 0 0 25 0 1 0 763074895 29208576 4066 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7131 4066 1111 63 0 7068 0
vsize: 28524
[startup+610.357 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 232120 0 0 0 60568 472 0 0 25 0 1 0 763074895 29483008 4119 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7198 4119 1111 63 0 7135 0
vsize: 28792
[startup+620.358 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 253817 0 0 0 61523 517 0 0 25 0 1 0 763074895 29753344 4171 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7264 4171 1111 63 0 7201 0
vsize: 29056
[startup+630.359 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 280764 0 0 0 62471 569 0 0 25 0 1 0 763074895 30183424 4274 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7331 4238 1111 63 0 7268 0
vsize: 29476
[startup+640.359 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 305930 0 0 0 63426 615 0 0 25 0 1 0 763074895 30167040 4298 4294967295 134512640 134714508 3221221792 3221220020 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7365 4298 1111 63 0 7302 0
vsize: 29460
[startup+650.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 332081 0 0 0 64375 666 0 0 25 0 1 0 763074895 30437376 4358 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 4358 1111 63 0 7368 0
vsize: 29724
[startup+660.359 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 358169 0 0 0 65324 717 0 0 25 0 1 0 763074895 30711808 4419 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7498 4419 1111 63 0 7435 0
vsize: 29992
[startup+670.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 385782 0 0 0 66273 767 0 0 25 0 1 0 763074895 30986240 4483 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7565 4483 1111 63 0 7502 0
vsize: 30260
[startup+680.361 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 412203 0 0 0 67223 818 0 0 25 0 1 0 763074895 31121408 4541 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7598 4541 1111 63 0 7535 0
vsize: 30392
[startup+690.36 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 439295 0 0 0 68168 874 0 0 25 0 1 0 763074895 31395840 4601 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7665 4601 1111 63 0 7602 0
vsize: 30660
[startup+700.361 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 463664 0 0 0 69118 923 0 0 25 0 1 0 763074895 31666176 4652 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7731 4652 1111 63 0 7668 0
vsize: 30924
[startup+710.361 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 492694 0 0 0 70066 976 0 0 25 0 1 0 763074895 31940608 4716 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7798 4716 1111 63 0 7735 0
vsize: 31192
[startup+720.362 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 519891 0 0 0 71014 1028 0 0 25 0 1 0 763074895 32260096 4817 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7832 4775 1111 63 0 7769 0
vsize: 31504
[startup+730.363 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 546652 0 0 0 71962 1080 0 0 25 0 1 0 763074895 32530432 4870 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7898 4828 1111 63 0 7835 0
vsize: 31768
[startup+740.363 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 573562 0 0 0 72914 1128 0 0 25 0 1 0 763074895 32808960 4927 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7965 4885 1111 63 0 7902 0
vsize: 32040
[startup+750.364 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 599806 0 0 0 73867 1176 0 0 25 0 1 0 763074895 32759808 4936 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7998 4936 1111 63 0 7935 0
vsize: 31992
[startup+760.364 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 627574 0 0 0 74814 1228 0 0 25 0 1 0 763074895 33034240 4994 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8065 4994 1111 63 0 8002 0
vsize: 32260
[startup+770.365 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 655092 0 0 0 75763 1280 0 0 25 0 1 0 763074895 33366016 5086 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8146 5091 1111 63 0 8083 0
vsize: 32584
[startup+780.365 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 680625 0 0 0 76717 1326 0 0 25 0 1 0 763074895 33443840 5098 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8165 5098 1111 63 0 8102 0
vsize: 32660
[startup+790.364 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 708750 0 0 0 77663 1380 0 0 25 0 1 0 763074895 33779712 5184 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8247 5189 1111 63 0 8184 0
vsize: 32988
[startup+800.365 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 737838 0 0 0 78609 1434 0 0 25 0 1 0 763074895 34050048 5232 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8313 5236 1111 63 0 8250 0
vsize: 33252
[startup+810.364 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 767313 0 0 0 79551 1492 0 0 25 0 1 0 763074895 34127872 5264 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8332 5264 1111 63 0 8269 0
vsize: 33328
[startup+820.366 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 799419 0 0 0 80490 1553 0 0 25 0 1 0 763074895 34263040 5324 4294967295 134512640 134714508 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8365 5324 1111 63 0 8302 0
vsize: 33460
[startup+830.365 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 831663 0 0 0 81427 1617 0 0 25 0 1 0 763074895 34541568 5383 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8433 5383 1111 63 0 8370 0
vsize: 33732
[startup+840.365 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 862437 0 0 0 82370 1673 0 0 25 0 1 0 763074895 35024896 5442 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8551 5447 1111 63 0 8488 0
vsize: 34204
[startup+850.366 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 892527 0 0 0 83315 1730 0 0 25 0 1 0 763074895 34951168 5493 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8533 5493 1111 63 0 8470 0
vsize: 34132
[startup+860.366 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 925699 0 0 0 84252 1792 0 0 25 0 1 0 763074895 35225600 5553 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8600 5553 1111 63 0 8537 0
vsize: 34400
[startup+870.367 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 954911 0 0 0 85196 1848 0 0 25 0 1 0 763074895 35708928 5645 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8718 5649 1111 63 0 8655 0
vsize: 34872
[startup+880.368 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 989527 0 0 0 86133 1912 0 0 25 0 1 0 763074895 35852288 5695 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8753 5700 1111 63 0 8690 0
vsize: 35012
[startup+890.368 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1028992 0 0 0 87060 1985 0 0 25 0 1 0 763074895 36130816 5776 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8821 5781 1111 63 0 8758 0
vsize: 35284
[startup+900.369 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1064810 0 0 0 87991 2055 0 0 25 0 1 0 763074895 36184064 5792 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8834 5792 1111 63 0 8771 0
vsize: 35336
[startup+910.369 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1101683 0 0 0 88919 2126 0 0 25 0 1 0 763074895 36458496 5853 4294967295 134512640 134714508 3221221792 3221220448 134527948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8901 5853 1111 63 0 8838 0
vsize: 35604
[startup+920.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1133489 0 0 0 89860 2186 0 0 25 0 1 0 763074895 36597760 5907 4294967295 134512640 134714508 3221221792 3221220020 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8935 5907 1111 63 0 8872 0
vsize: 35740
[startup+930.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1165260 0 0 0 90801 2244 0 0 25 0 1 0 763074895 37097472 5982 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9057 5987 1111 63 0 8994 0
vsize: 36228
[startup+940.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1199386 0 0 0 91737 2308 0 0 25 0 1 0 763074895 37142528 6013 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9068 6013 1111 63 0 9005 0
vsize: 36272
[startup+950.371 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1230729 0 0 0 92681 2365 0 0 25 0 1 0 763074895 37277696 6063 4294967295 134512640 134714508 3221221792 3221220448 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9101 6063 1111 63 0 9038 0
vsize: 36404
[startup+960.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1263753 0 0 0 93618 2429 0 0 25 0 1 0 763074895 37556224 6117 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9169 6117 1111 63 0 9106 0
vsize: 36676
[startup+970.371 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1296342 0 0 0 94557 2490 0 0 25 0 1 0 763074895 37691392 6168 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9202 6168 1111 63 0 9139 0
vsize: 36808
[startup+980.371 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1328152 0 0 0 95496 2551 0 0 25 0 1 0 763074895 37965824 6217 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9269 6217 1111 63 0 9206 0
vsize: 37076
[startup+990.371 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1360138 0 0 0 96433 2613 0 0 25 0 1 0 763074895 38105088 6268 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9303 6268 1111 63 0 9240 0
vsize: 37212
[startup+1000.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1393488 0 0 0 97366 2681 0 0 25 0 1 0 763074895 38240256 6318 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9336 6318 1111 63 0 9273 0
vsize: 37344
[startup+1010.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1422666 0 0 0 98309 2738 0 0 25 0 1 0 763074895 38514688 6364 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9403 6364 1111 63 0 9340 0
vsize: 37612
[startup+1020.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1460542 0 0 0 99237 2810 0 0 25 0 1 0 763074895 38649856 6420 4294967295 134512640 134714508 3221221792 3221220448 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9436 6420 1111 63 0 9373 0
vsize: 37744
[startup+1030.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1502888 0 0 0 100160 2887 0 0 25 0 1 0 763074895 38924288 6482 4294967295 134512640 134714508 3221221792 3221220020 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9565 6484 1111 63 0 9502 0
vsize: 38012
[startup+1040.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1544614 0 0 0 101078 2970 0 0 25 0 1 0 763074895 39198720 6544 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9570 6544 1111 63 0 9507 0
vsize: 38280
[startup+1050.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1585644 0 0 0 102001 3047 0 0 25 0 1 0 763074895 40505344 6660 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9889 6660 1111 63 0 9826 0
vsize: 39556
[startup+1060.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1627478 0 0 0 102924 3124 0 0 25 0 1 0 763074895 40509440 6666 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9890 6666 1111 63 0 9827 0
vsize: 39560
[startup+1070.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1670485 0 0 0 103841 3208 0 0 25 0 1 0 763074895 40779776 6729 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9956 6729 1111 63 0 9893 0
vsize: 39824
[startup+1080.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1712431 0 0 0 104760 3288 0 0 25 0 1 0 763074895 40919040 6790 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9990 6790 1111 63 0 9927 0
vsize: 39960
[startup+1090.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1752330 0 0 0 105681 3368 0 0 25 0 1 0 763074895 41193472 6846 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10057 6846 1111 63 0 9994 0
vsize: 40228
[startup+1100.37 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1786698 0 0 0 106615 3434 0 0 25 0 1 0 763074895 41328640 6894 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10090 6894 1111 63 0 10027 0
vsize: 40360
[startup+1110.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1818795 0 0 0 107554 3495 0 0 25 0 1 0 763074895 41603072 6939 4294967295 134512640 134714508 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10157 6939 1111 63 0 10094 0
vsize: 40628
[startup+1120.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1860392 0 0 0 108476 3573 0 0 25 0 1 0 763074895 41738240 6996 4294967295 134512640 134714508 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10190 6996 1111 63 0 10127 0
vsize: 40760
[startup+1130.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1899034 0 0 0 109399 3650 0 0 25 0 1 0 763074895 42291200 7106 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10325 7110 1111 63 0 10262 0
vsize: 41300
[startup+1140.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1936087 0 0 0 110329 3720 0 0 25 0 1 0 763074895 42147840 7099 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10290 7099 1111 63 0 10227 0
vsize: 41160
[startup+1150.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 1973814 0 0 0 111257 3793 0 0 25 0 1 0 763074895 42426368 7149 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10358 7149 1111 63 0 10295 0
vsize: 41432
[startup+1160.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2007393 0 0 0 112191 3859 0 0 25 0 1 0 763074895 42561536 7194 4294967295 134512640 134714508 3221221792 3221220448 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10391 7194 1111 63 0 10328 0
vsize: 41564
[startup+1170.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2046384 0 0 0 113111 3939 0 0 25 0 1 0 763074895 42835968 7248 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10458 7248 1111 63 0 10395 0
vsize: 41832
[startup+1180.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2079536 0 0 0 114045 4005 0 0 25 0 1 0 763074895 42971136 7290 4294967295 134512640 134714508 3221221792 3221220448 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10491 7290 1111 63 0 10428 0
vsize: 41964
[startup+1190.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2113086 0 0 0 114979 4071 0 0 25 0 1 0 763074895 43401216 7371 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10596 7376 1111 63 0 10533 0
vsize: 42384
[startup+1200.38 s]
Raw data (loadavg): 1.00 1.00 0.99 2/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) R 15821 7876 7672 0 -1 0 2152150 0 0 0 115905 4146 0 0 25 0 1 0 763074895 43380736 7385 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10591 7385 1111 63 0 10528 0
vsize: 42364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.4 s]
Raw data (loadavg): 1.00 1.00 0.99 1/55 15879
Raw data (stat): 15822 (bsolo_lpr_cuts) Z 15821 7876 7672 0 -1 1036 2152150 0 0 0 115905 4147 0 0 25 0 1 0 763074895 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.4
CPU time (s): 1200.53
CPU user time (s): 1159.06
CPU system time (s): 41.4777
CPU usage (%): 100.012
Max. virtual memory (Kb): 42384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####