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-chnl20_21_pb.cnf.cr.opb
MD5SUM	112c693a7a90a8dc93ad23dc136d9b75
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	22
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.026995
Number of variables	840
Total number of constraints	82
Number of constraints which are clauses	42
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	21
Trace number 40556

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 14:23:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28622 boxname=wulflinc3 idbench=8 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  112c693a7a90a8dc93ad23dc136d9b75  /oldhome/oroussel/tmp/wulflinc3/normalized-chnl20_21_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl20_21_pb.cnf.cr.opb
IDLAUNCH: 28622
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        767220 kB
Buffers:          6024 kB
Cached:         241504 kB
SwapCached:        808 kB
Active:          29964 kB
Inactive:       219628 kB
HighTotal:      131008 kB
HighFree:         4648 kB
LowTotal:       903652 kB
LowFree:        762572 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12116 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:43:22 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 28622 7 1175.1 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 840 variables and 82 constraints.
c After prepocess the problem consists of 840 variables and 82 constraints.
c preprocess terminated 0.209 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.84 0.94 0.90 2/54 26636
Raw data (stat): 26636 (runsolver) R 26635 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902318983 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.001 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 3685 0 0 0 986 11 0 0 25 0 1 0 902318983 18186240 3603 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 3604 1111 63 0 4377 0
vsize: 17760
[startup+20.0008 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 5300 0 0 0 1980 16 0 0 25 0 1 0 902318983 24821760 5218 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6060 5218 1111 63 0 5997 0
vsize: 24240
[startup+30.0006 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 6099 0 0 0 2978 19 0 0 25 0 1 0 902318983 28069888 6017 4294967295 134512640 134716908 3221224560 3221223200 134698446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6853 6017 1111 63 0 6790 0
vsize: 27412
[startup+40.0005 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 6510 0 0 0 3975 22 0 0 25 0 1 0 902318983 29843456 6428 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7286 6428 1111 63 0 7223 0
vsize: 29144
[startup+50.0003 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 8102 0 0 0 4970 27 0 0 25 0 1 0 902318983 36466688 8020 4294967295 134512640 134716908 3221224560 3221223232 134655196 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8903 8020 1111 63 0 8840 0
vsize: 35612
[startup+60.0002 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 9119 0 0 0 5966 31 0 0 25 0 1 0 902318983 40660992 9037 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9927 9037 1111 63 0 9864 0
vsize: 39708
[startup+70 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 9785 0 0 0 6964 33 0 0 25 0 1 0 902318983 43376640 9703 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10590 9703 1111 63 0 10527 0
vsize: 42360
[startup+79.9999 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 10459 0 0 0 7963 35 0 0 25 0 1 0 902318983 46080000 10377 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11250 10377 1111 63 0 11187 0
vsize: 45000
[startup+89.9997 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 10990 0 0 0 8961 37 0 0 25 0 1 0 902318983 48238592 10908 4294967295 134512640 134716908 3221224560 3221223080 134535015 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11777 10908 1111 63 0 11714 0
vsize: 47108
[startup+99.9995 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 11772 0 0 0 9958 40 0 0 25 0 1 0 902318983 51490816 11690 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12571 11690 1111 63 0 12508 0
vsize: 50284
[startup+110 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 12450 0 0 0 10956 42 0 0 25 0 1 0 902318983 54341632 12368 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13267 12368 1111 63 0 13204 0
vsize: 53068
[startup+120.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 12989 0 0 0 11953 45 0 0 25 0 1 0 902318983 56504320 12907 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13795 12907 1111 63 0 13732 0
vsize: 55180
[startup+130.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 13592 0 0 0 12951 48 0 0 25 0 1 0 902318983 58953728 13510 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14393 13510 1111 63 0 14330 0
vsize: 57572
[startup+140.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 14171 0 0 0 13948 51 0 0 25 0 1 0 902318983 61267968 14089 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14958 14089 1111 63 0 14895 0
vsize: 59832
[startup+150.001 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 14616 0 0 0 14946 52 0 0 25 0 1 0 902318983 63160320 14534 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15420 14534 1111 63 0 15357 0
vsize: 61680
[startup+160.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 15138 0 0 0 15944 54 0 0 25 0 1 0 902318983 65323008 15056 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15948 15056 1111 63 0 15885 0
vsize: 63792
[startup+170 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 15441 0 0 0 16943 56 0 0 25 0 1 0 902318983 66572288 15359 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16253 15359 1111 63 0 16190 0
vsize: 65012
[startup+180 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 15820 0 0 0 17941 58 0 0 25 0 1 0 902318983 68214784 15735 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16654 15735 1111 63 0 16591 0
vsize: 66616
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 16054 0 0 0 18940 60 0 0 25 0 1 0 902318983 69169152 15968 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16887 15968 1111 63 0 16824 0
vsize: 67548
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 16423 0 0 0 19938 62 0 0 25 0 1 0 902318983 70791168 16336 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17283 16336 1111 63 0 17220 0
vsize: 69132
[startup+210.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 16925 0 0 0 20935 65 0 0 25 0 1 0 902318983 72880128 16838 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17793 16838 1111 63 0 17730 0
vsize: 71172
[startup+220.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 17278 0 0 0 21934 66 0 0 25 0 1 0 902318983 74366976 17191 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18156 17191 1111 63 0 18093 0
vsize: 72624
[startup+230 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 17470 0 0 0 22933 67 0 0 25 0 1 0 902318983 75186176 17383 4294967295 134512640 134716908 3221224560 3221223188 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18356 17383 1111 63 0 18293 0
vsize: 73424
[startup+240 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 17791 0 0 0 23932 69 0 0 25 0 1 0 902318983 76476416 17700 4294967295 134512640 134716908 3221224560 3221223148 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18671 17700 1111 63 0 18608 0
vsize: 74684
[startup+250.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 18045 0 0 0 24931 70 0 0 25 0 1 0 902318983 77594624 17951 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18944 17951 1111 63 0 18881 0
vsize: 75776
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 18313 0 0 0 25929 71 0 0 25 0 1 0 902318983 78647296 18219 4294967295 134512640 134716908 3221224560 3221223248 134551950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19201 18219 1111 63 0 19138 0
vsize: 76804
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 18570 0 0 0 26929 72 0 0 25 0 1 0 902318983 79728640 18476 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19465 18476 1111 63 0 19402 0
vsize: 77860
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 18751 0 0 0 27928 73 0 0 25 0 1 0 902318983 80404480 18657 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19630 18657 1111 63 0 19567 0
vsize: 78520
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 19165 0 0 0 28927 75 0 0 25 0 1 0 902318983 82161664 19071 4294967295 134512640 134716908 3221224560 3221223152 134549764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20059 19071 1111 63 0 19996 0
vsize: 80236
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 19437 0 0 0 29926 76 0 0 25 0 1 0 902318983 83230720 19343 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20320 19343 1111 63 0 20257 0
vsize: 81280
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 19599 0 0 0 30925 77 0 0 25 0 1 0 902318983 83906560 19505 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20485 19505 1111 63 0 20422 0
vsize: 81940
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 20019 0 0 0 31923 79 0 0 25 0 1 0 902318983 85663744 19925 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20914 19925 1111 63 0 20851 0
vsize: 83656
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 20336 0 0 0 32922 80 0 0 25 0 1 0 902318983 86872064 20242 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21209 20242 1111 63 0 21146 0
vsize: 84836
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 20495 0 0 0 33921 81 0 0 25 0 1 0 902318983 87560192 20400 4294967295 134512640 134716908 3221224560 3221223248 134528707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21377 20400 1111 63 0 21314 0
vsize: 85508
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 20770 0 0 0 34920 82 0 0 25 0 1 0 902318983 88776704 20675 4294967295 134512640 134716908 3221224560 3221223280 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21674 20675 1111 63 0 21611 0
vsize: 86696
[startup+360.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 21048 0 0 0 35918 84 0 0 25 0 1 0 902318983 89853952 20952 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21937 20952 1111 63 0 21874 0
vsize: 87748
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 21293 0 0 0 36917 85 0 0 25 0 1 0 902318983 90824704 21197 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22174 21197 1111 63 0 22111 0
vsize: 88696
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 21490 0 0 0 37916 86 0 0 25 0 1 0 902318983 91779072 21394 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22407 21394 1111 63 0 22344 0
vsize: 89628
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 21951 0 0 0 38914 88 0 0 25 0 1 0 902318983 93671424 21855 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22869 21855 1111 63 0 22806 0
vsize: 91476
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 22290 0 0 0 39913 90 0 0 25 0 1 0 902318983 95023104 22194 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23199 22194 1111 63 0 23136 0
vsize: 92796
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 22619 0 0 0 40911 92 0 0 25 0 1 0 902318983 96374784 22523 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23529 22523 1111 63 0 23466 0
vsize: 94116
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 23163 0 0 0 41909 94 0 0 25 0 1 0 902318983 98537472 23067 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24057 23067 1111 63 0 23994 0
vsize: 96228
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 23368 0 0 0 42909 94 0 0 25 0 1 0 902318983 99483648 23272 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24288 23272 1111 63 0 24225 0
vsize: 97152
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 23690 0 0 0 43908 96 0 0 25 0 1 0 902318983 100691968 23594 4294967295 134512640 134716908 3221224560 3221223344 134528816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24583 23594 1111 63 0 24520 0
vsize: 98332
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 24039 0 0 0 44906 97 0 0 25 0 1 0 902318983 102178816 23943 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24946 23943 1111 63 0 24883 0
vsize: 99784
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 24202 0 0 0 45906 98 0 0 25 0 1 0 902318983 102924288 24106 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25128 24106 1111 63 0 25065 0
vsize: 100512
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 24486 0 0 0 46905 99 0 0 25 0 1 0 902318983 104140800 24390 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25425 24390 1111 63 0 25362 0
vsize: 101700
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 24774 0 0 0 47904 101 0 0 25 0 1 0 902318983 105222144 24678 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25689 24678 1111 63 0 25626 0
vsize: 102756
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 24929 0 0 0 48903 101 0 0 25 0 1 0 902318983 105906176 24831 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25856 24831 1111 63 0 25793 0
vsize: 103424
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 25120 0 0 0 49902 103 0 0 25 0 1 0 902318983 106717184 25022 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26054 25022 1111 63 0 25991 0
vsize: 104216
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 25253 0 0 0 50901 104 0 0 25 0 1 0 902318983 107261952 25154 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26187 25154 1111 63 0 26124 0
vsize: 104748
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 25538 0 0 0 51900 105 0 0 25 0 1 0 902318983 108478464 25439 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26484 25439 1111 63 0 26421 0
vsize: 105936
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 25773 0 0 0 52898 107 0 0 25 0 1 0 902318983 109428736 25674 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26716 25674 1111 63 0 26653 0
vsize: 106864
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26124 0 0 0 53897 108 0 0 25 0 1 0 902318983 110915584 26025 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27079 26025 1111 63 0 27016 0
vsize: 108316
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26254 0 0 0 54897 109 0 0 25 0 1 0 902318983 111505408 26151 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27223 26151 1111 63 0 27160 0
vsize: 108892
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26389 0 0 0 55896 110 0 0 25 0 1 0 902318983 112046080 26286 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27355 26286 1111 63 0 27292 0
vsize: 109420
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26489 0 0 0 56895 110 0 0 25 0 1 0 902318983 112500736 26383 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27466 26383 1111 63 0 27403 0
vsize: 109864
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26557 0 0 0 57895 111 0 0 25 0 1 0 902318983 112771072 26451 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27532 26451 1111 63 0 27469 0
vsize: 110128
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26628 0 0 0 58894 112 0 0 25 0 1 0 902318983 113090560 26519 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27610 26519 1111 63 0 27547 0
vsize: 110440
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26738 0 0 0 59894 112 0 0 25 0 1 0 902318983 113582080 26623 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27730 26623 1111 63 0 27667 0
vsize: 110920
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26816 0 0 0 60893 113 0 0 25 0 1 0 902318983 113905664 26699 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27809 26699 1111 63 0 27746 0
vsize: 111236
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26861 0 0 0 61893 113 0 0 25 0 1 0 902318983 114085888 26740 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27853 26740 1111 63 0 27790 0
vsize: 111412
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 26900 0 0 0 62893 114 0 0 25 0 1 0 902318983 114221056 26779 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27886 26779 1111 63 0 27823 0
vsize: 111544
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 27166 0 0 0 63891 116 0 0 25 0 1 0 902318983 115343360 27043 4294967295 134512640 134716908 3221224560 3221223216 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28160 27043 1111 63 0 28097 0
vsize: 112640
[startup+650.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 28190 0 0 0 64888 120 0 0 25 0 1 0 902318983 119529472 28067 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29182 28067 1111 63 0 29119 0
vsize: 116728
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 28759 0 0 0 65886 121 0 0 25 0 1 0 902318983 121827328 28636 4294967295 134512640 134716908 3221224560 3221222656 134699605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29743 28636 1111 63 0 29680 0
vsize: 118972
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 29337 0 0 0 66885 123 0 0 25 0 1 0 902318983 124260352 29214 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30337 29214 1111 63 0 30274 0
vsize: 121348
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 30147 0 0 0 67882 126 0 0 25 0 1 0 902318983 127533056 30020 4294967295 134512640 134716908 3221224560 3221223144 134549708 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31136 30020 1111 63 0 31073 0
vsize: 124544
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 30848 0 0 0 68879 128 0 0 25 0 1 0 902318983 130392064 30721 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31834 30721 1111 63 0 31771 0
vsize: 127336
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 31033 0 0 0 69879 129 0 0 25 0 1 0 902318983 131203072 30906 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32032 30906 1111 63 0 31969 0
vsize: 128128
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 31219 0 0 0 70879 129 0 0 25 0 1 0 902318983 132030464 31091 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32234 31091 1111 63 0 32171 0
vsize: 128936
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 31633 0 0 0 71877 131 0 0 25 0 1 0 902318983 133652480 31505 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32630 31505 1111 63 0 32567 0
vsize: 130520
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 31762 0 0 0 72877 132 0 0 25 0 1 0 902318983 134230016 31634 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32771 31634 1111 63 0 32708 0
vsize: 131084
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 31882 0 0 0 73876 133 0 0 25 0 1 0 902318983 134778880 31754 4294967295 134512640 134716908 3221224560 3221223200 134698446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32905 31754 1111 63 0 32842 0
vsize: 131620
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 32021 0 0 0 74876 133 0 0 25 0 1 0 902318983 135319552 31893 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33037 31893 1111 63 0 32974 0
vsize: 132148
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 32109 0 0 0 75875 134 0 0 25 0 1 0 902318983 135741440 31980 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33140 31980 1111 63 0 33077 0
vsize: 132560
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 32386 0 0 0 76874 135 0 0 25 0 1 0 902318983 136826880 32257 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33405 32257 1111 63 0 33342 0
vsize: 133620
[startup+780.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 32716 0 0 0 77873 137 0 0 25 0 1 0 902318983 138178560 32587 4294967295 134512640 134716908 3221224560 3221223332 134529151 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33735 32587 1111 63 0 33672 0
vsize: 134940
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 33048 0 0 0 78871 138 0 0 25 0 1 0 902318983 139530240 32919 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34065 32919 1111 63 0 34002 0
vsize: 136260
[startup+800.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 33267 0 0 0 79871 139 0 0 25 0 1 0 902318983 140464128 33138 4294967295 134512640 134716908 3221224560 3221223244 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34293 33138 1111 63 0 34230 0
vsize: 137172
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 33481 0 0 0 80870 141 0 0 25 0 1 0 902318983 141275136 33352 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34491 33352 1111 63 0 34428 0
vsize: 137964
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 33695 0 0 0 81869 141 0 0 25 0 1 0 902318983 142213120 33566 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34720 33566 1111 63 0 34657 0
vsize: 138880
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 33844 0 0 0 82869 142 0 0 25 0 1 0 902318983 142753792 33715 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34852 33715 1111 63 0 34789 0
vsize: 139408
[startup+840.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 33951 0 0 0 83868 143 0 0 25 0 1 0 902318983 143159296 33822 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34951 33822 1111 63 0 34888 0
vsize: 139804
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 35284 0 0 0 84864 147 0 0 25 0 1 0 902318983 148779008 35152 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36323 35152 1111 63 0 36260 0
vsize: 145292
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 36033 0 0 0 85862 149 0 0 25 0 1 0 902318983 151752704 35901 4294967295 134512640 134716908 3221224560 3221223276 134551979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37049 35901 1111 63 0 36986 0
vsize: 148196
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 36717 0 0 0 86859 152 0 0 25 0 1 0 902318983 154591232 36585 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37742 36585 1111 63 0 37679 0
vsize: 150968
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 37340 0 0 0 87857 154 0 0 25 0 1 0 902318983 157159424 37208 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38369 37208 1111 63 0 38306 0
vsize: 153476
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 37796 0 0 0 88855 156 0 0 25 0 1 0 902318983 158982144 37660 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38814 37660 1111 63 0 38751 0
vsize: 155256
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 38023 0 0 0 89855 156 0 0 25 0 1 0 902318983 159928320 37887 4294967295 134512640 134716908 3221224560 3221223120 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39045 37887 1111 63 0 38982 0
vsize: 156180
[startup+910.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 38328 0 0 0 90854 158 0 0 25 0 1 0 902318983 161280000 38192 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39375 38192 1111 63 0 39312 0
vsize: 157500
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 38599 0 0 0 91854 159 0 0 25 0 1 0 902318983 162381824 38462 4294967295 134512640 134716908 3221224560 3221223128 134535489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39644 38462 1111 63 0 39581 0
vsize: 158576
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 38808 0 0 0 92852 160 0 0 25 0 1 0 902318983 163188736 38671 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39841 38671 1111 63 0 39778 0
vsize: 159364
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 38927 0 0 0 93852 161 0 0 25 0 1 0 902318983 163729408 38790 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39973 38790 1111 63 0 39910 0
vsize: 159892
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 39112 0 0 0 94850 162 0 0 25 0 1 0 902318983 164536320 38975 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40170 38975 1111 63 0 40107 0
vsize: 160680
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 39190 0 0 0 95850 162 0 0 25 0 1 0 902318983 164818944 39053 4294967295 134512640 134716908 3221224560 3221223148 134535640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40239 39053 1111 63 0 40176 0
vsize: 160956
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 39346 0 0 0 96849 163 0 0 25 0 1 0 902318983 165523456 39209 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40411 39209 1111 63 0 40348 0
vsize: 161644
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 40280 0 0 0 97845 168 0 0 25 0 1 0 902318983 169308160 40143 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41335 40143 1111 63 0 41272 0
vsize: 165340
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 40697 0 0 0 98844 169 0 0 25 0 1 0 902318983 171057152 40560 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41762 40560 1111 63 0 41699 0
vsize: 167048
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 41325 0 0 0 99841 172 0 0 25 0 1 0 902318983 173621248 41188 4294967295 134512640 134716908 3221224560 3221223116 134535661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42388 41188 1111 63 0 42325 0
vsize: 169552
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 41560 0 0 0 100840 174 0 0 25 0 1 0 902318983 174567424 41423 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42619 41423 1111 63 0 42556 0
vsize: 170476
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 41709 0 0 0 101839 175 0 0 25 0 1 0 902318983 175108096 41572 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42751 41572 1111 63 0 42688 0
vsize: 171004
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 42111 0 0 0 102837 177 0 0 25 0 1 0 902318983 176730112 41974 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43147 41974 1111 63 0 43084 0
vsize: 172588
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 42391 0 0 0 103836 179 0 0 25 0 1 0 902318983 177946624 42254 4294967295 134512640 134716908 3221224560 3221223264 134528401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43444 42254 1111 63 0 43381 0
vsize: 173776
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 42532 0 0 0 104835 180 0 0 25 0 1 0 902318983 178487296 42395 4294967295 134512640 134716908 3221224560 3221223116 134535620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43576 42395 1111 63 0 43513 0
vsize: 174304
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 42737 0 0 0 105833 181 0 0 25 0 1 0 902318983 179298304 42600 4294967295 134512640 134716908 3221224560 3221223288 1076648037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43774 42600 1111 63 0 43711 0
vsize: 175096
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 42844 0 0 0 106833 182 0 0 25 0 1 0 902318983 179703808 42707 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43873 42707 1111 63 0 43810 0
vsize: 175492
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 43005 0 0 0 107832 183 0 0 25 0 1 0 902318983 180379648 42868 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44038 42868 1111 63 0 43975 0
vsize: 176152
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 43138 0 0 0 108831 184 0 0 25 0 1 0 902318983 180920320 43001 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44170 43001 1111 63 0 44107 0
vsize: 176680
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 43311 0 0 0 109831 185 0 0 25 0 1 0 902318983 181731328 43174 4294967295 134512640 134716908 3221224560 3221223188 134698616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44368 43174 1111 63 0 44305 0
vsize: 177472
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 43424 0 0 0 110830 185 0 0 25 0 1 0 902318983 182136832 43287 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44467 43287 1111 63 0 44404 0
vsize: 177868
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 43618 0 0 0 111829 186 0 0 25 0 1 0 902318983 182947840 43481 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44665 43481 1111 63 0 44602 0
vsize: 178660
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 43720 0 0 0 112829 187 0 0 25 0 1 0 902318983 183353344 43583 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44764 43583 1111 63 0 44701 0
vsize: 179056
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 43757 0 0 0 113829 187 0 0 25 0 1 0 902318983 183488512 43620 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44797 43620 1111 63 0 44734 0
vsize: 179188
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 43850 0 0 0 114829 188 0 0 25 0 1 0 902318983 183894016 43713 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44896 43713 1111 63 0 44833 0
vsize: 179584
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 44272 0 0 0 115827 189 0 0 25 0 1 0 902318983 185630720 44135 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45320 44135 1111 63 0 45257 0
vsize: 181280
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 44567 0 0 0 116826 190 0 0 25 0 1 0 902318983 186847232 44430 4294967295 134512640 134716908 3221224560 3221223328 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45617 44430 1111 63 0 45554 0
vsize: 182468
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 26636
Raw data (stat): 26636 (bsolo_lpr_cuts-) R 26635 20224 20223 0 -1 0 44567 0 0 0 116826 190 0 0 25 0 1 0 902318983 186847232 44430 4294967295 134512640 134716908 3221224560 3221223328 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45617 44430 1111 63 0 45554 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.1
CPU user time (s): 1173.11
CPU system time (s): 1.9967
CPU usage (%): 100.013
Max. virtual memory (Kb): 182468
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####