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-p0282.opb
MD5SUM	dd62132555621025f45a5a6099c90742
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	258411
Optimality of the best value was proved	NO
Number of terms in the objective function	282
Biggest coefficient in the objective function	160646
Number of bits for the biggest coefficient in the objective function	18
Sum of the numbers in the objective function	1302615
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	160646
Number of bits of the biggest number in a constraint	18
Biggest sum of numbers in a constraint	1302615
Number of bits of the biggest sum of numbers	21
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	282
Total number of constraints	221
Number of constraints which are clauses	177
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	44
Minimum length of a constraint	2
Maximum length of a constraint	57
Trace number 25083

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 15:33:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5046 boxname=wulflinc31 idbench=389 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  dd62132555621025f45a5a6099c90742  /oldhome/oroussel/tmp/wulflinc31/normalized-p0282.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-p0282.opb
IDLAUNCH: 5046
/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:        791428 kB
Buffers:         49304 kB
Cached:         171784 kB
SwapCached:       1952 kB
Active:         180312 kB
Inactive:        44004 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        791176 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13284 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 15:53:15 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 5046 7 1200.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 282 variables and 221 constraints.
c After prepocess the problem consists of 282 variables and 221 constraints.
c preprocess terminated 0.19 s
c Initial Lower Bound: 55117
c Lower Bound Elapsed time: 0.0374
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 500458 @ 3.729
c NEW SOLUTION FOUND: 363047 @ 3.73
c NEW SOLUTION FOUND: 362184 @ 3.786
c NEW SOLUTION FOUND: 355241 @ 3.809
c NEW SOLUTION FOUND: 343078 @ 3.809
c NEW SOLUTION FOUND: 341987 @ 3.827
c NEW SOLUTION FOUND: 340656 @ 6.927
c NEW SOLUTION FOUND: 338917 @ 6.955
c NEW SOLUTION FOUND: 336672 @ 6.968
c NEW SOLUTION FOUND: 331355 @ 7.031
c NEW SOLUTION FOUND: 329911 @ 7.99
c NEW SOLUTION FOUND: 327700 @ 9.434
c NEW SOLUTION FOUND: 327563 @ 10.871
c NEW SOLUTION FOUND: 322586 @ 10.886
c NEW SOLUTION FOUND: 315091 @ 12.76
c NEW SOLUTION FOUND: 315060 @ 12.811
c NEW SOLUTION FOUND: 312821 @ 12.814
c NEW SOLUTION FOUND: 303287 @ 12.832
c NEW SOLUTION FOUND: 300923 @ 13.079
c NEW SOLUTION FOUND: 296106 @ 13.273
c NEW SOLUTION FOUND: 282310 @ 15.383
c NEW SOLUTION FOUND: 281323 @ 43.018
c NEW SOLUTION FOUND: 280460 @ 45.632
c NEW SOLUTION FOUND: 279527 @ 193.155
c NEW SOLUTION FOUND: 278586 @ 240.144
c NEW SOLUTION FOUND: 274911 @ 589.701
c NEW SOLUTION FOUND: 272571 @ 661.775
c NEW SOLUTION FOUND: 270697 @ 663.407
#### 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.93 0.98 0.99 2/55 14283
Raw data (stat): 14283 (runsolver) R 14282 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 762200706 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 9087 0 0 0 963 32 0 0 25 0 1 0 762200706 7659520 1188 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 1905 1191 1111 63 0 1842 0
vsize: 7480
[startup+20.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 23476 0 0 0 1917 78 0 0 25 0 1 0 762200706 9814016 1714 4294967295 134512640 134714508 3221221792 3221219792 1074918220 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2396 1714 1111 63 0 2333 0
vsize: 9584
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 36009 0 0 0 2885 111 0 0 25 0 1 0 762200706 10944512 1990 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2668 1986 1111 63 0 2605 0
vsize: 10688
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 49310 0 0 0 3853 144 0 0 25 0 1 0 762200706 12513280 2305 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2305 1111 63 0 2992 0
vsize: 12220
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 61432 0 0 0 4821 175 0 0 25 0 1 0 762200706 13467648 2599 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3285 2596 1111 63 0 3222 0
vsize: 13152
[startup+60.0032 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 75469 0 0 0 5788 208 0 0 25 0 1 0 762200706 14680064 2896 4294967295 134512640 134714508 3221221792 3221219792 1074919717 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3584 2896 1111 63 0 3521 0
vsize: 14336
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 94081 0 0 0 6743 253 0 0 25 0 1 0 762200706 16146432 3193 4294967295 134512640 134714508 3221221792 3221218848 1074619367 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3942 3193 1111 63 0 3879 0
vsize: 15768
[startup+80.0055 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 110718 0 0 0 7703 294 0 0 25 0 1 0 762200706 17178624 3513 4294967295 134512640 134714508 3221221792 3221219952 1074153736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4194 3513 1111 63 0 4131 0
vsize: 16776
[startup+90.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 125163 0 0 0 8665 332 0 0 25 0 1 0 762200706 18087936 3735 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4416 3735 1111 63 0 4353 0
vsize: 17664
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 138561 0 0 0 9631 366 0 0 25 0 1 0 762200706 19599360 4020 4294967295 134512640 134714508 3221221792 3221218752 1075276705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4746 4018 1111 63 0 4683 0
vsize: 19140
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 151522 0 0 0 10595 402 0 0 25 0 1 0 762200706 20303872 4276 4294967295 134512640 134714508 3221221792 3221220348 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4957 4276 1111 63 0 4894 0
vsize: 19828
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 164095 0 0 0 11560 437 0 0 25 0 1 0 762200706 21630976 4545 4294967295 134512640 134714508 3221221792 3221217824 1075965260 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5281 4546 1111 63 0 5218 0
vsize: 21124
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 175382 0 0 0 12534 463 0 0 25 0 1 0 762200706 21786624 4633 4294967295 134512640 134714508 3221221792 3221219072 1074140163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5319 4633 1111 63 0 5256 0
vsize: 21276
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 187548 0 0 0 13503 495 0 0 25 0 1 0 762200706 22949888 4855 4294967295 134512640 134714508 3221221792 3221218000 1074815221 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5603 4855 1111 63 0 5540 0
vsize: 22412
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 200647 0 0 0 14468 530 0 0 25 0 1 0 762200706 23375872 5026 4294967295 134512640 134714508 3221221792 3221220528 134529259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5707 5026 1111 63 0 5644 0
vsize: 22828
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 217360 0 0 0 15426 572 0 0 25 0 1 0 762200706 24604672 5269 4294967295 134512640 134714508 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6007 5269 1111 63 0 5944 0
vsize: 24028
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 235720 0 0 0 16380 618 0 0 25 0 1 0 762200706 25538560 5554 4294967295 134512640 134714508 3221221792 3221219536 1075640393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6235 5554 1111 63 0 6172 0
vsize: 24940
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 248773 0 0 0 17348 650 0 0 25 0 1 0 762200706 26472448 5716 4294967295 134512640 134714508 3221221792 3221218064 1074961355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6463 5716 1111 63 0 6400 0
vsize: 25852
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 259438 0 0 0 18324 674 0 0 25 0 1 0 762200706 26996736 5867 4294967295 134512640 134714508 3221221792 3221219736 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6541 5858 1111 63 0 6478 0
vsize: 26364
[startup+200.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 276949 0 0 0 19280 719 0 0 25 0 1 0 762200706 28561408 6211 4294967295 134512640 134714508 3221221792 3221218684 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7024 6216 1111 63 0 6961 0
vsize: 27892
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 289195 0 0 0 20253 746 0 0 25 0 1 0 762200706 29032448 6331 4294967295 134512640 134714508 3221221792 3221218064 1074961199 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7088 6331 1111 63 0 7025 0
vsize: 28352
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 302757 0 0 0 21218 782 0 0 25 0 1 0 762200706 30523392 6699 4294967295 134512640 134714508 3221221792 3221218020 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7452 6699 1111 63 0 7389 0
vsize: 29808
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 311513 0 0 0 22195 804 0 0 25 0 1 0 762200706 29990912 6585 4294967295 134512640 134714508 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7322 6585 1111 63 0 7259 0
vsize: 29288
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 322742 0 0 0 23167 833 0 0 25 0 1 0 762200706 30048256 6655 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7336 6655 1111 63 0 7273 0
vsize: 29344
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 336422 0 0 0 24131 869 0 0 25 0 1 0 762200706 31662080 7044 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7730 7044 1111 63 0 7667 0
vsize: 30920
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 346643 0 0 0 25107 893 0 0 25 0 1 0 762200706 31440896 6969 4294967295 134512640 134714508 3221221792 3221220144 1074115334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7676 6969 1111 63 0 7613 0
vsize: 30704
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 361056 0 0 0 26074 926 0 0 25 0 1 0 762200706 31412224 6985 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7669 6985 1111 63 0 7606 0
vsize: 30676
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 381290 0 0 0 27030 971 0 0 25 0 1 0 762200706 31670272 7057 4294967295 134512640 134714508 3221221792 3221220088 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7732 7057 1111 63 0 7669 0
vsize: 30928
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 404225 0 0 0 27973 1027 0 0 25 0 1 0 762200706 32387072 7223 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7907 7223 1111 63 0 7844 0
vsize: 31628
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 424261 0 0 0 28927 1073 0 0 25 0 1 0 762200706 33300480 7427 4294967295 134512640 134714508 3221221792 3221219904 1074867320 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8130 7427 1111 63 0 8067 0
vsize: 32520
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 441791 0 0 0 29883 1117 0 0 25 0 1 0 762200706 35729408 7517 4294967295 134512640 134714508 3221221792 3221218736 1074620107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8723 7517 1111 63 0 8660 0
vsize: 34892
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 462397 0 0 0 30835 1166 0 0 25 0 1 0 762200706 35291136 7689 4294967295 134512640 134714508 3221221792 3221218160 1075894503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8616 7689 1111 63 0 8553 0
vsize: 34464
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 497749 0 0 0 31758 1243 0 0 25 0 1 0 762200706 36098048 7794 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8813 7805 1111 63 0 8750 0
vsize: 35252
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 528384 0 0 0 32689 1312 0 0 25 0 1 0 762200706 38326272 8505 4294967295 134512640 134714508 3221221792 3221218020 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9357 8505 1111 63 0 9294 0
vsize: 37428
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 539935 0 0 0 33660 1341 0 0 25 0 1 0 762200706 36491264 8197 4294967295 134512640 134714508 3221221792 3221219520 1075828966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8909 8197 1111 63 0 8846 0
vsize: 35636
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 550504 0 0 0 34638 1363 0 0 25 0 1 0 762200706 39292928 8502 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9593 8502 1111 63 0 9530 0
vsize: 38372
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 560700 0 0 0 35615 1386 0 0 25 0 1 0 762200706 38744064 8481 4294967295 134512640 134714508 3221221792 3221217952 1075095371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9459 8491 1111 63 0 9396 0
vsize: 37836
[startup+380.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 561117 0 0 0 36613 1390 0 0 25 0 1 0 762200706 37351424 8438 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9119 8438 1111 63 0 9056 0
vsize: 36476
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 563380 0 0 0 37607 1395 0 0 25 0 1 0 762200706 43253760 9637 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10560 9637 1111 63 0 10497 0
vsize: 42240
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 564864 0 0 0 38604 1399 0 0 25 0 1 0 762200706 37523456 8480 4294967295 134512640 134714508 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9161 8480 1111 63 0 9098 0
vsize: 36644
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 569254 0 0 0 39593 1409 0 0 25 0 1 0 762200706 41459712 8992 4294967295 134512640 134714508 3221221792 3221218020 1075114937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10122 8992 1111 63 0 10059 0
vsize: 40488
[startup+420.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 579178 0 0 0 40569 1434 0 0 25 0 1 0 762200706 41418752 8460 4294967295 134512640 134714508 3221221792 3221218000 1074815491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10112 8460 1111 63 0 10049 0
vsize: 40448
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 596850 0 0 0 41527 1476 0 0 25 0 1 0 762200706 41259008 8887 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10073 8887 1111 63 0 10010 0
vsize: 40292
[startup+440.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 629411 0 0 0 42448 1555 0 0 25 0 1 0 762200706 38125568 8589 4294967295 134512640 134714508 3221221792 3221219856 1075961744 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9308 8589 1111 63 0 9245 0
vsize: 37232
[startup+450.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 654715 0 0 0 43387 1617 0 0 25 0 1 0 762200706 43868160 9045 4294967295 134512640 134714508 3221221792 3221217660 1074787926 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10710 9045 1111 63 0 10647 0
vsize: 42840
[startup+460.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 671697 0 0 0 44345 1659 0 0 25 0 1 0 762200706 39059456 8816 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9536 8816 1111 63 0 9473 0
vsize: 38144
[startup+470.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 697897 0 0 0 45280 1723 0 0 25 0 1 0 762200706 39288832 8872 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9592 8872 1111 63 0 9529 0
vsize: 38368
[startup+480.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 711083 0 0 0 46249 1755 0 0 25 0 1 0 762200706 39702528 8973 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9693 8973 1111 63 0 9630 0
vsize: 38772
[startup+490.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 745886 0 0 0 47163 1841 0 0 25 0 1 0 762200706 44482560 9620 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10860 9620 1111 63 0 10797 0
vsize: 43440
[startup+500.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 764386 0 0 0 48116 1888 0 0 25 0 1 0 762200706 40767488 9219 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9953 9219 1111 63 0 9890 0
vsize: 39812
[startup+510.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 785504 0 0 0 49063 1942 0 0 25 0 1 0 762200706 40804352 9237 4294967295 134512640 134714508 3221221792 3221220128 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9962 9237 1111 63 0 9899 0
vsize: 39848
[startup+520.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 805550 0 0 0 50013 1991 0 0 25 0 1 0 762200706 42889216 9720 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10471 9720 1111 63 0 10408 0
vsize: 41884
[startup+530.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 809126 0 0 0 51005 1999 0 0 25 0 1 0 762200706 41996288 9523 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10253 9523 1111 63 0 10190 0
vsize: 41012
[startup+540.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 814346 0 0 0 51994 2011 0 0 25 0 1 0 762200706 46542848 9676 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11363 9676 1111 63 0 11300 0
vsize: 45452
[startup+550.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 828781 0 0 0 52958 2047 0 0 25 0 1 0 762200706 42012672 9528 4294967295 134512640 134714508 3221221792 3221218984 1074138271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10257 9528 1111 63 0 10194 0
vsize: 41028
[startup+560.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 852902 0 0 0 53899 2106 0 0 25 0 1 0 762200706 42094592 9534 4294967295 134512640 134714508 3221221792 3221218896 1074138614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10277 9534 1111 63 0 10214 0
vsize: 41108
[startup+570.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 858282 0 0 0 54886 2120 0 0 25 0 1 0 762200706 48025600 10224 4294967295 134512640 134714508 3221221792 3221218064 1074961304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11725 10224 1111 63 0 11662 0
vsize: 46900
[startup+580.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 876166 0 0 0 55843 2162 0 0 25 0 1 0 762200706 42201088 9575 4294967295 134512640 134714508 3221221792 3221219520 1075828634 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10303 9575 1111 63 0 10240 0
vsize: 41212
[startup+590.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 915082 0 0 0 56755 2250 0 0 25 0 1 0 762200706 45715456 9835 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11161 9835 1111 63 0 11098 0
vsize: 44644
[startup+600.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 966842 0 0 0 57640 2365 0 0 25 0 1 0 762200706 46632960 10053 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11385 10053 1111 63 0 11322 0
vsize: 45540
[startup+610.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1001525 0 0 0 58558 2447 0 0 25 0 1 0 762200706 44535808 10148 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10873 10148 1111 63 0 10810 0
vsize: 43492
[startup+620.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1048795 0 0 0 59451 2554 0 0 25 0 1 0 762200706 48107520 10428 4294967295 134512640 134714508 3221221792 3221217756 1074860620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11745 10428 1111 63 0 11682 0
vsize: 46980
[startup+630.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1081477 0 0 0 60371 2634 0 0 25 0 1 0 762200706 46182400 10546 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11275 10546 1111 63 0 11212 0
vsize: 45100
[startup+640.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1117202 0 0 0 61283 2722 0 0 25 0 1 0 762200706 46796800 10696 4294967295 134512640 134714508 3221221792 3221220044 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11425 10696 1111 63 0 11362 0
vsize: 45700
[startup+650.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1154881 0 0 0 62192 2814 0 0 25 0 1 0 762200706 48013312 10962 4294967295 134512640 134714508 3221221792 3221219856 1075961779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11722 10962 1111 63 0 11659 0
vsize: 46888
[startup+660.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1178208 0 0 0 63136 2870 0 0 25 0 1 0 762200706 51032064 11203 4294967295 134512640 134714508 3221221792 3221218064 1074961490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12459 11203 1111 63 0 12396 0
vsize: 49836
[startup+670.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1207253 0 0 0 64067 2939 0 0 25 0 1 0 762200706 48439296 11100 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11826 11100 1111 63 0 11763 0
vsize: 47304
[startup+680.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1214663 0 0 0 65050 2956 0 0 25 0 1 0 762200706 49491968 11357 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12083 11357 1111 63 0 12020 0
vsize: 48332
[startup+690.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1235844 0 0 0 66000 3007 0 0 25 0 1 0 762200706 49004544 11238 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11964 11238 1111 63 0 11901 0
vsize: 47856
[startup+700.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1264796 0 0 0 66932 3075 0 0 25 0 1 0 762200706 49500160 11359 4294967295 134512640 134714508 3221221792 3221219456 1074865619 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12788 11365 1111 63 0 12725 0
vsize: 48340
[startup+710.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1294828 0 0 0 67860 3146 0 0 25 0 1 0 762200706 52989952 11670 4294967295 134512640 134714508 3221221792 3221218000 1074815482 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12937 11670 1111 63 0 12874 0
vsize: 51748
[startup+720.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1329140 0 0 0 68780 3227 0 0 25 0 1 0 762200706 53739520 11673 4294967295 134512640 134714508 3221221792 3221218864 1074867299 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13120 11675 1111 63 0 13057 0
vsize: 52480
[startup+730.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1362785 0 0 0 69700 3307 0 0 25 0 1 0 762200706 54095872 11816 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13207 11828 1111 63 0 13144 0
vsize: 52828
[startup+740.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1392947 0 0 0 70629 3378 0 0 25 0 1 0 762200706 54841344 12050 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13389 12051 1111 63 0 13326 0
vsize: 53556
[startup+750.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1437400 0 0 0 71524 3483 0 0 25 0 1 0 762200706 57364480 12312 4294967295 134512640 134714508 3221221792 3221218736 1074620107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14005 12312 1111 63 0 13942 0
vsize: 56020
[startup+760.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1465278 0 0 0 72459 3549 0 0 25 0 1 0 762200706 57335808 12843 4294967295 134512640 134714508 3221221792 3221218752 1074790236 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13998 12843 1111 63 0 13935 0
vsize: 55992
[startup+770.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1474447 0 0 0 73438 3570 0 0 25 0 1 0 762200706 58220544 12466 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14214 12473 1111 63 0 14151 0
vsize: 56856
[startup+780.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1496739 0 0 0 74383 3625 0 0 25 0 1 0 762200706 53620736 12363 4294967295 134512640 134714508 3221221792 3221219072 1074140051 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13091 12363 1111 63 0 13028 0
vsize: 52364
[startup+790.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1523499 0 0 0 75319 3689 0 0 25 0 1 0 762200706 58798080 13097 4294967295 134512640 134714508 3221221792 3221218064 1074960909 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14355 13097 1111 63 0 14292 0
vsize: 57420
[startup+800.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1547411 0 0 0 76261 3748 0 0 25 0 1 0 762200706 54464512 12569 4294967295 134512640 134714508 3221221792 3221219432 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13297 12569 1111 63 0 13234 0
vsize: 53188
[startup+810.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1571784 0 0 0 77200 3808 0 0 25 0 1 0 762200706 54861824 12666 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13394 12666 1111 63 0 13331 0
vsize: 53576
[startup+820.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1604794 0 0 0 78121 3887 0 0 25 0 1 0 762200706 59719680 12825 4294967295 134512640 134714508 3221221792 3221219216 1076061224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14580 12825 1111 63 0 14517 0
vsize: 58320
[startup+830.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1637372 0 0 0 79044 3965 0 0 25 0 1 0 762200706 55869440 12906 4294967295 134512640 134714508 3221221792 3221219440 1075819461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13640 12906 1111 63 0 13577 0
vsize: 54560
[startup+840.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1671679 0 0 0 79962 4046 0 0 25 0 1 0 762200706 61210624 13686 4294967295 134512640 134714508 3221221792 3221217920 1075112371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14944 13686 1111 63 0 14881 0
vsize: 59776
[startup+850.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1700004 0 0 0 80895 4114 0 0 25 0 1 0 762200706 61591552 13778 4294967295 134512640 134714508 3221221792 3221217820 1074788162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15037 13778 1111 63 0 14974 0
vsize: 60148
[startup+860.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1736302 0 0 0 81806 4203 0 0 25 0 1 0 762200706 57593856 13312 4294967295 134512640 134714508 3221221792 3221219912 1077378266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14061 13312 1111 63 0 13998 0
vsize: 56244
[startup+870.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1774597 0 0 0 82711 4298 0 0 25 0 1 0 762200706 61169664 13678 4294967295 134512640 134714508 3221221792 3221218392 1075850758 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14934 13678 1111 63 0 14871 0
vsize: 59736
[startup+880.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1788818 0 0 0 83677 4333 0 0 25 0 1 0 762200706 58568704 13552 4294967295 134512640 134714508 3221221792 3221219752 1074138303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14334 13556 1111 63 0 14271 0
vsize: 57196
[startup+890.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1822582 0 0 0 84594 4415 0 0 25 0 1 0 762200706 61960192 13871 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15127 13871 1111 63 0 15064 0
vsize: 60508
[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1867499 0 0 0 85491 4519 0 0 25 0 1 0 762200706 62631936 14029 4294967295 134512640 134714508 3221221792 3221217756 1074788183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15291 14029 1111 63 0 15228 0
vsize: 61164
[startup+910.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1906298 0 0 0 86400 4610 0 0 25 0 1 0 762200706 60686336 14060 4294967295 134512640 134714508 3221221792 3221220172 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14816 14060 1111 63 0 14753 0
vsize: 59264
[startup+920.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1923353 0 0 0 87357 4653 0 0 25 0 1 0 762200706 63725568 14306 4294967295 134512640 134714508 3221221792 3221218020 1075115028 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15558 14306 1111 63 0 15495 0
vsize: 62232
[startup+930.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1943402 0 0 0 88309 4702 0 0 25 0 1 0 762200706 61173760 14190 4294967295 134512640 134714508 3221221792 3221219520 1075828473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14935 14190 1111 63 0 14872 0
vsize: 59740
[startup+940.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 1974072 0 0 0 89237 4774 0 0 25 0 1 0 762200706 64614400 14513 4294967295 134512640 134714508 3221221792 3221218000 1074815328 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15775 14513 1111 63 0 15712 0
vsize: 63100
[startup+950.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2018045 0 0 0 90131 4880 0 0 25 0 1 0 762200706 62861312 14590 4294967295 134512640 134714508 3221221792 3221220072 1073987057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15347 14590 1111 63 0 15284 0
vsize: 61388
[startup+960.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2029510 0 0 0 91102 4909 0 0 25 0 1 0 762200706 64053248 14881 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15638 14881 1111 63 0 15575 0
vsize: 62552
[startup+970.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2029594 0 0 0 92101 4910 0 0 25 0 1 0 762200706 64528384 14965 4294967295 134512640 134714508 3221221792 3221219840 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15754 14965 1111 63 0 15691 0
vsize: 63016
[startup+980.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2030505 0 0 0 93099 4913 0 0 25 0 1 0 762200706 66957312 15584 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16347 15584 1111 63 0 16284 0
vsize: 65388
[startup+990.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2035077 0 0 0 94088 4924 0 0 25 0 1 0 762200706 66695168 15424 4294967295 134512640 134714508 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16283 15424 1111 63 0 16220 0
vsize: 65132
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2035109 0 0 0 95088 4924 0 0 25 0 1 0 762200706 65613824 15192 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16019 15192 1111 63 0 15956 0
vsize: 64076
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2038991 0 0 0 96080 4932 0 0 25 0 1 0 762200706 70152192 15962 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17127 15962 1111 63 0 17064 0
vsize: 68508
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2043001 0 0 0 97071 4941 0 0 25 0 1 0 762200706 69390336 15112 4294967295 134512640 134714508 3221221792 3221218560 1076083602 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16941 15112 1111 63 0 16878 0
vsize: 67764
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2054517 0 0 0 98045 4967 0 0 25 0 1 0 762200706 68571136 15218 4294967295 134512640 134714508 3221221792 3221217952 1075095344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16741 15228 1111 63 0 16678 0
vsize: 66964
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2071837 0 0 0 99003 5009 0 0 25 0 1 0 762200706 67219456 14921 4294967295 134512640 134714508 3221221792 3221219432 1075850409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16411 14921 1111 63 0 16348 0
vsize: 65644
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2086867 0 0 0 99964 5049 0 0 25 0 1 0 762200706 64659456 14986 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15786 14986 1111 63 0 15723 0
vsize: 63144
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2093009 0 0 0 100947 5066 0 0 25 0 1 0 762200706 65368064 15170 4294967295 134512640 134714508 3221221792 3221220032 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15959 15170 1111 63 0 15896 0
vsize: 63836
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2093130 0 0 0 101946 5067 0 0 25 0 1 0 762200706 65814528 15291 4294967295 134512640 134714508 3221221792 3221220000 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16068 15291 1111 63 0 16005 0
vsize: 64272
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2094173 0 0 0 102942 5071 0 0 25 0 1 0 762200706 68632576 15996 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16756 15996 1111 63 0 16693 0
vsize: 67024
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2094173 0 0 0 103942 5071 0 0 25 0 1 0 762200706 68632576 15996 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16756 15996 1111 63 0 16693 0
vsize: 67024
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2096258 0 0 0 104938 5076 0 0 25 0 1 0 762200706 73437184 16988 4294967295 134512640 134714508 3221221792 3221218032 1075115732 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17929 16988 1111 63 0 17866 0
vsize: 71716
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2100158 0 0 0 105928 5086 0 0 25 0 1 0 762200706 70307840 16006 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17165 16006 1111 63 0 17102 0
vsize: 68660
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2104003 0 0 0 106919 5095 0 0 25 0 1 0 762200706 65585152 15237 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16012 15237 1111 63 0 15949 0
vsize: 64048
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2104166 0 0 0 107918 5097 0 0 25 0 1 0 762200706 66068480 15373 4294967295 134512640 134714508 3221221792 3221220080 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16130 15373 1111 63 0 16067 0
vsize: 64520
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2104229 0 0 0 108917 5098 0 0 25 0 1 0 762200706 66326528 15436 4294967295 134512640 134714508 3221221792 3221219856 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16193 15436 1111 63 0 16130 0
vsize: 64772
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2105222 0 0 0 109915 5100 0 0 25 0 1 0 762200706 69095424 16109 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16869 16109 1111 63 0 16806 0
vsize: 67476
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2107317 0 0 0 110911 5104 0 0 25 0 1 0 762200706 73814016 17073 4294967295 134512640 134714508 3221221792 3221217804 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18021 17073 1111 63 0 17958 0
vsize: 72084
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2109563 0 0 0 111904 5111 0 0 25 0 1 0 762200706 65925120 15338 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16095 15338 1111 63 0 16032 0
vsize: 64380
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2109641 0 0 0 112903 5113 0 0 25 0 1 0 762200706 66244608 15416 4294967295 134512640 134714508 3221221792 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16173 15416 1111 63 0 16110 0
vsize: 64692
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2109717 0 0 0 113902 5113 0 0 25 0 1 0 762200706 66686976 15492 4294967295 134512640 134714508 3221221792 3221220080 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16281 15492 1111 63 0 16218 0
vsize: 65124
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) R 14282 7876 7672 0 -1 0 2109759 0 0 0 114902 5114 0 0 25 0 1 0 762200706 66859008 15534 4294967295 134512640 134714508 3221221792 3221220096 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16323 15534 1111 63 0 16260 0
vsize: 65292
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 14283
Raw data (stat): 14283 (bsolo_lpr_cuts) Z 14282 7876 7672 0 -1 1036 2109759 0 0 0 114902 5117 0 0 25 0 1 0 762200706 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.07
CPU time (s): 1200.2
CPU user time (s): 1149.02
CPU system time (s): 51.1762
CPU usage (%): 100.011
Max. virtual memory (Kb): 72084
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####