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 23248

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 22:04:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=191 boxname=wulflinc31 idbench=22 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6968a43b42bba7df68b13fdfd3b616a1  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_60_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_60_pb.cnf.cr.opb
IDLAUNCH: 191
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        929536 kB
Buffers:         36832 kB
Cached:          46284 kB
SwapCached:        864 kB
Active:          71392 kB
Inactive:        14108 kB
HighTotal:      131008 kB
HighFree:        83748 kB
LowTotal:       903652 kB
LowFree:        845788 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13992 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 22:23:41 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 191 7 1175.04 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.208 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (runsolver) R 15412 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 634931411 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2091 0 0 0 986 9 0 0 25 0 1 0 634931411 11792384 2012 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2012 1111 63 0 2816 0
vsize: 11516
[startup+20.0015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2132 0 0 0 1984 11 0 0 25 0 1 0 634931411 12062720 2053 4294967295 134512640 134714508 3221221776 3221220344 1077377385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2945 2053 1111 63 0 2882 0
vsize: 11780
[startup+30.002 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2141 0 0 0 2983 13 0 0 25 0 1 0 634931411 12062720 2062 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2945 2062 1111 63 0 2882 0
vsize: 11780
[startup+40.0029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2196 0 0 0 3980 16 0 0 25 0 1 0 634931411 12333056 2117 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2117 1111 63 0 2948 0
vsize: 12044
[startup+50.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2204 0 0 0 4978 18 0 0 25 0 1 0 634931411 12328960 2125 4294967295 134512640 134714508 3221221776 3221220532 134652863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3010 2125 1111 63 0 2947 0
vsize: 12040
[startup+60.0036 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2243 0 0 0 5976 20 0 0 25 0 1 0 634931411 12464128 2164 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3043 2164 1111 63 0 2980 0
vsize: 12172
[startup+70.0045 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2268 0 0 0 6975 21 0 0 25 0 1 0 634931411 12582912 2189 4294967295 134512640 134714508 3221221776 3221220416 134696097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3072 2189 1111 63 0 3009 0
vsize: 12288
[startup+80.0048 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2277 0 0 0 7973 23 0 0 25 0 1 0 634931411 12582912 2198 4294967295 134512640 134714508 3221221776 3221220416 134696044 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3072 2198 1111 63 0 3009 0
vsize: 12288
[startup+90.0053 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2289 0 0 0 8972 25 0 0 25 0 1 0 634931411 12718080 2210 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 2210 1111 63 0 3042 0
vsize: 12420
[startup+100.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2299 0 0 0 9971 26 0 0 25 0 1 0 634931411 12718080 2220 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 2220 1111 63 0 3042 0
vsize: 12420
[startup+110.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2300 0 0 0 10969 28 0 0 25 0 1 0 634931411 12718080 2221 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3105 2221 1111 63 0 3042 0
vsize: 12420
[startup+120.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15413
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2324 0 0 0 11969 28 0 0 25 0 1 0 634931411 12853248 2245 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3138 2245 1111 63 0 3075 0
vsize: 12552
[startup+130.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2337 0 0 0 12967 30 0 0 25 0 1 0 634931411 12836864 2258 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3134 2258 1111 63 0 3071 0
vsize: 12536
[startup+140.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2353 0 0 0 13966 32 0 0 25 0 1 0 634931411 12972032 2274 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3167 2274 1111 63 0 3104 0
vsize: 12668
[startup+150.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2394 0 0 0 14965 33 0 0 25 0 1 0 634931411 13103104 2315 4294967295 134512640 134714508 3221221776 3221220428 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3199 2315 1111 63 0 3136 0
vsize: 12796
[startup+160.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2399 0 0 0 15964 34 0 0 25 0 1 0 634931411 13103104 2320 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3199 2320 1111 63 0 3136 0
vsize: 12796
[startup+170.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2448 0 0 0 16962 36 0 0 25 0 1 0 634931411 13373440 2369 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3265 2369 1111 63 0 3202 0
vsize: 13060
[startup+180.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2512 0 0 0 17961 37 0 0 25 0 1 0 634931411 13508608 2433 4294967295 134512640 134714508 3221221776 3221220440 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3298 2433 1111 63 0 3235 0
vsize: 13192
[startup+190.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2512 0 0 0 18960 39 0 0 25 0 1 0 634931411 13508608 2433 4294967295 134512640 134714508 3221221776 3221220256 134697360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3298 2433 1111 63 0 3235 0
vsize: 13192
[startup+200.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2512 0 0 0 19958 41 0 0 25 0 1 0 634931411 13508608 2433 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3298 2433 1111 63 0 3235 0
vsize: 13192
[startup+210.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2512 0 0 0 20956 43 0 0 25 0 1 0 634931411 13508608 2433 4294967295 134512640 134714508 3221221776 3221220540 134652885 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3298 2433 1111 63 0 3235 0
vsize: 13192
[startup+220.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2522 0 0 0 21955 44 0 0 25 0 1 0 634931411 13643776 2443 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3331 2443 1111 63 0 3268 0
vsize: 13324
[startup+230.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2531 0 0 0 22954 45 0 0 25 0 1 0 634931411 13643776 2452 4294967295 134512640 134714508 3221221776 3221220448 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3331 2452 1111 63 0 3268 0
vsize: 13324
[startup+240.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2558 0 0 0 23953 47 0 0 25 0 1 0 634931411 13778944 2479 4294967295 134512640 134714508 3221221776 3221220344 1077378350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3364 2479 1111 63 0 3301 0
vsize: 13456
[startup+250.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2565 0 0 0 24951 48 0 0 25 0 1 0 634931411 13778944 2486 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3364 2486 1111 63 0 3301 0
vsize: 13456
[startup+260.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2568 0 0 0 25950 50 0 0 25 0 1 0 634931411 13778944 2489 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3364 2489 1111 63 0 3301 0
vsize: 13456
[startup+270.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2583 0 0 0 26949 51 0 0 25 0 1 0 634931411 13914112 2504 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2504 1111 63 0 3334 0
vsize: 13588
[startup+280.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2588 0 0 0 27948 52 0 0 25 0 1 0 634931411 13852672 2509 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3382 2509 1111 63 0 3319 0
vsize: 13528
[startup+290.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2588 0 0 0 28947 54 0 0 25 0 1 0 634931411 13852672 2509 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3382 2509 1111 63 0 3319 0
vsize: 13528
[startup+300.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2605 0 0 0 29946 55 0 0 25 0 1 0 634931411 13975552 2526 4294967295 134512640 134714508 3221221776 3221220416 134695940 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3412 2526 1111 63 0 3349 0
vsize: 13648
[startup+310.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2638 0 0 0 30944 57 0 0 25 0 1 0 634931411 14110720 2559 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3445 2559 1111 63 0 3382 0
vsize: 13780
[startup+320.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2658 0 0 0 31943 58 0 0 25 0 1 0 634931411 14213120 2579 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2579 1111 63 0 3407 0
vsize: 13880
[startup+330.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2670 0 0 0 32942 59 0 0 25 0 1 0 634931411 14159872 2591 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3457 2591 1111 63 0 3394 0
vsize: 13828
[startup+340.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2672 0 0 0 33941 61 0 0 25 0 1 0 634931411 14159872 2593 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3457 2593 1111 63 0 3394 0
vsize: 13828
[startup+350.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2686 0 0 0 34939 62 0 0 25 0 1 0 634931411 14282752 2607 4294967295 134512640 134714508 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3487 2607 1111 63 0 3424 0
vsize: 13948
[startup+360.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2704 0 0 0 35939 63 0 0 25 0 1 0 634931411 14393344 2625 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3514 2625 1111 63 0 3451 0
vsize: 14056
[startup+370.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2717 0 0 0 36938 64 0 0 25 0 1 0 634931411 14393344 2638 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3514 2638 1111 63 0 3451 0
vsize: 14056
[startup+380.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2722 0 0 0 37938 64 0 0 25 0 1 0 634931411 14393344 2643 4294967295 134512640 134714508 3221221776 3221220288 1076648027 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3514 2643 1111 63 0 3451 0
vsize: 14056
[startup+390.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2722 0 0 0 38937 65 0 0 25 0 1 0 634931411 14393344 2643 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3514 2643 1111 63 0 3451 0
vsize: 14056
[startup+400.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2735 0 0 0 39936 67 0 0 25 0 1 0 634931411 14524416 2656 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+410.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2735 0 0 0 40935 68 0 0 25 0 1 0 634931411 14524416 2656 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+420.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2735 0 0 0 41934 69 0 0 25 0 1 0 634931411 14524416 2656 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+430.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2735 0 0 0 42933 70 0 0 25 0 1 0 634931411 14524416 2656 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+440.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2735 0 0 0 43932 71 0 0 25 0 1 0 634931411 14524416 2656 4294967295 134512640 134714508 3221221776 3221220432 134613585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+450.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2735 0 0 0 44931 73 0 0 25 0 1 0 634931411 14524416 2656 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+460.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2742 0 0 0 45930 73 0 0 25 0 1 0 634931411 14524416 2663 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2663 1111 63 0 3483 0
vsize: 14184
[startup+470.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2755 0 0 0 46929 75 0 0 25 0 1 0 634931411 14524416 2676 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3546 2676 1111 63 0 3483 0
vsize: 14184
[startup+480.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2768 0 0 0 47928 76 0 0 25 0 1 0 634931411 14630912 2689 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3572 2689 1111 63 0 3509 0
vsize: 14288
[startup+490.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2768 0 0 0 48926 78 0 0 25 0 1 0 634931411 14630912 2689 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3572 2689 1111 63 0 3509 0
vsize: 14288
[startup+500.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2783 0 0 0 49926 79 0 0 25 0 1 0 634931411 14630912 2704 4294967295 134512640 134714508 3221221776 3221220512 134558537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3572 2704 1111 63 0 3509 0
vsize: 14288
[startup+510.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2783 0 0 0 50925 80 0 0 25 0 1 0 634931411 14630912 2704 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3572 2704 1111 63 0 3509 0
vsize: 14288
[startup+520.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2783 0 0 0 51924 81 0 0 25 0 1 0 634931411 14630912 2704 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3572 2704 1111 63 0 3509 0
vsize: 14288
[startup+530.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2783 0 0 0 52922 83 0 0 25 0 1 0 634931411 14630912 2704 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3572 2704 1111 63 0 3509 0
vsize: 14288
[startup+540.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2786 0 0 0 53921 84 0 0 25 0 1 0 634931411 14630912 2707 4294967295 134512640 134714508 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3572 2707 1111 63 0 3509 0
vsize: 14288
[startup+550.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2789 0 0 0 54920 85 0 0 25 0 1 0 634931411 14766080 2710 4294967295 134512640 134714508 3221221776 3221220564 134585142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2710 1111 63 0 3542 0
vsize: 14420
[startup+560.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2797 0 0 0 55919 87 0 0 25 0 1 0 634931411 14766080 2718 4294967295 134512640 134714508 3221221776 3221220384 134548617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2718 1111 63 0 3542 0
vsize: 14420
[startup+570.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2797 0 0 0 56918 88 0 0 25 0 1 0 634931411 14766080 2718 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2718 1111 63 0 3542 0
vsize: 14420
[startup+580.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2804 0 0 0 57916 89 0 0 25 0 1 0 634931411 14766080 2725 4294967295 134512640 134714508 3221221776 3221220416 134524203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2725 1111 63 0 3542 0
vsize: 14420
[startup+590.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 58915 91 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+600.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 59914 92 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220432 134613585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+610.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 60912 94 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+620.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 61911 95 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+630.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 62910 96 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220284 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+640.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 63909 97 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+650.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 64908 99 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+660.019 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 65907 100 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+670.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 66905 102 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220512 134558501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+680.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2847 0 0 0 67904 103 0 0 25 0 1 0 634931411 14901248 2768 4294967295 134512640 134714508 3221221776 3221220456 134524426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+690.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2858 0 0 0 68903 105 0 0 25 0 1 0 634931411 15032320 2779 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2779 1111 63 0 3607 0
vsize: 14680
[startup+700.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2858 0 0 0 69901 106 0 0 25 0 1 0 634931411 15032320 2779 4294967295 134512640 134714508 3221221776 3221220392 1077377140 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2779 1111 63 0 3607 0
vsize: 14680
[startup+710.021 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2858 0 0 0 70901 107 0 0 25 0 1 0 634931411 15032320 2779 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2779 1111 63 0 3607 0
vsize: 14680
[startup+720.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2863 0 0 0 71899 109 0 0 25 0 1 0 634931411 15032320 2784 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2784 1111 63 0 3607 0
vsize: 14680
[startup+730.022 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2863 0 0 0 72898 110 0 0 25 0 1 0 634931411 15032320 2784 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2784 1111 63 0 3607 0
vsize: 14680
[startup+740.023 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2863 0 0 0 73897 111 0 0 25 0 1 0 634931411 15032320 2784 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2784 1111 63 0 3607 0
vsize: 14680
[startup+750.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2872 0 0 0 74896 113 0 0 25 0 1 0 634931411 15032320 2793 4294967295 134512640 134714508 3221221776 3221220344 1077377159 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2793 1111 63 0 3607 0
vsize: 14680
[startup+760.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2882 0 0 0 75896 113 0 0 25 0 1 0 634931411 15032320 2803 4294967295 134512640 134714508 3221221776 3221220408 134696001 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2803 1111 63 0 3607 0
vsize: 14680
[startup+770.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2882 0 0 0 76895 114 0 0 25 0 1 0 634931411 15032320 2803 4294967295 134512640 134714508 3221221776 3221220368 134539429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2803 1111 63 0 3607 0
vsize: 14680
[startup+780.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2882 0 0 0 77894 115 0 0 25 0 1 0 634931411 15032320 2803 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2803 1111 63 0 3607 0
vsize: 14680
[startup+790.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2882 0 0 0 78893 116 0 0 25 0 1 0 634931411 15032320 2803 4294967295 134512640 134714508 3221221776 3221220344 1077377411 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2803 1111 63 0 3607 0
vsize: 14680
[startup+800.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2883 0 0 0 79892 117 0 0 25 0 1 0 634931411 15032320 2804 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3670 2804 1111 63 0 3607 0
vsize: 14680
[startup+810.024 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2891 0 0 0 80891 119 0 0 25 0 1 0 634931411 15167488 2812 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2812 1111 63 0 3640 0
vsize: 14812
[startup+820.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 81890 120 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220216 1077377470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+830.025 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 82889 122 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220324 134696709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+840.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 83887 123 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220448 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+850.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 84885 125 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+860.026 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 85885 126 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+870.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 86885 126 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+880.027 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 87883 128 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+890.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 88882 129 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+900.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 89881 131 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+910.028 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 90880 132 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+920.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2915 0 0 0 91879 133 0 0 25 0 1 0 634931411 15167488 2836 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+930.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2919 0 0 0 92878 134 0 0 25 0 1 0 634931411 15302656 2840 4294967295 134512640 134714508 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3736 2840 1111 63 0 3673 0
vsize: 14944
[startup+940.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2931 0 0 0 93876 136 0 0 25 0 1 0 634931411 15302656 2852 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3736 2852 1111 63 0 3673 0
vsize: 14944
[startup+950.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2931 0 0 0 94875 137 0 0 25 0 1 0 634931411 15282176 2852 4294967295 134512640 134714508 3221221776 3221220324 134696673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3731 2852 1111 63 0 3668 0
vsize: 14924
[startup+960.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2936 0 0 0 95874 139 0 0 25 0 1 0 634931411 15282176 2857 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3731 2857 1111 63 0 3668 0
vsize: 14924
[startup+970.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2936 0 0 0 96873 140 0 0 25 0 1 0 634931411 15282176 2857 4294967295 134512640 134714508 3221221776 3221220432 134613585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3731 2857 1111 63 0 3668 0
vsize: 14924
[startup+980.029 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2939 0 0 0 97873 140 0 0 25 0 1 0 634931411 15282176 2860 4294967295 134512640 134714508 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3731 2860 1111 63 0 3668 0
vsize: 14924
[startup+990.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2947 0 0 0 98871 142 0 0 25 0 1 0 634931411 15417344 2868 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3764 2868 1111 63 0 3701 0
vsize: 15056
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2947 0 0 0 99869 144 0 0 25 0 1 0 634931411 15417344 2868 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3764 2868 1111 63 0 3701 0
vsize: 15056
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2956 0 0 0 100868 146 0 0 25 0 1 0 634931411 15405056 2877 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3761 2877 1111 63 0 3698 0
vsize: 15044
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 2974 0 0 0 101866 147 0 0 25 0 1 0 634931411 15405056 2895 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3761 2895 1111 63 0 3698 0
vsize: 15044
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3014 0 0 0 102865 148 0 0 25 0 1 0 634931411 15675392 2935 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3014 0 0 0 103865 150 0 0 25 0 1 0 634931411 15675392 2935 4294967295 134512640 134714508 3221221776 3221220524 134672949 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3014 0 0 0 104864 150 0 0 25 0 1 0 634931411 15675392 2935 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3014 0 0 0 105863 152 0 0 25 0 1 0 634931411 15675392 2935 4294967295 134512640 134714508 3221221776 3221220416 134524203 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3014 0 0 0 106862 153 0 0 25 0 1 0 634931411 15675392 2935 4294967295 134512640 134714508 3221221776 3221220472 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3014 0 0 0 107861 154 0 0 25 0 1 0 634931411 15675392 2935 4294967295 134512640 134714508 3221221776 3221220512 134528665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3014 0 0 0 108860 155 0 0 25 0 1 0 634931411 15675392 2935 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3014 0 0 0 109859 156 0 0 25 0 1 0 634931411 15675392 2935 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3015 0 0 0 110858 157 0 0 25 0 1 0 634931411 15675392 2936 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2936 1111 63 0 3764 0
vsize: 15308
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3015 0 0 0 111857 158 0 0 25 0 1 0 634931411 15675392 2936 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2936 1111 63 0 3764 0
vsize: 15308
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3018 0 0 0 112856 159 0 0 25 0 1 0 634931411 15675392 2939 4294967295 134512640 134714508 3221221776 3221220416 134696047 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2939 1111 63 0 3764 0
vsize: 15308
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3023 0 0 0 113855 161 0 0 25 0 1 0 634931411 15675392 2944 4294967295 134512640 134714508 3221221776 3221220432 134523862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3827 2944 1111 63 0 3764 0
vsize: 15308
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3044 0 0 0 114854 162 0 0 25 0 1 0 634931411 15810560 2965 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3860 2965 1111 63 0 3797 0
vsize: 15440
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3044 0 0 0 115853 163 0 0 25 0 1 0 634931411 15810560 2965 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3860 2965 1111 63 0 3797 0
vsize: 15440
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3044 0 0 0 116853 164 0 0 25 0 1 0 634931411 15810560 2965 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3860 2965 1111 63 0 3797 0
vsize: 15440
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.99 0.92 1/53 15415
Raw data (stat): 15413 (bsolo_lpr_cuts) R 15412 7876 7672 0 -1 0 3044 0 0 0 116853 164 0 0 25 0 1 0 634931411 15810560 2965 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3860 2965 1111 63 0 3797 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.38
CPU system time (s): 1.66175
CPU usage (%): 100.012
Max. virtual memory (Kb): 15440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####