PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb
MD5SUM	cfa1bf2f1dd2df0f424e37a2971f8ba1
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	65500
Biggest coefficient in the objective function	16110321664000
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	32674140101032650
Number of bits of the sum of numbers in the objective function	55
Biggest number in a constraint	16110321664000
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	32674140101032650
Number of bits of the biggest sum of numbers	55
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.588909
Number of variables	65880
Total number of constraints	927
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	927
Minimum length of a constraint	20
Maximum length of a constraint	7460
Trace number 27875

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-24 23:29:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15641 boxname=wulflinc19 idbench=1204 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  cfa1bf2f1dd2df0f424e37a2971f8ba1  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-czprob.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-czprob.opb
IDLAUNCH: 15641
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        851804 kB
Buffers:         30404 kB
Cached:         125136 kB
SwapCached:        520 kB
Active:          41536 kB
Inactive:       116360 kB
HighTotal:      131008 kB
HighFree:        35644 kB
LowTotal:       903652 kB
LowFree:        816160 kB
SwapTotal:     2097892 kB
SwapFree:      2096796 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            19292 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:49:29 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 15641 7 1200.6 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 16369
Raw data (stat): 16369 (runsolver) R 16368 10795 10794 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834198530 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.001 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 1144 0 0 0 994 3 0 0 25 0 1 0 834198530 15777792 1068 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3852 1068 1111 63 0 3789 0
vsize: 15408
[startup+20.0016 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 1318 0 0 0 1994 4 0 0 25 0 1 0 834198530 16490496 1242 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4026 1242 1111 63 0 3963 0
vsize: 16104
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 1463 0 0 0 2994 4 0 0 25 0 1 0 834198530 17190912 1387 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4197 1387 1111 63 0 4134 0
vsize: 16788
[startup+40.0033 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 1616 0 0 0 3994 4 0 0 25 0 1 0 834198530 17764352 1540 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4337 1540 1111 63 0 4274 0
vsize: 17348
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 1784 0 0 0 4994 5 0 0 25 0 1 0 834198530 18481152 1708 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4512 1708 1111 63 0 4449 0
vsize: 18048
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 1950 0 0 0 5994 5 0 0 25 0 1 0 834198530 19189760 1874 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4685 1874 1111 63 0 4622 0
vsize: 18740
[startup+70.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 2104 0 0 0 6993 5 0 0 25 0 1 0 834198530 19755008 2028 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4823 2028 1111 63 0 4760 0
vsize: 19292
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 2283 0 0 0 7993 6 0 0 25 0 1 0 834198530 20463616 2207 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 2207 1111 63 0 4933 0
vsize: 19984
[startup+90.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 2440 0 0 0 8993 6 0 0 25 0 1 0 834198530 21172224 2364 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5169 2364 1111 63 0 5106 0
vsize: 20676
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 2592 0 0 0 9993 6 0 0 25 0 1 0 834198530 21737472 2516 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5307 2516 1111 63 0 5244 0
vsize: 21228
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 2745 0 0 0 10993 7 0 0 25 0 1 0 834198530 22446080 2669 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5480 2669 1111 63 0 5417 0
vsize: 21920
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 2916 0 0 0 11993 7 0 0 25 0 1 0 834198530 23150592 2840 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5652 2840 1111 63 0 5589 0
vsize: 22608
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 3070 0 0 0 12993 7 0 0 25 0 1 0 834198530 23719936 2994 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5791 2994 1111 63 0 5728 0
vsize: 23164
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 3235 0 0 0 13993 8 0 0 25 0 1 0 834198530 24424448 3159 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5963 3159 1111 63 0 5900 0
vsize: 23852
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 3395 0 0 0 14993 8 0 0 25 0 1 0 834198530 24993792 3319 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6102 3319 1111 63 0 6039 0
vsize: 24408
[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 3547 0 0 0 15993 8 0 0 25 0 1 0 834198530 25698304 3471 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6274 3471 1111 63 0 6211 0
vsize: 25096
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 3706 0 0 0 16993 9 0 0 25 0 1 0 834198530 26267648 3630 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6413 3630 1111 63 0 6350 0
vsize: 25652
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 3886 0 0 0 17993 9 0 0 25 0 1 0 834198530 27140096 3810 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6626 3810 1111 63 0 6563 0
vsize: 26504
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 4065 0 0 0 18992 9 0 0 25 0 1 0 834198530 27844608 3989 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6798 3989 1111 63 0 6735 0
vsize: 27192
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 4231 0 0 0 19992 10 0 0 25 0 1 0 834198530 28553216 4155 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6971 4155 1111 63 0 6908 0
vsize: 27884
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 4398 0 0 0 20992 10 0 0 25 0 1 0 834198530 29118464 4322 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7109 4322 1111 63 0 7046 0
vsize: 28436
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 4580 0 0 0 21992 10 0 0 25 0 1 0 834198530 29966336 4504 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7316 4504 1111 63 0 7253 0
vsize: 29264
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 4760 0 0 0 22992 11 0 0 25 0 1 0 834198530 30674944 4684 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7489 4684 1111 63 0 7426 0
vsize: 29956
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 4938 0 0 0 23991 11 0 0 25 0 1 0 834198530 31383552 4862 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7662 4862 1111 63 0 7599 0
vsize: 30648
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 5120 0 0 0 24991 11 0 0 25 0 1 0 834198530 32096256 5044 4294967295 134512640 134714508 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7836 5044 1111 63 0 7773 0
vsize: 31344
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 5299 0 0 0 25991 12 0 0 25 0 1 0 834198530 32796672 5223 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8007 5223 1111 63 0 7944 0
vsize: 32028
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 5466 0 0 0 26991 12 0 0 25 0 1 0 834198530 33509376 5390 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8181 5390 1111 63 0 8118 0
vsize: 32724
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 5660 0 0 0 27991 12 0 0 25 0 1 0 834198530 34361344 5584 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8389 5584 1111 63 0 8326 0
vsize: 33556
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 5833 0 0 0 28991 12 0 0 25 0 1 0 834198530 35065856 5757 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8561 5757 1111 63 0 8498 0
vsize: 34244
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 6027 0 0 0 29991 13 0 0 25 0 1 0 834198530 35774464 5951 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8734 5951 1111 63 0 8671 0
vsize: 34936
[startup+310.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 6214 0 0 0 30991 14 0 0 25 0 1 0 834198530 36622336 6138 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8941 6138 1111 63 0 8878 0
vsize: 35764
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 6414 0 0 0 31991 14 0 0 25 0 1 0 834198530 37474304 6338 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9149 6338 1111 63 0 9086 0
vsize: 36596
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 6613 0 0 0 32991 15 0 0 25 0 1 0 834198530 38334464 6537 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9359 6537 1111 63 0 9296 0
vsize: 37436
[startup+340.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 6805 0 0 0 33991 15 0 0 25 0 1 0 834198530 39038976 6729 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9531 6729 1111 63 0 9468 0
vsize: 38124
[startup+350.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 6986 0 0 0 34990 15 0 0 25 0 1 0 834198530 39751680 6910 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9705 6910 1111 63 0 9642 0
vsize: 38820
[startup+360.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 7187 0 0 0 35990 16 0 0 25 0 1 0 834198530 40599552 7111 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9912 7111 1111 63 0 9849 0
vsize: 39648
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 7361 0 0 0 36990 16 0 0 25 0 1 0 834198530 41308160 7285 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10085 7285 1111 63 0 10022 0
vsize: 40340
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 7555 0 0 0 37990 17 0 0 25 0 1 0 834198530 42160128 7479 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10293 7479 1111 63 0 10230 0
vsize: 41172
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 7742 0 0 0 38990 17 0 0 25 0 1 0 834198530 42860544 7666 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10464 7666 1111 63 0 10401 0
vsize: 41856
[startup+400.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 7914 0 0 0 39990 18 0 0 25 0 1 0 834198530 43573248 7838 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10638 7838 1111 63 0 10575 0
vsize: 42552
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 8103 0 0 0 40990 18 0 0 25 0 1 0 834198530 44425216 8027 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10846 8027 1111 63 0 10783 0
vsize: 43384
[startup+420.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 8318 0 0 0 41990 18 0 0 25 0 1 0 834198530 45268992 8242 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11052 8242 1111 63 0 10989 0
vsize: 44208
[startup+430.148 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 8523 0 0 0 43000 19 0 0 25 0 1 0 834198530 46116864 8447 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11259 8447 1111 63 0 11196 0
vsize: 45036
[startup+440.149 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 8739 0 0 0 44000 19 0 0 25 0 1 0 834198530 46968832 8663 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11467 8663 1111 63 0 11404 0
vsize: 45868
[startup+450.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 8926 0 0 0 45002 19 0 0 25 0 1 0 834198530 47669248 8850 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11638 8850 1111 63 0 11575 0
vsize: 46552
[startup+460.162 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 9105 0 0 0 46002 19 0 0 25 0 1 0 834198530 48517120 9029 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11845 9029 1111 63 0 11782 0
vsize: 47380
[startup+470.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 9291 0 0 0 47002 20 0 0 25 0 1 0 834198530 49225728 9215 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12018 9215 1111 63 0 11955 0
vsize: 48072
[startup+480.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 9507 0 0 0 48002 20 0 0 25 0 1 0 834198530 50069504 9431 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12224 9431 1111 63 0 12161 0
vsize: 48896
[startup+490.173 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 9713 0 0 0 49002 21 0 0 25 0 1 0 834198530 50917376 9637 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12431 9637 1111 63 0 12368 0
vsize: 49724
[startup+500.175 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 9934 0 0 0 50002 21 0 0 25 0 1 0 834198530 51908608 9858 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12673 9858 1111 63 0 12610 0
vsize: 50692
[startup+510.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 10123 0 0 0 51002 22 0 0 25 0 1 0 834198530 52617216 10047 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12846 10047 1111 63 0 12783 0
vsize: 51384
[startup+520.174 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 10308 0 0 0 52001 22 0 0 25 0 1 0 834198530 53317632 10232 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13017 10232 1111 63 0 12954 0
vsize: 52068
[startup+530.175 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 10529 0 0 0 53001 23 0 0 25 0 1 0 834198530 54308864 10453 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13259 10453 1111 63 0 13196 0
vsize: 53036
[startup+540.176 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 10744 0 0 0 54001 23 0 0 25 0 1 0 834198530 55156736 10668 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13466 10668 1111 63 0 13403 0
vsize: 53864
[startup+550.182 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 10944 0 0 0 55001 24 0 0 25 0 1 0 834198530 56000512 10868 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13672 10868 1111 63 0 13609 0
vsize: 54688
[startup+560.195 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 11138 0 0 0 56002 24 0 0 25 0 1 0 834198530 56709120 11062 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13845 11062 1111 63 0 13782 0
vsize: 55380
[startup+570.205 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 11359 0 0 0 57003 25 0 0 25 0 1 0 834198530 57700352 11283 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14087 11283 1111 63 0 14024 0
vsize: 56348
[startup+580.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 11551 0 0 0 58003 25 0 0 25 0 1 0 834198530 58400768 11475 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14258 11475 1111 63 0 14195 0
vsize: 57032
[startup+590.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 11745 0 0 0 59002 25 0 0 25 0 1 0 834198530 59248640 11669 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14465 11669 1111 63 0 14402 0
vsize: 57860
[startup+600.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 11951 0 0 0 60002 26 0 0 25 0 1 0 834198530 60096512 11875 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14672 11875 1111 63 0 14609 0
vsize: 58688
[startup+610.207 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 12192 0 0 0 61002 26 0 0 25 0 1 0 834198530 61169664 12116 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14934 12116 1111 63 0 14871 0
vsize: 59736
[startup+620.206 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 12413 0 0 0 62002 26 0 0 25 0 1 0 834198530 62152704 12337 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15174 12337 1111 63 0 15111 0
vsize: 60696
[startup+630.207 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 12640 0 0 0 63002 27 0 0 25 0 1 0 834198530 63000576 12564 4294967295 134512640 134714508 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15381 12564 1111 63 0 15318 0
vsize: 61524
[startup+640.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 12870 0 0 0 64001 27 0 0 25 0 1 0 834198530 63991808 12794 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15623 12794 1111 63 0 15560 0
vsize: 62492
[startup+650.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 13104 0 0 0 65001 27 0 0 25 0 1 0 834198530 64978944 13028 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15864 13028 1111 63 0 15801 0
vsize: 63456
[startup+660.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 13324 0 0 0 66001 28 0 0 25 0 1 0 834198530 65822720 13248 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16070 13248 1111 63 0 16007 0
vsize: 64280
[startup+670.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 13547 0 0 0 67000 29 0 0 25 0 1 0 834198530 66670592 13471 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16277 13471 1111 63 0 16214 0
vsize: 65108
[startup+680.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 13782 0 0 0 68000 29 0 0 25 0 1 0 834198530 67661824 13706 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16519 13706 1111 63 0 16456 0
vsize: 66076
[startup+690.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 14003 0 0 0 69000 29 0 0 25 0 1 0 834198530 68648960 13927 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16760 13927 1111 63 0 16697 0
vsize: 67040
[startup+700.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 14246 0 0 0 69999 30 0 0 25 0 1 0 834198530 69640192 14170 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17002 14170 1111 63 0 16939 0
vsize: 68008
[startup+710.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 14486 0 0 0 70999 30 0 0 25 0 1 0 834198530 70623232 14410 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17242 14410 1111 63 0 17179 0
vsize: 68968
[startup+720.21 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 14701 0 0 0 71999 31 0 0 25 0 1 0 834198530 71471104 14625 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17449 14625 1111 63 0 17386 0
vsize: 69796
[startup+730.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 14937 0 0 0 72999 31 0 0 25 0 1 0 834198530 72462336 14861 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17691 14861 1111 63 0 17628 0
vsize: 70764
[startup+740.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 15179 0 0 0 73999 31 0 0 25 0 1 0 834198530 73449472 15103 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17932 15103 1111 63 0 17869 0
vsize: 71728
[startup+750.211 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 15405 0 0 0 74999 31 0 0 25 0 1 0 834198530 74293248 15329 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18138 15329 1111 63 0 18075 0
vsize: 72552
[startup+760.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 15649 0 0 0 75999 32 0 0 25 0 1 0 834198530 75284480 15573 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18380 15573 1111 63 0 18317 0
vsize: 73520
[startup+770.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 15898 0 0 0 76999 32 0 0 25 0 1 0 834198530 76271616 15822 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18621 15822 1111 63 0 18558 0
vsize: 74484
[startup+780.212 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 16132 0 0 0 77999 32 0 0 25 0 1 0 834198530 77262848 16056 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18863 16056 1111 63 0 18800 0
vsize: 75452
[startup+790.219 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 16382 0 0 0 78999 33 0 0 25 0 1 0 834198530 78249984 16306 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19104 16306 1111 63 0 19041 0
vsize: 76416
[startup+800.219 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 16604 0 0 0 79999 34 0 0 25 0 1 0 834198530 79241216 16528 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19346 16528 1111 63 0 19283 0
vsize: 77384
[startup+810.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 16823 0 0 0 80998 34 0 0 25 0 1 0 834198530 80084992 16747 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19552 16747 1111 63 0 19489 0
vsize: 78208
[startup+820.221 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 17059 0 0 0 81998 34 0 0 25 0 1 0 834198530 81072128 16983 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19793 16983 1111 63 0 19730 0
vsize: 79172
[startup+830.221 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 17295 0 0 0 82998 35 0 0 25 0 1 0 834198530 82063360 17219 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20035 17219 1111 63 0 19972 0
vsize: 80140
[startup+840.221 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 17557 0 0 0 83998 35 0 0 25 0 1 0 834198530 83054592 17481 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 17481 1111 63 0 20214 0
vsize: 81108
[startup+850.221 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 17807 0 0 0 84997 36 0 0 25 0 1 0 834198530 84180992 17731 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 17731 1111 63 0 20489 0
vsize: 82208
[startup+860.222 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 18027 0 0 0 85997 37 0 0 25 0 1 0 834198530 85024768 17951 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20758 17951 1111 63 0 20695 0
vsize: 83032
[startup+870.222 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 18261 0 0 0 86997 37 0 0 25 0 1 0 834198530 86016000 18185 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21000 18185 1111 63 0 20937 0
vsize: 84000
[startup+880.229 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 18498 0 0 0 87997 37 0 0 25 0 1 0 834198530 87003136 18422 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21241 18422 1111 63 0 21178 0
vsize: 84964
[startup+890.332 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 18746 0 0 0 89007 38 0 0 25 0 1 0 834198530 87994368 18670 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21483 18670 1111 63 0 21420 0
vsize: 85932
[startup+900.348 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 18981 0 0 0 90009 38 0 0 25 0 1 0 834198530 88985600 18905 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21725 18905 1111 63 0 21662 0
vsize: 86900
[startup+910.349 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 19237 0 0 0 91008 39 0 0 25 0 1 0 834198530 89968640 19161 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21965 19161 1111 63 0 21902 0
vsize: 87860
[startup+920.35 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 19485 0 0 0 92008 39 0 0 25 0 1 0 834198530 90955776 19409 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22206 19409 1111 63 0 22143 0
vsize: 88824
[startup+930.351 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 19728 0 0 0 93008 40 0 0 25 0 1 0 834198530 91947008 19652 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22448 19652 1111 63 0 22385 0
vsize: 89792
[startup+940.35 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 19978 0 0 0 94008 40 0 0 25 0 1 0 834198530 92934144 19902 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22689 19902 1111 63 0 22626 0
vsize: 90756
[startup+950.356 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 20226 0 0 0 95008 41 0 0 25 0 1 0 834198530 94064640 20150 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22965 20150 1111 63 0 22902 0
vsize: 91860
[startup+960.361 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 20489 0 0 0 96008 41 0 0 25 0 1 0 834198530 95055872 20413 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23207 20413 1111 63 0 23144 0
vsize: 92828
[startup+970.361 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 20752 0 0 0 97007 42 0 0 25 0 1 0 834198530 96186368 20676 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23483 20676 1111 63 0 23420 0
vsize: 93932
[startup+980.362 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 21021 0 0 0 98007 42 0 0 25 0 1 0 834198530 97316864 20945 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23759 20945 1111 63 0 23696 0
vsize: 95036
[startup+990.362 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 21276 0 0 0 99006 43 0 0 25 0 1 0 834198530 98299904 21200 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23999 21200 1111 63 0 23936 0
vsize: 95996
[startup+1000.36 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 21538 0 0 0 100006 43 0 0 25 0 1 0 834198530 99430400 21462 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24275 21462 1111 63 0 24212 0
vsize: 97100
[startup+1010.36 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 21822 0 0 0 101006 44 0 0 25 0 1 0 834198530 100556800 21746 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24550 21746 1111 63 0 24487 0
vsize: 98200
[startup+1020.36 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 22085 0 0 0 102006 45 0 0 25 0 1 0 834198530 101548032 22009 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24792 22009 1111 63 0 24729 0
vsize: 99168
[startup+1030.36 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 22368 0 0 0 103006 45 0 0 25 0 1 0 834198530 102817792 22292 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25102 22292 1111 63 0 25039 0
vsize: 100408
[startup+1040.36 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 22637 0 0 0 104005 46 0 0 25 0 1 0 834198530 103809024 22561 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25344 22561 1111 63 0 25281 0
vsize: 101376
[startup+1050.36 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 22906 0 0 0 105005 46 0 0 25 0 1 0 834198530 104939520 22830 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25620 22830 1111 63 0 25557 0
vsize: 102480
[startup+1060.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 23230 0 0 0 106004 47 0 0 25 0 1 0 834198530 106577920 23154 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26020 23154 1111 63 0 25957 0
vsize: 104080
[startup+1070.36 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 23505 0 0 0 107003 48 0 0 25 0 1 0 834198530 107700224 23429 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26294 23429 1111 63 0 26231 0
vsize: 105176
[startup+1080.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 23802 0 0 0 108003 49 0 0 25 0 1 0 834198530 108830720 23726 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26570 23726 1111 63 0 26507 0
vsize: 106280
[startup+1090.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 24093 0 0 0 109003 49 0 0 25 0 1 0 834198530 110100480 24017 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26880 24017 1111 63 0 26817 0
vsize: 107520
[startup+1100.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 24389 0 0 0 110002 50 0 0 25 0 1 0 834198530 111226880 24313 4294967295 134512640 134714508 3221224576 3221222444 1077244341 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27155 24313 1111 63 0 27092 0
vsize: 108620
[startup+1110.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 24688 0 0 0 111002 50 0 0 25 0 1 0 834198530 112500736 24612 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27466 24612 1111 63 0 27403 0
vsize: 109864
[startup+1120.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 24971 0 0 0 112001 51 0 0 25 0 1 0 834198530 113631232 24895 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27742 24895 1111 63 0 27679 0
vsize: 110968
[startup+1130.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 25276 0 0 0 113001 52 0 0 25 0 1 0 834198530 114900992 25200 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28052 25200 1111 63 0 27989 0
vsize: 112208
[startup+1140.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 25592 0 0 0 114000 52 0 0 25 0 1 0 834198530 116170752 25516 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28362 25516 1111 63 0 28299 0
vsize: 113448
[startup+1150.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 25904 0 0 0 115000 53 0 0 25 0 1 0 834198530 117440512 25828 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28672 25828 1111 63 0 28609 0
vsize: 114688
[startup+1160.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 26222 0 0 0 116000 54 0 0 25 0 1 0 834198530 118710272 26146 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28982 26146 1111 63 0 28919 0
vsize: 115928
[startup+1170.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 26532 0 0 0 116999 54 0 0 25 0 1 0 834198530 119980032 26456 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29292 26456 1111 63 0 29229 0
vsize: 117168
[startup+1180.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 26838 0 0 0 117999 54 0 0 25 0 1 0 834198530 121253888 26762 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29603 26762 1111 63 0 29540 0
vsize: 118412
[startup+1190.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 27154 0 0 0 118999 55 0 0 25 0 1 0 834198530 122523648 27078 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29913 27078 1111 63 0 29850 0
vsize: 119652
[startup+1200.37 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) R 16368 10795 10794 0 -1 0 27481 0 0 0 119999 55 0 0 25 0 1 0 834198530 123932672 27405 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30257 27405 1111 63 0 30194 0
vsize: 121028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 16369
Raw data (stat): 16369 (bsolo_lpr_cuts) Z 16368 10795 10794 0 -1 1036 27481 0 0 0 119999 60 0 0 25 0 1 0 834198530 0 0 4294967295 0 0 0 0 0 0 0 7 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.6
CPU user time (s): 1200
CPU system time (s): 0.603908
CPU usage (%): 100.015
Max. virtual memory (Kb): 121028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####