PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-rail507.opb
MD5SUM	323cdddd9985e43f8e7199c63ad6de47
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	63209
Biggest coefficient in the objective function	52428800000000000
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	226433975012582900
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	226433975012582900
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	295.054
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 25191

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 11:00:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=20178 boxname=wulflinc31 idbench=1553 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  323cdddd9985e43f8e7199c63ad6de47  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-rail507.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-rail507.opb
IDLAUNCH: 20178
/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:        669368 kB
Buffers:         25528 kB
Cached:         311324 kB
SwapCached:       1040 kB
Active:         120436 kB
Inactive:       224472 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669116 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14712 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 11:20:47 (client local time) WITH STATUS 0 IN 1200.48 SECONDS
stats: 20178 7 1200.48 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): 1.38 1.10 1.03 2/55 25749
Raw data (stat): 25749 (runsolver) R 25748 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 769206649 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 1.32 1.10 1.03 2/55 25749
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 2043 0 0 0 986 9 0 0 25 0 1 0 769206649 19865600 1966 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4850 1966 1111 63 0 4787 0
vsize: 19400
[startup+20.0018 s]
Raw data (loadavg): 1.27 1.10 1.03 2/55 25749
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 3251 0 0 0 1984 11 0 0 25 0 1 0 769206649 24940544 3174 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6089 3174 1111 63 0 6026 0
vsize: 24356
[startup+30.0024 s]
Raw data (loadavg): 1.23 1.09 1.03 2/55 25749
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 4460 0 0 0 2983 13 0 0 25 0 1 0 769206649 29868032 4383 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7292 4383 1111 63 0 7229 0
vsize: 29168
[startup+40.003 s]
Raw data (loadavg): 1.19 1.09 1.03 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 5675 0 0 0 3980 16 0 0 25 0 1 0 769206649 34795520 5598 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8495 5598 1111 63 0 8432 0
vsize: 33980
[startup+50.0043 s]
Raw data (loadavg): 1.16 1.08 1.03 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 6891 0 0 0 4977 19 0 0 25 0 1 0 769206649 39727104 6814 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9699 6814 1111 63 0 9636 0
vsize: 38796
[startup+60.0043 s]
Raw data (loadavg): 1.14 1.08 1.03 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 8115 0 0 0 5974 22 0 0 25 0 1 0 769206649 44789760 8038 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10935 8038 1111 63 0 10872 0
vsize: 43740
[startup+70.0052 s]
Raw data (loadavg): 1.12 1.08 1.03 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 9342 0 0 0 6972 24 0 0 25 0 1 0 769206649 49864704 9265 4294967295 134512640 134714508 3221221776 3221220004 1077414372 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12174 9265 1111 63 0 12111 0
vsize: 48696
[startup+80.0064 s]
Raw data (loadavg): 1.10 1.08 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 10569 0 0 0 7969 27 0 0 25 0 1 0 769206649 54788096 10492 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13376 10492 1111 63 0 13313 0
vsize: 53504
[startup+90.007 s]
Raw data (loadavg): 1.08 1.07 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 11802 0 0 0 8966 30 0 0 25 0 1 0 769206649 59863040 11725 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14615 11725 1111 63 0 14552 0
vsize: 58460
[startup+100.008 s]
Raw data (loadavg): 1.07 1.07 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 13047 0 0 0 9964 32 0 0 25 0 1 0 769206649 65069056 12970 4294967295 134512640 134714508 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15886 12970 1111 63 0 15823 0
vsize: 63544
[startup+110.009 s]
Raw data (loadavg): 1.06 1.07 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 14287 0 0 0 10961 35 0 0 25 0 1 0 769206649 70144000 14210 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17125 14210 1111 63 0 17062 0
vsize: 68500
[startup+120.01 s]
Raw data (loadavg): 1.05 1.06 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 15532 0 0 0 11958 38 0 0 25 0 1 0 769206649 75218944 15455 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18364 15455 1111 63 0 18301 0
vsize: 73456
[startup+130.011 s]
Raw data (loadavg): 1.04 1.06 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 16777 0 0 0 12956 40 0 0 25 0 1 0 769206649 80293888 16700 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19603 16700 1111 63 0 19540 0
vsize: 78412
[startup+140.011 s]
Raw data (loadavg): 1.03 1.06 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 18035 0 0 0 13954 42 0 0 25 0 1 0 769206649 85368832 17958 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20842 17958 1111 63 0 20779 0
vsize: 83368
[startup+150.012 s]
Raw data (loadavg): 1.03 1.06 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 19286 0 0 0 14952 45 0 0 25 0 1 0 769206649 90595328 19209 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22118 19209 1111 63 0 22055 0
vsize: 88472
[startup+160.012 s]
Raw data (loadavg): 1.02 1.05 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 20551 0 0 0 15949 48 0 0 25 0 1 0 769206649 95674368 20474 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23358 20474 1111 63 0 23295 0
vsize: 93432
[startup+170.012 s]
Raw data (loadavg): 1.02 1.05 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 21814 0 0 0 16947 50 0 0 25 0 1 0 769206649 100900864 21737 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24634 21737 1111 63 0 24571 0
vsize: 98536
[startup+180.013 s]
Raw data (loadavg): 1.02 1.05 1.02 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 23083 0 0 0 17945 53 0 0 25 0 1 0 769206649 106123264 23006 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25909 23006 1111 63 0 25846 0
vsize: 103636
[startup+190.013 s]
Raw data (loadavg): 1.01 1.05 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 24353 0 0 0 18943 55 0 0 25 0 1 0 769206649 111349760 24276 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27185 24276 1111 63 0 27122 0
vsize: 108740
[startup+200.014 s]
Raw data (loadavg): 1.01 1.05 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 25642 0 0 0 19940 58 0 0 25 0 1 0 769206649 116551680 25565 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28455 25565 1111 63 0 28392 0
vsize: 113820
[startup+210.015 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 26918 0 0 0 20937 60 0 0 25 0 1 0 769206649 121774080 26841 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29730 26841 1111 63 0 29667 0
vsize: 118920
[startup+220.016 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 28205 0 0 0 21935 62 0 0 25 0 1 0 769206649 127148032 28128 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31042 28128 1111 63 0 30979 0
vsize: 124168
[startup+230.017 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 29494 0 0 0 22933 65 0 0 25 0 1 0 769206649 132374528 29417 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32318 29417 1111 63 0 32255 0
vsize: 129272
[startup+240.018 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 30789 0 0 0 23930 68 0 0 25 0 1 0 769206649 137752576 30712 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33631 30712 1111 63 0 33568 0
vsize: 134524
[startup+250.019 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 32090 0 0 0 24928 70 0 0 25 0 1 0 769206649 142979072 32013 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34907 32013 1111 63 0 34844 0
vsize: 139628
[startup+260.019 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 33390 0 0 0 25926 73 0 0 25 0 1 0 769206649 148348928 33313 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36218 33313 1111 63 0 36155 0
vsize: 144872
[startup+270.021 s]
Raw data (loadavg): 1.00 1.03 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 34702 0 0 0 26923 75 0 0 25 0 1 0 769206649 153722880 34625 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37530 34625 1111 63 0 37467 0
vsize: 150120
[startup+280.022 s]
Raw data (loadavg): 1.00 1.03 1.01 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 36010 0 0 0 27920 78 0 0 25 0 1 0 769206649 159105024 35933 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38844 35933 1111 63 0 38781 0
vsize: 155376
[startup+290.021 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 37335 0 0 0 28917 81 0 0 25 0 1 0 769206649 164474880 37258 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40155 37258 1111 63 0 40092 0
vsize: 160620
[startup+300.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 38671 0 0 0 29916 83 0 0 25 0 1 0 769206649 170000384 38594 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41504 38594 1111 63 0 41441 0
vsize: 166016
[startup+310.022 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 40013 0 0 0 30913 86 0 0 25 0 1 0 769206649 175521792 39936 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42852 39936 1111 63 0 42789 0
vsize: 171408
[startup+320.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 41358 0 0 0 31912 87 0 0 25 0 1 0 769206649 180899840 41281 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44165 41281 1111 63 0 44102 0
vsize: 176660
[startup+330.024 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 42712 0 0 0 32909 90 0 0 25 0 1 0 769206649 186572800 42635 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45550 42635 1111 63 0 45487 0
vsize: 182200
[startup+340.024 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 44066 0 0 0 33907 92 0 0 25 0 1 0 769206649 192094208 43989 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46898 43989 1111 63 0 46835 0
vsize: 187592
[startup+350.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25751
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 45428 0 0 0 34905 94 0 0 25 0 1 0 769206649 197623808 45351 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48248 45351 1111 63 0 48185 0
vsize: 192992
[startup+360.025 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 46795 0 0 0 35902 98 0 0 25 0 1 0 769206649 203296768 46718 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49633 46718 1111 63 0 49570 0
vsize: 198532
[startup+370.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 48167 0 0 0 36901 99 0 0 25 0 1 0 769206649 208818176 48090 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50981 48090 1111 63 0 50918 0
vsize: 203924
[startup+380.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 49552 0 0 0 37898 102 0 0 25 0 1 0 769206649 214642688 49475 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52403 49475 1111 63 0 52340 0
vsize: 209612
[startup+390.026 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 50937 0 0 0 38896 104 0 0 25 0 1 0 769206649 220311552 50860 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53787 50860 1111 63 0 53724 0
vsize: 215148
[startup+400.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 52322 0 0 0 39895 105 0 0 25 0 1 0 769206649 225984512 52245 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55172 52245 1111 63 0 55109 0
vsize: 220688
[startup+410.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 53714 0 0 0 40893 107 0 0 25 0 1 0 769206649 231661568 53637 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56558 53637 1111 63 0 56495 0
vsize: 226232
[startup+420.027 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 55111 0 0 0 41891 110 0 0 25 0 1 0 769206649 237334528 55034 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57943 55034 1111 63 0 57880 0
vsize: 231772
[startup+430.028 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 56515 0 0 0 42889 112 0 0 25 0 1 0 769206649 243154944 56438 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59364 56438 1111 63 0 59301 0
vsize: 237456
[startup+440.028 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 57926 0 0 0 43886 115 0 0 25 0 1 0 769206649 248832000 57849 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60750 57849 1111 63 0 60687 0
vsize: 243000
[startup+450.029 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 59341 0 0 0 44883 118 0 0 25 0 1 0 769206649 254652416 59264 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62171 59264 1111 63 0 62108 0
vsize: 248684
[startup+460.03 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 60762 0 0 0 45881 121 0 0 25 0 1 0 769206649 260472832 60685 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63592 60685 1111 63 0 63529 0
vsize: 254368
[startup+470.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 62198 0 0 0 46879 123 0 0 25 0 1 0 769206649 266297344 62121 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65014 62121 1111 63 0 64951 0
vsize: 260056
[startup+480.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 63632 0 0 0 47876 126 0 0 25 0 1 0 769206649 272269312 63555 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66472 63555 1111 63 0 66409 0
vsize: 265888
[startup+490.031 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 65079 0 0 0 48874 128 0 0 25 0 1 0 769206649 278093824 65002 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67894 65002 1111 63 0 67831 0
vsize: 271576
[startup+500.032 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 66530 0 0 0 49872 131 0 0 25 0 1 0 769206649 284065792 66453 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 69352 66453 1111 63 0 69289 0
vsize: 277408
[startup+510.033 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 67989 0 0 0 50869 134 0 0 25 0 1 0 769206649 290033664 67912 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70809 67912 1111 63 0 70746 0
vsize: 283236
[startup+520.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 69455 0 0 0 51867 136 0 0 25 0 1 0 769206649 296009728 69378 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 72268 69378 1111 63 0 72205 0
vsize: 289072
[startup+530.034 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 70924 0 0 0 52865 138 0 0 25 0 1 0 769206649 302129152 70847 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 73762 70847 1111 63 0 73699 0
vsize: 295048
[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 72401 0 0 0 53863 141 0 0 25 0 1 0 769206649 308105216 72324 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75221 72324 1111 63 0 75158 0
vsize: 300884
[startup+550.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 73884 0 0 0 54861 142 0 0 25 0 1 0 769206649 314224640 73807 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76715 73807 1111 63 0 76652 0
vsize: 306860
[startup+560.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 75379 0 0 0 55859 145 0 0 25 0 1 0 769206649 320348160 75302 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78210 75302 1111 63 0 78147 0
vsize: 312840
[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 76874 0 0 0 56856 148 0 0 25 0 1 0 769206649 326467584 76797 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 79704 76797 1111 63 0 79641 0
vsize: 318816
[startup+580.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 78380 0 0 0 57854 150 0 0 25 0 1 0 769206649 332587008 78303 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 81198 78303 1111 63 0 81135 0
vsize: 324792
[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 79895 0 0 0 58852 152 0 0 25 0 1 0 769206649 338862080 79818 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 82730 79818 1111 63 0 82667 0
vsize: 330920
[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 81407 0 0 0 59848 157 0 0 25 0 1 0 769206649 344977408 81330 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 84223 81330 1111 63 0 84160 0
vsize: 336892
[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 82939 0 0 0 60845 160 0 0 25 0 1 0 769206649 351252480 82862 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 85755 82862 1111 63 0 85692 0
vsize: 343020
[startup+620.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 84470 0 0 0 61843 162 0 0 25 0 1 0 769206649 357519360 84393 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 87285 84393 1111 63 0 87222 0
vsize: 349140
[startup+630.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 86015 0 0 0 62841 164 0 0 25 0 1 0 769206649 363945984 85938 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 88854 85938 1111 63 0 88791 0
vsize: 355416
[startup+640.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 87557 0 0 0 63838 167 0 0 25 0 1 0 769206649 370212864 87480 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 90384 87480 1111 63 0 90321 0
vsize: 361536
[startup+650.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 89114 0 0 0 64837 169 0 0 25 0 1 0 769206649 376635392 89037 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 91952 89037 1111 63 0 91889 0
vsize: 367808
[startup+660.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 90674 0 0 0 65834 172 0 0 25 0 1 0 769206649 382902272 90597 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 93482 90597 1111 63 0 93419 0
vsize: 373928
[startup+670.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 92249 0 0 0 66832 174 0 0 25 0 1 0 769206649 389476352 92172 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 95087 92172 1111 63 0 95024 0
vsize: 380348
[startup+680.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 93827 0 0 0 67830 176 0 0 25 0 1 0 769206649 395890688 93750 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 96653 93750 1111 63 0 96590 0
vsize: 386612
[startup+690.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 95414 0 0 0 68828 179 0 0 25 0 1 0 769206649 402313216 95337 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 98221 95337 1111 63 0 98158 0
vsize: 392884
[startup+700.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 97011 0 0 0 69825 182 0 0 25 0 1 0 769206649 408879104 96934 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 99824 96934 1111 63 0 99761 0
vsize: 399296
[startup+710.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 98633 0 0 0 70823 184 0 0 25 0 1 0 769206649 415670272 98556 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 101482 98556 1111 63 0 101419 0
vsize: 405928
[startup+720.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 100244 0 0 0 71820 187 0 0 25 0 1 0 769206649 422236160 100167 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 103085 100167 1111 63 0 103022 0
vsize: 412340
[startup+730.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 101865 0 0 0 72818 189 0 0 25 0 1 0 769206649 428957696 101788 4294967295 134512640 134714508 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 104726 101788 1111 63 0 104663 0
vsize: 418904
[startup+740.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 103501 0 0 0 73815 192 0 0 25 0 1 0 769206649 435679232 103424 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 106367 103424 1111 63 0 106304 0
vsize: 425468
[startup+750.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 105141 0 0 0 74813 195 0 0 25 0 1 0 769206649 442392576 105064 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 108006 105064 1111 63 0 107943 0
vsize: 432024
[startup+760.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 106788 0 0 0 75810 197 0 0 25 0 1 0 769206649 449114112 106711 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 109647 106711 1111 63 0 109584 0
vsize: 438588
[startup+770.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 108447 0 0 0 76808 200 0 0 25 0 1 0 769206649 455831552 108370 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 111287 108370 1111 63 0 111224 0
vsize: 445148
[startup+780.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 110112 0 0 0 77805 203 0 0 25 0 1 0 769206649 462700544 110035 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 112964 110035 1111 63 0 112901 0
vsize: 451856
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 111790 0 0 0 78803 205 0 0 25 0 1 0 769206649 469569536 111713 4294967295 134512640 134714508 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 114641 111713 1111 63 0 114578 0
vsize: 458564
[startup+800.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 113478 0 0 0 79801 208 0 0 25 0 1 0 769206649 476434432 113401 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 116317 113401 1111 63 0 116254 0
vsize: 465268
[startup+810.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 115175 0 0 0 80799 210 0 0 25 0 1 0 769206649 483454976 115098 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 118031 115098 1111 63 0 117968 0
vsize: 472124
[startup+820.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 116890 0 0 0 81796 213 0 0 25 0 1 0 769206649 490475520 116813 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 119745 116813 1111 63 0 119682 0
vsize: 478980
[startup+830.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 118602 0 0 0 82793 216 0 0 25 0 1 0 769206649 497487872 118525 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 121457 118525 1111 63 0 121394 0
vsize: 485828
[startup+840.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 120334 0 0 0 83791 218 0 0 25 0 1 0 769206649 504508416 120257 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 123171 120257 1111 63 0 123108 0
vsize: 492684
[startup+850.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 122079 0 0 0 84790 220 0 0 25 0 1 0 769206649 511676416 122002 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 124921 122002 1111 63 0 124858 0
vsize: 499684
[startup+860.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 123835 0 0 0 85787 223 0 0 25 0 1 0 769206649 518836224 123758 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 126669 123758 1111 63 0 126606 0
vsize: 506676
[startup+870.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 125597 0 0 0 86783 227 0 0 25 0 1 0 769206649 526155776 125520 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 128456 125520 1111 63 0 128393 0
vsize: 513824
[startup+880.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 127372 0 0 0 87780 230 0 0 25 0 1 0 769206649 533323776 127295 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 130206 127295 1111 63 0 130143 0
vsize: 520824
[startup+890.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 129164 0 0 0 88778 233 0 0 25 0 1 0 769206649 540635136 129087 4294967295 134512640 134714508 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 131991 129087 1111 63 0 131928 0
vsize: 527964
[startup+900.056 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 130963 0 0 0 89775 236 0 0 25 0 1 0 769206649 548102144 130886 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 133814 130886 1111 63 0 133751 0
vsize: 535256
[startup+910.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 132774 0 0 0 90771 240 0 0 25 0 1 0 769206649 555417600 132697 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 135600 132697 1111 63 0 135537 0
vsize: 542400
[startup+920.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 134599 0 0 0 91768 244 0 0 25 0 1 0 769206649 562884608 134522 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 137423 134522 1111 63 0 137360 0
vsize: 549692
[startup+930.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 136432 0 0 0 92766 246 0 0 25 0 1 0 769206649 570494976 136355 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 139281 136355 1111 63 0 139218 0
vsize: 557124
[startup+940.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 138279 0 0 0 93763 249 0 0 25 0 1 0 769206649 577961984 138202 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 141104 138202 1111 63 0 141041 0
vsize: 564416
[startup+950.059 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 140146 0 0 0 94761 251 0 0 25 0 1 0 769206649 585728000 140069 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 143000 140069 1111 63 0 142937 0
vsize: 572000
[startup+960.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 142024 0 0 0 95757 255 0 0 25 0 1 0 769206649 593342464 141947 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 144859 141947 1111 63 0 144796 0
vsize: 579436
[startup+970.061 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 143908 0 0 0 96754 259 0 0 25 0 1 0 769206649 601108480 143831 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 146755 143831 1111 63 0 146692 0
vsize: 587020
[startup+980.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 145809 0 0 0 97751 262 0 0 25 0 1 0 769206649 608866304 145732 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 148649 145732 1111 63 0 148586 0
vsize: 594596
[startup+990.062 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 147730 0 0 0 98748 265 0 0 25 0 1 0 769206649 616779776 147653 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 150581 147653 1111 63 0 150518 0
vsize: 602324
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 149656 0 0 0 99744 269 0 0 25 0 1 0 769206649 624545792 149579 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 152477 149579 1111 63 0 152414 0
vsize: 609908
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 151607 0 0 0 100741 272 0 0 25 0 1 0 769206649 632606720 151530 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 154445 151530 1111 63 0 154382 0
vsize: 617780
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 153595 0 0 0 101737 277 0 0 25 0 1 0 769206649 640671744 153518 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 156414 153518 1111 63 0 156351 0
vsize: 625656
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 155618 0 0 0 102735 279 0 0 25 0 1 0 769206649 649031680 155541 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 158455 155541 1111 63 0 158392 0
vsize: 633820
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 157666 0 0 0 103731 283 0 0 25 0 1 0 769206649 657395712 157589 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 160497 157589 1111 63 0 160434 0
vsize: 641988
[startup+1050.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 159740 0 0 0 104728 286 0 0 25 0 1 0 769206649 665903104 159663 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 162574 159663 1111 63 0 162511 0
vsize: 650296
[startup+1060.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 161811 0 0 0 105725 289 0 0 25 0 1 0 769206649 674414592 161734 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 164652 161734 1111 63 0 164589 0
vsize: 658608
[startup+1070.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 163919 0 0 0 106722 293 0 0 25 0 1 0 769206649 683073536 163842 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 166766 163842 1111 63 0 166703 0
vsize: 667064
[startup+1080.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 166084 0 0 0 107717 298 0 0 25 0 1 0 769206649 691884032 166007 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 168917 166007 1111 63 0 168854 0
vsize: 675668
[startup+1090.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 168271 0 0 0 108712 302 0 0 25 0 1 0 769206649 700841984 168194 4294967295 134512640 134714508 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 171104 168194 1111 63 0 171041 0
vsize: 684416
[startup+1100.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 170495 0 0 0 109708 306 0 0 25 0 1 0 769206649 709947392 170418 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 173327 170418 1111 63 0 173264 0
vsize: 693308
[startup+1110.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 172732 0 0 0 110703 310 0 0 25 0 1 0 769206649 719052800 172655 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 175550 172655 1111 63 0 175487 0
vsize: 702200
[startup+1120.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 174993 0 0 0 111700 313 0 0 25 0 1 0 769206649 728313856 174916 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 177811 174916 1111 63 0 177748 0
vsize: 711244
[startup+1130.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 177297 0 0 0 112693 318 0 0 25 0 1 0 769206649 737722368 177220 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 180108 177220 1111 63 0 180045 0
vsize: 720432
[startup+1140.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 179599 0 0 0 113688 323 0 0 25 0 1 0 769206649 747274240 179522 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 182440 179522 1111 63 0 182377 0
vsize: 729760
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 181950 0 0 0 114683 328 0 0 25 0 1 0 769206649 756830208 181873 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 184773 181873 1111 63 0 184710 0
vsize: 739092
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 184340 0 0 0 115678 332 0 0 25 0 1 0 769206649 766685184 184263 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 187179 184263 1111 63 0 187116 0
vsize: 748716
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 186740 0 0 0 116674 336 0 0 25 0 1 0 769206649 776388608 186663 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 189548 186663 1111 63 0 189485 0
vsize: 758192
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 189158 0 0 0 117670 341 0 0 25 0 1 0 769206649 786391040 189081 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 191990 189081 1111 63 0 191927 0
vsize: 767960
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 191625 0 0 0 118666 345 0 0 25 0 1 0 769206649 796397568 191548 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 194433 191548 1111 63 0 194370 0
vsize: 777732
[startup+1200.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) R 25748 7876 7672 0 -1 0 194104 0 0 0 119661 349 0 0 25 0 1 0 769206649 806547456 194027 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 196911 194027 1111 63 0 196848 0
vsize: 787644
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.44 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 25753
Raw data (stat): 25749 (bsolo_lpr_cuts) Z 25748 7876 7672 0 -1 1036 194104 0 0 0 119661 385 0 0 25 0 1 0 769206649 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.44
CPU time (s): 1200.48
CPU user time (s): 1196.62
CPU system time (s): 3.85741
CPU usage (%): 100.003
Max. virtual memory (Kb): 787644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####