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 40566

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        880976 kB
Buffers:         13160 kB
Cached:         115528 kB
SwapCached:       5204 kB
Active:          25184 kB
Inactive:       109796 kB
HighTotal:      131008 kB
HighFree:        80220 kB
LowTotal:       903652 kB
LowFree:        800756 kB
SwapTotal:     2097136 kB
SwapFree:      2090904 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13272 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:17:48 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28632 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 3600 variables and 170 constraints.
c After prepocess the problem consists of 3600 variables and 170 constraints.
c preprocess terminated 1.507 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.96 0.97 0.91 2/54 1230
Raw data (stat): 1230 (runsolver) R 1229 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902524677 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1502 0 0 0 992 6 0 0 25 0 1 0 902524677 9310208 1420 4294967295 134512640 134716908 3221224560 3221223200 134698471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2273 1420 1111 63 0 2210 0
vsize: 9092
[startup+20.0012 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1516 0 0 0 1990 7 0 0 25 0 1 0 902524677 9396224 1434 4294967295 134512640 134716908 3221224560 3221223168 134549332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2294 1434 1111 63 0 2231 0
vsize: 9176
[startup+30.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1540 0 0 0 2990 8 0 0 25 0 1 0 902524677 9531392 1458 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2327 1458 1111 63 0 2264 0
vsize: 9308
[startup+40.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1555 0 0 0 3988 10 0 0 25 0 1 0 902524677 9531392 1473 4294967295 134512640 134716908 3221224560 3221223152 134542680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2327 1473 1111 63 0 2264 0
vsize: 9308
[startup+50.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1566 0 0 0 4987 11 0 0 25 0 1 0 902524677 9666560 1484 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2360 1484 1111 63 0 2297 0
vsize: 9440
[startup+60.0026 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1574 0 0 0 5985 13 0 0 25 0 1 0 902524677 9666560 1492 4294967295 134512640 134716908 3221224560 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2360 1492 1111 63 0 2297 0
vsize: 9440
[startup+70.0031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1574 0 0 0 6985 14 0 0 25 0 1 0 902524677 9666560 1492 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2360 1492 1111 63 0 2297 0
vsize: 9440
[startup+80.0044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1579 0 0 0 7983 15 0 0 25 0 1 0 902524677 9666560 1497 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2360 1497 1111 63 0 2297 0
vsize: 9440
[startup+90.0042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1584 0 0 0 8980 19 0 0 25 0 1 0 902524677 9666560 1502 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2360 1502 1111 63 0 2297 0
vsize: 9440
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1230
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1612 0 0 0 9978 21 0 0 25 0 1 0 902524677 9797632 1530 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2392 1530 1111 63 0 2329 0
vsize: 9568
[startup+110.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 1231
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1620 0 0 0 10977 23 0 0 25 0 1 0 902524677 9797632 1538 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2392 1538 1111 63 0 2329 0
vsize: 9568
[startup+120.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 1285
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1650 0 0 0 11974 24 0 0 25 0 1 0 902524677 9932800 1568 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2425 1568 1111 63 0 2362 0
vsize: 9700
[startup+130.009 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1285
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1650 0 0 0 12973 26 0 0 25 0 1 0 902524677 9932800 1568 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2425 1568 1111 63 0 2362 0
vsize: 9700
[startup+140.008 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1285
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1650 0 0 0 13972 27 0 0 25 0 1 0 902524677 9932800 1568 4294967295 134512640 134716908 3221224560 3221222956 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2425 1568 1111 63 0 2362 0
vsize: 9700
[startup+150.008 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 1285
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1664 0 0 0 14970 29 0 0 25 0 1 0 902524677 10067968 1582 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2458 1582 1111 63 0 2395 0
vsize: 9832
[startup+160.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1285
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1673 0 0 0 15969 31 0 0 25 0 1 0 902524677 10067968 1591 4294967295 134512640 134716908 3221224560 3221223200 134698727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2458 1591 1111 63 0 2395 0
vsize: 9832
[startup+170.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1285
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1691 0 0 0 16967 33 0 0 25 0 1 0 902524677 10067968 1609 4294967295 134512640 134716908 3221224560 3221223344 134584866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2458 1609 1111 63 0 2395 0
vsize: 9832
[startup+180.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1285
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1721 0 0 0 17965 35 0 0 25 0 1 0 902524677 10203136 1639 4294967295 134512640 134716908 3221224560 3221223280 134591862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2491 1639 1111 63 0 2428 0
vsize: 9964
[startup+190.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1736 0 0 0 18963 37 0 0 25 0 1 0 902524677 10338304 1654 4294967295 134512640 134716908 3221224560 3221223292 134558784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2524 1654 1111 63 0 2461 0
vsize: 10096
[startup+200.011 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1736 0 0 0 19961 39 0 0 25 0 1 0 902524677 10338304 1654 4294967295 134512640 134716908 3221224560 3221223168 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2524 1654 1111 63 0 2461 0
vsize: 10096
[startup+210.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1748 0 0 0 20959 42 0 0 25 0 1 0 902524677 10338304 1666 4294967295 134512640 134716908 3221224560 3221223264 134528662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2524 1666 1111 63 0 2461 0
vsize: 10096
[startup+220.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1767 0 0 0 21957 44 0 0 25 0 1 0 902524677 10473472 1685 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2557 1685 1111 63 0 2494 0
vsize: 10228
[startup+230.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1814 0 0 0 22956 45 0 0 25 0 1 0 902524677 10608640 1732 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2590 1732 1111 63 0 2527 0
vsize: 10360
[startup+240.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1833 0 0 0 23955 46 0 0 25 0 1 0 902524677 10743808 1751 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2623 1751 1111 63 0 2560 0
vsize: 10492
[startup+250.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1866 0 0 0 24954 48 0 0 25 0 1 0 902524677 10878976 1784 4294967295 134512640 134716908 3221224560 3221223328 134592376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2656 1784 1111 63 0 2593 0
vsize: 10624
[startup+260.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1900 0 0 0 25952 50 0 0 25 0 1 0 902524677 11010048 1818 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1818 1111 63 0 2625 0
vsize: 10752
[startup+270.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1900 0 0 0 26950 52 0 0 25 0 1 0 902524677 11010048 1818 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1818 1111 63 0 2625 0
vsize: 10752
[startup+280.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1900 0 0 0 27949 53 0 0 25 0 1 0 902524677 11010048 1818 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1818 1111 63 0 2625 0
vsize: 10752
[startup+290.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1900 0 0 0 28948 54 0 0 25 0 1 0 902524677 11010048 1818 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1818 1111 63 0 2625 0
vsize: 10752
[startup+300.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1908 0 0 0 29946 56 0 0 25 0 1 0 902524677 11010048 1826 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1826 1111 63 0 2625 0
vsize: 10752
[startup+310.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1922 0 0 0 30945 58 0 0 25 0 1 0 902524677 11010048 1840 4294967295 134512640 134716908 3221224560 3221223248 134534089 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1840 1111 63 0 2625 0
vsize: 10752
[startup+320.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1922 0 0 0 31944 59 0 0 25 0 1 0 902524677 11010048 1840 4294967295 134512640 134716908 3221224560 3221223312 134592368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1840 1111 63 0 2625 0
vsize: 10752
[startup+330.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1922 0 0 0 32943 61 0 0 25 0 1 0 902524677 11010048 1840 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2688 1840 1111 63 0 2625 0
vsize: 10752
[startup+340.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1934 0 0 0 33941 63 0 0 25 0 1 0 902524677 11145216 1852 4294967295 134512640 134716908 3221224560 3221223300 134558543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 1852 1111 63 0 2658 0
vsize: 10884
[startup+350.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1934 0 0 0 34940 64 0 0 25 0 1 0 902524677 11145216 1852 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 1852 1111 63 0 2658 0
vsize: 10884
[startup+360.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1934 0 0 0 35938 66 0 0 25 0 1 0 902524677 11145216 1852 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 1852 1111 63 0 2658 0
vsize: 10884
[startup+370.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1935 0 0 0 36936 68 0 0 25 0 1 0 902524677 11145216 1853 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 1853 1111 63 0 2658 0
vsize: 10884
[startup+380.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1943 0 0 0 37935 69 0 0 25 0 1 0 902524677 11145216 1861 4294967295 134512640 134716908 3221224560 3221223288 134532441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 1861 1111 63 0 2658 0
vsize: 10884
[startup+390.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1943 0 0 0 38933 71 0 0 25 0 1 0 902524677 11145216 1861 4294967295 134512640 134716908 3221224560 3221223200 134539446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2721 1861 1111 63 0 2658 0
vsize: 10884
[startup+400.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 1983 0 0 0 39932 73 0 0 25 0 1 0 902524677 11350016 1901 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2771 1901 1111 63 0 2708 0
vsize: 11084
[startup+410.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2027 0 0 0 40931 74 0 0 25 0 1 0 902524677 11485184 1945 4294967295 134512640 134716908 3221224560 3221222956 1077379924 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2804 1945 1111 63 0 2741 0
vsize: 11216
[startup+420.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2049 0 0 0 41929 76 0 0 25 0 1 0 902524677 11620352 1967 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2837 1967 1111 63 0 2774 0
vsize: 11348
[startup+430.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2056 0 0 0 42928 78 0 0 25 0 1 0 902524677 11620352 1974 4294967295 134512640 134716908 3221224560 3221223248 134524469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2837 1974 1111 63 0 2774 0
vsize: 11348
[startup+440.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1288
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2063 0 0 0 43926 79 0 0 25 0 1 0 902524677 11620352 1981 4294967295 134512640 134716908 3221224560 3221223264 1076648070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2837 1981 1111 63 0 2774 0
vsize: 11348
[startup+450.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2093 0 0 0 44925 81 0 0 25 0 1 0 902524677 11755520 2011 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2870 2011 1111 63 0 2807 0
vsize: 11480
[startup+460.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2125 0 0 0 45923 83 0 0 25 0 1 0 902524677 11890688 2043 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2903 2043 1111 63 0 2840 0
vsize: 11612
[startup+470.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2125 0 0 0 46921 85 0 0 25 0 1 0 902524677 11890688 2043 4294967295 134512640 134716908 3221224560 3221223056 134699749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2903 2043 1111 63 0 2840 0
vsize: 11612
[startup+480.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2125 0 0 0 47919 87 0 0 25 0 1 0 902524677 11890688 2043 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2903 2043 1111 63 0 2840 0
vsize: 11612
[startup+490.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2125 0 0 0 48918 89 0 0 25 0 1 0 902524677 11890688 2043 4294967295 134512640 134716908 3221224560 3221223296 134591999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2903 2043 1111 63 0 2840 0
vsize: 11612
[startup+500.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2140 0 0 0 49917 90 0 0 25 0 1 0 902524677 12025856 2058 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2936 2058 1111 63 0 2873 0
vsize: 11744
[startup+510.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2140 0 0 0 50916 91 0 0 25 0 1 0 902524677 12025856 2058 4294967295 134512640 134716908 3221224560 3221223176 1077377140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2936 2058 1111 63 0 2873 0
vsize: 11744
[startup+520.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2143 0 0 0 51915 93 0 0 25 0 1 0 902524677 12025856 2061 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2936 2061 1111 63 0 2873 0
vsize: 11744
[startup+530.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2181 0 0 0 52914 94 0 0 25 0 1 0 902524677 12161024 2099 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2969 2099 1111 63 0 2906 0
vsize: 11876
[startup+540.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2214 0 0 0 53913 95 0 0 25 0 1 0 902524677 12259328 2132 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2993 2132 1111 63 0 2930 0
vsize: 11972
[startup+550.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2235 0 0 0 54911 96 0 0 25 0 1 0 902524677 12394496 2153 4294967295 134512640 134716908 3221224560 3221223296 134528538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3026 2153 1111 63 0 2963 0
vsize: 12104
[startup+560.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2245 0 0 0 55911 97 0 0 25 0 1 0 902524677 12394496 2163 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3026 2163 1111 63 0 2963 0
vsize: 12104
[startup+570.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2252 0 0 0 56910 98 0 0 25 0 1 0 902524677 12394496 2170 4294967295 134512640 134716908 3221224560 3221222884 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3026 2170 1111 63 0 2963 0
vsize: 12104
[startup+580.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2263 0 0 0 57909 100 0 0 25 0 1 0 902524677 12529664 2181 4294967295 134512640 134716908 3221224560 3221223192 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3059 2181 1111 63 0 2996 0
vsize: 12236
[startup+590.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2269 0 0 0 58907 102 0 0 25 0 1 0 902524677 12513280 2187 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2187 1111 63 0 2992 0
vsize: 12220
[startup+600.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2269 0 0 0 59906 103 0 0 25 0 1 0 902524677 12513280 2187 4294967295 134512640 134716908 3221224560 3221223184 134698620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2187 1111 63 0 2992 0
vsize: 12220
[startup+610.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2276 0 0 0 60905 105 0 0 25 0 1 0 902524677 12513280 2194 4294967295 134512640 134716908 3221224560 3221223168 134549488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2194 1111 63 0 2992 0
vsize: 12220
[startup+620.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2276 0 0 0 61903 106 0 0 25 0 1 0 902524677 12513280 2194 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2194 1111 63 0 2992 0
vsize: 12220
[startup+630.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2284 0 0 0 62902 107 0 0 25 0 1 0 902524677 12513280 2202 4294967295 134512640 134716908 3221224560 3221222472 134613777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2202 1111 63 0 2992 0
vsize: 12220
[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2286 0 0 0 63901 109 0 0 25 0 1 0 902524677 12513280 2204 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2204 1111 63 0 2992 0
vsize: 12220
[startup+650.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2286 0 0 0 64900 110 0 0 25 0 1 0 902524677 12513280 2204 4294967295 134512640 134716908 3221224560 3221223184 134698620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3055 2204 1111 63 0 2992 0
vsize: 12220
[startup+660.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2293 0 0 0 65899 111 0 0 25 0 1 0 902524677 12644352 2211 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3087 2211 1111 63 0 3024 0
vsize: 12348
[startup+670.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2303 0 0 0 66899 112 0 0 25 0 1 0 902524677 12636160 2221 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3085 2221 1111 63 0 3022 0
vsize: 12340
[startup+680.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2310 0 0 0 67898 113 0 0 25 0 1 0 902524677 12636160 2228 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3085 2228 1111 63 0 3022 0
vsize: 12340
[startup+690.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2331 0 0 0 68896 115 0 0 25 0 1 0 902524677 12771328 2249 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3118 2249 1111 63 0 3055 0
vsize: 12472
[startup+700.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2363 0 0 0 69894 117 0 0 25 0 1 0 902524677 12906496 2281 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2281 1111 63 0 3088 0
vsize: 12604
[startup+710.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2363 0 0 0 70893 118 0 0 25 0 1 0 902524677 12906496 2281 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2281 1111 63 0 3088 0
vsize: 12604
[startup+720.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2363 0 0 0 71892 120 0 0 25 0 1 0 902524677 12906496 2281 4294967295 134512640 134716908 3221224560 3221223284 134613741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2281 1111 63 0 3088 0
vsize: 12604
[startup+730.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2363 0 0 0 72891 121 0 0 25 0 1 0 902524677 12906496 2281 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2281 1111 63 0 3088 0
vsize: 12604
[startup+740.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2368 0 0 0 73889 122 0 0 25 0 1 0 902524677 12906496 2286 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2286 1111 63 0 3088 0
vsize: 12604
[startup+750.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 74888 123 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221223200 134698412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+760.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 75887 125 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+770.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 76886 126 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+780.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 77885 128 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+790.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2374 0 0 0 78883 130 0 0 25 0 1 0 902524677 12906496 2292 4294967295 134512640 134716908 3221224560 3221222916 1077377189 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2292 1111 63 0 3088 0
vsize: 12604
[startup+800.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2380 0 0 0 79882 131 0 0 25 0 1 0 902524677 12906496 2298 4294967295 134512640 134716908 3221224560 3221223288 134558798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2298 1111 63 0 3088 0
vsize: 12604
[startup+810.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2380 0 0 0 80881 132 0 0 25 0 1 0 902524677 12906496 2298 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2298 1111 63 0 3088 0
vsize: 12604
[startup+820.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2380 0 0 0 81881 133 0 0 25 0 1 0 902524677 12906496 2298 4294967295 134512640 134716908 3221224560 3221223232 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2298 1111 63 0 3088 0
vsize: 12604
[startup+830.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2387 0 0 0 82879 135 0 0 25 0 1 0 902524677 12906496 2305 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3151 2305 1111 63 0 3088 0
vsize: 12604
[startup+840.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2388 0 0 0 83879 135 0 0 25 0 1 0 902524677 13041664 2306 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2306 1111 63 0 3121 0
vsize: 12736
[startup+850.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2390 0 0 0 84878 136 0 0 25 0 1 0 902524677 13041664 2308 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2308 1111 63 0 3121 0
vsize: 12736
[startup+860.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2397 0 0 0 85877 138 0 0 25 0 1 0 902524677 13041664 2315 4294967295 134512640 134716908 3221224560 3221222956 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2315 1111 63 0 3121 0
vsize: 12736
[startup+870.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2403 0 0 0 86875 140 0 0 25 0 1 0 902524677 13041664 2321 4294967295 134512640 134716908 3221224560 3221223312 134592419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2321 1111 63 0 3121 0
vsize: 12736
[startup+880.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2404 0 0 0 87874 141 0 0 25 0 1 0 902524677 13041664 2322 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2322 1111 63 0 3121 0
vsize: 12736
[startup+890.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2416 0 0 0 88873 142 0 0 25 0 1 0 902524677 13041664 2334 4294967295 134512640 134716908 3221224560 3221223280 134584818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2334 1111 63 0 3121 0
vsize: 12736
[startup+900.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2416 0 0 0 89872 143 0 0 25 0 1 0 902524677 13041664 2334 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3184 2334 1111 63 0 3121 0
vsize: 12736
[startup+910.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2428 0 0 0 90871 145 0 0 25 0 1 0 902524677 13168640 2346 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3215 2346 1111 63 0 3152 0
vsize: 12860
[startup+920.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2428 0 0 0 91869 147 0 0 25 0 1 0 902524677 13164544 2346 4294967295 134512640 134716908 3221224560 3221223248 134551950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2346 1111 63 0 3151 0
vsize: 12856
[startup+930.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2435 0 0 0 92869 148 0 0 25 0 1 0 902524677 13164544 2353 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3214 2353 1111 63 0 3151 0
vsize: 12856
[startup+940.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2452 0 0 0 93868 148 0 0 25 0 1 0 902524677 13299712 2370 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3247 2370 1111 63 0 3184 0
vsize: 12988
[startup+950.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2467 0 0 0 94867 150 0 0 25 0 1 0 902524677 13361152 2385 4294967295 134512640 134716908 3221224560 3221223192 134698663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3262 2385 1111 63 0 3199 0
vsize: 13048
[startup+960.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2507 0 0 0 95866 151 0 0 25 0 1 0 902524677 13496320 2425 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3295 2425 1111 63 0 3232 0
vsize: 13180
[startup+970.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2594 0 0 0 96865 152 0 0 25 0 1 0 902524677 13766656 2512 4294967295 134512640 134716908 3221224560 3221223360 134558535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3361 2512 1111 63 0 3298 0
vsize: 13444
[startup+980.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2612 0 0 0 97864 153 0 0 25 0 1 0 902524677 13901824 2530 4294967295 134512640 134716908 3221224560 3221223324 134552693 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2530 1111 63 0 3331 0
vsize: 13576
[startup+990.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2628 0 0 0 98863 155 0 0 25 0 1 0 902524677 13901824 2546 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3394 2546 1111 63 0 3331 0
vsize: 13576
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2631 0 0 0 99862 156 0 0 25 0 1 0 902524677 14036992 2549 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2549 1111 63 0 3364 0
vsize: 13708
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2655 0 0 0 100861 157 0 0 25 0 1 0 902524677 14036992 2573 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2573 1111 63 0 3364 0
vsize: 13708
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2655 0 0 0 101860 158 0 0 25 0 1 0 902524677 14036992 2573 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2573 1111 63 0 3364 0
vsize: 13708
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2669 0 0 0 102859 160 0 0 25 0 1 0 902524677 14163968 2587 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2587 1111 63 0 3395 0
vsize: 13832
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2669 0 0 0 103858 161 0 0 25 0 1 0 902524677 14163968 2587 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2587 1111 63 0 3395 0
vsize: 13832
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2681 0 0 0 104856 162 0 0 25 0 1 0 902524677 14163968 2599 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2599 1111 63 0 3395 0
vsize: 13832
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2681 0 0 0 105856 163 0 0 25 0 1 0 902524677 14163968 2599 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2599 1111 63 0 3395 0
vsize: 13832
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2689 0 0 0 106855 165 0 0 25 0 1 0 902524677 14163968 2607 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2607 1111 63 0 3395 0
vsize: 13832
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2689 0 0 0 107854 165 0 0 25 0 1 0 902524677 14163968 2607 4294967295 134512640 134716908 3221224560 3221223244 134536746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3458 2607 1111 63 0 3395 0
vsize: 13832
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2702 0 0 0 108853 167 0 0 25 0 1 0 902524677 14299136 2620 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2620 1111 63 0 3428 0
vsize: 13964
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2727 0 0 0 109852 168 0 0 25 0 1 0 902524677 14299136 2645 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2645 1111 63 0 3428 0
vsize: 13964
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2727 0 0 0 110851 169 0 0 25 0 1 0 902524677 14299136 2645 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2645 1111 63 0 3428 0
vsize: 13964
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2727 0 0 0 111849 171 0 0 25 0 1 0 902524677 14299136 2645 4294967295 134512640 134716908 3221224560 3221223292 1076647540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3491 2645 1111 63 0 3428 0
vsize: 13964
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2740 0 0 0 112849 172 0 0 25 0 1 0 902524677 14434304 2658 4294967295 134512640 134716908 3221224560 3221223264 134528449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3524 2658 1111 63 0 3461 0
vsize: 14096
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2740 0 0 0 113848 173 0 0 25 0 1 0 902524677 14434304 2658 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3524 2658 1111 63 0 3461 0
vsize: 14096
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2757 0 0 0 114847 174 0 0 25 0 1 0 902524677 14434304 2675 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3524 2675 1111 63 0 3461 0
vsize: 14096
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2757 0 0 0 115847 175 0 0 25 0 1 0 902524677 14434304 2675 4294967295 134512640 134716908 3221224560 3221222640 134699582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3524 2675 1111 63 0 3461 0
vsize: 14096
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2757 0 0 0 116845 176 0 0 25 0 1 0 902524677 14434304 2675 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3524 2675 1111 63 0 3461 0
vsize: 14096
[startup+1174.86 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 1290
Raw data (stat): 1230 (bsolo_lpr_cuts-) R 1229 21152 21151 0 -1 0 2757 0 0 0 116845 176 0 0 25 0 1 0 902524677 14434304 2675 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3524 2675 1111 63 0 3461 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.02
CPU user time (s): 1173.24
CPU system time (s): 1.77773
CPU usage (%): 100.014
Max. virtual memory (Kb): 14096
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####