PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-A1C1S1.opb
MD5SUM	4927ae8cbb5bb871eb7a61843614b4ec
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	25152
Biggest coefficient in the objective function	30395596800
Number of bits for the biggest coefficient in the objective function	35
Sum of the numbers in the objective function	14310357806800
Number of bits of the sum of numbers in the objective function	44
Biggest number in a constraint	30395596800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	14310357806800
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.630904
Number of variables	69312
Total number of constraints	3504
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	192
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	1
Maximum length of a constraint	485
Trace number 41679

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 19:47:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29745 boxname=wulflinc6 idbench=1529 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4927ae8cbb5bb871eb7a61843614b4ec  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-A1C1S1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-A1C1S1.opb
IDLAUNCH: 29745
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        822424 kB
Buffers:         18876 kB
Cached:         172092 kB
SwapCached:        928 kB
Active:          33832 kB
Inactive:       159172 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        822172 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13600 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:07:06 (client local time) WITH STATUS 0 IN 1175.18 SECONDS
stats: 29745 7 1175.18 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 69312 variables and 4560 constraints.
c After prepocess the problem consists of 50352 variables and 5263 constraints.
c preprocess terminated 284.154 s
c Initial Lower Bound: 2147483344
c Lower Bound Elapsed time: 118.782
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 s
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.95 0.93 2/54 15910
Raw data (stat): 15910 (runsolver) R 15909 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912910420 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0013 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1538 0 0 0 994 4 0 0 25 0 1 0 912910420 18894848 1458 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 1458 1111 63 0 4550 0
vsize: 18452
[startup+20.003 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 2542 0 0 0 1991 7 0 0 25 0 1 0 912910420 22982656 2462 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5611 2462 1111 63 0 5548 0
vsize: 22444
[startup+30.0035 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 3631 0 0 0 2989 9 0 0 25 0 1 0 912910420 27525120 3551 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6720 3551 1111 63 0 6657 0
vsize: 26880
[startup+40.0047 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 4781 0 0 0 3988 11 0 0 25 0 1 0 912910420 32182272 4701 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7857 4701 1111 63 0 7794 0
vsize: 31428
[startup+50.0061 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 6008 0 0 0 4987 13 0 0 25 0 1 0 912910420 37265408 5928 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9098 5928 1111 63 0 9035 0
vsize: 36392
[startup+60.0069 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 7318 0 0 0 5985 15 0 0 25 0 1 0 912910420 42639360 7238 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10410 7238 1111 63 0 10347 0
vsize: 41640
[startup+70.0071 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 8702 0 0 0 6983 17 0 0 25 0 1 0 912910420 48291840 8622 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11790 8622 1111 63 0 11727 0
vsize: 47160
[startup+80.0085 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 10208 0 0 0 7981 20 0 0 25 0 1 0 912910420 54362112 10128 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13272 10128 1111 63 0 13209 0
vsize: 53088
[startup+90.0094 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 11857 0 0 0 8977 24 0 0 25 0 1 0 912910420 61218816 11777 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14946 11777 1111 63 0 14883 0
vsize: 59784
[startup+100.01 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 13626 0 0 0 9974 28 0 0 25 0 1 0 912910420 68562944 13546 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16739 13546 1111 63 0 16676 0
vsize: 66956
[startup+110.011 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 15506 0 0 0 10970 32 0 0 25 0 1 0 912910420 76185600 15426 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18600 15426 1111 63 0 18537 0
vsize: 74400
[startup+120.012 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 17567 0 0 0 11966 37 0 0 25 0 1 0 912910420 84656128 17487 4294967295 134512640 134716908 3221224560 3221223216 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20668 17487 1111 63 0 20605 0
vsize: 82672
[startup+130.013 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 38474 0 0 0 12919 83 0 0 25 0 1 0 912910420 170213376 38394 4294967295 134512640 134716908 3221224560 3221221036 1077196463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41556 38394 1111 63 0 41493 0
vsize: 166224
[startup+140.014 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 54983 0 0 0 13885 117 0 0 25 0 1 0 912910420 237125632 54573 4294967295 134512640 134716908 3221224560 3221221324 1077191557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57892 54573 1111 63 0 57829 0
vsize: 231568
[startup+150.015 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 69944 0 0 0 14851 151 0 0 25 0 1 0 912910420 261623808 62451 4294967295 134512640 134716908 3221224560 3221223288 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63873 62451 1111 63 0 63810 0
vsize: 255492
[startup+160.015 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 85920 0 0 0 15815 187 0 0 25 0 1 0 912910420 265195520 63331 4294967295 134512640 134716908 3221224560 3221223064 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64745 63334 1111 63 0 64682 0
vsize: 258980
[startup+170.016 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 88200 0 0 0 16810 192 0 0 25 0 1 0 912910420 266285056 63571 4294967295 134512640 134716908 3221224560 3221223288 134675297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65011 63571 1111 63 0 64948 0
vsize: 260044
[startup+180.017 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 88393 0 0 0 17810 193 0 0 25 0 1 0 912910420 266973184 63764 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65179 63764 1111 63 0 65116 0
vsize: 260716
[startup+190.018 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 88511 0 0 0 18810 193 0 0 25 0 1 0 912910420 267517952 63882 4294967295 134512640 134716908 3221224560 3221223064 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65312 63882 1111 63 0 65249 0
vsize: 261248
[startup+200.019 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 175044 0 0 0 19627 377 0 0 25 0 1 0 912910420 268206080 64055 4294967295 134512640 134716908 3221224560 3221223144 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65344 63919 1111 63 0 65281 0
vsize: 261920
[startup+210.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 277296 0 0 0 20407 597 0 0 25 0 1 0 912910420 267784192 63967 4294967295 134512640 134716908 3221224560 3221223312 134630859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65377 63967 1111 63 0 65314 0
vsize: 261508
[startup+220.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 381734 0 0 0 21188 817 0 0 25 0 1 0 912910420 268890112 64161 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65647 64168 1111 63 0 65584 0
vsize: 262588
[startup+230.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 434134 0 0 0 22072 933 0 0 25 0 1 0 912910420 268468224 64133 4294967295 134512640 134716908 3221224560 3221223232 134627141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64133 1111 63 0 65481 0
vsize: 262176
[startup+240.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 434137 0 0 0 23072 933 0 0 25 0 1 0 912910420 268468224 64136 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+250.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 434137 0 0 0 24073 933 0 0 25 0 1 0 912910420 268468224 64136 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+260.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 434137 0 0 0 25073 933 0 0 25 0 1 0 912910420 268468224 64136 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+270.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 434137 0 0 0 26073 933 0 0 25 0 1 0 912910420 268468224 64136 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+280.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 434137 0 0 0 27074 933 0 0 25 0 1 0 912910420 268468224 64136 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65544 64136 1111 63 0 65481 0
vsize: 262176
[startup+290.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 518553 0 0 0 27886 1122 0 0 25 0 1 0 912910420 282677248 67428 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69013 67428 1111 63 0 68950 0
vsize: 276052
[startup+300.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 648888 0 0 0 28599 1408 0 0 25 0 1 0 912910420 282849280 67475 4294967295 134512640 134716908 3221224560 3221222768 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69055 67475 1111 63 0 68992 0
vsize: 276220
[startup+310.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 766739 0 0 0 29336 1673 0 0 25 0 1 0 912910420 283090944 67536 4294967295 134512640 134716908 3221224560 3221221808 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69114 67536 1111 63 0 69051 0
vsize: 276456
[startup+320.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 867521 0 0 0 30103 1905 0 0 25 0 1 0 912910420 283574272 67655 4294967295 134512640 134716908 3221224560 3221222320 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69232 67655 1111 63 0 69169 0
vsize: 276928
[startup+330.028 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 951038 0 0 0 30905 2104 0 0 25 0 1 0 912910420 284368896 67736 4294967295 134512640 134716908 3221224560 3221222072 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69426 67746 1111 63 0 69363 0
vsize: 277704
[startup+340.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1021718 0 0 0 31740 2269 0 0 25 0 1 0 912910420 284573696 67900 4294967295 134512640 134716908 3221224560 3221222032 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69476 67900 1111 63 0 69413 0
vsize: 277904
[startup+350.027 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1084097 0 0 0 32591 2418 0 0 25 0 1 0 912910420 284946432 67991 4294967295 134512640 134716908 3221224560 3221222048 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69567 67991 1111 63 0 69504 0
vsize: 278268
[startup+360.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1140358 0 0 0 33456 2553 0 0 25 0 1 0 912910420 285044736 68016 4294967295 134512640 134716908 3221224560 3221221960 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69727 68021 1111 63 0 69664 0
vsize: 278364
[startup+370.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163205 0 0 0 34405 2605 0 0 25 0 1 0 912910420 300965888 71326 4294967295 134512640 134716908 3221224560 3221220624 1074794655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71326 1111 63 0 73415 0
vsize: 293912
[startup+380.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163225 0 0 0 35405 2605 0 0 25 0 1 0 912910420 300965888 71346 4294967295 134512640 134716908 3221224560 3221220684 1075116523 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71346 1111 63 0 73415 0
vsize: 293912
[startup+390.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163229 0 0 0 36405 2605 0 0 25 0 1 0 912910420 300965888 71350 4294967295 134512640 134716908 3221224560 3221220684 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71350 1111 63 0 73415 0
vsize: 293912
[startup+400.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163230 0 0 0 37406 2605 0 0 25 0 1 0 912910420 300965888 71351 4294967295 134512640 134716908 3221224560 3221220608 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71351 1111 63 0 73415 0
vsize: 293912
[startup+410.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163232 0 0 0 38406 2605 0 0 25 0 1 0 912910420 300965888 71353 4294967295 134512640 134716908 3221224560 3221220684 1075116519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71353 1111 63 0 73415 0
vsize: 293912
[startup+420.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163232 0 0 0 39406 2605 0 0 25 0 1 0 912910420 300965888 71353 4294967295 134512640 134716908 3221224560 3221220736 1074961355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71353 1111 63 0 73415 0
vsize: 293912
[startup+430.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163232 0 0 0 40406 2605 0 0 25 0 1 0 912910420 300965888 71353 4294967295 134512640 134716908 3221224560 3221220436 1074786501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71353 1111 63 0 73415 0
vsize: 293912
[startup+440.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163233 0 0 0 41407 2606 0 0 25 0 1 0 912910420 300965888 71354 4294967295 134512640 134716908 3221224560 3221220536 1074950198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71354 1111 63 0 73415 0
vsize: 293912
[startup+450.026 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163235 0 0 0 42407 2606 0 0 25 0 1 0 912910420 300965888 71356 4294967295 134512640 134716908 3221224560 3221220684 1075116519 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71356 1111 63 0 73415 0
vsize: 293912
[startup+460.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163236 0 0 0 43407 2606 0 0 25 0 1 0 912910420 300965888 71357 4294967295 134512640 134716908 3221224560 3221220332 1074787561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71357 1111 63 0 73415 0
vsize: 293912
[startup+470.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163236 0 0 0 44407 2606 0 0 25 0 1 0 912910420 300965888 71357 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71357 1111 63 0 73415 0
vsize: 293912
[startup+480.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163236 0 0 0 45408 2606 0 0 25 0 1 0 912910420 300965888 71357 4294967295 134512640 134716908 3221224560 3221220428 1074860595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71357 1111 63 0 73415 0
vsize: 293912
[startup+490.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163236 0 0 0 46408 2606 0 0 25 0 1 0 912910420 300965888 71357 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71357 1111 63 0 73415 0
vsize: 293912
[startup+500.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163236 0 0 0 47408 2606 0 0 25 0 1 0 912910420 300965888 71357 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73478 71357 1111 63 0 73415 0
vsize: 293912
[startup+510.025 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163251 0 0 0 48409 2606 0 0 25 0 1 0 912910420 301682688 71372 4294967295 134512640 134716908 3221224560 3221220460 1074860948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71372 1111 63 0 73590 0
vsize: 294612
[startup+520.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163251 0 0 0 49409 2606 0 0 25 0 1 0 912910420 301682688 71372 4294967295 134512640 134716908 3221224560 3221221056 1074885370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71372 1111 63 0 73590 0
vsize: 294612
[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163251 0 0 0 50409 2606 0 0 25 0 1 0 912910420 301682688 71372 4294967295 134512640 134716908 3221224560 3221221408 1074620304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71372 1111 63 0 73590 0
vsize: 294612
[startup+540.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163251 0 0 0 51409 2606 0 0 25 0 1 0 912910420 301682688 71372 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71372 1111 63 0 73590 0
vsize: 294612
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163251 0 0 0 52409 2606 0 0 25 0 1 0 912910420 301682688 71372 4294967295 134512640 134716908 3221224560 3221221392 1075960434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71372 1111 63 0 73590 0
vsize: 294612
[startup+560.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163251 0 0 0 53410 2606 0 0 25 0 1 0 912910420 301682688 71372 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71372 1111 63 0 73590 0
vsize: 294612
[startup+570.024 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163251 0 0 0 54410 2606 0 0 25 0 1 0 912910420 301682688 71372 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71372 1111 63 0 73590 0
vsize: 294612
[startup+580.023 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163254 0 0 0 55410 2606 0 0 25 0 1 0 912910420 301682688 71375 4294967295 134512640 134716908 3221224560 3221220684 1075116564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71375 1111 63 0 73590 0
vsize: 294612
[startup+590.022 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163254 0 0 0 56411 2606 0 0 25 0 1 0 912910420 301682688 71375 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71375 1111 63 0 73590 0
vsize: 294612
[startup+600.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163254 0 0 0 57411 2606 0 0 25 0 1 0 912910420 301682688 71375 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71375 1111 63 0 73590 0
vsize: 294612
[startup+610.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1163254 0 0 0 58411 2606 0 0 25 0 1 0 912910420 301682688 71375 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73653 71375 1111 63 0 73590 0
vsize: 294612
[startup+620.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183523 0 0 0 59367 2650 0 0 25 0 1 0 912910420 303325184 71937 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71937 1111 63 0 73991 0
vsize: 296216
[startup+630.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183564 0 0 0 60368 2650 0 0 25 0 1 0 912910420 303325184 71978 4294967295 134512640 134716908 3221224560 3221220684 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71978 1111 63 0 73991 0
vsize: 296216
[startup+640.021 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183567 0 0 0 61368 2651 0 0 25 0 1 0 912910420 303325184 71981 4294967295 134512640 134716908 3221224560 3221221408 1074620386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71981 1111 63 0 73991 0
vsize: 296216
[startup+650.02 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183571 0 0 0 62368 2651 0 0 25 0 1 0 912910420 303325184 71985 4294967295 134512640 134716908 3221224560 3221220428 1074860632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71985 1111 63 0 73991 0
vsize: 296216
[startup+660.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183571 0 0 0 63368 2651 0 0 25 0 1 0 912910420 303325184 71985 4294967295 134512640 134716908 3221224560 3221220684 1075116464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71985 1111 63 0 73991 0
vsize: 296216
[startup+670.019 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183571 0 0 0 64368 2651 0 0 25 0 1 0 912910420 303325184 71985 4294967295 134512640 134716908 3221224560 3221220536 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71985 1111 63 0 73991 0
vsize: 296216
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183571 0 0 0 65368 2651 0 0 25 0 1 0 912910420 303325184 71985 4294967295 134512640 134716908 3221224560 3221220428 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71985 1111 63 0 73991 0
vsize: 296216
[startup+690.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183571 0 0 0 66369 2651 0 0 25 0 1 0 912910420 303325184 71985 4294967295 134512640 134716908 3221224560 3221220428 1074860630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74054 71985 1111 63 0 73991 0
vsize: 296216
[startup+700.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183583 0 0 0 67369 2651 0 0 25 0 1 0 912910420 304041984 71997 4294967295 134512640 134716908 3221224560 3221220684 1075116478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74229 71997 1111 63 0 74166 0
vsize: 296916
[startup+710.017 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183583 0 0 0 68369 2651 0 0 25 0 1 0 912910420 304041984 71997 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74229 71997 1111 63 0 74166 0
vsize: 296916
[startup+720.016 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1183585 0 0 0 69369 2651 0 0 25 0 1 0 912910420 304041984 71999 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74229 71999 1111 63 0 74166 0
vsize: 296916
[startup+730.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1200621 0 0 0 70333 2688 0 0 25 0 1 0 912910420 303849472 71718 4294967295 134512640 134716908 3221224560 3221221120 1075967895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74182 71718 1111 63 0 74119 0
vsize: 296728
[startup+740.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1206047 0 0 0 71322 2699 0 0 25 0 1 0 912910420 291196928 69405 4294967295 134512640 134716908 3221224560 3221222720 1074039446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71093 69405 1111 63 0 71030 0
vsize: 284372
[startup+750.015 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 15910
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1218629 0 0 0 72294 2727 0 0 25 0 1 0 912910420 304484352 72239 4294967295 134512640 134716908 3221224560 3221220684 1075116753 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74337 72239 1111 63 0 74274 0
vsize: 297348
[startup+760.015 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 15963
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222930 0 0 0 73285 2736 0 0 25 0 1 0 912910420 288792576 69085 4294967295 134512640 134716908 3221224560 3221223336 134600361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70506 69085 1111 63 0 70443 0
vsize: 282024
[startup+770.017 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 15963
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 74285 2736 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+780.018 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 15963
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 75286 2736 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+790.017 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 15963
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 76286 2736 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+800.017 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 15963
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 77286 2736 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+810.016 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 15963
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 78286 2736 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+820.016 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 15963
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 79286 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+830.015 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 80286 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+840.015 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 81286 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+850.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 82287 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+860.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 83287 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+870.014 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 84287 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597775 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+880.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 85288 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+890.013 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 86288 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+900.013 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 87288 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+910.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 88288 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+920.012 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 89288 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+930.011 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 90288 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+940.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 91289 2737 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+950.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 92289 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+960.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 93289 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+970.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 94289 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223340 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+980.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 95290 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+990.009 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 96290 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 97290 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 98290 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 99291 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 100291 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 101291 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 102291 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15965
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 103292 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 104292 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 105292 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1090 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 106292 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1100 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 107292 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1110 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 108293 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1120 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 109293 2738 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1130 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 110293 2739 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1140 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 111293 2739 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1150 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 112294 2739 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223340 134600365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1160 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 113294 2739 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1170 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 114294 2739 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 282024
[startup+1174.85 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 15967
Raw data (stat): 15910 (bsolo_lpr_cuts-) R 15909 25568 25567 0 -1 0 1222931 0 0 0 114294 2739 0 0 25 0 1 0 912910420 288792576 69086 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70506 69086 1111 63 0 70443 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.18
CPU user time (s): 1147.66
CPU system time (s): 27.5208
CPU usage (%): 100.029
Max. virtual memory (Kb): 297348
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####