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-chnl40_41_pb.cnf.cr.opb
MD5SUM	3c9e81ddaaf37dd621fe2bc839a3f27f
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	42
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.098984
Number of variables	3280
Total number of constraints	162
Number of constraints which are clauses	82
Number of constraints which are cardinality constraints (but not clauses)	80
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	40
Maximum length of a constraint	41
Trace number 40565

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        869956 kB
Buffers:         13808 kB
Cached:         126692 kB
SwapCached:       1144 kB
Active:          26736 kB
Inactive:       115992 kB
HighTotal:      131008 kB
HighFree:         5124 kB
LowTotal:       903652 kB
LowFree:        864832 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16148 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:15:16 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28631 7 1175.02 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 3280 variables and 162 constraints.
c After prepocess the problem consists of 3280 variables and 162 constraints.
c preprocess terminated 1.252 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/55 23792
Raw data (stat): 23792 (runsolver) R 23791 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 845662103 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1432 0 0 0 993 5 0 0 25 0 1 0 845662103 8986624 1350 4294967295 134512640 134716908 3221224560 3221223348 134586128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2194 1350 1111 63 0 2131 0
vsize: 8776
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1491 0 0 0 1990 8 0 0 25 0 1 0 845662103 9236480 1409 4294967295 134512640 134716908 3221224560 3221223192 134698749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2255 1409 1111 63 0 2192 0
vsize: 9020
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1525 0 0 0 2988 10 0 0 25 0 1 0 845662103 9498624 1443 4294967295 134512640 134716908 3221224560 3221223168 134549302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2319 1443 1111 63 0 2256 0
vsize: 9276
[startup+40.0013 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1543 0 0 0 3986 12 0 0 25 0 1 0 845662103 9498624 1461 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2319 1461 1111 63 0 2256 0
vsize: 9276
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1546 0 0 0 4985 13 0 0 25 0 1 0 845662103 9498624 1464 4294967295 134512640 134716908 3221224560 3221222588 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2319 1464 1111 63 0 2256 0
vsize: 9276
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1588 0 0 0 5983 15 0 0 25 0 1 0 845662103 9633792 1506 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2352 1506 1111 63 0 2289 0
vsize: 9408
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1605 0 0 0 6983 16 0 0 25 0 1 0 845662103 9768960 1523 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2385 1523 1111 63 0 2322 0
vsize: 9540
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1610 0 0 0 7981 17 0 0 25 0 1 0 845662103 9768960 1528 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2385 1528 1111 63 0 2322 0
vsize: 9540
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1613 0 0 0 8979 19 0 0 25 0 1 0 845662103 9768960 1531 4294967295 134512640 134716908 3221224560 3221223136 134542753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2385 1531 1111 63 0 2322 0
vsize: 9540
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1630 0 0 0 9977 22 0 0 25 0 1 0 845662103 9895936 1548 4294967295 134512640 134716908 3221224560 3221223200 134613438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2416 1548 1111 63 0 2353 0
vsize: 9664
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1641 0 0 0 10975 24 0 0 25 0 1 0 845662103 9895936 1559 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2416 1559 1111 63 0 2353 0
vsize: 9664
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1655 0 0 0 11974 26 0 0 25 0 1 0 845662103 10022912 1573 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2447 1573 1111 63 0 2384 0
vsize: 9788
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1669 0 0 0 12972 28 0 0 25 0 1 0 845662103 10022912 1587 4294967295 134512640 134716908 3221224560 3221223232 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2447 1587 1111 63 0 2384 0
vsize: 9788
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1690 0 0 0 13972 28 0 0 25 0 1 0 845662103 10145792 1608 4294967295 134512640 134716908 3221224560 3221223248 134524415 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2477 1608 1111 63 0 2414 0
vsize: 9908
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1690 0 0 0 14970 30 0 0 25 0 1 0 845662103 10145792 1608 4294967295 134512640 134716908 3221224560 3221223296 134594999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2477 1608 1111 63 0 2414 0
vsize: 9908
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1707 0 0 0 15970 31 0 0 25 0 1 0 845662103 10145792 1625 4294967295 134512640 134716908 3221224560 3221223200 134542312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2477 1625 1111 63 0 2414 0
vsize: 9908
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1728 0 0 0 16968 32 0 0 25 0 1 0 845662103 10268672 1646 4294967295 134512640 134716908 3221224560 3221223300 134524380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1646 1111 63 0 2444 0
vsize: 10028
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1739 0 0 0 17967 34 0 0 25 0 1 0 845662103 10268672 1657 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2507 1657 1111 63 0 2444 0
vsize: 10028
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1747 0 0 0 18966 35 0 0 25 0 1 0 845662103 10403840 1665 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1665 1111 63 0 2477 0
vsize: 10160
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1750 0 0 0 19964 37 0 0 25 0 1 0 845662103 10403840 1668 4294967295 134512640 134716908 3221224560 3221223324 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1668 1111 63 0 2477 0
vsize: 10160
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1750 0 0 0 20962 39 0 0 25 0 1 0 845662103 10403840 1668 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1668 1111 63 0 2477 0
vsize: 10160
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1763 0 0 0 21961 40 0 0 25 0 1 0 845662103 10403840 1681 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1681 1111 63 0 2477 0
vsize: 10160
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1763 0 0 0 22960 42 0 0 25 0 1 0 845662103 10403840 1681 4294967295 134512640 134716908 3221224560 3221223128 1077377534 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1681 1111 63 0 2477 0
vsize: 10160
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1763 0 0 0 23958 44 0 0 25 0 1 0 845662103 10403840 1681 4294967295 134512640 134716908 3221224560 3221223344 134584874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1681 1111 63 0 2477 0
vsize: 10160
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1763 0 0 0 24957 45 0 0 25 0 1 0 845662103 10403840 1681 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2540 1681 1111 63 0 2477 0
vsize: 10160
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23792
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1804 0 0 0 25955 47 0 0 25 0 1 0 845662103 10526720 1722 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2570 1722 1111 63 0 2507 0
vsize: 10280
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23845
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1804 0 0 0 26955 48 0 0 25 0 1 0 845662103 10526720 1722 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2570 1722 1111 63 0 2507 0
vsize: 10280
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23845
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1838 0 0 0 27954 49 0 0 25 0 1 0 845662103 10661888 1756 4294967295 134512640 134716908 3221224560 3221223344 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2603 1756 1111 63 0 2540 0
vsize: 10412
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23845
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1842 0 0 0 28952 51 0 0 25 0 1 0 845662103 10752000 1760 4294967295 134512640 134716908 3221224560 3221223488 134579466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1760 1111 63 0 2562 0
vsize: 10500
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23845
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1849 0 0 0 29951 52 0 0 25 0 1 0 845662103 10752000 1767 4294967295 134512640 134716908 3221224560 3221223120 134552038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1767 1111 63 0 2562 0
vsize: 10500
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23845
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1854 0 0 0 30950 54 0 0 25 0 1 0 845662103 10752000 1772 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2625 1772 1111 63 0 2562 0
vsize: 10500
[startup+320.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 23847
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1867 0 0 0 31948 56 0 0 25 0 1 0 845662103 10887168 1785 4294967295 134512640 134716908 3221224560 3221223276 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1785 1111 63 0 2595 0
vsize: 10632
[startup+330.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 23847
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1867 0 0 0 32947 57 0 0 25 0 1 0 845662103 10887168 1785 4294967295 134512640 134716908 3221224560 3221223192 134698668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1785 1111 63 0 2595 0
vsize: 10632
[startup+340.012 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1874 0 0 0 33946 58 0 0 25 0 1 0 845662103 10887168 1792 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1792 1111 63 0 2595 0
vsize: 10632
[startup+350.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1874 0 0 0 34945 59 0 0 25 0 1 0 845662103 10887168 1792 4294967295 134512640 134716908 3221224560 3221223236 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1792 1111 63 0 2595 0
vsize: 10632
[startup+360.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1874 0 0 0 35943 62 0 0 25 0 1 0 845662103 10887168 1792 4294967295 134512640 134716908 3221224560 3221223092 1077374077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1792 1111 63 0 2595 0
vsize: 10632
[startup+370.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1891 0 0 0 36941 64 0 0 25 0 1 0 845662103 10887168 1809 4294967295 134512640 134716908 3221224560 3221223264 134524459 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1809 1111 63 0 2595 0
vsize: 10632
[startup+380.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1891 0 0 0 37940 65 0 0 25 0 1 0 845662103 10887168 1809 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2658 1809 1111 63 0 2595 0
vsize: 10632
[startup+390.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1910 0 0 0 38938 67 0 0 25 0 1 0 845662103 11022336 1828 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2691 1828 1111 63 0 2628 0
vsize: 10764
[startup+400.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1919 0 0 0 39936 69 0 0 25 0 1 0 845662103 11022336 1837 4294967295 134512640 134716908 3221224560 3221222964 134699548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2691 1837 1111 63 0 2628 0
vsize: 10764
[startup+410.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1951 0 0 0 40935 70 0 0 25 0 1 0 845662103 11145216 1869 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 1869 1111 63 0 2658 0
vsize: 10884
[startup+420.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 1988 0 0 0 41935 71 0 0 25 0 1 0 845662103 11280384 1906 4294967295 134512640 134716908 3221224560 3221223280 134535767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2754 1906 1111 63 0 2691 0
vsize: 11016
[startup+430.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2002 0 0 0 42933 73 0 0 25 0 1 0 845662103 11411456 1920 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1920 1111 63 0 2723 0
vsize: 11144
[startup+440.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2020 0 0 0 43932 74 0 0 25 0 1 0 845662103 11411456 1938 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2786 1938 1111 63 0 2723 0
vsize: 11144
[startup+450.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2060 0 0 0 44931 75 0 0 25 0 1 0 845662103 11681792 1978 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2852 1978 1111 63 0 2789 0
vsize: 11408
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2085 0 0 0 45930 76 0 0 25 0 1 0 845662103 11681792 2003 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2852 2003 1111 63 0 2789 0
vsize: 11408
[startup+470.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2086 0 0 0 46929 77 0 0 25 0 1 0 845662103 11681792 2004 4294967295 134512640 134716908 3221224560 3221223264 134528521 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2852 2004 1111 63 0 2789 0
vsize: 11408
[startup+480.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2106 0 0 0 47928 79 0 0 25 0 1 0 845662103 11792384 2024 4294967295 134512640 134716908 3221224560 3221223256 134534085 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2024 1111 63 0 2816 0
vsize: 11516
[startup+490.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2115 0 0 0 48926 81 0 0 25 0 1 0 845662103 11792384 2033 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2033 1111 63 0 2816 0
vsize: 11516
[startup+500.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2115 0 0 0 49925 82 0 0 25 0 1 0 845662103 11792384 2033 4294967295 134512640 134716908 3221224560 3221223128 1077377888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2033 1111 63 0 2816 0
vsize: 11516
[startup+510.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2121 0 0 0 50923 84 0 0 25 0 1 0 845662103 11919360 2039 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 2039 1111 63 0 2847 0
vsize: 11640
[startup+520.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2130 0 0 0 51922 85 0 0 25 0 1 0 845662103 11919360 2048 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 2048 1111 63 0 2847 0
vsize: 11640
[startup+530.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2138 0 0 0 52921 86 0 0 25 0 1 0 845662103 11919360 2056 4294967295 134512640 134716908 3221224560 3221223036 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2910 2056 1111 63 0 2847 0
vsize: 11640
[startup+540.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2168 0 0 0 53921 87 0 0 25 0 1 0 845662103 12054528 2086 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2086 1111 63 0 2880 0
vsize: 11772
[startup+550.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2172 0 0 0 54920 88 0 0 25 0 1 0 845662103 12054528 2090 4294967295 134512640 134716908 3221224560 3221223176 134523163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2943 2090 1111 63 0 2880 0
vsize: 11772
[startup+560.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2183 0 0 0 55919 89 0 0 25 0 1 0 845662103 12165120 2101 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2970 2101 1111 63 0 2907 0
vsize: 11880
[startup+570.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2198 0 0 0 56918 90 0 0 25 0 1 0 845662103 12165120 2116 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2970 2116 1111 63 0 2907 0
vsize: 11880
[startup+580.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2203 0 0 0 57917 92 0 0 25 0 1 0 845662103 12165120 2121 4294967295 134512640 134716908 3221224560 3221223224 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2970 2121 1111 63 0 2907 0
vsize: 11880
[startup+590.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23849
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2210 0 0 0 58915 93 0 0 25 0 1 0 845662103 12283904 2128 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 2128 1111 63 0 2936 0
vsize: 11996
[startup+600.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2223 0 0 0 59914 95 0 0 25 0 1 0 845662103 12283904 2141 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 2141 1111 63 0 2936 0
vsize: 11996
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2236 0 0 0 60913 97 0 0 25 0 1 0 845662103 12283904 2154 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 2154 1111 63 0 2936 0
vsize: 11996
[startup+620.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2237 0 0 0 61912 98 0 0 25 0 1 0 845662103 12283904 2155 4294967295 134512640 134716908 3221224560 3221223184 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 2155 1111 63 0 2936 0
vsize: 11996
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2251 0 0 0 62911 98 0 0 25 0 1 0 845662103 12414976 2169 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2169 1111 63 0 2968 0
vsize: 12124
[startup+640.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2251 0 0 0 63910 100 0 0 25 0 1 0 845662103 12414976 2169 4294967295 134512640 134716908 3221224560 3221223264 134528543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3031 2169 1111 63 0 2968 0
vsize: 12124
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2284 0 0 0 64909 101 0 0 25 0 1 0 845662103 12550144 2202 4294967295 134512640 134716908 3221224560 3221223184 134698712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3064 2202 1111 63 0 3001 0
vsize: 12256
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2288 0 0 0 65907 103 0 0 25 0 1 0 845662103 12550144 2206 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3064 2206 1111 63 0 3001 0
vsize: 12256
[startup+670.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2315 0 0 0 66905 105 0 0 25 0 1 0 845662103 12685312 2233 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3097 2233 1111 63 0 3034 0
vsize: 12388
[startup+680.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2330 0 0 0 67904 106 0 0 25 0 1 0 845662103 12685312 2248 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3097 2248 1111 63 0 3034 0
vsize: 12388
[startup+690.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2348 0 0 0 68903 108 0 0 25 0 1 0 845662103 12820480 2266 4294967295 134512640 134716908 3221224560 3221223136 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3130 2266 1111 63 0 3067 0
vsize: 12520
[startup+700.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2348 0 0 0 69902 109 0 0 25 0 1 0 845662103 12820480 2266 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3130 2266 1111 63 0 3067 0
vsize: 12520
[startup+710.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2355 0 0 0 70901 110 0 0 25 0 1 0 845662103 12820480 2273 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3130 2273 1111 63 0 3067 0
vsize: 12520
[startup+720.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2365 0 0 0 71899 112 0 0 25 0 1 0 845662103 12820480 2283 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3130 2283 1111 63 0 3067 0
vsize: 12520
[startup+730.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2377 0 0 0 72898 113 0 0 25 0 1 0 845662103 12951552 2295 4294967295 134512640 134716908 3221224560 3221222716 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2295 1111 63 0 3099 0
vsize: 12648
[startup+740.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2377 0 0 0 73897 115 0 0 25 0 1 0 845662103 12951552 2295 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2295 1111 63 0 3099 0
vsize: 12648
[startup+750.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2382 0 0 0 74895 117 0 0 25 0 1 0 845662103 12951552 2300 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2300 1111 63 0 3099 0
vsize: 12648
[startup+760.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2400 0 0 0 75893 118 0 0 25 0 1 0 845662103 12951552 2318 4294967295 134512640 134716908 3221224560 3221223128 1077377254 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2318 1111 63 0 3099 0
vsize: 12648
[startup+770.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2400 0 0 0 76892 120 0 0 25 0 1 0 845662103 12951552 2318 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2318 1111 63 0 3099 0
vsize: 12648
[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2400 0 0 0 77891 121 0 0 25 0 1 0 845662103 12951552 2318 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3162 2318 1111 63 0 3099 0
vsize: 12648
[startup+790.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2410 0 0 0 78890 123 0 0 25 0 1 0 845662103 13082624 2328 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3194 2328 1111 63 0 3131 0
vsize: 12776
[startup+800.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2419 0 0 0 79888 124 0 0 25 0 1 0 845662103 13082624 2337 4294967295 134512640 134716908 3221224560 3221222972 1077379930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3194 2337 1111 63 0 3131 0
vsize: 12776
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2427 0 0 0 80887 125 0 0 25 0 1 0 845662103 13082624 2345 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3194 2345 1111 63 0 3131 0
vsize: 12776
[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2436 0 0 0 81886 127 0 0 25 0 1 0 845662103 13217792 2354 4294967295 134512640 134716908 3221224560 3221222960 134699701 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2354 1111 63 0 3164 0
vsize: 12908
[startup+830.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2436 0 0 0 82885 128 0 0 25 0 1 0 845662103 13217792 2354 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2354 1111 63 0 3164 0
vsize: 12908
[startup+840.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2436 0 0 0 83883 130 0 0 25 0 1 0 845662103 13217792 2354 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2354 1111 63 0 3164 0
vsize: 12908
[startup+850.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2443 0 0 0 84881 132 0 0 25 0 1 0 845662103 13217792 2361 4294967295 134512640 134716908 3221224560 3221222984 134699853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2361 1111 63 0 3164 0
vsize: 12908
[startup+860.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2443 0 0 0 85880 133 0 0 25 0 1 0 845662103 13217792 2361 4294967295 134512640 134716908 3221224560 3221223300 134558500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2361 1111 63 0 3164 0
vsize: 12908
[startup+870.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2443 0 0 0 86879 135 0 0 25 0 1 0 845662103 13217792 2361 4294967295 134512640 134716908 3221224560 3221223196 134523384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2361 1111 63 0 3164 0
vsize: 12908
[startup+880.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2453 0 0 0 87878 136 0 0 25 0 1 0 845662103 13217792 2371 4294967295 134512640 134716908 3221224560 3221223352 134558576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2371 1111 63 0 3164 0
vsize: 12908
[startup+890.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2453 0 0 0 88876 138 0 0 25 0 1 0 845662103 13217792 2371 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2371 1111 63 0 3164 0
vsize: 12908
[startup+900.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2453 0 0 0 89874 140 0 0 25 0 1 0 845662103 13217792 2371 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2371 1111 63 0 3164 0
vsize: 12908
[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2460 0 0 0 90872 142 0 0 25 0 1 0 845662103 13217792 2378 4294967295 134512640 134716908 3221224560 3221223188 134698579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2378 1111 63 0 3164 0
vsize: 12908
[startup+920.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2460 0 0 0 91871 143 0 0 25 0 1 0 845662103 13217792 2378 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3227 2378 1111 63 0 3164 0
vsize: 12908
[startup+930.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2483 0 0 0 92871 144 0 0 25 0 1 0 845662103 13352960 2401 4294967295 134512640 134716908 3221224560 3221223228 134551608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3260 2401 1111 63 0 3197 0
vsize: 13040
[startup+940.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2483 0 0 0 93869 146 0 0 25 0 1 0 845662103 13352960 2401 4294967295 134512640 134716908 3221224560 3221223216 134536594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3260 2401 1111 63 0 3197 0
vsize: 13040
[startup+950.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2483 0 0 0 94868 147 0 0 25 0 1 0 845662103 13352960 2401 4294967295 134512640 134716908 3221224560 3221223200 134698654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3260 2401 1111 63 0 3197 0
vsize: 13040
[startup+960.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2483 0 0 0 95867 148 0 0 25 0 1 0 845662103 13352960 2401 4294967295 134512640 134716908 3221224560 3221223232 134655199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3260 2401 1111 63 0 3197 0
vsize: 13040
[startup+970.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2535 0 0 0 96866 149 0 0 25 0 1 0 845662103 13619200 2453 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3325 2453 1111 63 0 3262 0
vsize: 13300
[startup+980.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2537 0 0 0 97865 151 0 0 25 0 1 0 845662103 13582336 2455 4294967295 134512640 134716908 3221224560 3221223344 134529266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3316 2455 1111 63 0 3253 0
vsize: 13264
[startup+990.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2547 0 0 0 98863 152 0 0 25 0 1 0 845662103 13582336 2465 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3316 2465 1111 63 0 3253 0
vsize: 13264
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2555 0 0 0 99862 154 0 0 25 0 1 0 845662103 13660160 2473 4294967295 134512640 134716908 3221224560 3221223096 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 2473 1111 63 0 3272 0
vsize: 13340
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2569 0 0 0 100861 155 0 0 25 0 1 0 845662103 13660160 2487 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3335 2487 1111 63 0 3272 0
vsize: 13340
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2576 0 0 0 101860 157 0 0 25 0 1 0 845662103 13795328 2494 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2576 0 0 0 102858 159 0 0 25 0 1 0 845662103 13795328 2494 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2576 0 0 0 103857 160 0 0 25 0 1 0 845662103 13795328 2494 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2576 0 0 0 104856 161 0 0 25 0 1 0 845662103 13795328 2494 4294967295 134512640 134716908 3221224560 3221223120 134535881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2576 0 0 0 105854 163 0 0 25 0 1 0 845662103 13795328 2494 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2576 0 0 0 106853 164 0 0 25 0 1 0 845662103 13795328 2494 4294967295 134512640 134716908 3221224560 3221222972 1077379994 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2576 0 0 0 107852 166 0 0 25 0 1 0 845662103 13795328 2494 4294967295 134512640 134716908 3221224560 3221223128 134551987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2576 0 0 0 108850 168 0 0 25 0 1 0 845662103 13795328 2494 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2576 0 0 0 109848 170 0 0 25 0 1 0 845662103 13795328 2494 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2494 1111 63 0 3305 0
vsize: 13472
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2589 0 0 0 110847 171 0 0 25 0 1 0 845662103 13795328 2507 4294967295 134512640 134716908 3221224560 3221223108 134552003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2507 1111 63 0 3305 0
vsize: 13472
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2589 0 0 0 111846 172 0 0 25 0 1 0 845662103 13795328 2507 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2507 1111 63 0 3305 0
vsize: 13472
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2589 0 0 0 112844 174 0 0 25 0 1 0 845662103 13795328 2507 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2507 1111 63 0 3305 0
vsize: 13472
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2597 0 0 0 113843 176 0 0 25 0 1 0 845662103 13795328 2515 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3368 2515 1111 63 0 3305 0
vsize: 13472
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2609 0 0 0 114841 178 0 0 25 0 1 0 845662103 13930496 2527 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3401 2527 1111 63 0 3338 0
vsize: 13604
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2617 0 0 0 115839 180 0 0 25 0 1 0 845662103 13930496 2535 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3401 2535 1111 63 0 3338 0
vsize: 13604
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2629 0 0 0 116838 181 0 0 25 0 1 0 845662103 13930496 2547 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3401 2547 1111 63 0 3338 0
vsize: 13604
[startup+1174.84 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 23851
Raw data (stat): 23792 (bsolo_lpr_cuts-) R 23791 8378 8377 0 -1 0 2629 0 0 0 116838 181 0 0 25 0 1 0 845662103 13930496 2547 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3401 2547 1111 63 0 3338 0
vsize: 0

Child status: 0
Real time (s): 1174.84
CPU time (s): 1175.02
CPU user time (s): 1173.19
CPU system time (s): 1.82872
CPU usage (%): 100.015
Max. virtual memory (Kb): 13604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####