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-chnl35_36_pb.cnf.cr.opb
MD5SUM	c779424bd1795a1e1adf6f4e7f38e307
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	37
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.075987
Number of variables	2520
Total number of constraints	142
Number of constraints which are clauses	72
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	36
Trace number 40562

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 14:43:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28628 boxname=wulflinc3 idbench=14 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  c779424bd1795a1e1adf6f4e7f38e307  /oldhome/oroussel/tmp/wulflinc3/normalized-chnl35_36_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-chnl35_36_pb.cnf.cr.opb
IDLAUNCH: 28628
/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:        765724 kB
Buffers:          7604 kB
Cached:         241556 kB
SwapCached:        808 kB
Active:          31568 kB
Inactive:       219696 kB
HighTotal:      131008 kB
HighFree:         4536 kB
LowTotal:       903652 kB
LowFree:        761188 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            11820 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:03:04 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28628 7 1175.03 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 2520 variables and 142 constraints.
c After prepocess the problem consists of 2520 variables and 142 constraints.
c preprocess terminated 0.873 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.91 0.95 0.90 2/54 26729
Raw data (stat): 26729 (runsolver) R 26728 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902437257 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 1442 0 0 0 992 5 0 0 25 0 1 0 902437257 9060352 1360 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2212 1360 1111 63 0 2149 0
vsize: 8848
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 1581 0 0 0 1990 7 0 0 25 0 1 0 902437257 9592832 1499 4294967295 134512640 134716908 3221224560 3221223288 134558821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2342 1499 1111 63 0 2279 0
vsize: 9368
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 1647 0 0 0 2988 9 0 0 25 0 1 0 902437257 9842688 1565 4294967295 134512640 134716908 3221224560 3221223176 134549509 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2403 1565 1111 63 0 2340 0
vsize: 9612
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 1722 0 0 0 3987 10 0 0 25 0 1 0 902437257 10248192 1640 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2502 1640 1111 63 0 2439 0
vsize: 10008
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 1878 0 0 0 4986 11 0 0 25 0 1 0 902437257 10788864 1796 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2634 1796 1111 63 0 2571 0
vsize: 10536
[startup+60.0022 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2069 0 0 0 5985 13 0 0 25 0 1 0 902437257 11599872 1987 4294967295 134512640 134716908 3221224560 3221223296 134523985 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2832 1987 1111 63 0 2769 0
vsize: 11328
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2140 0 0 0 6983 14 0 0 25 0 1 0 902437257 11870208 2058 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2898 2058 1111 63 0 2835 0
vsize: 11592
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2176 0 0 0 7982 16 0 0 25 0 1 0 902437257 12087296 2094 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2951 2094 1111 63 0 2888 0
vsize: 11804
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2210 0 0 0 8981 17 0 0 25 0 1 0 902437257 12222464 2128 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2128 1111 63 0 2921 0
vsize: 11936
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2327 0 0 0 9980 18 0 0 25 0 1 0 902437257 12627968 2245 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3083 2245 1111 63 0 3020 0
vsize: 12332
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2421 0 0 0 10979 20 0 0 25 0 1 0 902437257 13033472 2339 4294967295 134512640 134716908 3221224560 3221223128 1077377239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3182 2339 1111 63 0 3119 0
vsize: 12728
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2532 0 0 0 11977 22 0 0 25 0 1 0 902437257 13570048 2450 4294967295 134512640 134716908 3221224560 3221223288 134558807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3313 2450 1111 63 0 3250 0
vsize: 13252
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2604 0 0 0 12976 23 0 0 25 0 1 0 902437257 13840384 2522 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3379 2522 1111 63 0 3316 0
vsize: 13516
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2623 0 0 0 13974 25 0 0 25 0 1 0 902437257 13840384 2541 4294967295 134512640 134716908 3221224560 3221223120 134552035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3379 2541 1111 63 0 3316 0
vsize: 13516
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2650 0 0 0 14974 25 0 0 25 0 1 0 902437257 13975552 2568 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3412 2568 1111 63 0 3349 0
vsize: 13648
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2737 0 0 0 15973 26 0 0 25 0 1 0 902437257 14372864 2655 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3509 2655 1111 63 0 3446 0
vsize: 14036
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2817 0 0 0 16972 28 0 0 25 0 1 0 902437257 14643200 2735 4294967295 134512640 134716908 3221224560 3221223288 134558785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3575 2735 1111 63 0 3512 0
vsize: 14300
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2901 0 0 0 17970 30 0 0 25 0 1 0 902437257 15040512 2819 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3672 2819 1111 63 0 3609 0
vsize: 14688
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 2955 0 0 0 18968 32 0 0 25 0 1 0 902437257 15310848 2873 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3738 2873 1111 63 0 3675 0
vsize: 14952
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3021 0 0 0 19967 33 0 0 25 0 1 0 902437257 15581184 2939 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3804 2939 1111 63 0 3741 0
vsize: 15216
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3056 0 0 0 20966 34 0 0 25 0 1 0 902437257 15716352 2974 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2974 1111 63 0 3774 0
vsize: 15348
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3073 0 0 0 21965 35 0 0 25 0 1 0 902437257 15716352 2991 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3837 2991 1111 63 0 3774 0
vsize: 15348
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3098 0 0 0 22964 37 0 0 25 0 1 0 902437257 15847424 3016 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 3016 1111 63 0 3806 0
vsize: 15476
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3110 0 0 0 23962 39 0 0 25 0 1 0 902437257 15847424 3028 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3869 3028 1111 63 0 3806 0
vsize: 15476
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3132 0 0 0 24961 40 0 0 25 0 1 0 902437257 15982592 3050 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3902 3050 1111 63 0 3839 0
vsize: 15608
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3151 0 0 0 25960 41 0 0 25 0 1 0 902437257 16117760 3069 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3935 3069 1111 63 0 3872 0
vsize: 15740
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3204 0 0 0 26959 43 0 0 25 0 1 0 902437257 16252928 3122 4294967295 134512640 134716908 3221224560 3221223120 134698932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3968 3122 1111 63 0 3905 0
vsize: 15872
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3317 0 0 0 27957 44 0 0 25 0 1 0 902437257 16793600 3235 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4100 3235 1111 63 0 4037 0
vsize: 16400
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3345 0 0 0 28956 46 0 0 25 0 1 0 902437257 16928768 3263 4294967295 134512640 134716908 3221224560 3221223308 134558496 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3263 1111 63 0 4070 0
vsize: 16532
[startup+300.004 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3366 0 0 0 29955 46 0 0 25 0 1 0 902437257 16928768 3284 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4133 3284 1111 63 0 4070 0
vsize: 16532
[startup+310.004 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3380 0 0 0 30954 48 0 0 25 0 1 0 902437257 17063936 3298 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4166 3298 1111 63 0 4103 0
vsize: 16664
[startup+320.004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3408 0 0 0 31953 49 0 0 25 0 1 0 902437257 17063936 3326 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4166 3326 1111 63 0 4103 0
vsize: 16664
[startup+330.004 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3439 0 0 0 32952 50 0 0 25 0 1 0 902437257 17199104 3357 4294967295 134512640 134716908 3221224560 3221223204 134524123 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4199 3357 1111 63 0 4136 0
vsize: 16796
[startup+340.005 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3466 0 0 0 33952 51 0 0 25 0 1 0 902437257 17334272 3384 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4232 3384 1111 63 0 4169 0
vsize: 16928
[startup+350.004 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3487 0 0 0 34951 52 0 0 25 0 1 0 902437257 17469440 3405 4294967295 134512640 134716908 3221224560 3221223200 134698412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4265 3405 1111 63 0 4202 0
vsize: 17060
[startup+360.006 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3538 0 0 0 35949 53 0 0 25 0 1 0 902437257 17604608 3456 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4298 3456 1111 63 0 4235 0
vsize: 17192
[startup+370.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3553 0 0 0 36949 54 0 0 25 0 1 0 902437257 17739776 3471 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4331 3471 1111 63 0 4268 0
vsize: 17324
[startup+380.005 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3614 0 0 0 37948 55 0 0 25 0 1 0 902437257 18010112 3532 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4397 3532 1111 63 0 4334 0
vsize: 17588
[startup+390.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3628 0 0 0 38947 57 0 0 25 0 1 0 902437257 18010112 3546 4294967295 134512640 134716908 3221224560 3221223344 134529192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4397 3546 1111 63 0 4334 0
vsize: 17588
[startup+400.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3629 0 0 0 39946 58 0 0 25 0 1 0 902437257 18010112 3547 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4397 3547 1111 63 0 4334 0
vsize: 17588
[startup+410.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3660 0 0 0 40945 59 0 0 25 0 1 0 902437257 18141184 3578 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4429 3578 1111 63 0 4366 0
vsize: 17716
[startup+420.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3688 0 0 0 41943 60 0 0 25 0 1 0 902437257 18259968 3606 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4458 3606 1111 63 0 4395 0
vsize: 17832
[startup+430.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3713 0 0 0 42943 61 0 0 25 0 1 0 902437257 18382848 3631 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4488 3631 1111 63 0 4425 0
vsize: 17952
[startup+440.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3786 0 0 0 43941 63 0 0 25 0 1 0 902437257 18653184 3704 4294967295 134512640 134716908 3221224560 3221223328 134592107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3704 1111 63 0 4491 0
vsize: 18216
[startup+450.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3833 0 0 0 44940 64 0 0 25 0 1 0 902437257 18919424 3751 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3751 1111 63 0 4556 0
vsize: 18476
[startup+460.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3856 0 0 0 45939 66 0 0 25 0 1 0 902437257 18919424 3774 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3774 1111 63 0 4556 0
vsize: 18476
[startup+470.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3858 0 0 0 46938 67 0 0 25 0 1 0 902437257 18919424 3776 4294967295 134512640 134716908 3221224560 3221223296 134528809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4619 3776 1111 63 0 4556 0
vsize: 18476
[startup+480.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3911 0 0 0 47937 68 0 0 25 0 1 0 902437257 19181568 3829 4294967295 134512640 134716908 3221224560 3221223212 134536839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4683 3829 1111 63 0 4620 0
vsize: 18732
[startup+490.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3932 0 0 0 48936 69 0 0 25 0 1 0 902437257 19316736 3850 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4716 3850 1111 63 0 4653 0
vsize: 18864
[startup+500.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 3949 0 0 0 49935 71 0 0 25 0 1 0 902437257 19316736 3867 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4716 3867 1111 63 0 4653 0
vsize: 18864
[startup+510.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4043 0 0 0 50934 71 0 0 25 0 1 0 902437257 19714048 3961 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4813 3961 1111 63 0 4750 0
vsize: 19252
[startup+520.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4100 0 0 0 51933 73 0 0 25 0 1 0 902437257 19984384 4018 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4879 4018 1111 63 0 4816 0
vsize: 19516
[startup+530.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4142 0 0 0 52931 75 0 0 25 0 1 0 902437257 20119552 4060 4294967295 134512640 134716908 3221224560 3221223320 134592433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4912 4060 1111 63 0 4849 0
vsize: 19648
[startup+540.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4166 0 0 0 53929 76 0 0 25 0 1 0 902437257 20250624 4084 4294967295 134512640 134716908 3221224560 3221223188 134698605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4084 1111 63 0 4881 0
vsize: 19776
[startup+550.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4190 0 0 0 54928 77 0 0 25 0 1 0 902437257 20385792 4108 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4977 4108 1111 63 0 4914 0
vsize: 19908
[startup+560.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4212 0 0 0 55928 78 0 0 25 0 1 0 902437257 20385792 4130 4294967295 134512640 134716908 3221224560 3221223288 1076647541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4977 4130 1111 63 0 4914 0
vsize: 19908
[startup+570.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4252 0 0 0 56926 80 0 0 25 0 1 0 902437257 20512768 4170 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5008 4170 1111 63 0 4945 0
vsize: 20032
[startup+580.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4304 0 0 0 57925 81 0 0 25 0 1 0 902437257 20783104 4222 4294967295 134512640 134716908 3221224560 3221223312 134592391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5074 4222 1111 63 0 5011 0
vsize: 20296
[startup+590.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4345 0 0 0 58924 82 0 0 25 0 1 0 902437257 20905984 4263 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5104 4263 1111 63 0 5041 0
vsize: 20416
[startup+600.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4349 0 0 0 59924 83 0 0 25 0 1 0 902437257 21004288 4267 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 4267 1111 63 0 5065 0
vsize: 20512
[startup+610.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4382 0 0 0 60922 85 0 0 25 0 1 0 902437257 21139456 4300 4294967295 134512640 134716908 3221224560 3221223324 134613755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5161 4300 1111 63 0 5098 0
vsize: 20644
[startup+620.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4433 0 0 0 61921 86 0 0 25 0 1 0 902437257 21274624 4351 4294967295 134512640 134716908 3221224560 3221223224 134551617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 4351 1111 63 0 5131 0
vsize: 20776
[startup+630.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4462 0 0 0 62920 88 0 0 25 0 1 0 902437257 21405696 4380 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5226 4380 1111 63 0 5163 0
vsize: 20904
[startup+640.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4496 0 0 0 63918 89 0 0 25 0 1 0 902437257 21520384 4414 4294967295 134512640 134716908 3221224560 3221223328 134529110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5254 4414 1111 63 0 5191 0
vsize: 21016
[startup+650.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4510 0 0 0 64917 91 0 0 25 0 1 0 902437257 21655552 4428 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5287 4428 1111 63 0 5224 0
vsize: 21148
[startup+660.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4536 0 0 0 65916 92 0 0 25 0 1 0 902437257 21786624 4454 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5319 4454 1111 63 0 5256 0
vsize: 21276
[startup+670.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4569 0 0 0 66914 94 0 0 25 0 1 0 902437257 21921792 4487 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5352 4487 1111 63 0 5289 0
vsize: 21408
[startup+680.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4582 0 0 0 67913 95 0 0 25 0 1 0 902437257 21921792 4500 4294967295 134512640 134716908 3221224560 3221223328 134592320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5352 4500 1111 63 0 5289 0
vsize: 21408
[startup+690.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4609 0 0 0 68912 96 0 0 25 0 1 0 902437257 22056960 4527 4294967295 134512640 134716908 3221224560 3221223200 134698471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5385 4527 1111 63 0 5322 0
vsize: 21540
[startup+700.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4634 0 0 0 69911 97 0 0 25 0 1 0 902437257 22183936 4552 4294967295 134512640 134716908 3221224560 3221223264 134524402 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5416 4552 1111 63 0 5353 0
vsize: 21664
[startup+710.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4711 0 0 0 70911 98 0 0 25 0 1 0 902437257 22454272 4629 4294967295 134512640 134716908 3221224560 3221223120 134542300 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4629 1111 63 0 5419 0
vsize: 21928
[startup+720.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4711 0 0 0 71910 99 0 0 25 0 1 0 902437257 22454272 4629 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4629 1111 63 0 5419 0
vsize: 21928
[startup+730.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4711 0 0 0 72909 100 0 0 25 0 1 0 902437257 22454272 4629 4294967295 134512640 134716908 3221224560 3221223156 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5482 4629 1111 63 0 5419 0
vsize: 21928
[startup+740.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4727 0 0 0 73908 101 0 0 25 0 1 0 902437257 22589440 4645 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5515 4645 1111 63 0 5452 0
vsize: 22060
[startup+750.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4737 0 0 0 74907 103 0 0 25 0 1 0 902437257 22589440 4655 4294967295 134512640 134716908 3221224560 3221223168 134523583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5515 4655 1111 63 0 5452 0
vsize: 22060
[startup+760.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4760 0 0 0 75906 104 0 0 25 0 1 0 902437257 22724608 4678 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5548 4678 1111 63 0 5485 0
vsize: 22192
[startup+770.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4764 0 0 0 76905 105 0 0 25 0 1 0 902437257 22704128 4682 4294967295 134512640 134716908 3221224560 3221223216 134536713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 4682 1111 63 0 5480 0
vsize: 22172
[startup+780.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4786 0 0 0 77903 107 0 0 25 0 1 0 902437257 22704128 4704 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5543 4704 1111 63 0 5480 0
vsize: 22172
[startup+790.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4799 0 0 0 78902 108 0 0 25 0 1 0 902437257 22839296 4717 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 4717 1111 63 0 5513 0
vsize: 22304
[startup+800.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4833 0 0 0 79901 110 0 0 25 0 1 0 902437257 22974464 4751 4294967295 134512640 134716908 3221224560 3221223312 134592393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5609 4751 1111 63 0 5546 0
vsize: 22436
[startup+810.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4840 0 0 0 80900 111 0 0 25 0 1 0 902437257 22974464 4758 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5609 4758 1111 63 0 5546 0
vsize: 22436
[startup+820.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4855 0 0 0 81899 111 0 0 25 0 1 0 902437257 23109632 4773 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4773 1111 63 0 5579 0
vsize: 22568
[startup+830.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4871 0 0 0 82898 112 0 0 25 0 1 0 902437257 23109632 4789 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 4789 1111 63 0 5579 0
vsize: 22568
[startup+840.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4889 0 0 0 83897 114 0 0 25 0 1 0 902437257 23244800 4807 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5675 4807 1111 63 0 5612 0
vsize: 22700
[startup+850.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4903 0 0 0 84895 116 0 0 25 0 1 0 902437257 23240704 4821 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 4821 1111 63 0 5611 0
vsize: 22696
[startup+860.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4931 0 0 0 85893 118 0 0 25 0 1 0 902437257 23367680 4849 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 4849 1111 63 0 5642 0
vsize: 22820
[startup+870.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4971 0 0 0 86892 120 0 0 25 0 1 0 902437257 23502848 4889 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5738 4889 1111 63 0 5675 0
vsize: 22952
[startup+880.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4983 0 0 0 87891 121 0 0 25 0 1 0 902437257 23638016 4901 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5771 4901 1111 63 0 5708 0
vsize: 23084
[startup+890.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 4992 0 0 0 88890 122 0 0 25 0 1 0 902437257 23638016 4910 4294967295 134512640 134716908 3221224560 3221223252 134534132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5771 4910 1111 63 0 5708 0
vsize: 23084
[startup+900.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5002 0 0 0 89890 122 0 0 25 0 1 0 902437257 23638016 4920 4294967295 134512640 134716908 3221224560 3221223164 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5771 4920 1111 63 0 5708 0
vsize: 23084
[startup+910.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5019 0 0 0 90889 123 0 0 25 0 1 0 902437257 23773184 4937 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4937 1111 63 0 5741 0
vsize: 23216
[startup+920.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5025 0 0 0 91888 125 0 0 25 0 1 0 902437257 23773184 4943 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4943 1111 63 0 5741 0
vsize: 23216
[startup+930.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5025 0 0 0 92887 126 0 0 25 0 1 0 902437257 23773184 4943 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4943 1111 63 0 5741 0
vsize: 23216
[startup+940.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5028 0 0 0 93886 127 0 0 25 0 1 0 902437257 23773184 4946 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4946 1111 63 0 5741 0
vsize: 23216
[startup+950.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5040 0 0 0 94886 128 0 0 25 0 1 0 902437257 23773184 4958 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5804 4958 1111 63 0 5741 0
vsize: 23216
[startup+960.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5061 0 0 0 95885 128 0 0 25 0 1 0 902437257 23904256 4979 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4979 1111 63 0 5773 0
vsize: 23344
[startup+970.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5061 0 0 0 96884 130 0 0 25 0 1 0 902437257 23904256 4979 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4979 1111 63 0 5773 0
vsize: 23344
[startup+980.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5069 0 0 0 97883 131 0 0 25 0 1 0 902437257 23904256 4987 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5836 4987 1111 63 0 5773 0
vsize: 23344
[startup+990.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 26729
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5194 0 0 0 98882 132 0 0 25 0 1 0 902437257 24428544 5112 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5964 5112 1111 63 0 5901 0
vsize: 23856
[startup+1000.01 s]
Raw data (loadavg): 1.24 1.04 0.93 2/54 26782
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5290 0 0 0 99865 148 0 0 25 0 1 0 902437257 24821760 5208 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6060 5208 1111 63 0 5997 0
vsize: 24240
[startup+1010.01 s]
Raw data (loadavg): 1.20 1.04 0.93 2/54 26782
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5390 0 0 0 100865 148 0 0 25 0 1 0 902437257 25223168 5308 4294967295 134512640 134716908 3221224560 3221223124 134535986 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6158 5308 1111 63 0 6095 0
vsize: 24632
[startup+1020.01 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 26782
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5437 0 0 0 101864 149 0 0 25 0 1 0 902437257 25493504 5355 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6224 5355 1111 63 0 6161 0
vsize: 24896
[startup+1030.02 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 26782
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5455 0 0 0 102863 151 0 0 25 0 1 0 902437257 25493504 5373 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6224 5373 1111 63 0 6161 0
vsize: 24896
[startup+1040.02 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 26782
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5469 0 0 0 103862 151 0 0 25 0 1 0 902437257 25628672 5387 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6257 5387 1111 63 0 6194 0
vsize: 25028
[startup+1050.02 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 26782
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5484 0 0 0 104861 153 0 0 25 0 1 0 902437257 25628672 5402 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6257 5402 1111 63 0 6194 0
vsize: 25028
[startup+1060.02 s]
Raw data (loadavg): 1.09 1.03 0.93 2/54 26782
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5484 0 0 0 105860 155 0 0 25 0 1 0 902437257 25628672 5402 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6257 5402 1111 63 0 6194 0
vsize: 25028
[startup+1070.02 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5484 0 0 0 106859 156 0 0 25 0 1 0 902437257 25628672 5402 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6257 5402 1111 63 0 6194 0
vsize: 25028
[startup+1080.02 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5507 0 0 0 107858 157 0 0 25 0 1 0 902437257 25763840 5425 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6290 5425 1111 63 0 6227 0
vsize: 25160
[startup+1090.02 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5512 0 0 0 108857 158 0 0 25 0 1 0 902437257 25763840 5430 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6290 5430 1111 63 0 6227 0
vsize: 25160
[startup+1100.02 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5535 0 0 0 109856 159 0 0 25 0 1 0 902437257 25899008 5453 4294967295 134512640 134716908 3221224560 3221223344 134529390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6323 5453 1111 63 0 6260 0
vsize: 25292
[startup+1110.02 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5537 0 0 0 110855 160 0 0 25 0 1 0 902437257 25866240 5455 4294967295 134512640 134716908 3221224560 3221223200 134539427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6315 5455 1111 63 0 6252 0
vsize: 25260
[startup+1120.02 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5546 0 0 0 111854 161 0 0 25 0 1 0 902437257 25866240 5464 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6315 5464 1111 63 0 6252 0
vsize: 25260
[startup+1130.02 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5575 0 0 0 112853 163 0 0 25 0 1 0 902437257 26001408 5493 4294967295 134512640 134716908 3221224560 3221223260 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6348 5493 1111 63 0 6285 0
vsize: 25392
[startup+1140.02 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5609 0 0 0 113852 164 0 0 25 0 1 0 902437257 26116096 5527 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6376 5527 1111 63 0 6313 0
vsize: 25504
[startup+1150.02 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5727 0 0 0 114851 165 0 0 25 0 1 0 902437257 26656768 5645 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6508 5645 1111 63 0 6445 0
vsize: 26032
[startup+1160.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5777 0 0 0 115850 167 0 0 25 0 1 0 902437257 26791936 5695 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6541 5695 1111 63 0 6478 0
vsize: 26164
[startup+1170.02 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5828 0 0 0 116848 168 0 0 25 0 1 0 902437257 27062272 5746 4294967295 134512640 134716908 3221224560 3221223152 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6607 5746 1111 63 0 6544 0
vsize: 26428
[startup+1174.87 s]
Raw data (loadavg): 1.01 1.02 0.93 1/53 26784
Raw data (stat): 26729 (bsolo_lpr_cuts-) R 26728 20224 20223 0 -1 0 5828 0 0 0 116848 168 0 0 25 0 1 0 902437257 27062272 5746 4294967295 134512640 134716908 3221224560 3221223152 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6607 5746 1111 63 0 6544 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.03
CPU user time (s): 1173.32
CPU system time (s): 1.70274
CPU usage (%): 100.013
Max. virtual memory (Kb): 26428
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####