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 23223

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        930632 kB
Buffers:         36348 kB
Cached:          45612 kB
SwapCached:        864 kB
Active:          70712 kB
Inactive:        13620 kB
HighTotal:      131008 kB
HighFree:        84364 kB
LowTotal:       903652 kB
LowFree:        846268 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            14008 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 15:42:55 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 146 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 3280 variables and 162 constraints.
c After prepocess the problem consists of 3280 variables and 162 constraints.
c preprocess terminated 1.273 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.91 2/54 12646
Raw data (stat): 12646 (runsolver) R 12645 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 632526518 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1430 0 0 0 988 7 0 0 25 0 1 0 632526518 8990720 1351 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2195 1351 1111 63 0 2132 0
vsize: 8780
[startup+20.0008 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1491 0 0 0 1986 9 0 0 25 0 1 0 632526518 9240576 1412 4294967295 134512640 134714508 3221221776 3221220464 134534110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2256 1412 1111 63 0 2193 0
vsize: 9024
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1525 0 0 0 2985 11 0 0 25 0 1 0 632526518 9502720 1446 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2320 1446 1111 63 0 2257 0
vsize: 9280
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1543 0 0 0 3983 13 0 0 25 0 1 0 632526518 9502720 1464 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2320 1464 1111 63 0 2257 0
vsize: 9280
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1546 0 0 0 4981 15 0 0 25 0 1 0 632526518 9502720 1467 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2320 1467 1111 63 0 2257 0
vsize: 9280
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1588 0 0 0 5980 17 0 0 25 0 1 0 632526518 9637888 1509 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2353 1509 1111 63 0 2290 0
vsize: 9412
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1605 0 0 0 6979 18 0 0 25 0 1 0 632526518 9773056 1526 4294967295 134512640 134714508 3221221776 3221220396 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2386 1526 1111 63 0 2323 0
vsize: 9544
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1610 0 0 0 7977 20 0 0 25 0 1 0 632526518 9773056 1531 4294967295 134512640 134714508 3221221776 3221220416 134696097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2386 1531 1111 63 0 2323 0
vsize: 9544
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1613 0 0 0 8975 22 0 0 25 0 1 0 632526518 9773056 1534 4294967295 134512640 134714508 3221221776 3221220520 134672933 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2386 1534 1111 63 0 2323 0
vsize: 9544
[startup+100.005 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1630 0 0 0 9974 24 0 0 25 0 1 0 632526518 9900032 1551 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2417 1551 1111 63 0 2354 0
vsize: 9668
[startup+110.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1641 0 0 0 10972 26 0 0 25 0 1 0 632526518 9900032 1562 4294967295 134512640 134714508 3221221776 3221220520 134591822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2417 1562 1111 63 0 2354 0
vsize: 9668
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1655 0 0 0 11970 27 0 0 25 0 1 0 632526518 10027008 1576 4294967295 134512640 134714508 3221221776 3221220344 1077377574 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1576 1111 63 0 2385 0
vsize: 9792
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1669 0 0 0 12967 30 0 0 25 0 1 0 632526518 10027008 1590 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2448 1590 1111 63 0 2385 0
vsize: 9792
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1690 0 0 0 13966 33 0 0 25 0 1 0 632526518 10149888 1611 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2478 1611 1111 63 0 2415 0
vsize: 9912
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1690 0 0 0 14965 34 0 0 25 0 1 0 632526518 10149888 1611 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2478 1611 1111 63 0 2415 0
vsize: 9912
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1707 0 0 0 15963 35 0 0 25 0 1 0 632526518 10149888 1628 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2478 1628 1111 63 0 2415 0
vsize: 9912
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1723 0 0 0 16962 37 0 0 25 0 1 0 632526518 10272768 1644 4294967295 134512640 134714508 3221221776 3221220444 1076647536 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1644 1111 63 0 2445 0
vsize: 10032
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1739 0 0 0 17960 39 0 0 25 0 1 0 632526518 10272768 1660 4294967295 134512640 134714508 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2508 1660 1111 63 0 2445 0
vsize: 10032
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1747 0 0 0 18958 41 0 0 25 0 1 0 632526518 10407936 1668 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1668 1111 63 0 2478 0
vsize: 10164
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1750 0 0 0 19956 43 0 0 25 0 1 0 632526518 10407936 1671 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1671 1111 63 0 2478 0
vsize: 10164
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1750 0 0 0 20955 45 0 0 25 0 1 0 632526518 10407936 1671 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1671 1111 63 0 2478 0
vsize: 10164
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1762 0 0 0 21953 47 0 0 25 0 1 0 632526518 10407936 1683 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1683 1111 63 0 2478 0
vsize: 10164
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1763 0 0 0 22951 49 0 0 25 0 1 0 632526518 10407936 1684 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1684 1111 63 0 2478 0
vsize: 10164
[startup+240.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1763 0 0 0 23949 51 0 0 25 0 1 0 632526518 10407936 1684 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1684 1111 63 0 2478 0
vsize: 10164
[startup+250.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1763 0 0 0 24948 52 0 0 25 0 1 0 632526518 10407936 1684 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1684 1111 63 0 2478 0
vsize: 10164
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1804 0 0 0 25945 55 0 0 25 0 1 0 632526518 10530816 1725 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2571 1725 1111 63 0 2508 0
vsize: 10284
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1804 0 0 0 26944 57 0 0 25 0 1 0 632526518 10530816 1725 4294967295 134512640 134714508 3221221776 3221220592 134590250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2571 1725 1111 63 0 2508 0
vsize: 10284
[startup+280.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1838 0 0 0 27942 59 0 0 25 0 1 0 632526518 10665984 1759 4294967295 134512640 134714508 3221221776 3221220512 134528668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2604 1759 1111 63 0 2541 0
vsize: 10416
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1842 0 0 0 28940 61 0 0 25 0 1 0 632526518 10756096 1763 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2626 1763 1111 63 0 2563 0
vsize: 10504
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1849 0 0 0 29938 63 0 0 25 0 1 0 632526518 10756096 1770 4294967295 134512640 134714508 3221221776 3221220272 134535400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2626 1770 1111 63 0 2563 0
vsize: 10504
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1854 0 0 0 30936 65 0 0 25 0 1 0 632526518 10756096 1775 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2626 1775 1111 63 0 2563 0
vsize: 10504
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1867 0 0 0 31934 67 0 0 25 0 1 0 632526518 10891264 1788 4294967295 134512640 134714508 3221221776 3221220184 134697454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1788 1111 63 0 2596 0
vsize: 10636
[startup+330.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1867 0 0 0 32933 69 0 0 25 0 1 0 632526518 10891264 1788 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1788 1111 63 0 2596 0
vsize: 10636
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1874 0 0 0 33931 70 0 0 25 0 1 0 632526518 10891264 1795 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1795 1111 63 0 2596 0
vsize: 10636
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1874 0 0 0 34930 72 0 0 25 0 1 0 632526518 10891264 1795 4294967295 134512640 134714508 3221221776 3221220560 134529296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1795 1111 63 0 2596 0
vsize: 10636
[startup+360.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1874 0 0 0 35928 74 0 0 25 0 1 0 632526518 10891264 1795 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1795 1111 63 0 2596 0
vsize: 10636
[startup+370.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1891 0 0 0 36927 76 0 0 25 0 1 0 632526518 10891264 1812 4294967295 134512640 134714508 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1812 1111 63 0 2596 0
vsize: 10636
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1891 0 0 0 37924 78 0 0 25 0 1 0 632526518 10891264 1812 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2659 1812 1111 63 0 2596 0
vsize: 10636
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1910 0 0 0 38923 80 0 0 25 0 1 0 632526518 11026432 1831 4294967295 134512640 134714508 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1831 1111 63 0 2629 0
vsize: 10768
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1919 0 0 0 39921 82 0 0 25 0 1 0 632526518 11026432 1840 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2692 1840 1111 63 0 2629 0
vsize: 10768
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1947 0 0 0 40920 83 0 0 25 0 1 0 632526518 11149312 1868 4294967295 134512640 134714508 3221221776 3221220400 134696305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2722 1868 1111 63 0 2659 0
vsize: 10888
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1981 0 0 0 41918 85 0 0 25 0 1 0 632526518 11284480 1902 4294967295 134512640 134714508 3221221776 3221220560 134529341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2755 1902 1111 63 0 2692 0
vsize: 11020
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 1999 0 0 0 42916 87 0 0 25 0 1 0 632526518 11415552 1920 4294967295 134512640 134714508 3221221776 3221220560 134528801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1920 1111 63 0 2724 0
vsize: 11148
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2013 0 0 0 43915 89 0 0 25 0 1 0 632526518 11415552 1934 4294967295 134512640 134714508 3221221776 3221220464 134543700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2787 1934 1111 63 0 2724 0
vsize: 11148
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2053 0 0 0 44913 91 0 0 25 0 1 0 632526518 11550720 1974 4294967295 134512640 134714508 3221221776 3221220344 1077377705 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1974 1111 63 0 2757 0
vsize: 11280
[startup+460.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2081 0 0 0 45910 94 0 0 25 0 1 0 632526518 11685888 2002 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2853 2002 1111 63 0 2790 0
vsize: 11412
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2086 0 0 0 46909 95 0 0 25 0 1 0 632526518 11685888 2007 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2853 2007 1111 63 0 2790 0
vsize: 11412
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2100 0 0 0 47908 97 0 0 25 0 1 0 632526518 11796480 2021 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 2021 1111 63 0 2817 0
vsize: 11520
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2115 0 0 0 48907 98 0 0 25 0 1 0 632526518 11796480 2036 4294967295 134512640 134714508 3221221776 3221220368 134548587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 2036 1111 63 0 2817 0
vsize: 11520
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2115 0 0 0 49905 100 0 0 25 0 1 0 632526518 11796480 2036 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2880 2036 1111 63 0 2817 0
vsize: 11520
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2121 0 0 0 50904 101 0 0 25 0 1 0 632526518 11931648 2042 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2913 2042 1111 63 0 2850 0
vsize: 11652
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2130 0 0 0 51903 103 0 0 25 0 1 0 632526518 11923456 2051 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2911 2051 1111 63 0 2848 0
vsize: 11644
[startup+530.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2137 0 0 0 52902 104 0 0 25 0 1 0 632526518 11923456 2058 4294967295 134512640 134714508 3221221776 3221220416 134696064 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2911 2058 1111 63 0 2848 0
vsize: 11644
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2168 0 0 0 53901 105 0 0 25 0 1 0 632526518 12058624 2089 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2089 1111 63 0 2881 0
vsize: 11776
[startup+550.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2172 0 0 0 54899 107 0 0 25 0 1 0 632526518 12058624 2093 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2944 2093 1111 63 0 2881 0
vsize: 11776
[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2183 0 0 0 55897 109 0 0 25 0 1 0 632526518 12169216 2104 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2971 2104 1111 63 0 2908 0
vsize: 11884
[startup+570.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2198 0 0 0 56895 111 0 0 25 0 1 0 632526518 12169216 2119 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2971 2119 1111 63 0 2908 0
vsize: 11884
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2203 0 0 0 57893 113 0 0 25 0 1 0 632526518 12169216 2124 4294967295 134512640 134714508 3221221776 3221220524 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2971 2124 1111 63 0 2908 0
vsize: 11884
[startup+590.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2210 0 0 0 58892 115 0 0 25 0 1 0 632526518 12288000 2131 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2131 1111 63 0 2937 0
vsize: 12000
[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2223 0 0 0 59890 117 0 0 25 0 1 0 632526518 12288000 2144 4294967295 134512640 134714508 3221221776 3221220480 134528449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2144 1111 63 0 2937 0
vsize: 12000
[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2233 0 0 0 60889 118 0 0 25 0 1 0 632526518 12288000 2154 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2154 1111 63 0 2937 0
vsize: 12000
[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2237 0 0 0 61888 119 0 0 25 0 1 0 632526518 12288000 2158 4294967295 134512640 134714508 3221221776 3221220512 134535846 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3000 2158 1111 63 0 2937 0
vsize: 12000
[startup+630.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2251 0 0 0 62887 121 0 0 25 0 1 0 632526518 12419072 2172 4294967295 134512640 134714508 3221221776 3221220448 134524431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2172 1111 63 0 2969 0
vsize: 12128
[startup+640.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2251 0 0 0 63885 123 0 0 25 0 1 0 632526518 12419072 2172 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3032 2172 1111 63 0 2969 0
vsize: 12128
[startup+650.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2281 0 0 0 64883 124 0 0 25 0 1 0 632526518 12554240 2202 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3065 2202 1111 63 0 3002 0
vsize: 12260
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2288 0 0 0 65881 127 0 0 25 0 1 0 632526518 12554240 2209 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3065 2209 1111 63 0 3002 0
vsize: 12260
[startup+670.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2315 0 0 0 66880 129 0 0 25 0 1 0 632526518 12689408 2236 4294967295 134512640 134714508 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3098 2236 1111 63 0 3035 0
vsize: 12392
[startup+680.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2326 0 0 0 67878 130 0 0 25 0 1 0 632526518 12689408 2247 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3098 2247 1111 63 0 3035 0
vsize: 12392
[startup+690.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2348 0 0 0 68877 131 0 0 25 0 1 0 632526518 12824576 2269 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2269 1111 63 0 3068 0
vsize: 12524
[startup+700.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2348 0 0 0 69875 133 0 0 25 0 1 0 632526518 12824576 2269 4294967295 134512640 134714508 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2269 1111 63 0 3068 0
vsize: 12524
[startup+710.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2355 0 0 0 70875 134 0 0 25 0 1 0 632526518 12824576 2276 4294967295 134512640 134714508 3221221776 3221220368 134549585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2276 1111 63 0 3068 0
vsize: 12524
[startup+720.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2365 0 0 0 71873 136 0 0 25 0 1 0 632526518 12824576 2286 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3131 2286 1111 63 0 3068 0
vsize: 12524
[startup+730.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2377 0 0 0 72872 137 0 0 25 0 1 0 632526518 12955648 2298 4294967295 134512640 134714508 3221221776 3221220560 134529390 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2298 1111 63 0 3100 0
vsize: 12652
[startup+740.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2377 0 0 0 73871 139 0 0 25 0 1 0 632526518 12955648 2298 4294967295 134512640 134714508 3221221776 3221220272 134535335 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2298 1111 63 0 3100 0
vsize: 12652
[startup+750.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2377 0 0 0 74869 140 0 0 25 0 1 0 632526518 12955648 2298 4294967295 134512640 134714508 3221221776 3221220428 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2298 1111 63 0 3100 0
vsize: 12652
[startup+760.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2400 0 0 0 75867 142 0 0 25 0 1 0 632526518 12955648 2321 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2321 1111 63 0 3100 0
vsize: 12652
[startup+770.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2400 0 0 0 76866 144 0 0 25 0 1 0 632526518 12955648 2321 4294967295 134512640 134714508 3221221776 3221220188 1077379851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2321 1111 63 0 3100 0
vsize: 12652
[startup+780.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2400 0 0 0 77864 146 0 0 25 0 1 0 632526518 12955648 2321 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3163 2321 1111 63 0 3100 0
vsize: 12652
[startup+790.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2410 0 0 0 78863 147 0 0 25 0 1 0 632526518 13086720 2331 4294967295 134512640 134714508 3221221776 3221220560 134528780 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3195 2331 1111 63 0 3132 0
vsize: 12780
[startup+800.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2413 0 0 0 79862 149 0 0 25 0 1 0 632526518 13086720 2334 4294967295 134512640 134714508 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3195 2334 1111 63 0 3132 0
vsize: 12780
[startup+810.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2427 0 0 0 80861 150 0 0 25 0 1 0 632526518 13086720 2348 4294967295 134512640 134714508 3221221776 3221220744 134579597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3195 2348 1111 63 0 3132 0
vsize: 12780
[startup+820.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2436 0 0 0 81859 152 0 0 25 0 1 0 632526518 13221888 2357 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2357 1111 63 0 3165 0
vsize: 12912
[startup+830.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2436 0 0 0 82858 153 0 0 25 0 1 0 632526518 13221888 2357 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2357 1111 63 0 3165 0
vsize: 12912
[startup+840.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2436 0 0 0 83856 155 0 0 25 0 1 0 632526518 13221888 2357 4294967295 134512640 134714508 3221221776 3221220316 134535014 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2357 1111 63 0 3165 0
vsize: 12912
[startup+850.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2443 0 0 0 84854 157 0 0 25 0 1 0 632526518 13221888 2364 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2364 1111 63 0 3165 0
vsize: 12912
[startup+860.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2443 0 0 0 85853 158 0 0 25 0 1 0 632526518 13221888 2364 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2364 1111 63 0 3165 0
vsize: 12912
[startup+870.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2443 0 0 0 86851 160 0 0 25 0 1 0 632526518 13221888 2364 4294967295 134512640 134714508 3221221776 3221220252 1076647540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2364 1111 63 0 3165 0
vsize: 12912
[startup+880.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2453 0 0 0 87849 163 0 0 25 0 1 0 632526518 13221888 2374 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2374 1111 63 0 3165 0
vsize: 12912
[startup+890.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2453 0 0 0 88847 164 0 0 25 0 1 0 632526518 13221888 2374 4294967295 134512640 134714508 3221221776 3221220172 1077379936 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2374 1111 63 0 3165 0
vsize: 12912
[startup+900.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2453 0 0 0 89845 167 0 0 25 0 1 0 632526518 13221888 2374 4294967295 134512640 134714508 3221221776 3221220260 134697183 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2374 1111 63 0 3165 0
vsize: 12912
[startup+910.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2453 0 0 0 90844 168 0 0 25 0 1 0 632526518 13221888 2374 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2374 1111 63 0 3165 0
vsize: 12912
[startup+920.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2460 0 0 0 91842 170 0 0 25 0 1 0 632526518 13221888 2381 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2381 1111 63 0 3165 0
vsize: 12912
[startup+930.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2460 0 0 0 92841 171 0 0 25 0 1 0 632526518 13221888 2381 4294967295 134512640 134714508 3221221776 3221220428 134536791 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2381 1111 63 0 3165 0
vsize: 12912
[startup+940.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2483 0 0 0 93840 173 0 0 25 0 1 0 632526518 13357056 2404 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3261 2404 1111 63 0 3198 0
vsize: 13044
[startup+950.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2483 0 0 0 94838 175 0 0 25 0 1 0 632526518 13357056 2404 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3261 2404 1111 63 0 3198 0
vsize: 13044
[startup+960.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2483 0 0 0 95837 176 0 0 25 0 1 0 632526518 13357056 2404 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3261 2404 1111 63 0 3198 0
vsize: 13044
[startup+970.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2520 0 0 0 96835 178 0 0 25 0 1 0 632526518 13488128 2441 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3293 2441 1111 63 0 3230 0
vsize: 13172
[startup+980.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2535 0 0 0 97834 179 0 0 25 0 1 0 632526518 13623296 2456 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3326 2456 1111 63 0 3263 0
vsize: 13304
[startup+990.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2547 0 0 0 98833 181 0 0 25 0 1 0 632526518 13586432 2468 4294967295 134512640 134714508 3221221776 3221220432 134613585 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3317 2468 1111 63 0 3254 0
vsize: 13268
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2555 0 0 0 99832 182 0 0 25 0 1 0 632526518 13721600 2476 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3350 2476 1111 63 0 3287 0
vsize: 13400
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2555 0 0 0 100831 183 0 0 25 0 1 0 632526518 13664256 2476 4294967295 134512640 134714508 3221221776 3221220356 134696214 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3336 2476 1111 63 0 3273 0
vsize: 13344
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 101830 185 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 102828 186 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220512 134552104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 103827 188 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 104826 189 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220308 1077374077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 105825 191 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 106823 192 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220544 134592376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 107822 193 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220432 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 108820 196 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220440 134551617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 109818 197 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220440 134536851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2576 0 0 0 110817 199 0 0 25 0 1 0 632526518 13799424 2497 4294967295 134512640 134714508 3221221776 3221220172 1077379938 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2497 1111 63 0 3306 0
vsize: 13476
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2589 0 0 0 111815 201 0 0 25 0 1 0 632526518 13799424 2510 4294967295 134512640 134714508 3221221776 3221220384 134549491 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2510 1111 63 0 3306 0
vsize: 13476
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2589 0 0 0 112813 203 0 0 25 0 1 0 632526518 13799424 2510 4294967295 134512640 134714508 3221221776 3221220368 134549552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2510 1111 63 0 3306 0
vsize: 13476
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2591 0 0 0 113812 205 0 0 25 0 1 0 632526518 13799424 2512 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3369 2512 1111 63 0 3306 0
vsize: 13476
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2609 0 0 0 114811 206 0 0 25 0 1 0 632526518 13934592 2530 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2530 1111 63 0 3339 0
vsize: 13608
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2613 0 0 0 115809 208 0 0 25 0 1 0 632526518 13934592 2534 4294967295 134512640 134714508 3221221776 3221220344 1077378425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2534 1111 63 0 3339 0
vsize: 13608
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2629 0 0 0 116808 209 0 0 25 0 1 0 632526518 13934592 2550 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2550 1111 63 0 3339 0
vsize: 13608
[startup+1174.89 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 12646
Raw data (stat): 12646 (bsolo_lpr_cuts) R 12645 7876 7672 0 -1 0 2629 0 0 0 116808 209 0 0 25 0 1 0 632526518 13934592 2550 4294967295 134512640 134714508 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3402 2550 1111 63 0 3339 0
vsize: 0

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