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/manquinho/primes-dimacs-cnf/normalized-par32-5-c.opb
MD5SUM	b2d6fc6e4e4b51f8b59d0f4ed12a9f74
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2678
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2678
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2678
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2678
Total number of constraints	6689
Number of constraints which are clauses	6689
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 40772

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 21:46:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28825 boxname=wulflinc4 idbench=211 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  b2d6fc6e4e4b51f8b59d0f4ed12a9f74  /oldhome/oroussel/tmp/wulflinc4/normalized-par32-5-c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-par32-5-c.opb
IDLAUNCH: 28825
/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:        856772 kB
Buffers:         30352 kB
Cached:         122140 kB
SwapCached:       5200 kB
Active:          38408 kB
Inactive:       120424 kB
HighTotal:      131008 kB
HighFree:        73528 kB
LowTotal:       903652 kB
LowFree:        783244 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13556 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:06:23 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28825 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2678 variables and 6689 constraints.
c After prepocess the problem consists of 2613 variables and 8538 constraints.
c preprocess terminated 56.868 s
c Initial Lower Bound: 843
c Lower Bound Elapsed time: 19.4341
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.1 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.92 0.98 0.92 2/54 4711
Raw data (stat): 4711 (runsolver) R 4710 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 904976418 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0014 s]
Raw data (loadavg): 0.93 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 4691 0 0 0 985 12 0 0 25 0 1 0 904976418 18300928 3625 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3625 1111 63 0 4405 0
vsize: 17872
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 4691 0 0 0 1985 12 0 0 25 0 1 0 904976418 18300928 3625 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3625 1111 63 0 4405 0
vsize: 17872
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 4698 0 0 0 2985 12 0 0 25 0 1 0 904976418 18436096 3632 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4501 3632 1111 63 0 4438 0
vsize: 18004
[startup+40.0016 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 4853 0 0 0 3985 13 0 0 25 0 1 0 904976418 18976768 3787 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4633 3787 1111 63 0 4570 0
vsize: 18532
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 4976 0 0 0 4984 13 0 0 25 0 1 0 904976418 19517440 3910 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4765 3910 1111 63 0 4702 0
vsize: 19060
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 6145 0 0 0 5981 16 0 0 25 0 1 0 904976418 24260608 5078 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5923 5078 1111 63 0 5860 0
vsize: 23692
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 7613 0 0 0 6977 20 0 0 25 0 1 0 904976418 30867456 6229 4294967295 134512640 134716908 3221224576 3221220524 1074873379 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6229 1111 63 0 7473 0
vsize: 30144
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 7855 0 0 0 7977 21 0 0 25 0 1 0 904976418 29761536 6204 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7266 6204 1111 63 0 7203 0
vsize: 29064
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 7996 0 0 0 8977 21 0 0 25 0 1 0 904976418 30867456 6345 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6345 1111 63 0 7473 0
vsize: 30144
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 8002 0 0 0 9977 21 0 0 25 0 1 0 904976418 30867456 6351 4294967295 134512640 134716908 3221224576 3221220700 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6351 1111 63 0 7473 0
vsize: 30144
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 8002 0 0 0 10977 21 0 0 25 0 1 0 904976418 30867456 6351 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6351 1111 63 0 7473 0
vsize: 30144
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 8003 0 0 0 11977 21 0 0 25 0 1 0 904976418 30867456 6352 4294967295 134512640 134716908 3221224576 3221221008 1075397206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7536 6352 1111 63 0 7473 0
vsize: 30144
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 8085 0 0 0 12977 21 0 0 25 0 1 0 904976418 31203328 6434 4294967295 134512640 134716908 3221224576 3221221020 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7618 6434 1111 63 0 7555 0
vsize: 30472
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 11122 0 0 0 13970 28 0 0 25 0 1 0 904976418 30171136 6324 4294967295 134512640 134716908 3221224576 3221220492 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7366 6324 1111 63 0 7303 0
vsize: 29464
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 13996 0 0 0 14963 36 0 0 25 0 1 0 904976418 31563776 6627 4294967295 134512640 134716908 3221224576 3221220512 1074790226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7706 6627 1111 63 0 7643 0
vsize: 30824
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 18498 0 0 0 15953 47 0 0 25 0 1 0 904976418 27209728 5863 4294967295 134512640 134716908 3221224576 3221222928 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6643 5863 1111 63 0 6580 0
vsize: 26572
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 21460 0 0 0 16944 55 0 0 25 0 1 0 904976418 27176960 5878 4294967295 134512640 134716908 3221224576 3221222632 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6635 5878 1111 63 0 6572 0
vsize: 26540
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 22923 0 0 0 17940 59 0 0 25 0 1 0 904976418 31125504 6495 4294967295 134512640 134716908 3221224576 3221220708 1075115009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7599 6495 1111 63 0 7536 0
vsize: 30396
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 26046 0 0 0 18934 66 0 0 25 0 1 0 904976418 31162368 6467 4294967295 134512640 134716908 3221224576 3221220356 1074786528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7608 6467 1111 63 0 7545 0
vsize: 30432
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 26069 0 0 0 19934 66 0 0 25 0 1 0 904976418 31162368 6490 4294967295 134512640 134716908 3221224576 3221220708 1075115073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7608 6490 1111 63 0 7545 0
vsize: 30432
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 27657 0 0 0 20930 71 0 0 25 0 1 0 904976418 27496448 5948 4294967295 134512640 134716908 3221224576 3221222632 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6713 5948 1111 63 0 6650 0
vsize: 26852
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 29200 0 0 0 21925 76 0 0 25 0 1 0 904976418 31293440 6509 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7640 6509 1111 63 0 7577 0
vsize: 30560
[startup+230.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 30811 0 0 0 22922 80 0 0 25 0 1 0 904976418 27631616 5967 4294967295 134512640 134716908 3221224576 3221222784 1074039267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6746 5967 1111 63 0 6683 0
vsize: 26984
[startup+240.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 32372 0 0 0 23919 83 0 0 25 0 1 0 904976418 31367168 6553 4294967295 134512640 134716908 3221224576 3221220752 1074960935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7658 6553 1111 63 0 7595 0
vsize: 30632
[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 35099 0 0 0 24911 91 0 0 25 0 1 0 904976418 33026048 6620 4294967295 134512640 134716908 3221224576 3221220700 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8063 6620 1111 63 0 8000 0
vsize: 32252
[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 35967 0 0 0 25909 93 0 0 25 0 1 0 904976418 26427392 5740 4294967295 134512640 134716908 3221224576 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5740 1111 63 0 6389 0
vsize: 25808
[startup+270.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 35967 0 0 0 26909 93 0 0 25 0 1 0 904976418 26427392 5740 4294967295 134512640 134716908 3221224576 3221223272 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5740 1111 63 0 6389 0
vsize: 25808
[startup+280.017 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 35967 0 0 0 27909 93 0 0 25 0 1 0 904976418 26427392 5740 4294967295 134512640 134716908 3221224576 3221223244 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5740 1111 63 0 6389 0
vsize: 25808
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36012 0 0 0 28909 94 0 0 25 0 1 0 904976418 26697728 5785 4294967295 134512640 134716908 3221224576 3221223244 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6518 5785 1111 63 0 6455 0
vsize: 26072
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36085 0 0 0 29909 94 0 0 25 0 1 0 904976418 26968064 5858 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6584 5858 1111 63 0 6521 0
vsize: 26336
[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36150 0 0 0 30908 94 0 0 25 0 1 0 904976418 27238400 5923 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6650 5923 1111 63 0 6587 0
vsize: 26600
[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36213 0 0 0 31908 95 0 0 25 0 1 0 904976418 27508736 5986 4294967295 134512640 134716908 3221224576 3221223224 134539581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6716 5986 1111 63 0 6653 0
vsize: 26864
[startup+330.019 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36287 0 0 0 32907 96 0 0 25 0 1 0 904976418 27774976 6060 4294967295 134512640 134716908 3221224576 3221223216 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6781 6060 1111 63 0 6718 0
vsize: 27124
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36349 0 0 0 33907 96 0 0 25 0 1 0 904976418 28045312 6122 4294967295 134512640 134716908 3221224576 3221223136 134542359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6847 6122 1111 63 0 6784 0
vsize: 27388
[startup+350.02 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36410 0 0 0 34906 97 0 0 25 0 1 0 904976418 28315648 6183 4294967295 134512640 134716908 3221224576 3221223232 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6913 6183 1111 63 0 6850 0
vsize: 27652
[startup+360.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36475 0 0 0 35907 97 0 0 25 0 1 0 904976418 28585984 6248 4294967295 134512640 134716908 3221224576 3221223052 134613780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6979 6248 1111 63 0 6916 0
vsize: 27916
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36534 0 0 0 36906 97 0 0 25 0 1 0 904976418 28856320 6307 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7045 6307 1111 63 0 6982 0
vsize: 28180
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36594 0 0 0 37906 98 0 0 25 0 1 0 904976418 29126656 6367 4294967295 134512640 134716908 3221224576 3221223324 134584724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7111 6367 1111 63 0 7048 0
vsize: 28444
[startup+390.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36655 0 0 0 38906 98 0 0 25 0 1 0 904976418 29261824 6428 4294967295 134512640 134716908 3221224576 3221223116 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7144 6428 1111 63 0 7081 0
vsize: 28576
[startup+400.022 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36712 0 0 0 39906 98 0 0 25 0 1 0 904976418 29532160 6485 4294967295 134512640 134716908 3221224576 3221223216 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7210 6485 1111 63 0 7147 0
vsize: 28840
[startup+410.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36773 0 0 0 40906 99 0 0 25 0 1 0 904976418 29802496 6546 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7276 6546 1111 63 0 7213 0
vsize: 29104
[startup+420.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36833 0 0 0 41906 99 0 0 25 0 1 0 904976418 30072832 6606 4294967295 134512640 134716908 3221224576 3221223116 134539282 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7342 6606 1111 63 0 7279 0
vsize: 29368
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36902 0 0 0 42906 99 0 0 25 0 1 0 904976418 30343168 6675 4294967295 134512640 134716908 3221224576 3221223216 134539446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7408 6675 1111 63 0 7345 0
vsize: 29632
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 36964 0 0 0 43906 99 0 0 25 0 1 0 904976418 30613504 6737 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7474 6737 1111 63 0 7411 0
vsize: 29896
[startup+450.024 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37022 0 0 0 44906 100 0 0 25 0 1 0 904976418 30748672 6795 4294967295 134512640 134716908 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7507 6795 1111 63 0 7444 0
vsize: 30028
[startup+460.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37083 0 0 0 45905 100 0 0 25 0 1 0 904976418 31019008 6856 4294967295 134512640 134716908 3221224576 3221223124 134698817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7573 6856 1111 63 0 7510 0
vsize: 30292
[startup+470.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37147 0 0 0 46905 100 0 0 25 0 1 0 904976418 31289344 6920 4294967295 134512640 134716908 3221224576 3221223232 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7639 6920 1111 63 0 7576 0
vsize: 30556
[startup+480.025 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37203 0 0 0 47905 101 0 0 25 0 1 0 904976418 31559680 6976 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7705 6976 1111 63 0 7642 0
vsize: 30820
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37256 0 0 0 48905 101 0 0 25 0 1 0 904976418 31830016 7029 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 7029 1111 63 0 7708 0
vsize: 31084
[startup+500.026 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37314 0 0 0 49905 101 0 0 25 0 1 0 904976418 31965184 7087 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7804 7087 1111 63 0 7741 0
vsize: 31216
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37365 0 0 0 50905 102 0 0 25 0 1 0 904976418 32235520 7138 4294967295 134512640 134716908 3221224576 3221223264 134523353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7870 7138 1111 63 0 7807 0
vsize: 31480
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37419 0 0 0 51905 102 0 0 25 0 1 0 904976418 32505856 7192 4294967295 134512640 134716908 3221224576 3221223268 134528706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7936 7192 1111 63 0 7873 0
vsize: 31744
[startup+530.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37477 0 0 0 52905 102 0 0 25 0 1 0 904976418 32641024 7250 4294967295 134512640 134716908 3221224576 3221223216 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7969 7250 1111 63 0 7906 0
vsize: 31876
[startup+540.027 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37532 0 0 0 53904 103 0 0 25 0 1 0 904976418 32911360 7305 4294967295 134512640 134716908 3221224576 3221223216 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8035 7305 1111 63 0 7972 0
vsize: 32140
[startup+550.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37585 0 0 0 54904 103 0 0 25 0 1 0 904976418 33181696 7358 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8101 7358 1111 63 0 8038 0
vsize: 32404
[startup+560.028 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37639 0 0 0 55904 104 0 0 25 0 1 0 904976418 33316864 7412 4294967295 134512640 134716908 3221224576 3221223164 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8134 7412 1111 63 0 8071 0
vsize: 32536
[startup+570.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37694 0 0 0 56904 104 0 0 25 0 1 0 904976418 33587200 7467 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8200 7467 1111 63 0 8137 0
vsize: 32800
[startup+580.029 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37754 0 0 0 57903 105 0 0 25 0 1 0 904976418 33857536 7527 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8266 7527 1111 63 0 8203 0
vsize: 33064
[startup+590.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37809 0 0 0 58904 105 0 0 25 0 1 0 904976418 33992704 7582 4294967295 134512640 134716908 3221224576 3221223232 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8299 7582 1111 63 0 8236 0
vsize: 33196
[startup+600.03 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37858 0 0 0 59903 105 0 0 25 0 1 0 904976418 34263040 7631 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 7631 1111 63 0 8302 0
vsize: 33460
[startup+610.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37916 0 0 0 60904 105 0 0 25 0 1 0 904976418 34533376 7689 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8431 7689 1111 63 0 8368 0
vsize: 33724
[startup+620.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 37971 0 0 0 61904 105 0 0 25 0 1 0 904976418 34668544 7744 4294967295 134512640 134716908 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8464 7744 1111 63 0 8401 0
vsize: 33856
[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38024 0 0 0 62904 105 0 0 25 0 1 0 904976418 34942976 7797 4294967295 134512640 134716908 3221224576 3221223216 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8531 7797 1111 63 0 8468 0
vsize: 34124
[startup+640.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38077 0 0 0 63904 106 0 0 25 0 1 0 904976418 35078144 7850 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8564 7850 1111 63 0 8501 0
vsize: 34256
[startup+650.032 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38131 0 0 0 64903 106 0 0 25 0 1 0 904976418 35348480 7904 4294967295 134512640 134716908 3221224576 3221223264 134542958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8630 7904 1111 63 0 8567 0
vsize: 34520
[startup+660.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38186 0 0 0 65903 106 0 0 25 0 1 0 904976418 35618816 7959 4294967295 134512640 134716908 3221224576 3221223128 134539209 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8696 7959 1111 63 0 8633 0
vsize: 34784
[startup+670.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38237 0 0 0 66903 107 0 0 25 0 1 0 904976418 35753984 8010 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8729 8010 1111 63 0 8666 0
vsize: 34916
[startup+680.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38289 0 0 0 67903 107 0 0 25 0 1 0 904976418 36024320 8062 4294967295 134512640 134716908 3221224576 3221223228 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8795 8062 1111 63 0 8732 0
vsize: 35180
[startup+690.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38339 0 0 0 68903 107 0 0 25 0 1 0 904976418 36159488 8112 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8828 8112 1111 63 0 8765 0
vsize: 35312
[startup+700.033 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38400 0 0 0 69903 108 0 0 25 0 1 0 904976418 36429824 8173 4294967295 134512640 134716908 3221224576 3221223128 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8894 8173 1111 63 0 8831 0
vsize: 35576
[startup+710.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38452 0 0 0 70903 108 0 0 25 0 1 0 904976418 36700160 8225 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8960 8225 1111 63 0 8897 0
vsize: 35840
[startup+720.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38508 0 0 0 71903 108 0 0 25 0 1 0 904976418 36835328 8281 4294967295 134512640 134716908 3221224576 3221223136 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8993 8281 1111 63 0 8930 0
vsize: 35972
[startup+730.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38559 0 0 0 72903 108 0 0 25 0 1 0 904976418 37105664 8332 4294967295 134512640 134716908 3221224576 3221223216 134539471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9059 8332 1111 63 0 8996 0
vsize: 36236
[startup+740.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38608 0 0 0 73902 109 0 0 25 0 1 0 904976418 37376000 8381 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9125 8381 1111 63 0 9062 0
vsize: 36500
[startup+750.035 s]
Raw data (loadavg): 0.99 0.98 0.92 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38657 0 0 0 74902 109 0 0 25 0 1 0 904976418 37511168 8430 4294967295 134512640 134716908 3221224576 3221223136 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9158 8430 1111 63 0 9095 0
vsize: 36632
[startup+760.036 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38709 0 0 0 75902 110 0 0 25 0 1 0 904976418 37781504 8482 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9224 8482 1111 63 0 9161 0
vsize: 36896
[startup+770.037 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38765 0 0 0 76901 110 0 0 25 0 1 0 904976418 37916672 8538 4294967295 134512640 134716908 3221224576 3221223244 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9257 8538 1111 63 0 9194 0
vsize: 37028
[startup+780.037 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38814 0 0 0 77901 111 0 0 25 0 1 0 904976418 38187008 8587 4294967295 134512640 134716908 3221224576 3221223340 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9323 8587 1111 63 0 9260 0
vsize: 37292
[startup+790.037 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 4711
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38862 0 0 0 78902 111 0 0 25 0 1 0 904976418 38322176 8635 4294967295 134512640 134716908 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9356 8635 1111 63 0 9293 0
vsize: 37424
[startup+800.037 s]
Raw data (loadavg): 1.18 1.03 0.94 2/54 4764
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38916 0 0 0 79901 111 0 0 25 0 1 0 904976418 38592512 8689 4294967295 134512640 134716908 3221224576 3221223168 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9422 8689 1111 63 0 9359 0
vsize: 37688
[startup+810.038 s]
Raw data (loadavg): 1.15 1.03 0.94 2/54 4764
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 38969 0 0 0 80900 112 0 0 25 0 1 0 904976418 38727680 8742 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9455 8742 1111 63 0 9392 0
vsize: 37820
[startup+820.038 s]
Raw data (loadavg): 1.13 1.03 0.94 2/54 4764
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39017 0 0 0 81900 113 0 0 25 0 1 0 904976418 38998016 8790 4294967295 134512640 134716908 3221224576 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9521 8790 1111 63 0 9458 0
vsize: 38084
[startup+830.039 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 4764
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39067 0 0 0 82899 113 0 0 25 0 1 0 904976418 39133184 8840 4294967295 134512640 134716908 3221224576 3221223360 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9554 8840 1111 63 0 9491 0
vsize: 38216
[startup+840.039 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 4764
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39116 0 0 0 83899 114 0 0 25 0 1 0 904976418 39403520 8889 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9620 8889 1111 63 0 9557 0
vsize: 38480
[startup+850.04 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 4764
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39168 0 0 0 84899 114 0 0 25 0 1 0 904976418 39538688 8941 4294967295 134512640 134716908 3221224576 3221223116 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9653 8941 1111 63 0 9590 0
vsize: 38612
[startup+860.041 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 4764
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39216 0 0 0 85898 115 0 0 25 0 1 0 904976418 39809024 8989 4294967295 134512640 134716908 3221224576 3221223212 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9719 8989 1111 63 0 9656 0
vsize: 38876
[startup+870.042 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 4764
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39267 0 0 0 86898 116 0 0 25 0 1 0 904976418 39944192 9040 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9752 9040 1111 63 0 9689 0
vsize: 39008
[startup+880.042 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39313 0 0 0 87897 117 0 0 25 0 1 0 904976418 40214528 9086 4294967295 134512640 134716908 3221224576 3221223108 134543025 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9818 9086 1111 63 0 9755 0
vsize: 39272
[startup+890.043 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39365 0 0 0 88897 117 0 0 25 0 1 0 904976418 40349696 9138 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9851 9138 1111 63 0 9788 0
vsize: 39404
[startup+900.044 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39410 0 0 0 89896 118 0 0 25 0 1 0 904976418 40620032 9183 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9917 9183 1111 63 0 9854 0
vsize: 39668
[startup+910.044 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39459 0 0 0 90896 119 0 0 25 0 1 0 904976418 40755200 9232 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9950 9232 1111 63 0 9887 0
vsize: 39800
[startup+920.045 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39505 0 0 0 91896 119 0 0 25 0 1 0 904976418 41025536 9278 4294967295 134512640 134716908 3221224576 3221223148 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10016 9278 1111 63 0 9953 0
vsize: 40064
[startup+930.045 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39552 0 0 0 92896 119 0 0 25 0 1 0 904976418 41160704 9325 4294967295 134512640 134716908 3221224576 3221223280 134584836 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10049 9325 1111 63 0 9986 0
vsize: 40196
[startup+940.046 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39596 0 0 0 93896 119 0 0 25 0 1 0 904976418 41295872 9369 4294967295 134512640 134716908 3221224576 3221223200 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10082 9369 1111 63 0 10019 0
vsize: 40328
[startup+950.1 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39643 0 0 0 94901 120 0 0 25 0 1 0 904976418 41566208 9416 4294967295 134512640 134716908 3221224576 3221223116 134539309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10148 9416 1111 63 0 10085 0
vsize: 40592
[startup+960.101 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39693 0 0 0 95901 121 0 0 25 0 1 0 904976418 41705472 9466 4294967295 134512640 134716908 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10182 9466 1111 63 0 10119 0
vsize: 40728
[startup+970.102 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39742 0 0 0 96900 121 0 0 25 0 1 0 904976418 41975808 9515 4294967295 134512640 134716908 3221224576 3221223376 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10248 9515 1111 63 0 10185 0
vsize: 40992
[startup+980.101 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39788 0 0 0 97900 121 0 0 25 0 1 0 904976418 42110976 9561 4294967295 134512640 134716908 3221224576 3221223132 134535942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10281 9561 1111 63 0 10218 0
vsize: 41124
[startup+990.102 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39831 0 0 0 98900 122 0 0 25 0 1 0 904976418 42381312 9604 4294967295 134512640 134716908 3221224576 3221223248 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10347 9604 1111 63 0 10284 0
vsize: 41388
[startup+1000.1 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39879 0 0 0 99899 122 0 0 25 0 1 0 904976418 42516480 9652 4294967295 134512640 134716908 3221224576 3221223084 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10380 9652 1111 63 0 10317 0
vsize: 41520
[startup+1010.1 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39927 0 0 0 100899 123 0 0 25 0 1 0 904976418 42786816 9700 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10446 9700 1111 63 0 10383 0
vsize: 41784
[startup+1020.1 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 39979 0 0 0 101899 123 0 0 25 0 1 0 904976418 42921984 9752 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10479 9752 1111 63 0 10416 0
vsize: 41916
[startup+1030.1 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40022 0 0 0 102898 124 0 0 25 0 1 0 904976418 43057152 9795 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10512 9795 1111 63 0 10449 0
vsize: 42048
[startup+1040.1 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40070 0 0 0 103898 124 0 0 25 0 1 0 904976418 43327488 9843 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10578 9843 1111 63 0 10515 0
vsize: 42312
[startup+1050.1 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40114 0 0 0 104897 125 0 0 25 0 1 0 904976418 43462656 9887 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10611 9887 1111 63 0 10548 0
vsize: 42444
[startup+1060.11 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40170 0 0 0 105897 126 0 0 25 0 1 0 904976418 43732992 9943 4294967295 134512640 134716908 3221224576 3221223232 134536603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10677 9943 1111 63 0 10614 0
vsize: 42708
[startup+1070.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40215 0 0 0 106897 126 0 0 25 0 1 0 904976418 43868160 9988 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10710 9988 1111 63 0 10647 0
vsize: 42840
[startup+1080.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40261 0 0 0 107896 127 0 0 25 0 1 0 904976418 44138496 10034 4294967295 134512640 134716908 3221224576 3221223168 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10776 10034 1111 63 0 10713 0
vsize: 43104
[startup+1090.11 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40306 0 0 0 108896 127 0 0 25 0 1 0 904976418 44273664 10079 4294967295 134512640 134716908 3221224576 3221223116 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10809 10079 1111 63 0 10746 0
vsize: 43236
[startup+1100.11 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40352 0 0 0 109896 128 0 0 25 0 1 0 904976418 44408832 10125 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10842 10125 1111 63 0 10779 0
vsize: 43368
[startup+1110.11 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40397 0 0 0 110896 128 0 0 25 0 1 0 904976418 44683264 10170 4294967295 134512640 134716908 3221224576 3221223216 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10909 10170 1111 63 0 10846 0
vsize: 43636
[startup+1120.11 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 4766
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40442 0 0 0 111896 129 0 0 25 0 1 0 904976418 44818432 10215 4294967295 134512640 134716908 3221224576 3221223052 134535936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10942 10215 1111 63 0 10879 0
vsize: 43768
[startup+1130.11 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 4768
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40483 0 0 0 112895 129 0 0 25 0 1 0 904976418 44953600 10256 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10975 10256 1111 63 0 10912 0
vsize: 43900
[startup+1140.11 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 4768
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40528 0 0 0 113895 130 0 0 25 0 1 0 904976418 45223936 10301 4294967295 134512640 134716908 3221224576 3221223264 134543759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11041 10301 1111 63 0 10978 0
vsize: 44164
[startup+1150.11 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 4768
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40576 0 0 0 114894 131 0 0 25 0 1 0 904976418 45359104 10349 4294967295 134512640 134716908 3221224576 3221223232 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11074 10349 1111 63 0 11011 0
vsize: 44296
[startup+1160.11 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 4768
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40618 0 0 0 115894 131 0 0 25 0 1 0 904976418 45494272 10391 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11107 10391 1111 63 0 11044 0
vsize: 44428
[startup+1170.11 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 4768
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40662 0 0 0 116894 131 0 0 25 0 1 0 904976418 45764608 10435 4294967295 134512640 134716908 3221224576 3221223136 134698935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11173 10435 1111 63 0 11110 0
vsize: 44692
[startup+1174.98 s]
Raw data (loadavg): 1.02 1.01 0.94 1/53 4768
Raw data (stat): 4711 (bsolo_lpr_cuts-) R 4710 21152 21151 0 -1 0 40662 0 0 0 116894 131 0 0 25 0 1 0 904976418 45764608 10435 4294967295 134512640 134716908 3221224576 3221223136 134698935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11173 10435 1111 63 0 11110 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.13
CPU user time (s): 1173.79
CPU system time (s): 1.3368
CPU usage (%): 100.013
Max. virtual memory (Kb): 44692
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####