PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
MD5SUM	6968a43b42bba7df68b13fdfd3b616a1
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	61
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.187971
Number of variables	6000
Total number of constraints	220
Number of constraints which are clauses	120
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	60
Trace number 40572

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 15:12:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28636 boxname=wulflinc6 idbench=22 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6968a43b42bba7df68b13fdfd3b616a1  /oldhome/oroussel/tmp/wulflinc6/normalized-chnl50_60_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-chnl50_60_pb.cnf.cr.opb
IDLAUNCH: 28636
/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:        602976 kB
Buffers:         29772 kB
Cached:         380824 kB
SwapCached:        940 kB
Active:          42844 kB
Inactive:       369824 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        602724 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13296 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:32:17 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28636 7 1175.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 6000 variables and 220 constraints.
c After prepocess the problem consists of 6000 variables and 220 constraints.
c preprocess terminated 3.164 s
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.92 0.98 0.91 2/54 32090
Raw data (stat): 32090 (runsolver) R 32089 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902620242 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.0003 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2091 0 0 0 991 7 0 0 25 0 1 0 902620242 11788288 2009 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2878 2009 1111 63 0 2815 0
vsize: 11512
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2132 0 0 0 1990 8 0 0 25 0 1 0 902620242 12058624 2050 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2050 1111 63 0 2881 0
vsize: 11776
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2141 0 0 0 2988 10 0 0 25 0 1 0 902620242 12058624 2059 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2059 1111 63 0 2881 0
vsize: 11776
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2196 0 0 0 3987 12 0 0 25 0 1 0 902620242 12328960 2114 4294967295 134512640 134716908 3221224560 3221222564 134699548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3010 2114 1111 63 0 2947 0
vsize: 12040
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.98 0.91 3/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2207 0 0 0 4985 14 0 0 25 0 1 0 902620242 12324864 2125 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3009 2125 1111 63 0 2946 0
vsize: 12036
[startup+60.0043 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2243 0 0 0 5983 16 0 0 25 0 1 0 902620242 12460032 2161 4294967295 134512640 134716908 3221224560 3221223260 134534084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3042 2161 1111 63 0 2979 0
vsize: 12168
[startup+70.0052 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2268 0 0 0 6983 17 0 0 25 0 1 0 902620242 12578816 2186 4294967295 134512640 134716908 3221224560 3221223152 134542677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3071 2186 1111 63 0 3008 0
vsize: 12284
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2278 0 0 0 7982 18 0 0 25 0 1 0 902620242 12578816 2196 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3071 2196 1111 63 0 3008 0
vsize: 12284
[startup+90.0065 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2289 0 0 0 8979 21 0 0 25 0 1 0 902620242 12713984 2207 4294967295 134512640 134716908 3221224560 3221223176 134523391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3104 2207 1111 63 0 3041 0
vsize: 12416
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2299 0 0 0 9978 22 0 0 25 0 1 0 902620242 12713984 2217 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3104 2217 1111 63 0 3041 0
vsize: 12416
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2300 0 0 0 10977 24 0 0 25 0 1 0 902620242 12713984 2218 4294967295 134512640 134716908 3221224560 3221223176 134613973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3104 2218 1111 63 0 3041 0
vsize: 12416
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2324 0 0 0 11976 25 0 0 25 0 1 0 902620242 12849152 2242 4294967295 134512640 134716908 3221224560 3221223216 134536710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3137 2242 1111 63 0 3074 0
vsize: 12548
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2337 0 0 0 12975 27 0 0 25 0 1 0 902620242 12832768 2255 4294967295 134512640 134716908 3221224560 3221223248 134524415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3133 2255 1111 63 0 3070 0
vsize: 12532
[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2359 0 0 0 13974 28 0 0 25 0 1 0 902620242 12967936 2277 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3166 2277 1111 63 0 3103 0
vsize: 12664
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2394 0 0 0 14973 30 0 0 25 0 1 0 902620242 13099008 2312 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3198 2312 1111 63 0 3135 0
vsize: 12792
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2414 0 0 0 15972 31 0 0 25 0 1 0 902620242 13099008 2332 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3198 2332 1111 63 0 3135 0
vsize: 12792
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2448 0 0 0 16972 32 0 0 25 0 1 0 902620242 13369344 2366 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3264 2366 1111 63 0 3201 0
vsize: 13056
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2512 0 0 0 17971 33 0 0 25 0 1 0 902620242 13504512 2430 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 2430 1111 63 0 3234 0
vsize: 13188
[startup+190.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2512 0 0 0 18971 34 0 0 25 0 1 0 902620242 13504512 2430 4294967295 134512640 134716908 3221224560 3221222976 134699769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 2430 1111 63 0 3234 0
vsize: 13188
[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2512 0 0 0 19970 35 0 0 25 0 1 0 902620242 13504512 2430 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3297 2430 1111 63 0 3234 0
vsize: 13188
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2522 0 0 0 20968 36 0 0 25 0 1 0 902620242 13639680 2440 4294967295 134512640 134716908 3221224560 3221223272 134524591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 2440 1111 63 0 3267 0
vsize: 13320
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2522 0 0 0 21967 38 0 0 25 0 1 0 902620242 13639680 2440 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3330 2440 1111 63 0 3267 0
vsize: 13320
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2558 0 0 0 22966 40 0 0 25 0 1 0 902620242 13774848 2476 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 2476 1111 63 0 3300 0
vsize: 13452
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2558 0 0 0 23964 41 0 0 25 0 1 0 902620242 13774848 2476 4294967295 134512640 134716908 3221224560 3221223232 134524436 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 2476 1111 63 0 3300 0
vsize: 13452
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2568 0 0 0 24964 43 0 0 25 0 1 0 902620242 13774848 2486 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 2486 1111 63 0 3300 0
vsize: 13452
[startup+260.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2576 0 0 0 25962 44 0 0 25 0 1 0 902620242 13774848 2494 4294967295 134512640 134716908 3221224560 3221223344 134528883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3363 2494 1111 63 0 3300 0
vsize: 13452
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2583 0 0 0 26961 45 0 0 25 0 1 0 902620242 13848576 2501 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2501 1111 63 0 3318 0
vsize: 13524
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2588 0 0 0 27961 46 0 0 25 0 1 0 902620242 13848576 2506 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3381 2506 1111 63 0 3318 0
vsize: 13524
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2605 0 0 0 28959 48 0 0 25 0 1 0 902620242 13971456 2523 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2523 1111 63 0 3348 0
vsize: 13644
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2622 0 0 0 29958 49 0 0 25 0 1 0 902620242 13971456 2540 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3411 2540 1111 63 0 3348 0
vsize: 13644
[startup+310.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2642 0 0 0 30957 50 0 0 25 0 1 0 902620242 14077952 2560 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2560 1111 63 0 3374 0
vsize: 13748
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2670 0 0 0 31957 52 0 0 25 0 1 0 902620242 14155776 2588 4294967295 134512640 134716908 3221224560 3221223248 134524417 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 2588 1111 63 0 3393 0
vsize: 13824
[startup+330.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2671 0 0 0 32956 53 0 0 25 0 1 0 902620242 14155776 2589 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3456 2589 1111 63 0 3393 0
vsize: 13824
[startup+340.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2686 0 0 0 33955 54 0 0 25 0 1 0 902620242 14278656 2604 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3486 2604 1111 63 0 3423 0
vsize: 13944
[startup+350.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2701 0 0 0 34954 56 0 0 25 0 1 0 902620242 14278656 2619 4294967295 134512640 134716908 3221224560 3221223244 134594349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3486 2619 1111 63 0 3423 0
vsize: 13944
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2717 0 0 0 35952 57 0 0 25 0 1 0 902620242 14389248 2635 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2635 1111 63 0 3450 0
vsize: 14052
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2722 0 0 0 36951 59 0 0 25 0 1 0 902620242 14389248 2640 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2640 1111 63 0 3450 0
vsize: 14052
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2722 0 0 0 37950 60 0 0 25 0 1 0 902620242 14389248 2640 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3513 2640 1111 63 0 3450 0
vsize: 14052
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2735 0 0 0 38949 61 0 0 25 0 1 0 902620242 14520320 2653 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2735 0 0 0 39948 63 0 0 25 0 1 0 902620242 14520320 2653 4294967295 134512640 134716908 3221224560 3221223328 134592128 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2735 0 0 0 40946 65 0 0 25 0 1 0 902620242 14520320 2653 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2735 0 0 0 41945 66 0 0 25 0 1 0 902620242 14520320 2653 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+430.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2735 0 0 0 42945 67 0 0 25 0 1 0 902620242 14520320 2653 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+440.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2735 0 0 0 43944 68 0 0 25 0 1 0 902620242 14520320 2653 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2653 1111 63 0 3482 0
vsize: 14180
[startup+450.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2755 0 0 0 44943 69 0 0 25 0 1 0 902620242 14520320 2673 4294967295 134512640 134716908 3221224560 3221223312 134592419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2673 1111 63 0 3482 0
vsize: 14180
[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2755 0 0 0 45942 71 0 0 25 0 1 0 902620242 14520320 2673 4294967295 134512640 134716908 3221224560 3221223188 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3545 2673 1111 63 0 3482 0
vsize: 14180
[startup+470.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2768 0 0 0 46941 72 0 0 25 0 1 0 902620242 14626816 2686 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2686 1111 63 0 3508 0
vsize: 14284
[startup+480.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2779 0 0 0 47939 74 0 0 25 0 1 0 902620242 14626816 2697 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2697 1111 63 0 3508 0
vsize: 14284
[startup+490.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2783 0 0 0 48938 76 0 0 25 0 1 0 902620242 14626816 2701 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2701 1111 63 0 3508 0
vsize: 14284
[startup+500.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2783 0 0 0 49937 77 0 0 25 0 1 0 902620242 14626816 2701 4294967295 134512640 134716908 3221224560 3221223296 134558535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2701 1111 63 0 3508 0
vsize: 14284
[startup+510.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2783 0 0 0 50936 78 0 0 25 0 1 0 902620242 14626816 2701 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2701 1111 63 0 3508 0
vsize: 14284
[startup+520.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2784 0 0 0 51936 79 0 0 25 0 1 0 902620242 14626816 2702 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2702 1111 63 0 3508 0
vsize: 14284
[startup+530.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2786 0 0 0 52934 81 0 0 25 0 1 0 902620242 14626816 2704 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3571 2704 1111 63 0 3508 0
vsize: 14284
[startup+540.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2797 0 0 0 53933 83 0 0 25 0 1 0 902620242 14761984 2715 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3604 2715 1111 63 0 3541 0
vsize: 14416
[startup+550.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2797 0 0 0 54932 84 0 0 25 0 1 0 902620242 14761984 2715 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3604 2715 1111 63 0 3541 0
vsize: 14416
[startup+560.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2800 0 0 0 55931 85 0 0 25 0 1 0 902620242 14761984 2718 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3604 2718 1111 63 0 3541 0
vsize: 14416
[startup+570.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2847 0 0 0 56930 87 0 0 25 0 1 0 902620242 14897152 2765 4294967295 134512640 134716908 3221224560 3221223232 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+580.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2847 0 0 0 57928 88 0 0 25 0 1 0 902620242 14897152 2765 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+590.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2847 0 0 0 58928 89 0 0 25 0 1 0 902620242 14897152 2765 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+600.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2847 0 0 0 59927 90 0 0 25 0 1 0 902620242 14897152 2765 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+610.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2847 0 0 0 60926 92 0 0 25 0 1 0 902620242 14897152 2765 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+620.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2847 0 0 0 61925 93 0 0 25 0 1 0 902620242 14897152 2765 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+630.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2847 0 0 0 62925 94 0 0 25 0 1 0 902620242 14897152 2765 4294967295 134512640 134716908 3221224560 3221223032 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+640.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2847 0 0 0 63924 95 0 0 25 0 1 0 902620242 14897152 2765 4294967295 134512640 134716908 3221224560 3221222956 134613982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+650.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2847 0 0 0 64923 96 0 0 25 0 1 0 902620242 14897152 2765 4294967295 134512640 134716908 3221224560 3221222956 1077379953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3637 2765 1111 63 0 3574 0
vsize: 14548
[startup+660.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2858 0 0 0 65922 98 0 0 25 0 1 0 902620242 15028224 2776 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2776 1111 63 0 3606 0
vsize: 14676
[startup+670.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2858 0 0 0 66921 99 0 0 25 0 1 0 902620242 15028224 2776 4294967295 134512640 134716908 3221224560 3221223312 134592373 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2776 1111 63 0 3606 0
vsize: 14676
[startup+680.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2858 0 0 0 67919 101 0 0 25 0 1 0 902620242 15028224 2776 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2776 1111 63 0 3606 0
vsize: 14676
[startup+690.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2858 0 0 0 68918 102 0 0 25 0 1 0 902620242 15028224 2776 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2776 1111 63 0 3606 0
vsize: 14676
[startup+700.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2863 0 0 0 69918 103 0 0 25 0 1 0 902620242 15028224 2781 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2781 1111 63 0 3606 0
vsize: 14676
[startup+710.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2863 0 0 0 70917 104 0 0 25 0 1 0 902620242 15028224 2781 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2781 1111 63 0 3606 0
vsize: 14676
[startup+720.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2863 0 0 0 71916 105 0 0 25 0 1 0 902620242 15028224 2781 4294967295 134512640 134716908 3221224560 3221223108 134699046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2781 1111 63 0 3606 0
vsize: 14676
[startup+730.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2872 0 0 0 72915 106 0 0 25 0 1 0 902620242 15028224 2790 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2790 1111 63 0 3606 0
vsize: 14676
[startup+740.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2882 0 0 0 73914 107 0 0 25 0 1 0 902620242 15028224 2800 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2800 1111 63 0 3606 0
vsize: 14676
[startup+750.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2882 0 0 0 74914 109 0 0 25 0 1 0 902620242 15028224 2800 4294967295 134512640 134716908 3221224560 3221223296 134591999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2800 1111 63 0 3606 0
vsize: 14676
[startup+760.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2882 0 0 0 75913 110 0 0 25 0 1 0 902620242 15028224 2800 4294967295 134512640 134716908 3221224560 3221223316 134655223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2800 1111 63 0 3606 0
vsize: 14676
[startup+770.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2883 0 0 0 76912 111 0 0 25 0 1 0 902620242 15028224 2801 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2801 1111 63 0 3606 0
vsize: 14676
[startup+780.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2883 0 0 0 77911 112 0 0 25 0 1 0 902620242 15028224 2801 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3669 2801 1111 63 0 3606 0
vsize: 14676
[startup+790.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2891 0 0 0 78910 114 0 0 25 0 1 0 902620242 15163392 2809 4294967295 134512640 134716908 3221224560 3221223168 1077377147 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2809 1111 63 0 3639 0
vsize: 14808
[startup+800.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 79909 115 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+810.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 80908 116 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+820.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 81907 117 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221223288 134532449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+830.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 82907 118 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+840.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 83906 119 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221223280 134584748 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+850.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 84905 120 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+860.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 85905 121 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221223224 134551609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+870.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 86904 122 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221222956 1077379959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+880.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 87903 123 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221223068 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+890.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2915 0 0 0 88903 124 0 0 25 0 1 0 902620242 15163392 2833 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2833 1111 63 0 3639 0
vsize: 14808
[startup+900.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2931 0 0 0 89902 125 0 0 25 0 1 0 902620242 15298560 2849 4294967295 134512640 134716908 3221224560 3221223200 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2849 1111 63 0 3672 0
vsize: 14940
[startup+910.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2931 0 0 0 90901 126 0 0 25 0 1 0 902620242 15298560 2849 4294967295 134512640 134716908 3221224560 3221223324 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3735 2849 1111 63 0 3672 0
vsize: 14940
[startup+920.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2931 0 0 0 91901 127 0 0 25 0 1 0 902620242 15278080 2849 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2849 1111 63 0 3667 0
vsize: 14920
[startup+930.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2936 0 0 0 92900 128 0 0 25 0 1 0 902620242 15278080 2854 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2854 1111 63 0 3667 0
vsize: 14920
[startup+940.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2936 0 0 0 93899 129 0 0 25 0 1 0 902620242 15278080 2854 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2854 1111 63 0 3667 0
vsize: 14920
[startup+950.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2939 0 0 0 94898 130 0 0 25 0 1 0 902620242 15278080 2857 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2857 1111 63 0 3667 0
vsize: 14920
[startup+960.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2947 0 0 0 95897 132 0 0 25 0 1 0 902620242 15413248 2865 4294967295 134512640 134716908 3221224560 3221223304 134551617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2865 1111 63 0 3700 0
vsize: 15052
[startup+970.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2947 0 0 0 96896 133 0 0 25 0 1 0 902620242 15413248 2865 4294967295 134512640 134716908 3221224560 3221223216 134524376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2865 1111 63 0 3700 0
vsize: 15052
[startup+980 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2956 0 0 0 97895 134 0 0 25 0 1 0 902620242 15400960 2874 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3760 2874 1111 63 0 3697 0
vsize: 15040
[startup+990 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 2996 0 0 0 98895 135 0 0 25 0 1 0 902620242 15536128 2914 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3793 2914 1111 63 0 3730 0
vsize: 15172
[startup+1000 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3014 0 0 0 99893 137 0 0 25 0 1 0 902620242 15671296 2932 4294967295 134512640 134716908 3221224560 3221223216 134613590 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3014 0 0 0 100893 138 0 0 25 0 1 0 902620242 15671296 2932 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3014 0 0 0 101892 138 0 0 25 0 1 0 902620242 15671296 2932 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3014 0 0 0 102892 139 0 0 25 0 1 0 902620242 15671296 2932 4294967295 134512640 134716908 3221224560 3221223344 134529009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3014 0 0 0 103891 140 0 0 25 0 1 0 902620242 15671296 2932 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3014 0 0 0 104890 141 0 0 25 0 1 0 902620242 15671296 2932 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3014 0 0 0 105889 143 0 0 25 0 1 0 902620242 15671296 2932 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2932 1111 63 0 3763 0
vsize: 15304
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3015 0 0 0 106889 143 0 0 25 0 1 0 902620242 15671296 2933 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2933 1111 63 0 3763 0
vsize: 15304
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3015 0 0 0 107888 144 0 0 25 0 1 0 902620242 15671296 2933 4294967295 134512640 134716908 3221224560 3221223128 1077377398 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2933 1111 63 0 3763 0
vsize: 15304
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3015 0 0 0 108887 146 0 0 25 0 1 0 902620242 15671296 2933 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2933 1111 63 0 3763 0
vsize: 15304
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3023 0 0 0 109887 147 0 0 25 0 1 0 902620242 15671296 2941 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3826 2941 1111 63 0 3763 0
vsize: 15304
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3044 0 0 0 110886 147 0 0 25 0 1 0 902620242 15806464 2962 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 2962 1111 63 0 3796 0
vsize: 15436
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3044 0 0 0 111885 148 0 0 25 0 1 0 902620242 15806464 2962 4294967295 134512640 134716908 3221224560 3221223208 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 2962 1111 63 0 3796 0
vsize: 15436
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3044 0 0 0 112884 150 0 0 25 0 1 0 902620242 15806464 2962 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 2962 1111 63 0 3796 0
vsize: 15436
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3063 0 0 0 113883 151 0 0 25 0 1 0 902620242 15806464 2981 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 2981 1111 63 0 3796 0
vsize: 15436
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3082 0 0 0 114882 152 0 0 25 0 1 0 902620242 15867904 3000 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3000 1111 63 0 3811 0
vsize: 15496
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3082 0 0 0 115882 153 0 0 25 0 1 0 902620242 15867904 3000 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3000 1111 63 0 3811 0
vsize: 15496
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3084 0 0 0 116880 155 0 0 25 0 1 0 902620242 15867904 3002 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3002 1111 63 0 3811 0
vsize: 15496
[startup+1174.65 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 32090
Raw data (stat): 32090 (bsolo_lpr_cuts-) R 32089 25568 25567 0 -1 0 3084 0 0 0 116880 155 0 0 25 0 1 0 902620242 15867904 3002 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3874 3002 1111 63 0 3811 0
vsize: 0

Child status: 0
Real time (s): 1174.65
CPU time (s): 1175.02
CPU user time (s): 1173.45
CPU system time (s): 1.57476
CPU usage (%): 100.031
Max. virtual memory (Kb): 15496
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####