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-chnl30_35_pb.cnf.cr.opb
MD5SUM	b1c5adb5438ceaf1c654cfedb79b695e
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	36
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.06099
Number of variables	2100
Total number of constraints	130
Number of constraints which are clauses	70
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	30
Maximum length of a constraint	35
Trace number 23198

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 08:42:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=101 boxname=wulflinc31 idbench=12 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b1c5adb5438ceaf1c654cfedb79b695e  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_35_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-chnl30_35_pb.cnf.cr.opb
IDLAUNCH: 101
/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:        931688 kB
Buffers:         35904 kB
Cached:          45172 kB
SwapCached:        864 kB
Active:          70260 kB
Inactive:        13184 kB
HighTotal:      131008 kB
HighFree:        84812 kB
LowTotal:       903652 kB
LowFree:        846876 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13844 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 09:02:13 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 101 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 2100 variables and 130 constraints.
c After prepocess the problem consists of 2100 variables and 130 constraints.
c preprocess terminated 0.696 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 9867
Raw data (stat): 9867 (runsolver) R 9866 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 630122019 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+9.99974 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1408 0 0 0 987 5 0 0 25 0 1 0 630122019 8933376 1329 4294967295 134512640 134714508 3221221776 3221220416 134696078 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2181 1329 1111 63 0 2118 0
vsize: 8724
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1567 0 0 0 1985 8 0 0 25 0 1 0 630122019 9596928 1488 4294967295 134512640 134714508 3221221776 3221220364 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2343 1488 1111 63 0 2280 0
vsize: 9372
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1658 0 0 0 2982 11 0 0 25 0 1 0 630122019 10002432 1579 4294967295 134512640 134714508 3221221776 3221220452 1077374543 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2442 1579 1111 63 0 2379 0
vsize: 9768
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1702 0 0 0 3980 13 0 0 25 0 1 0 630122019 10137600 1623 4294967295 134512640 134714508 3221221776 3221220416 134696103 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2475 1623 1111 63 0 2412 0
vsize: 9900
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1732 0 0 0 4978 16 0 0 25 0 1 0 630122019 10272768 1653 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2508 1653 1111 63 0 2445 0
vsize: 10032
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1754 0 0 0 5976 17 0 0 25 0 1 0 630122019 10272768 1675 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2508 1675 1111 63 0 2445 0
vsize: 10032
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1788 0 0 0 6974 19 0 0 25 0 1 0 630122019 10534912 1709 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2572 1709 1111 63 0 2509 0
vsize: 10288
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1800 0 0 0 7973 21 0 0 25 0 1 0 630122019 10534912 1721 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2572 1721 1111 63 0 2509 0
vsize: 10288
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1824 0 0 0 8971 23 0 0 25 0 1 0 630122019 10670080 1745 4294967295 134512640 134714508 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2605 1745 1111 63 0 2542 0
vsize: 10420
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 1835 0 0 0 9970 24 0 0 25 0 1 0 630122019 10670080 1756 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2605 1756 1111 63 0 2542 0
vsize: 10420
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2033 0 0 0 10968 26 0 0 25 0 1 0 630122019 11476992 1954 4294967295 134512640 134714508 3221221776 3221219872 134697224 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2802 1954 1111 63 0 2739 0
vsize: 11208
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2138 0 0 0 11967 28 0 0 25 0 1 0 630122019 11878400 2059 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2900 2059 1111 63 0 2837 0
vsize: 11600
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2232 0 0 0 12966 29 0 0 25 0 1 0 630122019 12283904 2153 4294967295 134512640 134714508 3221221776 3221220204 134697486 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2999 2153 1111 63 0 2936 0
vsize: 11996
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2427 0 0 0 13964 31 0 0 25 0 1 0 630122019 13094912 2348 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3197 2348 1111 63 0 3134 0
vsize: 12788
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2535 0 0 0 14962 32 0 0 25 0 1 0 630122019 13500416 2456 4294967295 134512640 134714508 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3296 2456 1111 63 0 3233 0
vsize: 13184
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2582 0 0 0 15961 34 0 0 25 0 1 0 630122019 13762560 2503 4294967295 134512640 134714508 3221221776 3221220560 134529249 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3360 2503 1111 63 0 3297 0
vsize: 13440
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2625 0 0 0 16959 36 0 0 25 0 1 0 630122019 13897728 2546 4294967295 134512640 134714508 3221221776 3221220332 134535540 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3393 2546 1111 63 0 3330 0
vsize: 13572
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2674 0 0 0 17957 38 0 0 25 0 1 0 630122019 14168064 2595 4294967295 134512640 134714508 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3459 2595 1111 63 0 3396 0
vsize: 13836
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2719 0 0 0 18956 39 0 0 25 0 1 0 630122019 14303232 2640 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3492 2640 1111 63 0 3429 0
vsize: 13968
[startup+200.005 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2743 0 0 0 19955 41 0 0 25 0 1 0 630122019 14438400 2664 4294967295 134512640 134714508 3221221776 3221220520 134551609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2664 1111 63 0 3462 0
vsize: 14100
[startup+210.006 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2771 0 0 0 20953 43 0 0 25 0 1 0 630122019 14438400 2692 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3525 2692 1111 63 0 3462 0
vsize: 14100
[startup+220.006 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2786 0 0 0 21952 44 0 0 25 0 1 0 630122019 14569472 2707 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3557 2707 1111 63 0 3494 0
vsize: 14228
[startup+230.006 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2826 0 0 0 22951 45 0 0 25 0 1 0 630122019 14704640 2747 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3590 2747 1111 63 0 3527 0
vsize: 14360
[startup+240.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2884 0 0 0 23950 47 0 0 25 0 1 0 630122019 14974976 2805 4294967295 134512640 134714508 3221221776 3221220256 134697189 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3656 2805 1111 63 0 3593 0
vsize: 14624
[startup+250.007 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2913 0 0 0 24949 48 0 0 25 0 1 0 630122019 15110144 2834 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3689 2834 1111 63 0 3626 0
vsize: 14756
[startup+260.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2965 0 0 0 25947 49 0 0 25 0 1 0 630122019 15245312 2886 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3722 2886 1111 63 0 3659 0
vsize: 14888
[startup+270.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 2980 0 0 0 26947 50 0 0 25 0 1 0 630122019 15380480 2901 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3755 2901 1111 63 0 3692 0
vsize: 15020
[startup+280.007 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3020 0 0 0 27945 52 0 0 25 0 1 0 630122019 15495168 2941 4294967295 134512640 134714508 3221221776 3221220512 134535835 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3783 2941 1111 63 0 3720 0
vsize: 15132
[startup+290.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3041 0 0 0 28944 53 0 0 25 0 1 0 630122019 15630336 2962 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3816 2962 1111 63 0 3753 0
vsize: 15264
[startup+300.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3081 0 0 0 29943 55 0 0 25 0 1 0 630122019 15765504 3002 4294967295 134512640 134714508 3221221776 3221220608 134551447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3849 3002 1111 63 0 3786 0
vsize: 15396
[startup+310.008 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3081 0 0 0 30941 57 0 0 25 0 1 0 630122019 15765504 3002 4294967295 134512640 134714508 3221221776 3221219652 134697342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3849 3002 1111 63 0 3786 0
vsize: 15396
[startup+320.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3081 0 0 0 31940 58 0 0 25 0 1 0 630122019 15765504 3002 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3849 3002 1111 63 0 3786 0
vsize: 15396
[startup+330.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3120 0 0 0 32938 60 0 0 25 0 1 0 630122019 15900672 3041 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3882 3041 1111 63 0 3819 0
vsize: 15528
[startup+340.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3139 0 0 0 33937 62 0 0 25 0 1 0 630122019 16027648 3060 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3913 3060 1111 63 0 3850 0
vsize: 15652
[startup+350.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3239 0 0 0 34935 63 0 0 25 0 1 0 630122019 16433152 3160 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4012 3160 1111 63 0 3949 0
vsize: 16048
[startup+360.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3257 0 0 0 35934 65 0 0 25 0 1 0 630122019 16433152 3178 4294967295 134512640 134714508 3221221776 3221220328 134696445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4012 3178 1111 63 0 3949 0
vsize: 16048
[startup+370.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3280 0 0 0 36933 66 0 0 25 0 1 0 630122019 16568320 3201 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4045 3201 1111 63 0 3982 0
vsize: 16180
[startup+380.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3291 0 0 0 37931 68 0 0 25 0 1 0 630122019 16568320 3212 4294967295 134512640 134714508 3221221776 3221220368 134548584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4045 3212 1111 63 0 3982 0
vsize: 16180
[startup+390.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3312 0 0 0 38929 70 0 0 25 0 1 0 630122019 16703488 3233 4294967295 134512640 134714508 3221221776 3221220536 134588015 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4078 3233 1111 63 0 4015 0
vsize: 16312
[startup+400.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3329 0 0 0 39928 71 0 0 25 0 1 0 630122019 16838656 3250 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3250 1111 63 0 4048 0
vsize: 16444
[startup+410.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3356 0 0 0 40928 72 0 0 25 0 1 0 630122019 16838656 3277 4294967295 134512640 134714508 3221221776 3221220316 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4111 3277 1111 63 0 4048 0
vsize: 16444
[startup+420.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3363 0 0 0 41926 73 0 0 25 0 1 0 630122019 16973824 3284 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4144 3284 1111 63 0 4081 0
vsize: 16576
[startup+430.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3379 0 0 0 42925 75 0 0 25 0 1 0 630122019 16965632 3300 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4142 3300 1111 63 0 4079 0
vsize: 16568
[startup+440.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3401 0 0 0 43924 76 0 0 25 0 1 0 630122019 17092608 3322 4294967295 134512640 134714508 3221221776 3221220496 134613708 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3322 1111 63 0 4110 0
vsize: 16692
[startup+450.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3403 0 0 0 44923 77 0 0 25 0 1 0 630122019 17092608 3324 4294967295 134512640 134714508 3221221776 3221220540 134534136 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3324 1111 63 0 4110 0
vsize: 16692
[startup+460.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3409 0 0 0 45923 78 0 0 25 0 1 0 630122019 17092608 3330 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4173 3330 1111 63 0 4110 0
vsize: 16692
[startup+470.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3425 0 0 0 46922 79 0 0 25 0 1 0 630122019 17223680 3346 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3346 1111 63 0 4142 0
vsize: 16820
[startup+480.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3442 0 0 0 47920 80 0 0 25 0 1 0 630122019 17223680 3363 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3363 1111 63 0 4142 0
vsize: 16820
[startup+490.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3446 0 0 0 48919 82 0 0 25 0 1 0 630122019 17223680 3367 4294967295 134512640 134714508 3221221776 3221220460 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4205 3367 1111 63 0 4142 0
vsize: 16820
[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3460 0 0 0 49918 83 0 0 25 0 1 0 630122019 17358848 3381 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4238 3381 1111 63 0 4175 0
vsize: 16952
[startup+510.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3477 0 0 0 50916 85 0 0 25 0 1 0 630122019 17358848 3398 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4238 3398 1111 63 0 4175 0
vsize: 16952
[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3524 0 0 0 51915 87 0 0 25 0 1 0 630122019 17616896 3445 4294967295 134512640 134714508 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4301 3445 1111 63 0 4238 0
vsize: 17204
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3572 0 0 0 52913 89 0 0 25 0 1 0 630122019 17752064 3493 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4334 3493 1111 63 0 4271 0
vsize: 17336
[startup+540.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3590 0 0 0 53911 91 0 0 25 0 1 0 630122019 17879040 3511 4294967295 134512640 134714508 3221221776 3221220464 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4365 3511 1111 63 0 4302 0
vsize: 17460
[startup+550.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3641 0 0 0 54909 93 0 0 25 0 1 0 630122019 18014208 3562 4294967295 134512640 134714508 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4398 3562 1111 63 0 4335 0
vsize: 17592
[startup+560.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3654 0 0 0 55908 94 0 0 25 0 1 0 630122019 18149376 3575 4294967295 134512640 134714508 3221221776 3221220404 134696211 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4431 3575 1111 63 0 4368 0
vsize: 17724
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3666 0 0 0 56907 95 0 0 25 0 1 0 630122019 18149376 3587 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4431 3587 1111 63 0 4368 0
vsize: 17724
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3683 0 0 0 57906 97 0 0 25 0 1 0 630122019 18276352 3604 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4462 3604 1111 63 0 4399 0
vsize: 17848
[startup+590.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3699 0 0 0 58904 98 0 0 25 0 1 0 630122019 18276352 3620 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4462 3620 1111 63 0 4399 0
vsize: 17848
[startup+600.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3755 0 0 0 59903 100 0 0 25 0 1 0 630122019 18538496 3676 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3676 1111 63 0 4463 0
vsize: 18104
[startup+610.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3766 0 0 0 60903 100 0 0 25 0 1 0 630122019 18538496 3687 4294967295 134512640 134714508 3221221776 3221220416 134696061 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3687 1111 63 0 4463 0
vsize: 18104
[startup+620.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3767 0 0 0 61901 102 0 0 25 0 1 0 630122019 18538496 3688 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3688 1111 63 0 4463 0
vsize: 18104
[startup+630.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3767 0 0 0 62900 103 0 0 25 0 1 0 630122019 18538496 3688 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4526 3688 1111 63 0 4463 0
vsize: 18104
[startup+640.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3774 0 0 0 63899 105 0 0 25 0 1 0 630122019 18673664 3695 4294967295 134512640 134714508 3221221776 3221220288 134535020 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4559 3695 1111 63 0 4496 0
vsize: 18236
[startup+650.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3797 0 0 0 64898 106 0 0 25 0 1 0 630122019 18673664 3718 4294967295 134512640 134714508 3221221776 3221220284 134697486 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4559 3718 1111 63 0 4496 0
vsize: 18236
[startup+660.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3823 0 0 0 65897 107 0 0 25 0 1 0 630122019 18808832 3744 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3744 1111 63 0 4529 0
vsize: 18368
[startup+670.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3834 0 0 0 66896 109 0 0 25 0 1 0 630122019 18808832 3755 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3755 1111 63 0 4529 0
vsize: 18368
[startup+680.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3837 0 0 0 67895 110 0 0 25 0 1 0 630122019 18808832 3758 4294967295 134512640 134714508 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3758 1111 63 0 4529 0
vsize: 18368
[startup+690.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3837 0 0 0 68894 112 0 0 25 0 1 0 630122019 18808832 3758 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4592 3758 1111 63 0 4529 0
vsize: 18368
[startup+700.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3847 0 0 0 69893 113 0 0 25 0 1 0 630122019 18939904 3768 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3768 1111 63 0 4561 0
vsize: 18496
[startup+710.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3854 0 0 0 70891 115 0 0 25 0 1 0 630122019 18939904 3775 4294967295 134512640 134714508 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3775 1111 63 0 4561 0
vsize: 18496
[startup+720.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3878 0 0 0 71889 117 0 0 25 0 1 0 630122019 19075072 3799 4294967295 134512640 134714508 3221221776 3221220464 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3799 1111 63 0 4594 0
vsize: 18628
[startup+730.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3890 0 0 0 72889 117 0 0 25 0 1 0 630122019 19075072 3811 4294967295 134512640 134714508 3221221776 3221220384 1077377147 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3811 1111 63 0 4594 0
vsize: 18628
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3900 0 0 0 73887 119 0 0 25 0 1 0 630122019 19075072 3821 4294967295 134512640 134714508 3221221776 3221220304 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4657 3821 1111 63 0 4594 0
vsize: 18628
[startup+750.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3913 0 0 0 74886 121 0 0 25 0 1 0 630122019 19210240 3834 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3834 1111 63 0 4627 0
vsize: 18760
[startup+760.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3925 0 0 0 75885 122 0 0 25 0 1 0 630122019 19210240 3846 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4690 3846 1111 63 0 4627 0
vsize: 18760
[startup+770.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 76884 123 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3859 1111 63 0 4658 0
vsize: 18884
[startup+780.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 77883 124 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220216 1077377501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3859 1111 63 0 4658 0
vsize: 18884
[startup+790.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 78881 126 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3859 1111 63 0 4658 0
vsize: 18884
[startup+800.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 79880 127 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3859 1111 63 0 4658 0
vsize: 18884
[startup+810.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3938 0 0 0 80879 128 0 0 25 0 1 0 630122019 19337216 3859 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3859 1111 63 0 4658 0
vsize: 18884
[startup+820.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3954 0 0 0 81878 130 0 0 25 0 1 0 630122019 19337216 3875 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3875 1111 63 0 4658 0
vsize: 18884
[startup+830.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3967 0 0 0 82877 131 0 0 25 0 1 0 630122019 19337216 3888 4294967295 134512640 134714508 3221221776 3221220440 134551624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4721 3888 1111 63 0 4658 0
vsize: 18884
[startup+840.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3979 0 0 0 83875 133 0 0 25 0 1 0 630122019 19472384 3900 4294967295 134512640 134714508 3221221776 3221220560 134529266 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4754 3900 1111 63 0 4691 0
vsize: 19016
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3979 0 0 0 84872 136 0 0 25 0 1 0 630122019 19472384 3900 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4754 3900 1111 63 0 4691 0
vsize: 19016
[startup+860.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 3995 0 0 0 85871 137 0 0 25 0 1 0 630122019 19472384 3916 4294967295 134512640 134714508 3221221776 3221220416 134536657 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4754 3916 1111 63 0 4691 0
vsize: 19016
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4043 0 0 0 86870 139 0 0 25 0 1 0 630122019 19742720 3964 4294967295 134512640 134714508 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4820 3964 1111 63 0 4757 0
vsize: 19280
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4047 0 0 0 87868 140 0 0 25 0 1 0 630122019 19742720 3968 4294967295 134512640 134714508 3221221776 3221220432 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4820 3968 1111 63 0 4757 0
vsize: 19280
[startup+890.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4073 0 0 0 88867 142 0 0 25 0 1 0 630122019 19877888 3994 4294967295 134512640 134714508 3221221776 3221220480 134528562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4853 3994 1111 63 0 4790 0
vsize: 19412
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4109 0 0 0 89865 144 0 0 25 0 1 0 630122019 19988480 4030 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4880 4030 1111 63 0 4817 0
vsize: 19520
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4123 0 0 0 90864 145 0 0 25 0 1 0 630122019 19988480 4044 4294967295 134512640 134714508 3221221776 3221220608 134527289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4880 4044 1111 63 0 4817 0
vsize: 19520
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4134 0 0 0 91863 146 0 0 25 0 1 0 630122019 20103168 4055 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4908 4055 1111 63 0 4845 0
vsize: 19632
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4186 0 0 0 92862 148 0 0 25 0 1 0 630122019 20238336 4107 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4941 4107 1111 63 0 4878 0
vsize: 19764
[startup+940.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4189 0 0 0 93861 149 0 0 25 0 1 0 630122019 20373504 4110 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4110 1111 63 0 4911 0
vsize: 19896
[startup+950.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4195 0 0 0 94860 150 0 0 25 0 1 0 630122019 20373504 4116 4294967295 134512640 134714508 3221221776 3221220464 134534110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4116 1111 63 0 4911 0
vsize: 19896
[startup+960.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4205 0 0 0 95859 151 0 0 25 0 1 0 630122019 20373504 4126 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4126 1111 63 0 4911 0
vsize: 19896
[startup+970.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4211 0 0 0 96858 152 0 0 25 0 1 0 630122019 20373504 4132 4294967295 134512640 134714508 3221221776 3221220380 1076999581 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4132 1111 63 0 4911 0
vsize: 19896
[startup+980.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4225 0 0 0 97857 153 0 0 25 0 1 0 630122019 20500480 4146 4294967295 134512640 134714508 3221221776 3221220512 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5005 4146 1111 63 0 4942 0
vsize: 20020
[startup+990.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4240 0 0 0 98857 154 0 0 25 0 1 0 630122019 20500480 4161 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5005 4161 1111 63 0 4942 0
vsize: 20020
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4244 0 0 0 99855 156 0 0 25 0 1 0 630122019 20500480 4165 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5005 4165 1111 63 0 4942 0
vsize: 20020
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4254 0 0 0 100854 157 0 0 25 0 1 0 630122019 20635648 4175 4294967295 134512640 134714508 3221221776 3221220272 134535383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5038 4175 1111 63 0 4975 0
vsize: 20152
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4261 0 0 0 101853 159 0 0 25 0 1 0 630122019 20635648 4182 4294967295 134512640 134714508 3221221776 3221220448 134594364 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5038 4182 1111 63 0 4975 0
vsize: 20152
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4311 0 0 0 102852 160 0 0 25 0 1 0 630122019 20770816 4232 4294967295 134512640 134714508 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5071 4232 1111 63 0 5008 0
vsize: 20284
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9867
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4345 0 0 0 103850 162 0 0 25 0 1 0 630122019 20905984 4266 4294967295 134512640 134714508 3221221776 3221220544 134529113 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5104 4266 1111 63 0 5041 0
vsize: 20416
[startup+1050.15 s]
Raw data (loadavg): 1.08 1.00 0.92 3/56 9914
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4411 0 0 0 104852 170 0 0 25 0 1 0 630122019 21176320 4332 4294967295 134512640 134714508 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5170 4332 1111 63 0 5107 0
vsize: 20680
[startup+1060.15 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 9920
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4465 0 0 0 105851 171 0 0 25 0 1 0 630122019 21446656 4386 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5236 4386 1111 63 0 5173 0
vsize: 20944
[startup+1070.15 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 9920
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4531 0 0 0 106850 173 0 0 25 0 1 0 630122019 21716992 4452 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5302 4452 1111 63 0 5239 0
vsize: 21208
[startup+1080.15 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 9920
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4554 0 0 0 107849 174 0 0 25 0 1 0 630122019 21848064 4475 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5334 4475 1111 63 0 5271 0
vsize: 21336
[startup+1090.15 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 9920
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4582 0 0 0 108848 175 0 0 25 0 1 0 630122019 21938176 4503 4294967295 134512640 134714508 3221221776 3221220428 134536788 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5356 4503 1111 63 0 5293 0
vsize: 21424
[startup+1100.15 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9920
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4611 0 0 0 109847 176 0 0 25 0 1 0 630122019 22073344 4532 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4532 1111 63 0 5326 0
vsize: 21556
[startup+1110.15 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 9920
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4611 0 0 0 110846 178 0 0 25 0 1 0 630122019 22073344 4532 4294967295 134512640 134714508 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4532 1111 63 0 5326 0
vsize: 21556
[startup+1120.15 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9922
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4617 0 0 0 111846 178 0 0 25 0 1 0 630122019 22073344 4538 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4538 1111 63 0 5326 0
vsize: 21556
[startup+1130.15 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9922
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4627 0 0 0 112845 179 0 0 25 0 1 0 630122019 22073344 4548 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4548 1111 63 0 5326 0
vsize: 21556
[startup+1140.15 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 9922
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4636 0 0 0 113844 181 0 0 25 0 1 0 630122019 22073344 4557 4294967295 134512640 134714508 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5389 4557 1111 63 0 5326 0
vsize: 21556
[startup+1150.15 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9922
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4659 0 0 0 114843 182 0 0 25 0 1 0 630122019 22204416 4580 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5421 4580 1111 63 0 5358 0
vsize: 21684
[startup+1160.15 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9922
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4672 0 0 0 115842 183 0 0 25 0 1 0 630122019 22339584 4593 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5454 4593 1111 63 0 5391 0
vsize: 21816
[startup+1170.15 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 9922
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4687 0 0 0 116841 184 0 0 25 0 1 0 630122019 22331392 4608 4294967295 134512640 134714508 3221221776 3221220468 134524577 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5452 4608 1111 63 0 5389 0
vsize: 21808
[startup+1174.93 s]
Raw data (loadavg): 1.01 1.00 0.92 1/53 9922
Raw data (stat): 9867 (bsolo_lpr_cuts) R 9866 7876 7672 0 -1 0 4687 0 0 0 116841 184 0 0 25 0 1 0 630122019 22331392 4608 4294967295 134512640 134714508 3221221776 3221220468 134524577 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5452 4608 1111 63 0 5389 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.04
CPU user time (s): 1173.18
CPU system time (s): 1.85572
CPU usage (%): 100.009
Max. virtual memory (Kb): 21816
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####