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_45_pb.cnf.cr.opb
MD5SUM	df5f31774bab40070962f7d0b16d093c
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	46
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.107983
Number of variables	3600
Total number of constraints	170
Number of constraints which are clauses	90
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	45
Trace number 23228

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 16:43:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=155 boxname=wulflinc31 idbench=18 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  df5f31774bab40070962f7d0b16d093c  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_45_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl40_45_pb.cnf.cr.opb
IDLAUNCH: 155
/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:        930596 kB
Buffers:         36436 kB
Cached:          45660 kB
SwapCached:        864 kB
Active:          70812 kB
Inactive:        13712 kB
HighTotal:      131008 kB
HighFree:        84280 kB
LowTotal:       903652 kB
LowFree:        846316 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13944 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 17:03:03 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 155 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 3600 variables and 170 constraints.
c After prepocess the problem consists of 3600 variables and 170 constraints.
c preprocess terminated 1.5 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.92 0.95 0.90 2/54 13177
Raw data (stat): 13177 (runsolver) R 13176 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 633007389 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1502 0 0 0 988 7 0 0 25 0 1 0 633007389 9314304 1423 4294967295 134512640 134714508 3221221776 3221220316 1077374048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2274 1423 1111 63 0 2211 0
vsize: 9096
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1516 0 0 0 1986 9 0 0 25 0 1 0 633007389 9400320 1437 4294967295 134512640 134714508 3221221776 3221220532 134652863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2295 1437 1111 63 0 2232 0
vsize: 9180
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1540 0 0 0 2985 11 0 0 25 0 1 0 633007389 9535488 1461 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 1461 1111 63 0 2265 0
vsize: 9312
[startup+40.003 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1555 0 0 0 3983 13 0 0 25 0 1 0 633007389 9535488 1476 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2328 1476 1111 63 0 2265 0
vsize: 9312
[startup+50.0039 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1566 0 0 0 4981 15 0 0 25 0 1 0 633007389 9670656 1487 4294967295 134512640 134714508 3221221776 3221220416 134696066 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2361 1487 1111 63 0 2298 0
vsize: 9444
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1574 0 0 0 5980 16 0 0 25 0 1 0 633007389 9670656 1495 4294967295 134512640 134714508 3221221776 3221220416 134696260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2361 1495 1111 63 0 2298 0
vsize: 9444
[startup+70.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1574 0 0 0 6978 18 0 0 25 0 1 0 633007389 9670656 1495 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2361 1495 1111 63 0 2298 0
vsize: 9444
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1579 0 0 0 7977 20 0 0 25 0 1 0 633007389 9670656 1500 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2361 1500 1111 63 0 2298 0
vsize: 9444
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1584 0 0 0 8975 22 0 0 25 0 1 0 633007389 9670656 1505 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2361 1505 1111 63 0 2298 0
vsize: 9444
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1612 0 0 0 9974 23 0 0 25 0 1 0 633007389 9801728 1533 4294967295 134512640 134714508 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2393 1533 1111 63 0 2330 0
vsize: 9572
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1615 0 0 0 10972 25 0 0 25 0 1 0 633007389 9801728 1536 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2393 1536 1111 63 0 2330 0
vsize: 9572
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1650 0 0 0 11970 28 0 0 25 0 1 0 633007389 9936896 1571 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1571 1111 63 0 2363 0
vsize: 9704
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1650 0 0 0 12969 29 0 0 25 0 1 0 633007389 9936896 1571 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1571 1111 63 0 2363 0
vsize: 9704
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1650 0 0 0 13967 31 0 0 25 0 1 0 633007389 9936896 1571 4294967295 134512640 134714508 3221221776 3221220416 134696066 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2426 1571 1111 63 0 2363 0
vsize: 9704
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1664 0 0 0 14966 32 0 0 25 0 1 0 633007389 10072064 1585 4294967295 134512640 134714508 3221221776 3221220480 134528524 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1585 1111 63 0 2396 0
vsize: 9836
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1673 0 0 0 15965 34 0 0 25 0 1 0 633007389 10072064 1594 4294967295 134512640 134714508 3221221776 3221220528 134592388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1594 1111 63 0 2396 0
vsize: 9836
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1691 0 0 0 16963 36 0 0 25 0 1 0 633007389 10072064 1612 4294967295 134512640 134714508 3221221776 3221220400 134543712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2459 1612 1111 63 0 2396 0
vsize: 9836
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1714 0 0 0 17962 37 0 0 25 0 1 0 633007389 10207232 1635 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1635 1111 63 0 2429 0
vsize: 9968
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1721 0 0 0 18960 39 0 0 25 0 1 0 633007389 10207232 1642 4294967295 134512640 134714508 3221221776 3221220368 134548599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2492 1642 1111 63 0 2429 0
vsize: 9968
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1736 0 0 0 19959 40 0 0 25 0 1 0 633007389 10342400 1657 4294967295 134512640 134714508 3221221776 3221220336 134542365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2525 1657 1111 63 0 2462 0
vsize: 10100
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1748 0 0 0 20957 42 0 0 25 0 1 0 633007389 10342400 1669 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2525 1669 1111 63 0 2462 0
vsize: 10100
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1767 0 0 0 21955 44 0 0 25 0 1 0 633007389 10477568 1688 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2558 1688 1111 63 0 2495 0
vsize: 10232
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1796 0 0 0 22954 46 0 0 25 0 1 0 633007389 10612736 1717 4294967295 134512640 134714508 3221221776 3221220480 134528592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2591 1717 1111 63 0 2528 0
vsize: 10364
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1829 0 0 0 23952 48 0 0 25 0 1 0 633007389 10747904 1750 4294967295 134512640 134714508 3221221776 3221220172 1077379872 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2624 1750 1111 63 0 2561 0
vsize: 10496
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1851 0 0 0 24951 50 0 0 25 0 1 0 633007389 10747904 1772 4294967295 134512640 134714508 3221221776 3221220456 134613605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2624 1772 1111 63 0 2561 0
vsize: 10496
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1873 0 0 0 25950 51 0 0 25 0 1 0 633007389 10883072 1794 4294967295 134512640 134714508 3221221776 3221220248 134613957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2657 1794 1111 63 0 2594 0
vsize: 10628
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1900 0 0 0 26948 53 0 0 25 0 1 0 633007389 11014144 1821 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1821 1111 63 0 2626 0
vsize: 10756
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1900 0 0 0 27947 54 0 0 25 0 1 0 633007389 11014144 1821 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1821 1111 63 0 2626 0
vsize: 10756
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1900 0 0 0 28945 55 0 0 25 0 1 0 633007389 11014144 1821 4294967295 134512640 134714508 3221221776 3221220344 1077378425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1821 1111 63 0 2626 0
vsize: 10756
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1900 0 0 0 29944 58 0 0 25 0 1 0 633007389 11014144 1821 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1821 1111 63 0 2626 0
vsize: 10756
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1908 0 0 0 30942 59 0 0 25 0 1 0 633007389 11014144 1829 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1829 1111 63 0 2626 0
vsize: 10756
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1922 0 0 0 31940 61 0 0 25 0 1 0 633007389 11014144 1843 4294967295 134512640 134714508 3221221776 3221220316 134539290 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1843 1111 63 0 2626 0
vsize: 10756
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1922 0 0 0 32939 62 0 0 25 0 1 0 633007389 11014144 1843 4294967295 134512640 134714508 3221221776 3221220384 134549293 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1843 1111 63 0 2626 0
vsize: 10756
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1922 0 0 0 33938 64 0 0 25 0 1 0 633007389 11014144 1843 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2689 1843 1111 63 0 2626 0
vsize: 10756
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1934 0 0 0 34936 65 0 0 25 0 1 0 633007389 11149312 1855 4294967295 134512640 134714508 3221221776 3221220404 1077374057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2722 1855 1111 63 0 2659 0
vsize: 10888
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1934 0 0 0 35935 67 0 0 25 0 1 0 633007389 11149312 1855 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2722 1855 1111 63 0 2659 0
vsize: 10888
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1934 0 0 0 36933 69 0 0 25 0 1 0 633007389 11149312 1855 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2722 1855 1111 63 0 2659 0
vsize: 10888
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1935 0 0 0 37931 71 0 0 25 0 1 0 633007389 11149312 1856 4294967295 134512640 134714508 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2722 1856 1111 63 0 2659 0
vsize: 10888
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1943 0 0 0 38929 73 0 0 25 0 1 0 633007389 11149312 1864 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2722 1864 1111 63 0 2659 0
vsize: 10888
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1943 0 0 0 39928 75 0 0 25 0 1 0 633007389 11149312 1864 4294967295 134512640 134714508 3221221776 3221220416 134696260 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2722 1864 1111 63 0 2659 0
vsize: 10888
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 1983 0 0 0 40926 77 0 0 25 0 1 0 633007389 11354112 1904 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2772 1904 1111 63 0 2709 0
vsize: 11088
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2027 0 0 0 41924 79 0 0 25 0 1 0 633007389 11489280 1948 4294967295 134512640 134714508 3221221776 3221220476 1077374497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2805 1948 1111 63 0 2742 0
vsize: 11220
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2049 0 0 0 42923 80 0 0 25 0 1 0 633007389 11624448 1970 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1970 1111 63 0 2775 0
vsize: 11352
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2052 0 0 0 43922 82 0 0 25 0 1 0 633007389 11624448 1973 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1973 1111 63 0 2775 0
vsize: 11352
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2063 0 0 0 44920 84 0 0 25 0 1 0 633007389 11624448 1984 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2838 1984 1111 63 0 2775 0
vsize: 11352
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2090 0 0 0 45918 85 0 0 25 0 1 0 633007389 11759616 2011 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2871 2011 1111 63 0 2808 0
vsize: 11484
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2125 0 0 0 46917 87 0 0 25 0 1 0 633007389 11894784 2046 4294967295 134512640 134714508 3221221776 3221220432 134523862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 2046 1111 63 0 2841 0
vsize: 11616
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2125 0 0 0 47916 88 0 0 25 0 1 0 633007389 11894784 2046 4294967295 134512640 134714508 3221221776 3221220368 134549548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 2046 1111 63 0 2841 0
vsize: 11616
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2125 0 0 0 48914 90 0 0 25 0 1 0 633007389 11894784 2046 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 2046 1111 63 0 2841 0
vsize: 11616
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2125 0 0 0 49913 92 0 0 25 0 1 0 633007389 11894784 2046 4294967295 134512640 134714508 3221221776 3221220532 134652883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 2046 1111 63 0 2841 0
vsize: 11616
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2131 0 0 0 50911 94 0 0 25 0 1 0 633007389 11894784 2052 4294967295 134512640 134714508 3221221776 3221220452 134543680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2904 2052 1111 63 0 2841 0
vsize: 11616
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2140 0 0 0 51910 95 0 0 25 0 1 0 633007389 12029952 2061 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2937 2061 1111 63 0 2874 0
vsize: 11748
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2143 0 0 0 52908 97 0 0 25 0 1 0 633007389 12029952 2064 4294967295 134512640 134714508 3221221776 3221220464 134528605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2937 2064 1111 63 0 2874 0
vsize: 11748
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2178 0 0 0 53908 97 0 0 25 0 1 0 633007389 12165120 2099 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2970 2099 1111 63 0 2907 0
vsize: 11880
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2181 0 0 0 54907 99 0 0 25 0 1 0 633007389 12136448 2102 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2963 2102 1111 63 0 2900 0
vsize: 11852
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2214 0 0 0 55906 100 0 0 25 0 1 0 633007389 12263424 2135 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2994 2135 1111 63 0 2931 0
vsize: 11976
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2235 0 0 0 56905 101 0 0 25 0 1 0 633007389 12398592 2156 4294967295 134512640 134714508 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3027 2156 1111 63 0 2964 0
vsize: 12108
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2245 0 0 0 57904 103 0 0 25 0 1 0 633007389 12398592 2166 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3027 2166 1111 63 0 2964 0
vsize: 12108
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2252 0 0 0 58903 104 0 0 25 0 1 0 633007389 12398592 2173 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3027 2173 1111 63 0 2964 0
vsize: 12108
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2269 0 0 0 59901 105 0 0 25 0 1 0 633007389 12517376 2190 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2190 1111 63 0 2993 0
vsize: 12224
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2269 0 0 0 60900 106 0 0 25 0 1 0 633007389 12517376 2190 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2190 1111 63 0 2993 0
vsize: 12224
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2276 0 0 0 61900 107 0 0 25 0 1 0 633007389 12517376 2197 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2197 1111 63 0 2993 0
vsize: 12224
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2276 0 0 0 62899 108 0 0 25 0 1 0 633007389 12517376 2197 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2197 1111 63 0 2993 0
vsize: 12224
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2276 0 0 0 63897 110 0 0 25 0 1 0 633007389 12517376 2197 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2197 1111 63 0 2993 0
vsize: 12224
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2284 0 0 0 64896 111 0 0 25 0 1 0 633007389 12517376 2205 4294967295 134512640 134714508 3221221776 3221220344 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2205 1111 63 0 2993 0
vsize: 12224
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2286 0 0 0 65895 113 0 0 25 0 1 0 633007389 12517376 2207 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2207 1111 63 0 2993 0
vsize: 12224
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2288 0 0 0 66894 114 0 0 25 0 1 0 633007389 12517376 2209 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3056 2209 1111 63 0 2993 0
vsize: 12224
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2293 0 0 0 67893 115 0 0 25 0 1 0 633007389 12648448 2214 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3088 2214 1111 63 0 3025 0
vsize: 12352
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2303 0 0 0 68892 116 0 0 25 0 1 0 633007389 12640256 2224 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3086 2224 1111 63 0 3023 0
vsize: 12344
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2310 0 0 0 69890 118 0 0 25 0 1 0 633007389 12640256 2231 4294967295 134512640 134714508 3221221776 3221220544 134592098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3086 2231 1111 63 0 3023 0
vsize: 12344
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2332 0 0 0 70889 120 0 0 25 0 1 0 633007389 12775424 2253 4294967295 134512640 134714508 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3119 2253 1111 63 0 3056 0
vsize: 12476
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2363 0 0 0 71887 121 0 0 25 0 1 0 633007389 12910592 2284 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2284 1111 63 0 3089 0
vsize: 12608
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2363 0 0 0 72886 122 0 0 25 0 1 0 633007389 12910592 2284 4294967295 134512640 134714508 3221221776 3221220524 134587987 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2284 1111 63 0 3089 0
vsize: 12608
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2363 0 0 0 73885 124 0 0 25 0 1 0 633007389 12910592 2284 4294967295 134512640 134714508 3221221776 3221220368 134548578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2284 1111 63 0 3089 0
vsize: 12608
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2363 0 0 0 74884 125 0 0 25 0 1 0 633007389 12910592 2284 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2284 1111 63 0 3089 0
vsize: 12608
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2367 0 0 0 75883 126 0 0 25 0 1 0 633007389 12910592 2288 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2288 1111 63 0 3089 0
vsize: 12608
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2374 0 0 0 76883 127 0 0 25 0 1 0 633007389 12910592 2295 4294967295 134512640 134714508 3221221776 3221220512 134558507 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2374 0 0 0 77882 128 0 0 25 0 1 0 633007389 12910592 2295 4294967295 134512640 134714508 3221221776 3221220528 134534146 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2374 0 0 0 78881 129 0 0 25 0 1 0 633007389 12910592 2295 4294967295 134512640 134714508 3221221776 3221220416 134539416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2374 0 0 0 79880 130 0 0 25 0 1 0 633007389 12910592 2295 4294967295 134512640 134714508 3221221776 3221220476 134534084 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2374 0 0 0 80880 131 0 0 25 0 1 0 633007389 12910592 2295 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2295 1111 63 0 3089 0
vsize: 12608
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2380 0 0 0 81879 132 0 0 25 0 1 0 633007389 12910592 2301 4294967295 134512640 134714508 3221221776 3221220400 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2301 1111 63 0 3089 0
vsize: 12608
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2380 0 0 0 82878 133 0 0 25 0 1 0 633007389 12910592 2301 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2301 1111 63 0 3089 0
vsize: 12608
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2380 0 0 0 83877 133 0 0 25 0 1 0 633007389 12910592 2301 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2301 1111 63 0 3089 0
vsize: 12608
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2387 0 0 0 84877 135 0 0 25 0 1 0 633007389 12910592 2308 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3152 2308 1111 63 0 3089 0
vsize: 12608
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2388 0 0 0 85875 136 0 0 25 0 1 0 633007389 13045760 2309 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2309 1111 63 0 3122 0
vsize: 12740
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2388 0 0 0 86875 137 0 0 25 0 1 0 633007389 13045760 2309 4294967295 134512640 134714508 3221221776 3221220524 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2309 1111 63 0 3122 0
vsize: 12740
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2397 0 0 0 87874 138 0 0 25 0 1 0 633007389 13045760 2318 4294967295 134512640 134714508 3221221776 3221220540 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2318 1111 63 0 3122 0
vsize: 12740
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2397 0 0 0 88873 139 0 0 25 0 1 0 633007389 13045760 2318 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2318 1111 63 0 3122 0
vsize: 12740
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2404 0 0 0 89872 140 0 0 25 0 1 0 633007389 13045760 2325 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2325 1111 63 0 3122 0
vsize: 12740
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2413 0 0 0 90870 142 0 0 25 0 1 0 633007389 13045760 2334 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2334 1111 63 0 3122 0
vsize: 12740
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2416 0 0 0 91869 144 0 0 25 0 1 0 633007389 13045760 2337 4294967295 134512640 134714508 3221221776 3221220536 134552570 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3185 2337 1111 63 0 3122 0
vsize: 12740
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2428 0 0 0 92868 145 0 0 25 0 1 0 633007389 13172736 2349 4294967295 134512640 134714508 3221221776 3221220512 134558537 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2349 1111 63 0 3153 0
vsize: 12864
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2428 0 0 0 93867 146 0 0 25 0 1 0 633007389 13172736 2349 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3216 2349 1111 63 0 3153 0
vsize: 12864
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2428 0 0 0 94865 148 0 0 25 0 1 0 633007389 13168640 2349 4294967295 134512640 134714508 3221221776 3221220392 134523391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2349 1111 63 0 3152 0
vsize: 12860
[startup+960.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2438 0 0 0 95864 150 0 0 25 0 1 0 633007389 13168640 2359 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3215 2359 1111 63 0 3152 0
vsize: 12860
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2459 0 0 0 96863 151 0 0 25 0 1 0 633007389 13230080 2380 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3230 2380 1111 63 0 3167 0
vsize: 12920
[startup+980.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2484 0 0 0 97861 152 0 0 25 0 1 0 633007389 13365248 2405 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3263 2405 1111 63 0 3200 0
vsize: 13052
[startup+990.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13177
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2533 0 0 0 98860 154 0 0 25 0 1 0 633007389 13635584 2454 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3329 2454 1111 63 0 3266 0
vsize: 13316
[startup+1000.04 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 13221
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2594 0 0 0 99858 156 0 0 25 0 1 0 633007389 13770752 2515 4294967295 134512640 134714508 3221221776 3221220432 1076647581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3362 2515 1111 63 0 3299 0
vsize: 13448
[startup+1010.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2622 0 0 0 100857 157 0 0 25 0 1 0 633007389 13905920 2543 4294967295 134512640 134714508 3221221776 3221220464 134551929 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3395 2543 1111 63 0 3332 0
vsize: 13580
[startup+1020.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2628 0 0 0 101856 158 0 0 25 0 1 0 633007389 13905920 2549 4294967295 134512640 134714508 3221221776 3221220452 1077374563 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3395 2549 1111 63 0 3332 0
vsize: 13580
[startup+1030.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2636 0 0 0 102855 160 0 0 25 0 1 0 633007389 14041088 2557 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3428 2557 1111 63 0 3365 0
vsize: 13712
[startup+1040.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2655 0 0 0 103854 161 0 0 25 0 1 0 633007389 14041088 2576 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3428 2576 1111 63 0 3365 0
vsize: 13712
[startup+1050.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2656 0 0 0 104853 162 0 0 25 0 1 0 633007389 14041088 2577 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3428 2577 1111 63 0 3365 0
vsize: 13712
[startup+1060.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 13230
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2669 0 0 0 105852 163 0 0 25 0 1 0 633007389 14168064 2590 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2590 1111 63 0 3396 0
vsize: 13836
[startup+1070.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2681 0 0 0 106851 165 0 0 25 0 1 0 633007389 14168064 2602 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+1080.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2681 0 0 0 107850 166 0 0 25 0 1 0 633007389 14168064 2602 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+1090.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2681 0 0 0 108849 166 0 0 25 0 1 0 633007389 14168064 2602 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2602 1111 63 0 3396 0
vsize: 13836
[startup+1100.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2689 0 0 0 109849 167 0 0 25 0 1 0 633007389 14168064 2610 4294967295 134512640 134714508 3221221776 3221220532 134652883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2610 1111 63 0 3396 0
vsize: 13836
[startup+1110.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2689 0 0 0 110848 168 0 0 25 0 1 0 633007389 14168064 2610 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2610 1111 63 0 3396 0
vsize: 13836
[startup+1120.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2702 0 0 0 111847 169 0 0 25 0 1 0 633007389 14303232 2623 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2623 1111 63 0 3429 0
vsize: 13968
[startup+1130.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2727 0 0 0 112847 170 0 0 25 0 1 0 633007389 14303232 2648 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2648 1111 63 0 3429 0
vsize: 13968
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2727 0 0 0 113845 171 0 0 25 0 1 0 633007389 14303232 2648 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2648 1111 63 0 3429 0
vsize: 13968
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2727 0 0 0 114844 172 0 0 25 0 1 0 633007389 14303232 2648 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2648 1111 63 0 3429 0
vsize: 13968
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2740 0 0 0 115844 173 0 0 25 0 1 0 633007389 14438400 2661 4294967295 134512640 134714508 3221221776 3221220508 134532440 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2661 1111 63 0 3462 0
vsize: 14100
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2740 0 0 0 116843 174 0 0 25 0 1 0 633007389 14438400 2661 4294967295 134512640 134714508 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2661 1111 63 0 3462 0
vsize: 14100
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 13232
Raw data (stat): 13177 (bsolo_lpr_cuts) R 13176 7876 7672 0 -1 0 2740 0 0 0 116843 174 0 0 25 0 1 0 633007389 14438400 2661 4294967295 134512640 134714508 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2661 1111 63 0 3462 0
vsize: 0

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