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/manquinho/primes-dimacs-cnf/normalized-ii8c1.opb
MD5SUM	5573ac468e70af6b65c69997b62e5033
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	302
Optimality of the best value was proved	NO
Number of terms in the objective function	1020
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1020
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1020
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	1020
Total number of constraints	3575
Number of constraints which are clauses	3575
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	10
Trace number 23993

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 13:06:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1532 boxname=wulflinc31 idbench=171 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  5573ac468e70af6b65c69997b62e5033  /oldhome/oroussel/tmp/wulflinc31/normalized-ii8c1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii8c1.opb
IDLAUNCH: 1532
/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:        146920 kB
Buffers:         38820 kB
Cached:         814548 kB
SwapCached:        644 kB
Active:         488672 kB
Inactive:       367068 kB
HighTotal:      131008 kB
HighFree:         6972 kB
LowTotal:       903652 kB
LowFree:        139948 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26284 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 13:27:01 (client local time) WITH STATUS 0 IN 1200.15 SECONDS
stats: 1532 7 1200.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1020 variables and 3575 constraints.
c After prepocess the problem consists of 1020 variables and 4745 constraints.
c preprocess terminated 22.185 s
c Initial Lower Bound: 291
c Lower Bound Elapsed time: 6.42717
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 509 @ 60.919
c NEW SOLUTION FOUND: 508 @ 60.936
c NEW SOLUTION FOUND: 507 @ 60.948
c NEW SOLUTION FOUND: 506 @ 60.972
c NEW SOLUTION FOUND: 505 @ 61.013
c NEW SOLUTION FOUND: 503 @ 61.091
c NEW SOLUTION FOUND: 501 @ 61.275
c NEW SOLUTION FOUND: 500 @ 61.576
c NEW SOLUTION FOUND: 499 @ 61.718
c NEW SOLUTION FOUND: 498 @ 61.951
c NEW SOLUTION FOUND: 497 @ 62.297
c NEW SOLUTION FOUND: 496 @ 62.777
c NEW SOLUTION FOUND: 495 @ 62.943
c NEW SOLUTION FOUND: 494 @ 63.143
c NEW SOLUTION FOUND: 493 @ 63.502
c NEW SOLUTION FOUND: 492 @ 63.852
c NEW SOLUTION FOUND: 491 @ 64.25
c NEW SOLUTION FOUND: 490 @ 64.635
c NEW SOLUTION FOUND: 489 @ 64.812
c NEW SOLUTION FOUND: 488 @ 65.223
c NEW SOLUTION FOUND: 487 @ 65.706
c NEW SOLUTION FOUND: 486 @ 66.124
c NEW SOLUTION FOUND: 485 @ 66.344
c NEW SOLUTION FOUND: 484 @ 66.597
c NEW SOLUTION FOUND: 483 @ 66.736
c NEW SOLUTION FOUND: 482 @ 66.839
c NEW SOLUTION FOUND: 481 @ 66.889
c NEW SOLUTION FOUND: 480 @ 66.992
c NEW SOLUTION FOUND: 479 @ 67.299
c NEW SOLUTION FOUND: 478 @ 67.666
c NEW SOLUTION FOUND: 477 @ 68.004
c NEW SOLUTION FOUND: 476 @ 68.69
c NEW SOLUTION FOUND: 475 @ 68.859
c NEW SOLUTION FOUND: 474 @ 69.027
c NEW SOLUTION FOUND: 473 @ 69.238
c NEW SOLUTION FOUND: 472 @ 69.499
c NEW SOLUTION FOUND: 471 @ 69.676
c NEW SOLUTION FOUND: 470 @ 70.715
c NEW SOLUTION FOUND: 469 @ 72.353
c NEW SOLUTION FOUND: 468 @ 72.974
c NEW SOLUTION FOUND: 467 @ 73.611
c NEW SOLUTION FOUND: 466 @ 73.953
c NEW SOLUTION FOUND: 461 @ 77.718
c NEW SOLUTION FOUND: 460 @ 81.515
c NEW SOLUTION FOUND: 453 @ 109.613
c NEW SOLUTION FOUND: 375 @ 196.134
c NEW SOLUTION FOUND: 364 @ 235.076
c NEW SOLUTION FOUND: 354 @ 1001.72
#### 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/54 31957
Raw data (stat): 31957 (runsolver) R 31956 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 683554215 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.0008 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 1649 0 0 0 987 8 0 0 25 0 1 0 683554215 9846784 1569 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2404 1569 1111 63 0 2341 0
vsize: 9616
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 1712 0 0 0 1986 9 0 0 25 0 1 0 683554215 10117120 1632 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1632 1111 63 0 2407 0
vsize: 9880
[startup+30.0027 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 2636 0 0 0 2984 11 0 0 25 0 1 0 683554215 14544896 2499 4294967295 134512640 134714508 3221221792 3221217932 1075116508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3551 2499 1111 63 0 3488 0
vsize: 14204
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 3948 0 0 0 3981 14 0 0 25 0 1 0 683554215 14520320 2612 4294967295 134512640 134714508 3221221792 3221217940 1075115060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2612 1111 63 0 3482 0
vsize: 14180
[startup+50.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 6486 0 0 0 4975 20 0 0 25 0 1 0 683554215 15163392 2731 4294967295 134512640 134714508 3221221792 3221217812 1075964218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2731 1111 63 0 3639 0
vsize: 14808
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 8869 0 0 0 5967 28 0 0 25 0 1 0 683554215 16277504 2764 4294967295 134512640 134714508 3221221792 3221217984 1074960970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3974 2764 1111 63 0 3911 0
vsize: 15896
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 39253 0 0 0 6892 104 0 0 25 0 1 0 683554215 11870208 2210 4294967295 134512640 134714508 3221221792 3221220160 1074140701 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2898 2210 1111 63 0 2835 0
vsize: 11592
[startup+80.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 57573 0 0 0 7847 149 0 0 25 0 1 0 683554215 12230656 2289 4294967295 134512640 134714508 3221221792 3221220272 1074031958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2986 2289 1111 63 0 2923 0
vsize: 11944
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 67780 0 0 0 8820 176 0 0 25 0 1 0 683554215 12509184 2372 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2372 1111 63 0 2991 0
vsize: 12216
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 78298 0 0 0 9792 204 0 0 25 0 1 0 683554215 12812288 2446 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3128 2446 1111 63 0 3065 0
vsize: 12512
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 87005 0 0 0 10768 229 0 0 25 0 1 0 683554215 13180928 2504 4294967295 134512640 134714508 3221221792 3221219944 1074950096 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3218 2504 1111 63 0 3155 0
vsize: 12872
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 96829 0 0 0 11740 256 0 0 25 0 1 0 683554215 15470592 2661 4294967295 134512640 134714508 3221221792 3221219368 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3777 2661 1111 63 0 3714 0
vsize: 15108
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 102088 0 0 0 12729 268 0 0 25 0 1 0 683554215 18284544 3244 4294967295 134512640 134714508 3221221792 3221219216 1076063213 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4464 3244 1111 63 0 4401 0
vsize: 17856
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 104696 0 0 0 13721 276 0 0 25 0 1 0 683554215 13918208 2723 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3398 2723 1111 63 0 3335 0
vsize: 13592
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 106593 0 0 0 14717 280 0 0 25 0 1 0 683554215 17117184 3213 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4179 3213 1111 63 0 4116 0
vsize: 16716
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 108585 0 0 0 15712 286 0 0 25 0 1 0 683554215 18067456 3193 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4411 3193 1111 63 0 4348 0
vsize: 17644
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 110834 0 0 0 16705 292 0 0 25 0 1 0 683554215 13971456 2736 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2736 1111 63 0 3348 0
vsize: 13644
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 112870 0 0 0 17700 297 0 0 25 0 1 0 683554215 17702912 3086 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4322 3086 1111 63 0 4259 0
vsize: 17288
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 115495 0 0 0 18695 303 0 0 25 0 1 0 683554215 13885440 2715 4294967295 134512640 134714508 3221221792 3221220192 1074153786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3390 2715 1111 63 0 3327 0
vsize: 13560
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 119454 0 0 0 19684 314 0 0 25 0 1 0 683554215 13885440 2715 4294967295 134512640 134714508 3221221792 3221220104 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3390 2715 1111 63 0 3327 0
vsize: 13560
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 125248 0 0 0 20669 329 0 0 25 0 1 0 683554215 17989632 3124 4294967295 134512640 134714508 3221221792 3221218324 1075863638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4392 3124 1111 63 0 4329 0
vsize: 17568
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 130783 0 0 0 21657 341 0 0 25 0 1 0 683554215 18235392 3200 4294967295 134512640 134714508 3221221792 3221218020 1075115043 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4452 3200 1111 63 0 4389 0
vsize: 17808
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 135416 0 0 0 22645 353 0 0 25 0 1 0 683554215 18272256 3211 4294967295 134512640 134714508 3221221792 3221218604 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4461 3211 1111 63 0 4398 0
vsize: 17844
[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 140644 0 0 0 23633 365 0 0 25 0 1 0 683554215 18587648 3205 4294967295 134512640 134714508 3221221792 3221218736 1074620113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3205 1111 63 0 4475 0
vsize: 18152
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 145226 0 0 0 24622 376 0 0 25 0 1 0 683554215 18833408 3362 4294967295 134512640 134714508 3221221792 3221218032 1075115768 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3362 1111 63 0 4535 0
vsize: 18392
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 149716 0 0 0 25613 386 0 0 25 0 1 0 683554215 15130624 3020 4294967295 134512640 134714508 3221221792 3221220192 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3694 3020 1111 63 0 3631 0
vsize: 14776
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 154862 0 0 0 26600 399 0 0 25 0 1 0 683554215 15163392 3028 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 3028 1111 63 0 3639 0
vsize: 14808
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 159457 0 0 0 27588 411 0 0 25 0 1 0 683554215 15683584 3155 4294967295 134512640 134714508 3221221792 3221220192 1074153749 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3829 3155 1111 63 0 3766 0
vsize: 15316
[startup+290.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 165285 0 0 0 28575 424 0 0 25 0 1 0 683554215 15847424 3195 4294967295 134512640 134714508 3221221792 3221220192 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3869 3195 1111 63 0 3806 0
vsize: 15476
[startup+300.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 169326 0 0 0 29568 432 0 0 25 0 1 0 683554215 16584704 3341 4294967295 134512640 134714508 3221221792 3221219788 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4049 3341 1111 63 0 3986 0
vsize: 16196
[startup+310.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 173141 0 0 0 30558 442 0 0 25 0 1 0 683554215 16347136 3317 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3991 3317 1111 63 0 3928 0
vsize: 15964
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 175983 0 0 0 31552 448 0 0 25 0 1 0 683554215 16347136 3317 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3991 3317 1111 63 0 3928 0
vsize: 15964
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 181158 0 0 0 32539 461 0 0 25 0 1 0 683554215 16347136 3317 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3991 3317 1111 63 0 3928 0
vsize: 15964
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 185569 0 0 0 33527 473 0 0 25 0 1 0 683554215 20217856 3703 4294967295 134512640 134714508 3221221792 3221217740 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4936 3703 1111 63 0 4873 0
vsize: 19744
[startup+350.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 190725 0 0 0 34514 486 0 0 25 0 1 0 683554215 17215488 3509 4294967295 134512640 134714508 3221221792 3221220112 1074039446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4203 3509 1111 63 0 4140 0
vsize: 16812
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 194956 0 0 0 35504 497 0 0 25 0 1 0 683554215 17502208 3559 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4273 3559 1111 63 0 4210 0
vsize: 17092
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 201233 0 0 0 36489 512 0 0 25 0 1 0 683554215 20545536 3692 4294967295 134512640 134714508 3221221792 3221218384 1074884339 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5016 3692 1111 63 0 4953 0
vsize: 20064
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 207499 0 0 0 37474 527 0 0 25 0 1 0 683554215 21061632 3984 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5142 3984 1111 63 0 5079 0
vsize: 20568
[startup+390.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 213245 0 0 0 38460 541 0 0 25 0 1 0 683554215 17387520 3571 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3571 1111 63 0 4182 0
vsize: 16980
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 219006 0 0 0 39446 555 0 0 25 0 1 0 683554215 20971520 3798 4294967295 134512640 134714508 3221221792 3221217952 1075091617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5120 3798 1111 63 0 5057 0
vsize: 20480
[startup+410.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 224220 0 0 0 40435 567 0 0 25 0 1 0 683554215 18219008 3745 4294967295 134512640 134714508 3221221792 3221220368 134646286 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4448 3745 1111 63 0 4385 0
vsize: 17792
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 228787 0 0 0 41423 579 0 0 25 0 1 0 683554215 18436096 3771 4294967295 134512640 134714508 3221221792 3221218896 1074138827 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4501 3771 1111 63 0 4438 0
vsize: 18004
[startup+430.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 233405 0 0 0 42413 589 0 0 25 0 1 0 683554215 18259968 3784 4294967295 134512640 134714508 3221221792 3221220064 1076999584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4458 3784 1111 63 0 4395 0
vsize: 17832
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 239738 0 0 0 43397 605 0 0 25 0 1 0 683554215 18186240 3766 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3766 1111 63 0 4377 0
vsize: 17760
[startup+450.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 245473 0 0 0 44385 618 0 0 25 0 1 0 683554215 18350080 3806 4294967295 134512640 134714508 3221221792 3221220176 1074153773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4480 3806 1111 63 0 4417 0
vsize: 17920
[startup+460.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 246981 0 0 0 45380 623 0 0 25 0 1 0 683554215 23494656 4866 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5736 4866 1111 63 0 5673 0
vsize: 22944
[startup+470.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 252999 0 0 0 46368 634 0 0 25 0 1 0 683554215 22704128 4704 4294967295 134512640 134714508 3221221792 3221218020 1075115051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5543 4704 1111 63 0 5480 0
vsize: 22172
[startup+480.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 253047 0 0 0 47368 634 0 0 25 0 1 0 683554215 22900736 4750 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5591 4750 1111 63 0 5528 0
vsize: 22364
[startup+490.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 256187 0 0 0 48361 641 0 0 25 0 1 0 683554215 24088576 4907 4294967295 134512640 134714508 3221221792 3221218012 1075116564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5881 4907 1111 63 0 5818 0
vsize: 23524
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 258988 0 0 0 49354 649 0 0 25 0 1 0 683554215 24027136 4978 4294967295 134512640 134714508 3221221792 3221218012 1075116556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5866 4978 1111 63 0 5803 0
vsize: 23464
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 261025 0 0 0 50349 654 0 0 25 0 1 0 683554215 20484096 4232 4294967295 134512640 134714508 3221221792 3221219632 1075798481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5001 4232 1111 63 0 4938 0
vsize: 20004
[startup+520.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 264911 0 0 0 51340 663 0 0 25 0 1 0 683554215 24145920 4988 4294967295 134512640 134714508 3221221792 3221218012 1075116862 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5895 4988 1111 63 0 5832 0
vsize: 23580
[startup+530.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 267917 0 0 0 52333 670 0 0 25 0 1 0 683554215 24203264 4904 4294967295 134512640 134714508 3221221792 3221218064 1074960771 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5909 4904 1111 63 0 5846 0
vsize: 23636
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 272376 0 0 0 53321 682 0 0 25 0 1 0 683554215 19079168 3984 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4658 3984 1111 63 0 4595 0
vsize: 18632
[startup+550.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 273959 0 0 0 54318 686 0 0 25 0 1 0 683554215 24412160 5083 4294967295 134512640 134714508 3221221792 3221217672 1074788440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5960 5083 1111 63 0 5897 0
vsize: 23840
[startup+560.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 278424 0 0 0 55308 696 0 0 25 0 1 0 683554215 20426752 4313 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4987 4313 1111 63 0 4924 0
vsize: 19948
[startup+570.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 283233 0 0 0 56298 706 0 0 25 0 1 0 683554215 19091456 3987 4294967295 134512640 134714508 3221221792 3221220088 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4661 3987 1111 63 0 4598 0
vsize: 18644
[startup+580.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 284806 0 0 0 57294 710 0 0 25 0 1 0 683554215 24428544 5076 4294967295 134512640 134714508 3221221792 3221217968 1074882610 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5964 5076 1111 63 0 5901 0
vsize: 23856
[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 286674 0 0 0 58290 714 0 0 25 0 1 0 683554215 20828160 4373 4294967295 134512640 134714508 3221221792 3221219904 1074867328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5085 4373 1111 63 0 5022 0
vsize: 20340
[startup+600.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 292075 0 0 0 59277 727 0 0 25 0 1 0 683554215 19320832 4043 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4717 4043 1111 63 0 4654 0
vsize: 18868
[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 295400 0 0 0 60270 735 0 0 25 0 1 0 683554215 24211456 4497 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5911 4504 1111 63 0 5848 0
vsize: 23644
[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 297997 0 0 0 61264 741 0 0 25 0 1 0 683554215 24215552 4898 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4898 1111 63 0 5849 0
vsize: 23648
[startup+630.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 301638 0 0 0 62255 750 0 0 25 0 1 0 683554215 19316736 4042 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4716 4042 1111 63 0 4653 0
vsize: 18864
[startup+640.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 304447 0 0 0 63248 757 0 0 25 0 1 0 683554215 20791296 4348 4294967295 134512640 134714508 3221221792 3221220092 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5076 4348 1111 63 0 5013 0
vsize: 20304
[startup+650.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 308087 0 0 0 64239 766 0 0 25 0 1 0 683554215 24346624 4976 4294967295 134512640 134714508 3221221792 3221218064 1074961264 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5944 4976 1111 63 0 5881 0
vsize: 23776
[startup+660.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 311693 0 0 0 65230 775 0 0 25 0 1 0 683554215 19918848 4189 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4863 4189 1111 63 0 4800 0
vsize: 19452
[startup+670.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 315258 0 0 0 66223 783 0 0 25 0 1 0 683554215 24207360 4933 4294967295 134512640 134714508 3221221792 3221218020 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5910 4933 1111 63 0 5847 0
vsize: 23640
[startup+680.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 322288 0 0 0 67207 799 0 0 25 0 1 0 683554215 19615744 4115 4294967295 134512640 134714508 3221221792 3221220192 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 4115 1111 63 0 4726 0
vsize: 19156
[startup+690.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 329055 0 0 0 68190 816 0 0 25 0 1 0 683554215 19619840 4116 4294967295 134512640 134714508 3221221792 3221220104 1074138140 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4790 4116 1111 63 0 4727 0
vsize: 19160
[startup+700.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 330821 0 0 0 69186 820 0 0 25 0 1 0 683554215 25419776 5344 4294967295 134512640 134714508 3221221792 3221218020 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6206 5344 1111 63 0 6143 0
vsize: 24824
[startup+710.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 334608 0 0 0 70178 828 0 0 25 0 1 0 683554215 20320256 4287 4294967295 134512640 134714508 3221221792 3221220240 1074039443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4961 4287 1111 63 0 4898 0
vsize: 19844
[startup+720.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 337241 0 0 0 71172 835 0 0 25 0 1 0 683554215 25612288 5278 4294967295 134512640 134714508 3221221792 3221218128 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6253 5278 1111 63 0 6190 0
vsize: 25012
[startup+730.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 342105 0 0 0 72160 847 0 0 25 0 1 0 683554215 20185088 4254 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4928 4254 1111 63 0 4865 0
vsize: 19712
[startup+740.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 343787 0 0 0 73156 851 0 0 25 0 1 0 683554215 25702400 5392 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6275 5392 1111 63 0 6212 0
vsize: 25100
[startup+750.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 345737 0 0 0 74152 855 0 0 25 0 1 0 683554215 21929984 4607 4294967295 134512640 134714508 3221221792 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5354 4607 1111 63 0 5291 0
vsize: 21416
[startup+760.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 352119 0 0 0 75137 870 0 0 25 0 1 0 683554215 20365312 4298 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4972 4298 1111 63 0 4909 0
vsize: 19888
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.99 3/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 353784 0 0 0 76134 874 0 0 25 0 1 0 683554215 25706496 5433 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6276 5433 1111 63 0 6213 0
vsize: 25104
[startup+780.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 356931 0 0 0 77127 881 0 0 25 0 1 0 683554215 25759744 5227 4294967295 134512640 134714508 3221221792 3221218064 1074961246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6289 5227 1111 63 0 6226 0
vsize: 25156
[startup+790.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 358397 0 0 0 78121 887 0 0 25 0 1 0 683554215 20803584 4405 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5079 4405 1111 63 0 5016 0
vsize: 20316
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 360056 0 0 0 79117 891 0 0 25 0 1 0 683554215 26013696 5501 4294967295 134512640 134714508 3221221792 3221218012 1075116471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6351 5501 1111 63 0 6288 0
vsize: 25404
[startup+810.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 364793 0 0 0 80107 901 0 0 25 0 1 0 683554215 20406272 4308 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4982 4308 1111 63 0 4919 0
vsize: 19928
[startup+820.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 366476 0 0 0 81103 905 0 0 25 0 1 0 683554215 25993216 5423 4294967295 134512640 134714508 3221221792 3221218012 1075116866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6346 5423 1111 63 0 6283 0
vsize: 25384
[startup+830.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 368404 0 0 0 82098 910 0 0 25 0 1 0 683554215 22282240 4721 4294967295 134512640 134714508 3221221792 3221219944 1074950102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5440 4721 1111 63 0 5377 0
vsize: 21760
[startup+840.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 371276 0 0 0 83092 917 0 0 25 0 1 0 683554215 20553728 4344 4294967295 134512640 134714508 3221221792 3221219928 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5018 4344 1111 63 0 4955 0
vsize: 20072
[startup+850.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 378725 0 0 0 84077 932 0 0 25 0 1 0 683554215 25948160 5326 4294967295 134512640 134714508 3221221792 3221218012 1075116464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6335 5326 1111 63 0 6272 0
vsize: 25340
[startup+860.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 381521 0 0 0 85070 939 0 0 25 0 1 0 683554215 25948160 5418 4294967295 134512640 134714508 3221221792 3221218064 1074961304 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6335 5418 1111 63 0 6272 0
vsize: 25340
[startup+870.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 384719 0 0 0 86062 947 0 0 25 0 1 0 683554215 25890816 5328 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6321 5328 1111 63 0 6258 0
vsize: 25284
[startup+880.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 387482 0 0 0 87055 954 0 0 25 0 1 0 683554215 25726976 5392 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6281 5392 1111 63 0 6218 0
vsize: 25124
[startup+890.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 390753 0 0 0 88047 963 0 0 25 0 1 0 683554215 24707072 5184 4294967295 134512640 134714508 3221221792 3221217728 1075965250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6032 5184 1111 63 0 5969 0
vsize: 24128
[startup+900.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 395152 0 0 0 89037 973 0 0 25 0 1 0 683554215 20705280 4381 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5055 4381 1111 63 0 4992 0
vsize: 20220
[startup+910.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 398412 0 0 0 90029 981 0 0 25 0 1 0 683554215 22249472 4688 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5432 4688 1111 63 0 5369 0
vsize: 21728
[startup+920.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 401112 0 0 0 91022 988 0 0 25 0 1 0 683554215 20729856 4387 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5061 4387 1111 63 0 4998 0
vsize: 20244
[startup+930.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 405852 0 0 0 92010 1000 0 0 25 0 1 0 683554215 25972736 5349 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6341 5349 1111 63 0 6278 0
vsize: 25364
[startup+940.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 410363 0 0 0 92999 1011 0 0 25 0 1 0 683554215 20709376 4382 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5056 4382 1111 63 0 4993 0
vsize: 20224
[startup+950.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 413740 0 0 0 93992 1019 0 0 25 0 1 0 683554215 22298624 4725 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4725 1111 63 0 5381 0
vsize: 21776
[startup+960.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 415344 0 0 0 94988 1022 0 0 25 0 1 0 683554215 26243072 5511 4294967295 134512640 134714508 3221221792 3221218428 1075041195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6407 5511 1111 63 0 6344 0
vsize: 25628
[startup+970.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 420718 0 0 0 95976 1035 0 0 25 0 1 0 683554215 26042368 5459 4294967295 134512640 134714508 3221221792 3221217740 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6358 5459 1111 63 0 6295 0
vsize: 25432
[startup+980.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 424693 0 0 0 96966 1045 0 0 25 0 1 0 683554215 20676608 4374 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5048 4374 1111 63 0 4985 0
vsize: 20192
[startup+990.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 426269 0 0 0 97962 1049 0 0 25 0 1 0 683554215 26112000 5471 4294967295 134512640 134714508 3221221792 3221218124 1075113118 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6375 5471 1111 63 0 6312 0
vsize: 25500
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 430558 0 0 0 98951 1060 0 0 25 0 1 0 683554215 21524480 4519 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5255 4519 1111 63 0 5192 0
vsize: 21020
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 432716 0 0 0 99945 1066 0 0 25 0 1 0 683554215 21254144 4515 4294967295 134512640 134714508 3221221792 3221219952 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5189 4515 1111 63 0 5126 0
vsize: 20756
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 436150 0 0 0 100936 1075 0 0 25 0 1 0 683554215 21254144 4515 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5189 4515 1111 63 0 5126 0
vsize: 20756
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 440578 0 0 0 101925 1085 0 0 25 0 1 0 683554215 21254144 4515 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5189 4515 1111 63 0 5126 0
vsize: 20756
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 442676 0 0 0 102919 1091 0 0 25 0 1 0 683554215 21626880 4606 4294967295 134512640 134714508 3221221792 3221219824 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5280 4606 1111 63 0 5217 0
vsize: 21120
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 447137 0 0 0 103909 1102 0 0 25 0 1 0 683554215 26779648 5423 4294967295 134512640 134714508 3221221792 3221218000 1074815357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6538 5423 1111 63 0 6475 0
vsize: 26152
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 451382 0 0 0 104899 1112 0 0 25 0 1 0 683554215 21254144 4515 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5189 4515 1111 63 0 5126 0
vsize: 20756
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 453006 0 0 0 105895 1116 0 0 25 0 1 0 683554215 26800128 5632 4294967295 134512640 134714508 3221221792 3221218064 1074961138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6543 5632 1111 63 0 6480 0
vsize: 26172
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 454831 0 0 0 106891 1121 0 0 25 0 1 0 683554215 23052288 4922 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5628 4922 1111 63 0 5565 0
vsize: 22512
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 457256 0 0 0 107885 1126 0 0 25 0 1 0 683554215 22564864 4835 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 4835 1111 63 0 5446 0
vsize: 22036
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 458527 0 0 0 108882 1130 0 0 25 0 1 0 683554215 26550272 5497 4294967295 134512640 134714508 3221221792 3221218020 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6482 5497 1111 63 0 6419 0
vsize: 25928
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 460791 0 0 0 109876 1136 0 0 25 0 1 0 683554215 26562560 5469 4294967295 134512640 134714508 3221221792 3221218448 1075967425 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6485 5469 1111 63 0 6422 0
vsize: 25940
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 462794 0 0 0 110872 1140 0 0 25 0 1 0 683554215 26501120 5488 4294967295 134512640 134714508 3221221792 3221217952 1074883835 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6470 5488 1111 63 0 6407 0
vsize: 25880
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 464938 0 0 0 111867 1146 0 0 25 0 1 0 683554215 26624000 5559 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6500 5559 1111 63 0 6437 0
vsize: 26000
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 468405 0 0 0 112858 1154 0 0 25 0 1 0 683554215 22171648 4739 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5413 4739 1111 63 0 5350 0
vsize: 21652
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 473251 0 0 0 113847 1166 0 0 25 0 1 0 683554215 21831680 4656 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4656 1111 63 0 5267 0
vsize: 21320
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 475292 0 0 0 114842 1171 0 0 25 0 1 0 683554215 22102016 4722 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4722 1111 63 0 5333 0
vsize: 21584
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 476696 0 0 0 115838 1175 0 0 25 0 1 0 683554215 26923008 5664 4294967295 134512640 134714508 3221221792 3221218020 1075114984 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6573 5664 1111 63 0 6510 0
vsize: 26292
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 478221 0 0 0 116834 1179 0 0 25 0 1 0 683554215 23244800 4978 4294967295 134512640 134714508 3221221792 3221220144 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5675 4978 1111 63 0 5612 0
vsize: 22700
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 480219 0 0 0 117828 1185 0 0 25 0 1 0 683554215 22130688 4729 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5403 4729 1111 63 0 5340 0
vsize: 21612
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) R 31956 7876 7672 0 -1 0 482589 0 0 0 118822 1192 0 0 25 0 1 0 683554215 22315008 4774 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5448 4774 1111 63 0 5385 0
vsize: 21792
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.99 1/54 31957
Raw data (stat): 31957 (bsolo_lpr_cuts) Z 31956 7876 7672 0 -1 1036 482589 0 0 0 118822 1193 0 0 25 0 1 0 683554215 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.05
CPU time (s): 1200.15
CPU user time (s): 1188.22
CPU system time (s): 11.9302
CPU usage (%): 100.009
Max. virtual memory (Kb): 26292
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####