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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-air04.opb
MD5SUM	ee388359e66788d310d5d5b34d6465c1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	63236
Optimality of the best value was proved	NO
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1185.16
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 41118

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 06:07:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29173 boxname=wulflinc1 idbench=957 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ee388359e66788d310d5d5b34d6465c1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 29173
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        774832 kB
Buffers:         26500 kB
Cached:         208820 kB
SwapCached:       1184 kB
Active:          40492 kB
Inactive:       197088 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        774580 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16584 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 06:26:57 (client local time) WITH STATUS 0 IN 1175.2 SECONDS
stats: 29173 7 1175.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8904 variables and 1646 constraints.
c After prepocess the problem consists of 7524 variables and 1269 constraints.
c preprocess terminated 372.079 s
c Initial Lower Bound: 55536
c Lower Bound Elapsed time: 74.175
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.91 0.95 0.90 2/55 32388
Raw data (stat): 32388 (runsolver) R 32387 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 851132880 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 42433 0 0 0 918 79 0 0 25 0 1 0 851132880 186867712 42353 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45622 42353 1111 63 0 45559 0
vsize: 182488
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 55578 0 0 0 1896 101 0 0 25 0 1 0 851132880 240668672 55498 4294967295 134512640 134716908 3221224560 3221221036 1077195945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58757 55498 1111 63 0 58694 0
vsize: 235028
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 57011 0 0 0 2891 105 0 0 25 0 1 0 851132880 246616064 56931 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60209 56931 1111 63 0 60146 0
vsize: 240836
[startup+40.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 60284 0 0 0 3885 111 0 0 25 0 1 0 851132880 250232832 60168 4294967295 134512640 134716908 3221224560 3221222924 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61092 60168 1111 63 0 61029 0
vsize: 244368
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 62980 0 0 0 4880 116 0 0 25 0 1 0 851132880 261189632 62864 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63767 62864 1111 63 0 63704 0
vsize: 255068
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 65337 0 0 0 5876 121 0 0 25 0 1 0 851132880 270811136 65221 4294967295 134512640 134716908 3221224560 3221222944 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66116 65221 1111 63 0 66053 0
vsize: 264464
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 67785 0 0 0 6871 126 0 0 25 0 1 0 851132880 280834048 67669 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68563 67669 1111 63 0 68500 0
vsize: 274252
[startup+80.0014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 69913 0 0 0 7868 129 0 0 25 0 1 0 851132880 289632256 69797 4294967295 134512640 134716908 3221224560 3221223176 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70711 69797 1111 63 0 70648 0
vsize: 282844
[startup+90.0012 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 72048 0 0 0 8864 133 0 0 25 0 1 0 851132880 298299392 71932 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72827 71932 1111 63 0 72764 0
vsize: 291308
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 74060 0 0 0 9859 138 0 0 25 0 1 0 851132880 306565120 73944 4294967295 134512640 134716908 3221224560 3221223004 134536802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74845 73944 1111 63 0 74782 0
vsize: 299380
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 75997 0 0 0 10856 142 0 0 25 0 1 0 851132880 314564608 75881 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76798 75881 1111 63 0 76735 0
vsize: 307192
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 77747 0 0 0 11853 144 0 0 25 0 1 0 851132880 321753088 77631 4294967295 134512640 134716908 3221224560 3221223040 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78553 77631 1111 63 0 78490 0
vsize: 314212
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 79411 0 0 0 12850 148 0 0 25 0 1 0 851132880 328523776 79295 4294967295 134512640 134716908 3221224560 3221223040 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80206 79295 1111 63 0 80143 0
vsize: 320824
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 81173 0 0 0 13846 152 0 0 25 0 1 0 851132880 335712256 81057 4294967295 134512640 134716908 3221224560 3221222968 134543628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81961 81057 1111 63 0 81898 0
vsize: 327844
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 82717 0 0 0 14843 155 0 0 25 0 1 0 851132880 342073344 82601 4294967295 134512640 134716908 3221224560 3221223296 134625527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83514 82603 1111 63 0 83451 0
vsize: 334056
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 84180 0 0 0 15840 158 0 0 25 0 1 0 851132880 348041216 84064 4294967295 134512640 134716908 3221224560 3221223180 134543835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84971 84064 1111 63 0 84908 0
vsize: 339884
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 85495 0 0 0 16837 161 0 0 25 0 1 0 851132880 353456128 85379 4294967295 134512640 134716908 3221224560 3221223152 134667320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 86293 85380 1111 63 0 86230 0
vsize: 345172
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 86722 0 0 0 17835 164 0 0 25 0 1 0 851132880 358465536 86606 4294967295 134512640 134716908 3221224560 3221223040 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87516 86606 1111 63 0 87453 0
vsize: 350064
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 87907 0 0 0 18833 166 0 0 25 0 1 0 851132880 363347968 87791 4294967295 134512640 134716908 3221224560 3221223176 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88708 87791 1111 63 0 88645 0
vsize: 354832
[startup+200.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 88860 0 0 0 19830 169 0 0 25 0 1 0 851132880 367276032 88744 4294967295 134512640 134716908 3221224560 3221223360 134617258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 89667 88744 1111 63 0 89604 0
vsize: 358668
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 89781 0 0 0 20828 171 0 0 25 0 1 0 851132880 370941952 89665 4294967295 134512640 134716908 3221224560 3221223100 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90562 89665 1111 63 0 90499 0
vsize: 362248
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 90497 0 0 0 21826 174 0 0 25 0 1 0 851132880 373923840 90381 4294967295 134512640 134716908 3221224560 3221223024 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91290 90381 1111 63 0 91227 0
vsize: 365160
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 91152 0 0 0 22824 176 0 0 25 0 1 0 851132880 376631296 91036 4294967295 134512640 134716908 3221224560 3221222944 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91951 91036 1111 63 0 91888 0
vsize: 367804
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 91752 0 0 0 23823 177 0 0 25 0 1 0 851132880 379068416 91636 4294967295 134512640 134716908 3221224560 3221223200 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92546 91636 1111 63 0 92483 0
vsize: 370184
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92173 0 0 0 24822 178 0 0 25 0 1 0 851132880 380833792 92057 4294967295 134512640 134716908 3221224560 3221222976 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92977 92057 1111 63 0 92914 0
vsize: 371908
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92698 0 0 0 25822 179 0 0 25 0 1 0 851132880 383004672 92582 4294967295 134512640 134716908 3221224560 3221223176 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93507 92582 1111 63 0 93444 0
vsize: 374028
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92944 0 0 0 26821 179 0 0 25 0 1 0 851132880 383954944 92828 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93739 92828 1111 63 0 93676 0
vsize: 374956
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92956 0 0 0 27821 179 0 0 25 0 1 0 851132880 383954944 92840 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93739 92840 1111 63 0 93676 0
vsize: 374956
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92965 0 0 0 28821 179 0 0 25 0 1 0 851132880 384090112 92849 4294967295 134512640 134716908 3221224560 3221223216 134627277 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92849 1111 63 0 93709 0
vsize: 375088
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92976 0 0 0 29822 179 0 0 25 0 1 0 851132880 384090112 92860 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92860 1111 63 0 93709 0
vsize: 375088
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92979 0 0 0 30822 179 0 0 25 0 1 0 851132880 384090112 92863 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92863 1111 63 0 93709 0
vsize: 375088
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92983 0 0 0 31822 179 0 0 25 0 1 0 851132880 384090112 92867 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92867 1111 63 0 93709 0
vsize: 375088
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92984 0 0 0 32822 179 0 0 25 0 1 0 851132880 384090112 92868 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92868 1111 63 0 93709 0
vsize: 375088
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92987 0 0 0 33822 179 0 0 25 0 1 0 851132880 384090112 92871 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92871 1111 63 0 93709 0
vsize: 375088
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92992 0 0 0 34822 179 0 0 25 0 1 0 851132880 384090112 92876 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93772 92876 1111 63 0 93709 0
vsize: 375088
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92996 0 0 0 35823 179 0 0 25 0 1 0 851132880 384225280 92880 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93805 92880 1111 63 0 93742 0
vsize: 375220
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 92997 0 0 0 36823 179 0 0 25 0 1 0 851132880 384225280 92881 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93805 92881 1111 63 0 93742 0
vsize: 375220
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 95916 0 0 0 37815 186 0 0 25 0 1 0 851132880 391446528 94674 4294967295 134512640 134716908 3221224560 3221220508 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95568 94674 1111 63 0 95505 0
vsize: 382272
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 96051 0 0 0 38814 186 0 0 25 0 1 0 851132880 391770112 94797 4294967295 134512640 134716908 3221224560 3221220592 1075112106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95647 94797 1111 63 0 95584 0
vsize: 382588
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 96056 0 0 0 39815 186 0 0 25 0 1 0 851132880 391770112 94802 4294967295 134512640 134716908 3221224560 3221220340 1074786547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95647 94802 1111 63 0 95584 0
vsize: 382588
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 96095 0 0 0 40815 186 0 0 25 0 1 0 851132880 391786496 94827 4294967295 134512640 134716908 3221224560 3221220624 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94827 1111 63 0 95588 0
vsize: 382604
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 96095 0 0 0 41815 186 0 0 25 0 1 0 851132880 391786496 94827 4294967295 134512640 134716908 3221224560 3221220692 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94827 1111 63 0 95588 0
vsize: 382604
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 96095 0 0 0 42815 186 0 0 25 0 1 0 851132880 391786496 94827 4294967295 134512640 134716908 3221224560 3221220692 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95651 94827 1111 63 0 95588 0
vsize: 382604
[startup+440.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97524 0 0 0 43812 190 0 0 25 0 1 0 851132880 388399104 94066 4294967295 134512640 134716908 3221224560 3221222976 134646691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94066 1111 63 0 94761 0
vsize: 379296
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97525 0 0 0 44811 191 0 0 25 0 1 0 851132880 388399104 94067 4294967295 134512640 134716908 3221224560 3221223304 134675316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94824 94067 1111 63 0 94761 0
vsize: 379296
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97525 0 0 0 45810 192 0 0 25 0 1 0 851132880 388399104 94067 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94824 94067 1111 63 0 94761 0
vsize: 379296
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97572 0 0 0 46809 192 0 0 25 0 1 0 851132880 388669440 94114 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94890 94114 1111 63 0 94827 0
vsize: 379560
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97634 0 0 0 47809 193 0 0 25 0 1 0 851132880 388927488 94176 4294967295 134512640 134716908 3221224560 3221223352 134597609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94953 94176 1111 63 0 94890 0
vsize: 379812
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97655 0 0 0 48809 193 0 0 25 0 1 0 851132880 389042176 94197 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94981 94197 1111 63 0 94918 0
vsize: 379924
[startup+500.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97655 0 0 0 49808 194 0 0 25 0 1 0 851132880 388947968 94197 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94958 94197 1111 63 0 94895 0
vsize: 379832
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97693 0 0 0 50808 194 0 0 25 0 1 0 851132880 389083136 94235 4294967295 134512640 134716908 3221224560 3221223236 1077374528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 94991 94235 1111 63 0 94928 0
vsize: 379964
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97731 0 0 0 51808 194 0 0 25 0 1 0 851132880 389353472 94273 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95057 94273 1111 63 0 94994 0
vsize: 380228
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97779 0 0 0 52808 195 0 0 25 0 1 0 851132880 389496832 94321 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95092 94321 1111 63 0 95029 0
vsize: 380368
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97782 0 0 0 53807 195 0 0 25 0 1 0 851132880 389251072 94281 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95032 94281 1111 63 0 94969 0
vsize: 380128
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97804 0 0 0 54807 196 0 0 25 0 1 0 851132880 389382144 94288 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94288 1111 63 0 95001 0
vsize: 380256
[startup+560.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97804 0 0 0 55807 196 0 0 25 0 1 0 851132880 389382144 94288 4294967295 134512640 134716908 3221224560 3221223288 134558807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94288 1111 63 0 95001 0
vsize: 380256
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97816 0 0 0 56807 196 0 0 25 0 1 0 851132880 389443584 94300 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95079 94300 1111 63 0 95016 0
vsize: 380316
[startup+580.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97819 0 0 0 57807 197 0 0 25 0 1 0 851132880 389382144 94303 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94303 1111 63 0 95001 0
vsize: 380256
[startup+590.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97823 0 0 0 58807 197 0 0 25 0 1 0 851132880 389382144 94307 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95064 94307 1111 63 0 95001 0
vsize: 380256
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97849 0 0 0 59807 197 0 0 25 0 1 0 851132880 389414912 94321 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94321 1111 63 0 95009 0
vsize: 380288
[startup+610.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97849 0 0 0 60806 198 0 0 25 0 1 0 851132880 389414912 94321 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95072 94321 1111 63 0 95009 0
vsize: 380288
[startup+620.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97854 0 0 0 61806 198 0 0 25 0 1 0 851132880 389550080 94326 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95105 94326 1111 63 0 95042 0
vsize: 380420
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97854 0 0 0 62806 198 0 0 25 0 1 0 851132880 389435392 94326 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95077 94326 1111 63 0 95014 0
vsize: 380308
[startup+640.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97865 0 0 0 63806 199 0 0 25 0 1 0 851132880 389447680 94329 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95080 94329 1111 63 0 95017 0
vsize: 380320
[startup+650.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97890 0 0 0 64806 199 0 0 25 0 1 0 851132880 389582848 94349 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94349 1111 63 0 95050 0
vsize: 380452
[startup+660.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97890 0 0 0 65806 199 0 0 25 0 1 0 851132880 389582848 94349 4294967295 134512640 134716908 3221224560 3221223212 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95113 94349 1111 63 0 95050 0
vsize: 380452
[startup+670.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97915 0 0 0 66806 200 0 0 25 0 1 0 851132880 389718016 94374 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94374 1111 63 0 95083 0
vsize: 380584
[startup+680.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97928 0 0 0 67805 200 0 0 25 0 1 0 851132880 389718016 94387 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94387 1111 63 0 95083 0
vsize: 380584
[startup+690.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97928 0 0 0 68805 201 0 0 25 0 1 0 851132880 389718016 94387 4294967295 134512640 134716908 3221224560 3221223360 134597645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94387 1111 63 0 95083 0
vsize: 380584
[startup+700.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97928 0 0 0 69804 201 0 0 25 0 1 0 851132880 389718016 94387 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95146 94387 1111 63 0 95083 0
vsize: 380584
[startup+710.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97934 0 0 0 70804 202 0 0 25 0 1 0 851132880 389750784 94393 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95154 94393 1111 63 0 95091 0
vsize: 380616
[startup+720.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 97965 0 0 0 71803 203 0 0 25 0 1 0 851132880 389885952 94424 4294967295 134512640 134716908 3221224560 3221223360 134597773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95187 94424 1111 63 0 95124 0
vsize: 380748
[startup+730.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98005 0 0 0 72802 205 0 0 25 0 1 0 851132880 389939200 94449 4294967295 134512640 134716908 3221224560 3221223296 134535821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95200 94449 1111 63 0 95137 0
vsize: 380800
[startup+740.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98044 0 0 0 73800 206 0 0 25 0 1 0 851132880 390127616 94488 4294967295 134512640 134716908 3221224560 3221223096 134613769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95246 94488 1111 63 0 95183 0
vsize: 380984
[startup+750.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98072 0 0 0 74800 207 0 0 25 0 1 0 851132880 390213632 94516 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95267 94516 1111 63 0 95204 0
vsize: 381068
[startup+760.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98088 0 0 0 75800 207 0 0 25 0 1 0 851132880 390348800 94532 4294967295 134512640 134716908 3221224560 3221223192 134698369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95300 94532 1111 63 0 95237 0
vsize: 381200
[startup+770.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98088 0 0 0 76799 208 0 0 25 0 1 0 851132880 390275072 94531 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95282 94531 1111 63 0 95219 0
vsize: 381128
[startup+780.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98135 0 0 0 77799 208 0 0 25 0 1 0 851132880 390545408 94578 4294967295 134512640 134716908 3221224560 3221223136 134542694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94578 1111 63 0 95285 0
vsize: 381392
[startup+790.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98151 0 0 0 78799 209 0 0 25 0 1 0 851132880 390545408 94594 4294967295 134512640 134716908 3221224560 3221223152 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94594 1111 63 0 95285 0
vsize: 381392
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98151 0 0 0 79798 209 0 0 25 0 1 0 851132880 390545408 94594 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94594 1111 63 0 95285 0
vsize: 381392
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98151 0 0 0 80798 210 0 0 25 0 1 0 851132880 390545408 94594 4294967295 134512640 134716908 3221224560 3221223364 134594916 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95348 94594 1111 63 0 95285 0
vsize: 381392
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98199 0 0 0 81798 210 0 0 25 0 1 0 851132880 390766592 94642 4294967295 134512640 134716908 3221224560 3221223056 134699736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95402 94642 1111 63 0 95339 0
vsize: 381608
[startup+830.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98199 0 0 0 82798 210 0 0 25 0 1 0 851132880 390766592 94642 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95402 94642 1111 63 0 95339 0
vsize: 381608
[startup+840.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98228 0 0 0 83797 211 0 0 25 0 1 0 851132880 390852608 94671 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95423 94671 1111 63 0 95360 0
vsize: 381692
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98241 0 0 0 84796 212 0 0 25 0 1 0 851132880 390987776 94684 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94684 1111 63 0 95393 0
vsize: 381824
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98241 0 0 0 85797 212 0 0 25 0 1 0 851132880 390987776 94684 4294967295 134512640 134716908 3221224560 3221223296 134591951 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94684 1111 63 0 95393 0
vsize: 381824
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98243 0 0 0 86797 212 0 0 25 0 1 0 851132880 390987776 94686 4294967295 134512640 134716908 3221224560 3221223120 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98243 0 0 0 87796 213 0 0 25 0 1 0 851132880 390987776 94686 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95456 94686 1111 63 0 95393 0
vsize: 381824
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98243 0 0 0 88796 213 0 0 25 0 1 0 851132880 390975488 94686 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95453 94686 1111 63 0 95390 0
vsize: 381812
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98243 0 0 0 89796 214 0 0 25 0 1 0 851132880 390975488 94686 4294967295 134512640 134716908 3221224560 3221223288 134536900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95453 94686 1111 63 0 95390 0
vsize: 381812
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98276 0 0 0 90795 214 0 0 25 0 1 0 851132880 391110656 94719 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95486 94719 1111 63 0 95423 0
vsize: 381944
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98283 0 0 0 91794 216 0 0 25 0 1 0 851132880 391106560 94726 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95485 94726 1111 63 0 95422 0
vsize: 381940
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98308 0 0 0 92793 217 0 0 25 0 1 0 851132880 391225344 94751 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95514 94751 1111 63 0 95451 0
vsize: 382056
[startup+940.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98309 0 0 0 93793 217 0 0 25 0 1 0 851132880 391225344 94752 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95514 94752 1111 63 0 95451 0
vsize: 382056
[startup+950.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98368 0 0 0 94793 217 0 0 25 0 1 0 851132880 391454720 94810 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95570 94810 1111 63 0 95507 0
vsize: 382280
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98377 0 0 0 95793 217 0 0 25 0 1 0 851132880 391454720 94819 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95570 94819 1111 63 0 95507 0
vsize: 382280
[startup+970.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98377 0 0 0 96793 218 0 0 25 0 1 0 851132880 391454720 94819 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95570 94819 1111 63 0 95507 0
vsize: 382280
[startup+980.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98394 0 0 0 97793 218 0 0 25 0 1 0 851132880 391581696 94836 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94836 1111 63 0 95538 0
vsize: 382404
[startup+990.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98394 0 0 0 98793 218 0 0 25 0 1 0 851132880 391581696 94836 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95601 94836 1111 63 0 95538 0
vsize: 382404
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98418 0 0 0 99792 219 0 0 25 0 1 0 851132880 391663616 94860 4294967295 134512640 134716908 3221224560 3221223116 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98418 0 0 0 100792 219 0 0 25 0 1 0 851132880 391663616 94860 4294967295 134512640 134716908 3221224560 3221223200 134539437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98418 0 0 0 101792 220 0 0 25 0 1 0 851132880 391663616 94860 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98418 0 0 0 102791 220 0 0 25 0 1 0 851132880 391663616 94860 4294967295 134512640 134716908 3221224560 3221223144 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98418 0 0 0 103791 221 0 0 25 0 1 0 851132880 391663616 94860 4294967295 134512640 134716908 3221224560 3221223312 134594970 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94860 1111 63 0 95558 0
vsize: 382484
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 104791 221 0 0 25 0 1 0 851132880 391798784 94873 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94873 1111 63 0 95591 0
vsize: 382616
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 105791 221 0 0 25 0 1 0 851132880 391663616 94870 4294967295 134512640 134716908 3221224560 3221223228 134548544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 106791 221 0 0 25 0 1 0 851132880 391663616 94870 4294967295 134512640 134716908 3221224560 3221223176 134613777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 107791 222 0 0 25 0 1 0 851132880 391663616 94870 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 108791 222 0 0 25 0 1 0 851132880 391663616 94870 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 109791 222 0 0 25 0 1 0 851132880 391663616 94870 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 110791 222 0 0 25 0 1 0 851132880 391663616 94870 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 111791 222 0 0 25 0 1 0 851132880 391663616 94870 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 112791 222 0 0 25 0 1 0 851132880 391663616 94870 4294967295 134512640 134716908 3221224560 3221223164 134549514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98431 0 0 0 113791 223 0 0 25 0 1 0 851132880 391663616 94870 4294967295 134512640 134716908 3221224560 3221223328 134592128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95621 94870 1111 63 0 95558 0
vsize: 382484
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98444 0 0 0 114790 223 0 0 25 0 1 0 851132880 391798784 94883 4294967295 134512640 134716908 3221224560 3221223360 134597661 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94883 1111 63 0 95591 0
vsize: 382616
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98444 0 0 0 115790 224 0 0 25 0 1 0 851132880 391798784 94883 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94883 1111 63 0 95591 0
vsize: 382616
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98444 0 0 0 116790 224 0 0 25 0 1 0 851132880 391798784 94883 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94883 1111 63 0 95591 0
vsize: 382616
[startup+1175.06 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 32388
Raw data (stat): 32388 (bsolo_lpr_cuts-) R 32387 8378 8377 0 -1 0 98444 0 0 0 116790 224 0 0 25 0 1 0 851132880 391798784 94883 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95654 94883 1111 63 0 95591 0
vsize: 0

Child status: 0
Real time (s): 1175.06
CPU time (s): 1175.2
CPU user time (s): 1172.78
CPU system time (s): 2.42263
CPU usage (%): 100.012
Max. virtual memory (Kb): 382616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####