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-ii8a4.opb
MD5SUM	8a77190c2eeefb9e88447a9087adfd6f
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	283
Optimality of the best value was proved	NO
Number of terms in the objective function	792
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	792
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	792
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.02084
Number of variables	792
Total number of constraints	3194
Number of constraints which are clauses	3194
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	8
Trace number 23968

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-07 04:46:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1487 boxname=wulflinc31 idbench=166 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  8a77190c2eeefb9e88447a9087adfd6f  /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a4.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-ii8a4.opb
IDLAUNCH: 1487
/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:        148964 kB
Buffers:         38048 kB
Cached:         813416 kB
SwapCached:        644 kB
Active:         487640 kB
Inactive:       366100 kB
HighTotal:      131008 kB
HighFree:         8232 kB
LowTotal:       903652 kB
LowFree:        140732 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26296 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-07 05:06:18 (client local time) WITH STATUS 0 IN 1200.54 SECONDS
stats: 1487 7 1200.54 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 792 variables and 3194 constraints.
c After prepocess the problem consists of 792 variables and 5126 constraints.
c preprocess terminated 31.699 s
c Initial Lower Bound: 281
c Lower Bound Elapsed time: 12.3253
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 396 @ 68.874
c NEW SOLUTION FOUND: 395 @ 68.876
c NEW SOLUTION FOUND: 394 @ 68.887
c NEW SOLUTION FOUND: 393 @ 68.896
c NEW SOLUTION FOUND: 392 @ 68.905
c NEW SOLUTION FOUND: 391 @ 68.924
c NEW SOLUTION FOUND: 390 @ 68.934
c NEW SOLUTION FOUND: 389 @ 68.944
c NEW SOLUTION FOUND: 388 @ 68.954
c NEW SOLUTION FOUND: 387 @ 68.964
c NEW SOLUTION FOUND: 386 @ 68.975
c NEW SOLUTION FOUND: 385 @ 68.985
c NEW SOLUTION FOUND: 384 @ 68.995
c NEW SOLUTION FOUND: 383 @ 69.006
c NEW SOLUTION FOUND: 382 @ 69.027
c NEW SOLUTION FOUND: 381 @ 69.049
c NEW SOLUTION FOUND: 380 @ 69.105
c NEW SOLUTION FOUND: 379 @ 69.132
c NEW SOLUTION FOUND: 378 @ 69.147
c NEW SOLUTION FOUND: 377 @ 69.162
c NEW SOLUTION FOUND: 376 @ 69.179
c NEW SOLUTION FOUND: 375 @ 69.197
c NEW SOLUTION FOUND: 374 @ 69.215
c NEW SOLUTION FOUND: 373 @ 69.233
c NEW SOLUTION FOUND: 372 @ 69.252
c NEW SOLUTION FOUND: 371 @ 69.271
c NEW SOLUTION FOUND: 370 @ 69.289
c NEW SOLUTION FOUND: 369 @ 69.308
c NEW SOLUTION FOUND: 368 @ 69.329
c NEW SOLUTION FOUND: 367 @ 69.349
c NEW SOLUTION FOUND: 366 @ 69.368
c NEW SOLUTION FOUND: 365 @ 69.414
c NEW SOLUTION FOUND: 364 @ 69.438
c NEW SOLUTION FOUND: 363 @ 69.46
c NEW SOLUTION FOUND: 362 @ 69.486
c NEW SOLUTION FOUND: 361 @ 69.509
c NEW SOLUTION FOUND: 360 @ 69.565
c NEW SOLUTION FOUND: 359 @ 69.595
c NEW SOLUTION FOUND: 358 @ 69.624
c NEW SOLUTION FOUND: 357 @ 69.655
c NEW SOLUTION FOUND: 356 @ 69.687
c NEW SOLUTION FOUND: 355 @ 69.719
c NEW SOLUTION FOUND: 354 @ 69.75
c NEW SOLUTION FOUND: 353 @ 69.781
c NEW SOLUTION FOUND: 352 @ 69.814
c NEW SOLUTION FOUND: 351 @ 69.844
c NEW SOLUTION FOUND: 350 @ 69.907
c NEW SOLUTION FOUND: 349 @ 69.94
c NEW SOLUTION FOUND: 348 @ 69.975
c NEW SOLUTION FOUND: 347 @ 70.008
c NEW SOLUTION FOUND: 346 @ 70.041
c NEW SOLUTION FOUND: 345 @ 70.074
c NEW SOLUTION FOUND: 344 @ 70.106
c NEW SOLUTION FOUND: 343 @ 70.142
c NEW SOLUTION FOUND: 342 @ 70.177
c NEW SOLUTION FOUND: 341 @ 70.214
c NEW SOLUTION FOUND: 340 @ 70.25
c NEW SOLUTION FOUND: 339 @ 70.286
c NEW SOLUTION FOUND: 338 @ 70.322
c NEW SOLUTION FOUND: 337 @ 70.358
c NEW SOLUTION FOUND: 336 @ 70.452
c NEW SOLUTION FOUND: 335 @ 70.501
c NEW SOLUTION FOUND: 334 @ 70.55
c NEW SOLUTION FOUND: 333 @ 70.601
c NEW SOLUTION FOUND: 332 @ 70.648
c NEW SOLUTION FOUND: 331 @ 70.696
c NEW SOLUTION FOUND: 330 @ 70.75
c NEW SOLUTION FOUND: 329 @ 70.848
c NEW SOLUTION FOUND: 328 @ 70.911
c NEW SOLUTION FOUND: 327 @ 70.971
c NEW SOLUTION FOUND: 326 @ 71.023
c NEW SOLUTION FOUND: 325 @ 71.072
c NEW SOLUTION FOUND: 324 @ 71.141
c NEW SOLUTION FOUND: 323 @ 71.202
c NEW SOLUTION FOUND: 322 @ 71.266
c NEW SOLUTION FOUND: 321 @ 71.488
c NEW SOLUTION FOUND: 320 @ 71.599
c NEW SOLUTION FOUND: 319 @ 71.722
c NEW SOLUTION FOUND: 318 @ 71.84
c NEW SOLUTION FOUND: 317 @ 71.94
c NEW SOLUTION FOUND: 316 @ 72.248
c NEW SOLUTION FOUND: 315 @ 72.404
c NEW SOLUTION FOUND: 314 @ 72.513
c NEW SOLUTION FOUND: 313 @ 72.695
c NEW SOLUTION FOUND: 312 @ 72.879
c NEW SOLUTION FOUND: 311 @ 73.191
c NEW SOLUTION FOUND: 310 @ 73.36
c NEW SOLUTION FOUND: 309 @ 73.558
c NEW SOLUTION FOUND: 308 @ 73.747
c NEW SOLUTION FOUND: 307 @ 73.95
c NEW SOLUTION FOUND: 306 @ 74.255
c NEW SOLUTION FOUND: 290 @ 91.467
c NEW SOLUTION FOUND: 289 @ 99.59
#### 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.92 0.97 0.99 1/54 29041
Raw data (stat): 29041 (runsolver) D 29040 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 18 0 1 0 680549545 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0013 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 1653 0 0 0 989 6 0 0 25 0 1 0 680549545 9928704 1573 4294967295 134512640 134714508 3221221792 3221220440 134558609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2424 1573 1111 63 0 2361 0
vsize: 9696
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 1669 0 0 0 1989 6 0 0 25 0 1 0 680549545 9928704 1589 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2424 1589 1111 63 0 2361 0
vsize: 9696
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 1793 0 0 0 2989 7 0 0 25 0 1 0 680549545 10469376 1713 4294967295 134512640 134714508 3221221792 3221220452 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2556 1713 1111 63 0 2493 0
vsize: 10224
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 2949 0 0 0 3986 9 0 0 25 0 1 0 680549545 14835712 2681 4294967295 134512640 134714508 3221221792 3221218640 1075960291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3622 2681 1111 63 0 3559 0
vsize: 14488
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 3018 0 0 0 4986 10 0 0 25 0 1 0 680549545 14995456 2747 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3661 2747 1111 63 0 3598 0
vsize: 14644
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 4528 0 0 0 5982 13 0 0 25 0 1 0 680549545 16244736 2587 4294967295 134512640 134714508 3221221792 3221218244 1075863638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3966 2587 1111 63 0 3903 0
vsize: 15864
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 9643 0 0 0 6970 26 0 0 25 0 1 0 680549545 12636160 2404 4294967295 134512640 134714508 3221221792 3221220512 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3085 2404 1111 63 0 3022 0
vsize: 12340
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 16662 0 0 0 7953 43 0 0 25 0 1 0 680549545 16367616 2603 4294967295 134512640 134714508 3221221792 3221217752 1074789695 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3996 2603 1111 63 0 3933 0
vsize: 15984
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 18313 0 0 0 8949 47 0 0 25 0 1 0 680549545 15663104 2792 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3824 2792 1111 63 0 3761 0
vsize: 15296
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 19561 0 0 0 9944 51 0 0 25 0 1 0 680549545 12902400 2479 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3150 2479 1111 63 0 3087 0
vsize: 12600
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 21507 0 0 0 10941 55 0 0 25 0 1 0 680549545 12902400 2479 4294967295 134512640 134714508 3221221792 3221220176 1074153800 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3150 2479 1111 63 0 3087 0
vsize: 12600
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 24022 0 0 0 11935 61 0 0 25 0 1 0 680549545 16994304 2713 4294967295 134512640 134714508 3221221792 3221218032 1075115715 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4149 2713 1111 63 0 4086 0
vsize: 16596
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 26381 0 0 0 12928 68 0 0 25 0 1 0 680549545 17039360 2789 4294967295 134512640 134714508 3221221792 3221218064 1074960928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4160 2789 1111 63 0 4097 0
vsize: 16640
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 31160 0 0 0 13917 80 0 0 25 0 1 0 680549545 16257024 2969 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3969 2969 1111 63 0 3906 0
vsize: 15876
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 33805 0 0 0 14911 86 0 0 25 0 1 0 680549545 12902400 2479 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3150 2479 1111 63 0 3087 0
vsize: 12600
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 37451 0 0 0 15903 94 0 0 25 0 1 0 680549545 16224256 2933 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3961 2933 1111 63 0 3898 0
vsize: 15844
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 39732 0 0 0 16898 99 0 0 25 0 1 0 680549545 16363520 2961 4294967295 134512640 134714508 3221221792 3221217760 1075965284 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3995 2961 1111 63 0 3932 0
vsize: 15980
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 42559 0 0 0 17891 106 0 0 25 0 1 0 680549545 14229504 2753 4294967295 134512640 134714508 3221221792 3221220272 1074031989 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3474 2753 1111 63 0 3411 0
vsize: 13896
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 45556 0 0 0 18884 113 0 0 25 0 1 0 680549545 12931072 2486 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3157 2486 1111 63 0 3094 0
vsize: 12628
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 48086 0 0 0 19879 119 0 0 25 0 1 0 680549545 17174528 2842 4294967295 134512640 134714508 3221221792 3221217660 1074787937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4193 2842 1111 63 0 4130 0
vsize: 16772
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 49561 0 0 0 20875 123 0 0 25 0 1 0 680549545 17584128 2911 4294967295 134512640 134714508 3221221792 3221218320 1075120005 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4293 2911 1111 63 0 4230 0
vsize: 17172
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 51760 0 0 0 21870 128 0 0 25 0 1 0 680549545 16818176 3076 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4106 3076 1111 63 0 4043 0
vsize: 16424
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 53503 0 0 0 22866 132 0 0 25 0 1 0 680549545 17928192 3037 4294967295 134512640 134714508 3221221792 3221217672 1074788565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4377 3037 1111 63 0 4314 0
vsize: 17508
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 54838 0 0 0 23862 136 0 0 25 0 1 0 680549545 17825792 3018 4294967295 134512640 134714508 3221221792 3221217848 1074789806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4352 3018 1111 63 0 4289 0
vsize: 17408
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 55773 0 0 0 24860 138 0 0 25 0 1 0 680549545 14622720 2833 4294967295 134512640 134714508 3221221792 3221220048 1073990032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3570 2833 1111 63 0 3507 0
vsize: 14280
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 58194 0 0 0 25854 145 0 0 25 0 1 0 680549545 17010688 3128 4294967295 134512640 134714508 3221221792 3221217756 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4153 3128 1111 63 0 4090 0
vsize: 16612
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 59469 0 0 0 26851 147 0 0 25 0 1 0 680549545 16883712 3070 4294967295 134512640 134714508 3221221792 3221218320 1075397167 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4122 3070 1111 63 0 4059 0
vsize: 16488
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 61592 0 0 0 27846 153 0 0 25 0 1 0 680549545 18092032 3126 4294967295 134512640 134714508 3221221792 3221218064 1074960759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4417 3126 1111 63 0 4354 0
vsize: 17668
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 63466 0 0 0 28841 158 0 0 25 0 1 0 680549545 17092608 3155 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3155 1111 63 0 4110 0
vsize: 16692
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 65555 0 0 0 29835 164 0 0 25 0 1 0 680549545 18341888 3157 4294967295 134512640 134714508 3221221792 3221218064 1074960896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4478 3157 1111 63 0 4415 0
vsize: 17912
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 68221 0 0 0 30829 170 0 0 25 0 1 0 680549545 18268160 3170 4294967295 134512640 134714508 3221221792 3221218000 1074815309 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4460 3170 1111 63 0 4397 0
vsize: 17840
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 68524 0 0 0 31829 171 0 0 25 0 1 0 680549545 17338368 3211 4294967295 134512640 134714508 3221221792 3221217700 1074786498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4233 3211 1111 63 0 4170 0
vsize: 16932
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 71609 0 0 0 32823 177 0 0 25 0 1 0 680549545 18477056 3209 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4511 3209 1111 63 0 4448 0
vsize: 18044
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 72305 0 0 0 33821 179 0 0 25 0 1 0 680549545 13905920 2724 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3395 2724 1111 63 0 3332 0
vsize: 13580
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 75563 0 0 0 34813 187 0 0 25 0 1 0 680549545 18386944 3186 4294967295 134512640 134714508 3221221792 3221218720 1075960265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4489 3186 1111 63 0 4426 0
vsize: 17956
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 78612 0 0 0 35806 195 0 0 25 0 1 0 680549545 17580032 3261 4294967295 134512640 134714508 3221221792 3221217752 1075964775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3261 1111 63 0 4229 0
vsize: 17168
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 79805 0 0 0 36802 198 0 0 25 0 1 0 680549545 17666048 3285 4294967295 134512640 134714508 3221221792 3221218336 1075088573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4313 3285 1111 63 0 4250 0
vsize: 17252
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 81079 0 0 0 37799 201 0 0 25 0 1 0 680549545 17698816 3312 4294967295 134512640 134714508 3221221792 3221217856 1075084533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4321 3312 1111 63 0 4258 0
vsize: 17284
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 82723 0 0 0 38795 206 0 0 25 0 1 0 680549545 18833408 3562 4294967295 134512640 134714508 3221221792 3221217792 1075965246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4598 3562 1111 63 0 4535 0
vsize: 18392
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 84002 0 0 0 39792 209 0 0 25 0 1 0 680549545 17571840 3297 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4290 3297 1111 63 0 4227 0
vsize: 17160
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 85317 0 0 0 40789 212 0 0 25 0 1 0 680549545 17756160 3319 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4335 3319 1111 63 0 4272 0
vsize: 17340
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 88304 0 0 0 41782 220 0 0 25 0 1 0 680549545 18903040 3578 4294967295 134512640 134714508 3221221792 3221218160 1075894558 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4615 3578 1111 63 0 4552 0
vsize: 18460
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 91165 0 0 0 42775 227 0 0 25 0 1 0 680549545 14077952 2766 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2766 1111 63 0 3374 0
vsize: 13748
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 93967 0 0 0 43768 234 0 0 25 0 1 0 680549545 14213120 2799 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2799 1111 63 0 3407 0
vsize: 13880
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 94947 0 0 0 44765 237 0 0 25 0 1 0 680549545 17989632 3385 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4392 3385 1111 63 0 4329 0
vsize: 17568
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 98096 0 0 0 45757 245 0 0 25 0 1 0 680549545 17682432 3294 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4317 3294 1111 63 0 4254 0
vsize: 17268
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 99381 0 0 0 46754 248 0 0 25 0 1 0 680549545 18046976 3388 4294967295 134512640 134714508 3221221792 3221217760 1075965250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4406 3388 1111 63 0 4343 0
vsize: 17624
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 101656 0 0 0 47750 253 0 0 25 0 1 0 680549545 17596416 3261 4294967295 134512640 134714508 3221221792 3221217676 1074788926 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4296 3261 1111 63 0 4233 0
vsize: 17184
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 102837 0 0 0 48747 256 0 0 25 0 1 0 680549545 18026496 3394 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4401 3394 1111 63 0 4338 0
vsize: 17604
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 104027 0 0 0 49744 259 0 0 25 0 1 0 680549545 19374080 3454 4294967295 134512640 134714508 3221221792 3221217752 1074789570 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4730 3454 1111 63 0 4667 0
vsize: 18920
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 105842 0 0 0 50739 264 0 0 25 0 1 0 680549545 19472384 3436 4294967295 134512640 134714508 3221221792 3221217672 1074788437 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4754 3436 1111 63 0 4691 0
vsize: 19016
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 107666 0 0 0 51735 268 0 0 25 0 1 0 680549545 18268160 3459 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4460 3459 1111 63 0 4397 0
vsize: 17840
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 107676 0 0 0 52735 268 0 0 25 0 1 0 680549545 18268160 3469 4294967295 134512640 134714508 3221221792 3221217944 1074883056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4460 3469 1111 63 0 4397 0
vsize: 17840
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 107676 0 0 0 53735 268 0 0 25 0 1 0 680549545 18268160 3469 4294967295 134512640 134714508 3221221792 3221217804 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4460 3469 1111 63 0 4397 0
vsize: 17840
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 109978 0 0 0 54730 274 0 0 25 0 1 0 680549545 14581760 2889 4294967295 134512640 134714508 3221221792 3221220176 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3560 2889 1111 63 0 3497 0
vsize: 14240
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 110906 0 0 0 55728 276 0 0 25 0 1 0 680549545 18157568 3423 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3423 1111 63 0 4370 0
vsize: 17732
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 112323 0 0 0 56724 280 0 0 25 0 1 0 680549545 18313216 3476 4294967295 134512640 134714508 3221221792 3221217952 1075093350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4471 3476 1111 63 0 4408 0
vsize: 17884
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 112324 0 0 0 57725 280 0 0 25 0 1 0 680549545 18313216 3477 4294967295 134512640 134714508 3221221792 3221217952 1075094841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4471 3477 1111 63 0 4408 0
vsize: 17884
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 115385 0 0 0 58717 287 0 0 25 0 1 0 680549545 19451904 3388 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4749 3388 1111 63 0 4686 0
vsize: 18996
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 117150 0 0 0 59712 292 0 0 25 0 1 0 680549545 19554304 3540 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4774 3540 1111 63 0 4711 0
vsize: 19096
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 118693 0 0 0 60709 296 0 0 25 0 1 0 680549545 19566592 3527 4294967295 134512640 134714508 3221221792 3221217936 1074969465 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4777 3527 1111 63 0 4714 0
vsize: 19108
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 118956 0 0 0 61708 297 0 0 25 0 1 0 680549545 18485248 3526 4294967295 134512640 134714508 3221221792 3221218160 1075894487 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4513 3526 1111 63 0 4450 0
vsize: 18052
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 119863 0 0 0 62707 299 0 0 25 0 1 0 680549545 16261120 3203 4294967295 134512640 134714508 3221221792 3221220320 134648534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3970 3203 1111 63 0 3907 0
vsize: 15880
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 122301 0 0 0 63701 305 0 0 25 0 1 0 680549545 18198528 3435 4294967295 134512640 134714508 3221221792 3221218124 1076111491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3435 1111 63 0 4380 0
vsize: 17772
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 123719 0 0 0 64697 309 0 0 25 0 1 0 680549545 18534400 3523 4294967295 134512640 134714508 3221221792 3221218020 1075115039 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3523 1111 63 0 4462 0
vsize: 18100
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 123735 0 0 0 65697 309 0 0 25 0 1 0 680549545 18534400 3539 4294967295 134512640 134714508 3221221792 3221217752 1075964745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3539 1111 63 0 4462 0
vsize: 18100
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 126189 0 0 0 66692 314 0 0 25 0 1 0 680549545 14872576 2960 4294967295 134512640 134714508 3221221792 3221220176 1074153669 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3631 2960 1111 63 0 3568 0
vsize: 14524
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 128379 0 0 0 67686 321 0 0 25 0 1 0 680549545 19656704 3529 4294967295 134512640 134714508 3221221792 3221217936 1074969461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4799 3529 1111 63 0 4736 0
vsize: 19196
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 128665 0 0 0 68685 322 0 0 25 0 1 0 680549545 18575360 3552 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4535 3552 1111 63 0 4472 0
vsize: 18140
[startup+700.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 129196 0 0 0 69684 323 0 0 25 0 1 0 680549545 14852096 2934 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3626 2934 1111 63 0 3563 0
vsize: 14504
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 130192 0 0 0 70682 325 0 0 25 0 1 0 680549545 18505728 3515 4294967295 134512640 134714508 3221221792 3221218040 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4518 3515 1111 63 0 4455 0
vsize: 18072
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 130679 0 0 0 71681 326 0 0 25 0 1 0 680549545 14897152 2966 4294967295 134512640 134714508 3221221792 3221220192 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2966 1111 63 0 3574 0
vsize: 14548
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 131674 0 0 0 72678 329 0 0 25 0 1 0 680549545 18767872 3545 4294967295 134512640 134714508 3221221792 3221218784 1075110432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4582 3545 1111 63 0 4519 0
vsize: 18328
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 134607 0 0 0 73672 336 0 0 25 0 1 0 680549545 19550208 3487 4294967295 134512640 134714508 3221221792 3221218064 1074961146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4773 3487 1111 63 0 4710 0
vsize: 19092
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 137595 0 0 0 74664 343 0 0 25 0 1 0 680549545 18534400 3488 4294967295 134512640 134714508 3221221792 3221217864 1075964745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4525 3488 1111 63 0 4462 0
vsize: 18100
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 140823 0 0 0 75656 352 0 0 25 0 1 0 680549545 19570688 3419 4294967295 134512640 134714508 3221221792 3221217952 1075091819 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4778 3419 1111 63 0 4715 0
vsize: 19112
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 143301 0 0 0 76649 359 0 0 25 0 1 0 680549545 16125952 3213 4294967295 134512640 134714508 3221221792 3221220040 1074207217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3937 3213 1111 63 0 3874 0
vsize: 15748
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 146977 0 0 0 77640 368 0 0 25 0 1 0 680549545 19529728 3480 4294967295 134512640 134714508 3221221792 3221218000 1074815253 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4768 3480 1111 63 0 4705 0
vsize: 19072
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 147606 0 0 0 78639 369 0 0 25 0 1 0 680549545 15065088 3007 4294967295 134512640 134714508 3221221792 3221219960 1077377534 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3678 3007 1111 63 0 3615 0
vsize: 14712
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 150907 0 0 0 79632 376 0 0 25 0 1 0 680549545 19517440 3411 4294967295 134512640 134714508 3221221792 3221218560 1076083431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4765 3411 1111 63 0 4702 0
vsize: 19060
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 154045 0 0 0 80625 384 0 0 25 0 1 0 680549545 15335424 3041 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3744 3041 1111 63 0 3681 0
vsize: 14976
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 155796 0 0 0 81621 388 0 0 25 0 1 0 680549545 19746816 3520 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4821 3520 1111 63 0 4758 0
vsize: 19284
[startup+830.156 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 29041
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 157257 0 0 0 82630 392 0 0 25 0 1 0 680549545 18976768 3615 4294967295 134512640 134714508 3221221792 3221218560 1076083584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4633 3615 1111 63 0 4570 0
vsize: 18532
[startup+840.213 s]
Raw data (loadavg): 1.30 1.04 1.01 3/57 29081
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 160287 0 0 0 83628 400 0 0 25 0 1 0 680549545 20041728 3881 4294967295 134512640 134714508 3221221792 3221217756 1074788153 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4893 3881 1111 63 0 4830 0
vsize: 19572
[startup+850.391 s]
Raw data (loadavg): 1.40 1.07 1.02 3/58 29091
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 160298 0 0 0 84646 400 0 0 25 0 1 0 680549545 18960384 3629 4294967295 134512640 134714508 3221221792 3221218032 1075115709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4629 3629 1111 63 0 4566 0
vsize: 18516
[startup+860.393 s]
Raw data (loadavg): 1.34 1.06 1.02 2/54 29094
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 163896 0 0 0 85638 407 0 0 25 0 1 0 680549545 20090880 3619 4294967295 134512640 134714508 3221221792 3221217740 1074788930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4905 3619 1111 63 0 4842 0
vsize: 19620
[startup+870.393 s]
Raw data (loadavg): 1.37 1.08 1.02 2/54 29094
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 164204 0 0 0 86638 408 0 0 25 0 1 0 680549545 19173376 3662 4294967295 134512640 134714508 3221221792 3221218416 1075965240 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4681 3662 1111 63 0 4618 0
vsize: 18724
[startup+880.393 s]
Raw data (loadavg): 1.31 1.08 1.02 2/54 29094
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 167279 0 0 0 87631 416 0 0 25 0 1 0 680549545 19054592 3648 4294967295 134512640 134714508 3221221792 3221217756 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4652 3648 1111 63 0 4589 0
vsize: 18608
[startup+890.393 s]
Raw data (loadavg): 1.26 1.07 1.02 2/54 29094
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 167291 0 0 0 88631 416 0 0 25 0 1 0 680549545 19054592 3660 4294967295 134512640 134714508 3221221792 3221218032 1075115747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4652 3660 1111 63 0 4589 0
vsize: 18608
[startup+900.394 s]
Raw data (loadavg): 1.22 1.07 1.02 2/54 29094
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 170464 0 0 0 89623 424 0 0 25 0 1 0 680549545 19111936 3659 4294967295 134512640 134714508 3221221792 3221217804 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4666 3659 1111 63 0 4603 0
vsize: 18664
[startup+910.395 s]
Raw data (loadavg): 1.19 1.07 1.02 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 170474 0 0 0 90623 424 0 0 25 0 1 0 680549545 19111936 3669 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4666 3669 1111 63 0 4603 0
vsize: 18664
[startup+920.396 s]
Raw data (loadavg): 1.16 1.06 1.02 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 173543 0 0 0 91616 431 0 0 25 0 1 0 680549545 20205568 3663 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4933 3663 1111 63 0 4870 0
vsize: 19732
[startup+930.397 s]
Raw data (loadavg): 1.13 1.06 1.02 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 173813 0 0 0 92616 432 0 0 25 0 1 0 680549545 19124224 3668 4294967295 134512640 134714508 3221221792 3221218232 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4669 3668 1111 63 0 4606 0
vsize: 18676
[startup+940.397 s]
Raw data (loadavg): 1.11 1.06 1.02 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 174706 0 0 0 93613 434 0 0 25 0 1 0 680549545 16769024 3367 4294967295 134512640 134714508 3221221792 3221220304 134648493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4094 3367 1111 63 0 4031 0
vsize: 16376
[startup+950.397 s]
Raw data (loadavg): 1.09 1.06 1.02 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 177133 0 0 0 94608 439 0 0 25 0 1 0 680549545 19193856 3686 4294967295 134512640 134714508 3221221792 3221217676 1074788953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4686 3686 1111 63 0 4623 0
vsize: 18744
[startup+960.398 s]
Raw data (loadavg): 1.08 1.05 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 178687 0 0 0 95604 444 0 0 25 0 1 0 680549545 16179200 3204 4294967295 134512640 134714508 3221221792 3221218904 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3950 3205 1111 63 0 3887 0
vsize: 15800
[startup+970.399 s]
Raw data (loadavg): 1.07 1.05 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 179682 0 0 0 96602 446 0 0 25 0 1 0 680549545 15712256 3145 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3836 3145 1111 63 0 3773 0
vsize: 15344
[startup+980.399 s]
Raw data (loadavg): 1.06 1.05 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 180735 0 0 0 97599 449 0 0 25 0 1 0 680549545 19472384 3776 4294967295 134512640 134714508 3221221792 3221217760 1075965218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4754 3776 1111 63 0 4691 0
vsize: 19016
[startup+990.399 s]
Raw data (loadavg): 1.05 1.05 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 184110 0 0 0 98590 459 0 0 25 0 1 0 680549545 20688896 3836 4294967295 134512640 134714508 3221221792 3221217740 1074788964 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5051 3836 1111 63 0 4988 0
vsize: 20204
[startup+1000.4 s]
Raw data (loadavg): 1.04 1.05 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 184353 0 0 0 99589 459 0 0 25 0 1 0 680549545 19607552 3815 4294967295 134512640 134714508 3221221792 3221217700 1074786588 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4787 3815 1111 63 0 4724 0
vsize: 19148
[startup+1010.4 s]
Raw data (loadavg): 1.03 1.04 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 185395 0 0 0 100587 462 0 0 25 0 1 0 680549545 17158144 3433 4294967295 134512640 134714508 3221221792 3221220176 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4189 3433 1111 63 0 4126 0
vsize: 16756
[startup+1020.4 s]
Raw data (loadavg): 1.03 1.04 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 186331 0 0 0 101585 464 0 0 25 0 1 0 680549545 19660800 3835 4294967295 134512640 134714508 3221221792 3221218064 1074961301 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3835 1111 63 0 4737 0
vsize: 19200
[startup+1030.4 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 187090 0 0 0 102583 466 0 0 25 0 1 0 680549545 17321984 3546 4294967295 134512640 134714508 3221221792 3221219144 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4229 3546 1111 63 0 4166 0
vsize: 16916
[startup+1040.4 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 187916 0 0 0 103581 468 0 0 25 0 1 0 680549545 19505152 3821 4294967295 134512640 134714508 3221221792 3221217676 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4762 3821 1111 63 0 4699 0
vsize: 19048
[startup+1050.4 s]
Raw data (loadavg): 1.02 1.04 1.01 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 187927 0 0 0 104581 468 0 0 25 0 1 0 680549545 19660800 3832 4294967295 134512640 134714508 3221221792 3221218064 1074960835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4800 3832 1111 63 0 4737 0
vsize: 19200
[startup+1060.4 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 189938 0 0 0 105576 474 0 0 25 0 1 0 680549545 16457728 3347 4294967295 134512640 134714508 3221221792 3221220192 1074153822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4018 3347 1111 63 0 3955 0
vsize: 16072
[startup+1070.4 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 190778 0 0 0 106574 476 0 0 25 0 1 0 680549545 19533824 3784 4294967295 134512640 134714508 3221221792 3221218064 1074960795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4769 3784 1111 63 0 4706 0
vsize: 19076
[startup+1080.4 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 192609 0 0 0 107570 480 0 0 25 0 1 0 680549545 20623360 3771 4294967295 134512640 134714508 3221221792 3221218856 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 3771 1111 63 0 4972 0
vsize: 20140
[startup+1090.4 s]
Raw data (loadavg): 1.01 1.03 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 193769 0 0 0 108568 483 0 0 25 0 1 0 680549545 17317888 3467 4294967295 134512640 134714508 3221221792 3221219944 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4228 3467 1111 63 0 4165 0
vsize: 16912
[startup+1100.4 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 196357 0 0 0 109562 489 0 0 25 0 1 0 680549545 15982592 3216 4294967295 134512640 134714508 3221221792 3221219840 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3216 1111 63 0 3839 0
vsize: 15608
[startup+1110.4 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 197352 0 0 0 110560 491 0 0 25 0 1 0 680549545 19595264 3799 4294967295 134512640 134714508 3221221792 3221217676 1074788980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4784 3799 1111 63 0 4721 0
vsize: 19136
[startup+1120.4 s]
Raw data (loadavg): 1.00 1.03 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 198926 0 0 0 111556 495 0 0 25 0 1 0 680549545 19693568 3816 4294967295 134512640 134714508 3221221792 3221217676 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4808 3816 1111 63 0 4745 0
vsize: 19232
[startup+1130.4 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 198937 0 0 0 112556 495 0 0 25 0 1 0 680549545 19693568 3827 4294967295 134512640 134714508 3221221792 3221217936 1074970267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4808 3827 1111 63 0 4745 0
vsize: 19232
[startup+1140.41 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 198948 0 0 0 113556 495 0 0 25 0 1 0 680549545 19861504 3838 4294967295 134512640 134714508 3221221792 3221218320 1075397184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4849 3838 1111 63 0 4786 0
vsize: 19396
[startup+1150.41 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 202334 0 0 0 114548 503 0 0 25 0 1 0 680549545 19603456 3781 4294967295 134512640 134714508 3221221792 3221217952 1075094806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4786 3781 1111 63 0 4723 0
vsize: 19144
[startup+1160.41 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 203582 0 0 0 115546 506 0 0 25 0 1 0 680549545 20733952 3831 4294967295 134512640 134714508 3221221792 3221217660 1074787561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5062 3831 1111 63 0 4999 0
vsize: 20248
[startup+1170.41 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 203862 0 0 0 116546 507 0 0 25 0 1 0 680549545 19808256 3846 4294967295 134512640 134714508 3221221792 3221217944 1074883056 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4836 3846 1111 63 0 4773 0
vsize: 19344
[startup+1180.41 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 204420 0 0 0 117544 508 0 0 25 0 1 0 680549545 15945728 3193 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3893 3193 1111 63 0 3830 0
vsize: 15572
[startup+1190.41 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 205539 0 0 0 118541 512 0 0 25 0 1 0 680549545 19877888 3874 4294967295 134512640 134714508 3221221792 3221218064 1074961267 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4853 3874 1111 63 0 4790 0
vsize: 19412
[startup+1200.41 s]
Raw data (loadavg): 1.00 1.02 1.00 2/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) R 29040 7876 7672 0 -1 0 205557 0 0 0 119541 512 0 0 25 0 1 0 680549545 19877888 3891 4294967295 134512640 134714508 3221221792 3221217804 1074788959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4853 3891 1111 63 0 4790 0
vsize: 19412
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.00 1.02 1.00 1/54 29096
Raw data (stat): 29041 (bsolo_lpr_cuts) Z 29040 7876 7672 0 -1 1036 205557 0 0 0 119541 512 0 0 25 0 1 0 680549545 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.42
CPU time (s): 1200.54
CPU user time (s): 1195.42
CPU system time (s): 5.12922
CPU usage (%): 100.011
Max. virtual memory (Kb): 20248
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####