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/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3700.opb
MD5SUM	389a3363aac4cd4681aed244ad9f1688
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39143259648
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39143259648
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.975851
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26970

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 18:26:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18995 boxname=wulflinc21 idbench=1462 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  389a3363aac4cd4681aed244ad9f1688  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-n3700.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-13-7-n3700.opb
IDLAUNCH: 18995
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 3
cpu MHz		: 451.161
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:        643904 kB
Buffers:         13540 kB
Cached:         355860 kB
SwapCached:       1064 kB
Active:         100640 kB
Inactive:       271404 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        643652 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13108 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:46:34 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 18995 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.92 2/55 4294
Raw data (stat): 4294 (runsolver) R 4293 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 709653343 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 1158 0 0 0 994 4 0 0 25 0 1 0 709653343 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 1398 0 0 0 1994 4 0 0 25 0 1 0 709653343 17039360 1322 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4160 1322 1111 63 0 4097 0
vsize: 16640
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 1648 0 0 0 2994 5 0 0 25 0 1 0 709653343 18178048 1572 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1572 1111 63 0 4375 0
vsize: 17752
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 1896 0 0 0 3993 5 0 0 25 0 1 0 709653343 19165184 1820 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1820 1111 63 0 4616 0
vsize: 18716
[startup+50.0021 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 2138 0 0 0 4993 6 0 0 25 0 1 0 709653343 20152320 2062 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2062 1111 63 0 4857 0
vsize: 19680
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 2390 0 0 0 5993 6 0 0 25 0 1 0 709653343 21135360 2314 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5160 2314 1111 63 0 5097 0
vsize: 20640
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 2638 0 0 0 6993 6 0 0 25 0 1 0 709653343 22114304 2562 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5399 2562 1111 63 0 5336 0
vsize: 21596
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 2885 0 0 0 7993 6 0 0 25 0 1 0 709653343 23240704 2809 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2809 1111 63 0 5611 0
vsize: 22696
[startup+90.0018 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 3133 0 0 0 8993 7 0 0 25 0 1 0 709653343 24227840 3057 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3057 1111 63 0 5852 0
vsize: 23660
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 3380 0 0 0 9993 7 0 0 25 0 1 0 709653343 25214976 3304 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3304 1111 63 0 6093 0
vsize: 24624
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 3628 0 0 0 10992 8 0 0 25 0 1 0 709653343 26202112 3552 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6397 3552 1111 63 0 6334 0
vsize: 25588
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 3884 0 0 0 11992 8 0 0 25 0 1 0 709653343 27348992 3808 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3808 1111 63 0 6614 0
vsize: 26708
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 4138 0 0 0 12992 9 0 0 25 0 1 0 709653343 28336128 4062 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4062 1111 63 0 6855 0
vsize: 27672
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 4387 0 0 0 13992 9 0 0 25 0 1 0 709653343 29315072 4311 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4311 1111 63 0 7094 0
vsize: 28628
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 4640 0 0 0 14991 9 0 0 25 0 1 0 709653343 30441472 4564 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4564 1111 63 0 7369 0
vsize: 29728
[startup+160.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 4888 0 0 0 15991 9 0 0 25 0 1 0 709653343 31428608 4812 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 4812 1111 63 0 7610 0
vsize: 30692
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 5138 0 0 0 16991 10 0 0 25 0 1 0 709653343 32415744 5062 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5062 1111 63 0 7851 0
vsize: 31656
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 5393 0 0 0 17991 11 0 0 25 0 1 0 709653343 33402880 5317 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8155 5317 1111 63 0 8092 0
vsize: 32620
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 5647 0 0 0 18990 11 0 0 25 0 1 0 709653343 34529280 5571 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5571 1111 63 0 8367 0
vsize: 33720
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 5895 0 0 0 19990 12 0 0 25 0 1 0 709653343 35516416 5819 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5819 1111 63 0 8608 0
vsize: 34684
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 6150 0 0 0 20990 12 0 0 25 0 1 0 709653343 36495360 6074 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8910 6074 1111 63 0 8847 0
vsize: 35640
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 6403 0 0 0 21989 13 0 0 25 0 1 0 709653343 37625856 6327 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9186 6327 1111 63 0 9123 0
vsize: 36744
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 6669 0 0 0 22989 13 0 0 25 0 1 0 709653343 38760448 6593 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9463 6593 1111 63 0 9400 0
vsize: 37852
[startup+240.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 6923 0 0 0 23988 14 0 0 25 0 1 0 709653343 39747584 6847 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9704 6847 1111 63 0 9641 0
vsize: 38816
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 7179 0 0 0 24988 14 0 0 25 0 1 0 709653343 40878080 7103 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9980 7103 1111 63 0 9917 0
vsize: 39920
[startup+260.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 7435 0 0 0 25988 15 0 0 25 0 1 0 709653343 41861120 7359 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10220 7359 1111 63 0 10157 0
vsize: 40880
[startup+270.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 7695 0 0 0 26987 15 0 0 25 0 1 0 709653343 42987520 7619 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 7619 1111 63 0 10432 0
vsize: 41980
[startup+280.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 7951 0 0 0 27987 16 0 0 25 0 1 0 709653343 43974656 7875 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 7875 1111 63 0 10673 0
vsize: 42944
[startup+290.003 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 8206 0 0 0 28987 17 0 0 25 0 1 0 709653343 44957696 8130 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10976 8130 1111 63 0 10913 0
vsize: 43904
[startup+300.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 8466 0 0 0 29986 17 0 0 25 0 1 0 709653343 46084096 8390 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 8390 1111 63 0 11188 0
vsize: 45004
[startup+310.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 8724 0 0 0 30986 17 0 0 25 0 1 0 709653343 47071232 8648 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11492 8648 1111 63 0 11429 0
vsize: 45968
[startup+320.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 8979 0 0 0 31985 18 0 0 25 0 1 0 709653343 48197632 8903 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11767 8903 1111 63 0 11704 0
vsize: 47068
[startup+330.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 9241 0 0 0 32985 19 0 0 25 0 1 0 709653343 49184768 9165 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12008 9165 1111 63 0 11945 0
vsize: 48032
[startup+340.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 9503 0 0 0 33985 19 0 0 25 0 1 0 709653343 50311168 9427 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12283 9427 1111 63 0 12220 0
vsize: 49132
[startup+350.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 9764 0 0 0 34984 20 0 0 25 0 1 0 709653343 51437568 9688 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12558 9688 1111 63 0 12495 0
vsize: 50232
[startup+360.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 10026 0 0 0 35984 20 0 0 25 0 1 0 709653343 52424704 9950 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12799 9950 1111 63 0 12736 0
vsize: 51196
[startup+370.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 10283 0 0 0 36984 20 0 0 25 0 1 0 709653343 53551104 10207 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13074 10207 1111 63 0 13011 0
vsize: 52296
[startup+380.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 10542 0 0 0 37984 21 0 0 25 0 1 0 709653343 54530048 10466 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13313 10466 1111 63 0 13250 0
vsize: 53252
[startup+390.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 10806 0 0 0 38983 22 0 0 25 0 1 0 709653343 55656448 10730 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13588 10730 1111 63 0 13525 0
vsize: 54352
[startup+400.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 11073 0 0 0 39983 22 0 0 25 0 1 0 709653343 56782848 10997 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13863 10997 1111 63 0 13800 0
vsize: 55452
[startup+410.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 11335 0 0 0 40983 22 0 0 25 0 1 0 709653343 57774080 11259 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14105 11259 1111 63 0 14042 0
vsize: 56420
[startup+420.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 11597 0 0 0 41983 23 0 0 25 0 1 0 709653343 58900480 11521 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14380 11521 1111 63 0 14317 0
vsize: 57520
[startup+430.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 11858 0 0 0 42982 23 0 0 25 0 1 0 709653343 59883520 11782 4294967295 134512640 134714508 3221224592 3221223248 134527928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14620 11782 1111 63 0 14557 0
vsize: 58480
[startup+440.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 12138 0 0 0 43981 24 0 0 25 0 1 0 709653343 61231104 12062 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14949 12062 1111 63 0 14886 0
vsize: 59796
[startup+450.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 12407 0 0 0 44981 25 0 0 25 0 1 0 709653343 62357504 12331 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15224 12331 1111 63 0 15161 0
vsize: 60896
[startup+460.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 12676 0 0 0 45981 25 0 0 25 0 1 0 709653343 63340544 12600 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15464 12600 1111 63 0 15401 0
vsize: 61856
[startup+470.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 12938 0 0 0 46981 25 0 0 25 0 1 0 709653343 64466944 12862 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15739 12862 1111 63 0 15676 0
vsize: 62956
[startup+480.002 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 13205 0 0 0 47980 26 0 0 25 0 1 0 709653343 65593344 13129 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13129 1111 63 0 15951 0
vsize: 64056
[startup+490.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 13474 0 0 0 48980 27 0 0 25 0 1 0 709653343 66719744 13398 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16289 13398 1111 63 0 16226 0
vsize: 65156
[startup+500.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 13744 0 0 0 49980 27 0 0 25 0 1 0 709653343 67706880 13668 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16530 13668 1111 63 0 16467 0
vsize: 66120
[startup+510.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 14012 0 0 0 50979 27 0 0 25 0 1 0 709653343 68833280 13936 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16805 13936 1111 63 0 16742 0
vsize: 67220
[startup+520.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 14281 0 0 0 51979 28 0 0 25 0 1 0 709653343 69959680 14205 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17080 14205 1111 63 0 17017 0
vsize: 68320
[startup+530.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 14550 0 0 0 52979 28 0 0 25 0 1 0 709653343 71086080 14474 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17355 14474 1111 63 0 17292 0
vsize: 69420
[startup+540.001 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 14820 0 0 0 53978 29 0 0 25 0 1 0 709653343 72212480 14744 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17630 14744 1111 63 0 17567 0
vsize: 70520
[startup+550 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 15088 0 0 0 54978 29 0 0 25 0 1 0 709653343 73199616 15012 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17871 15012 1111 63 0 17808 0
vsize: 71484
[startup+560 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 15364 0 0 0 55978 30 0 0 25 0 1 0 709653343 74326016 15288 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18146 15288 1111 63 0 18083 0
vsize: 72584
[startup+570 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 15634 0 0 0 56978 30 0 0 25 0 1 0 709653343 75452416 15558 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18421 15558 1111 63 0 18358 0
vsize: 73684
[startup+580 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 15909 0 0 0 57978 30 0 0 25 0 1 0 709653343 76578816 15833 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18696 15833 1111 63 0 18633 0
vsize: 74784
[startup+590 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 16179 0 0 0 58977 31 0 0 25 0 1 0 709653343 77701120 16103 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18970 16103 1111 63 0 18907 0
vsize: 75880
[startup+600 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 16452 0 0 0 59976 32 0 0 25 0 1 0 709653343 78827520 16376 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19245 16376 1111 63 0 19182 0
vsize: 76980
[startup+610 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 16728 0 0 0 60976 32 0 0 25 0 1 0 709653343 79953920 16652 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19520 16652 1111 63 0 19457 0
vsize: 78080
[startup+619.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 17004 0 0 0 61976 33 0 0 25 0 1 0 709653343 81080320 16928 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19795 16928 1111 63 0 19732 0
vsize: 79180
[startup+629.999 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 17280 0 0 0 62975 34 0 0 25 0 1 0 709653343 82206720 17204 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 17204 1111 63 0 20007 0
vsize: 80280
[startup+640.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 17557 0 0 0 63976 34 0 0 25 0 1 0 709653343 83333120 17481 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20345 17481 1111 63 0 20282 0
vsize: 81380
[startup+650.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 17832 0 0 0 64976 35 0 0 25 0 1 0 709653343 84459520 17756 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20620 17756 1111 63 0 20557 0
vsize: 82480
[startup+660.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 18108 0 0 0 65975 35 0 0 25 0 1 0 709653343 85590016 18032 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20896 18032 1111 63 0 20833 0
vsize: 83584
[startup+670.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 18391 0 0 0 66975 36 0 0 25 0 1 0 709653343 86716416 18315 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21171 18315 1111 63 0 21108 0
vsize: 84684
[startup+680.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 18666 0 0 0 67974 37 0 0 25 0 1 0 709653343 87842816 18590 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21446 18590 1111 63 0 21383 0
vsize: 85784
[startup+690.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 18950 0 0 0 68974 37 0 0 25 0 1 0 709653343 88969216 18874 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21721 18874 1111 63 0 21658 0
vsize: 86884
[startup+700.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 19225 0 0 0 69974 37 0 0 25 0 1 0 709653343 90095616 19149 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21996 19149 1111 63 0 21933 0
vsize: 87984
[startup+710.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 19508 0 0 0 70974 38 0 0 25 0 1 0 709653343 91361280 19432 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22305 19432 1111 63 0 22242 0
vsize: 89220
[startup+720.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 19791 0 0 0 71973 39 0 0 25 0 1 0 709653343 92491776 19715 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22581 19715 1111 63 0 22518 0
vsize: 90324
[startup+730.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 20072 0 0 0 72973 39 0 0 25 0 1 0 709653343 93618176 19996 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22856 19996 1111 63 0 22793 0
vsize: 91424
[startup+740.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 20357 0 0 0 73972 40 0 0 25 0 1 0 709653343 94744576 20281 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23131 20281 1111 63 0 23068 0
vsize: 92524
[startup+750.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 20638 0 0 0 74973 40 0 0 25 0 1 0 709653343 95870976 20562 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23406 20562 1111 63 0 23343 0
vsize: 93624
[startup+760.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 20922 0 0 0 75972 41 0 0 25 0 1 0 709653343 97136640 20846 4294967295 134512640 134714508 3221224592 3221222552 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23715 20846 1111 63 0 23652 0
vsize: 94860
[startup+770.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 21205 0 0 0 76971 41 0 0 25 0 1 0 709653343 98263040 21129 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23990 21129 1111 63 0 23927 0
vsize: 95960
[startup+780.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 21487 0 0 0 77971 42 0 0 25 0 1 0 709653343 99385344 21411 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24264 21411 1111 63 0 24201 0
vsize: 97056
[startup+790.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 21777 0 0 0 78971 42 0 0 25 0 1 0 709653343 100511744 21701 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24539 21701 1111 63 0 24476 0
vsize: 98156
[startup+800.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 22066 0 0 0 79971 42 0 0 25 0 1 0 709653343 101777408 21990 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24848 21990 1111 63 0 24785 0
vsize: 99392
[startup+810.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 22347 0 0 0 80971 43 0 0 25 0 1 0 709653343 102903808 22271 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25123 22271 1111 63 0 25060 0
vsize: 100492
[startup+820.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 22636 0 0 0 81970 43 0 0 25 0 1 0 709653343 104030208 22560 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25398 22560 1111 63 0 25335 0
vsize: 101592
[startup+830.012 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 22919 0 0 0 82970 44 0 0 25 0 1 0 709653343 105295872 22843 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22843 1111 63 0 25644 0
vsize: 102828
[startup+840.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 23247 0 0 0 83969 45 0 0 25 0 1 0 709653343 106786816 23171 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26071 23171 1111 63 0 26008 0
vsize: 104284
[startup+850.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 23536 0 0 0 84969 45 0 0 25 0 1 0 709653343 108052480 23460 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 23460 1111 63 0 26317 0
vsize: 105520
[startup+860.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 23827 0 0 0 85969 46 0 0 25 0 1 0 709653343 109178880 23751 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26655 23751 1111 63 0 26592 0
vsize: 106620
[startup+870.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 24122 0 0 0 86968 47 0 0 25 0 1 0 709653343 110444544 24046 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26964 24046 1111 63 0 26901 0
vsize: 107856
[startup+880.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 24412 0 0 0 87967 47 0 0 25 0 1 0 709653343 111575040 24336 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27240 24336 1111 63 0 27177 0
vsize: 108960
[startup+890.011 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 24702 0 0 0 88967 48 0 0 25 0 1 0 709653343 112840704 24626 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27549 24626 1111 63 0 27486 0
vsize: 110196
[startup+900.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 24999 0 0 0 89967 48 0 0 25 0 1 0 709653343 113967104 24923 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27824 24923 1111 63 0 27761 0
vsize: 111296
[startup+910.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 25295 0 0 0 90966 49 0 0 25 0 1 0 709653343 115232768 25219 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28133 25219 1111 63 0 28070 0
vsize: 112532
[startup+920.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 25584 0 0 0 91966 49 0 0 25 0 1 0 709653343 116359168 25508 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28408 25508 1111 63 0 28345 0
vsize: 113632
[startup+930.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 25888 0 0 0 92966 50 0 0 25 0 1 0 709653343 117624832 25812 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28717 25812 1111 63 0 28654 0
vsize: 114868
[startup+940.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 26178 0 0 0 93965 50 0 0 25 0 1 0 709653343 118751232 26102 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28992 26102 1111 63 0 28929 0
vsize: 115968
[startup+950.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 26474 0 0 0 94965 51 0 0 25 0 1 0 709653343 120020992 26398 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29302 26398 1111 63 0 29239 0
vsize: 117208
[startup+960.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 26771 0 0 0 95964 51 0 0 25 0 1 0 709653343 121286656 26695 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29611 26695 1111 63 0 29548 0
vsize: 118444
[startup+970.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 27073 0 0 0 96964 52 0 0 25 0 1 0 709653343 122413056 26997 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29886 26997 1111 63 0 29823 0
vsize: 119544
[startup+980.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 27370 0 0 0 97963 53 0 0 25 0 1 0 709653343 123682816 27294 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30196 27294 1111 63 0 30133 0
vsize: 120784
[startup+990.009 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 27667 0 0 0 98963 53 0 0 25 0 1 0 709653343 124948480 27591 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30505 27591 1111 63 0 30442 0
vsize: 122020
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 27971 0 0 0 99963 54 0 0 25 0 1 0 709653343 126074880 27895 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30780 27895 1111 63 0 30717 0
vsize: 123120
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 28275 0 0 0 100962 55 0 0 25 0 1 0 709653343 127340544 28199 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31089 28199 1111 63 0 31026 0
vsize: 124356
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 28579 0 0 0 101962 55 0 0 25 0 1 0 709653343 128606208 28503 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31398 28503 1111 63 0 31335 0
vsize: 125592
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 28881 0 0 0 102962 56 0 0 25 0 1 0 709653343 129880064 28805 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31709 28805 1111 63 0 31646 0
vsize: 126836
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 29184 0 0 0 103962 56 0 0 25 0 1 0 709653343 131145728 29108 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32018 29108 1111 63 0 31955 0
vsize: 128072
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 29488 0 0 0 104962 56 0 0 25 0 1 0 709653343 132276224 29412 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32294 29412 1111 63 0 32231 0
vsize: 129176
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 29791 0 0 0 105961 57 0 0 25 0 1 0 709653343 133541888 29715 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32603 29715 1111 63 0 32540 0
vsize: 130412
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 30095 0 0 0 106961 57 0 0 25 0 1 0 709653343 134807552 30019 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32912 30019 1111 63 0 32849 0
vsize: 131648
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 30403 0 0 0 107961 58 0 0 25 0 1 0 709653343 136077312 30327 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33222 30327 1111 63 0 33159 0
vsize: 132888
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 30708 0 0 0 108961 58 0 0 25 0 1 0 709653343 137342976 30632 4294967295 134512640 134714508 3221224592 3221222928 134568226 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33531 30632 1111 63 0 33468 0
vsize: 134124
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 31017 0 0 0 109960 59 0 0 25 0 1 0 709653343 138608640 30941 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33840 30941 1111 63 0 33777 0
vsize: 135360
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 31321 0 0 0 110960 59 0 0 25 0 1 0 709653343 139874304 31245 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34149 31245 1111 63 0 34086 0
vsize: 136596
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 31631 0 0 0 111959 60 0 0 25 0 1 0 709653343 141144064 31555 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34459 31555 1111 63 0 34396 0
vsize: 137836
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 31941 0 0 0 112959 60 0 0 25 0 1 0 709653343 142409728 31865 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34768 31865 1111 63 0 34705 0
vsize: 139072
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 32252 0 0 0 113959 61 0 0 25 0 1 0 709653343 143679488 32176 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35078 32176 1111 63 0 35015 0
vsize: 140312
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 32561 0 0 0 114958 61 0 0 25 0 1 0 709653343 144945152 32485 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35387 32485 1111 63 0 35324 0
vsize: 141548
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 32879 0 0 0 115957 62 0 0 25 0 1 0 709653343 146210816 32803 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35696 32803 1111 63 0 35633 0
vsize: 142784
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 33182 0 0 0 116957 63 0 0 25 0 1 0 709653343 147476480 33106 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36005 33106 1111 63 0 35942 0
vsize: 144020
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 33500 0 0 0 117957 63 0 0 25 0 1 0 709653343 148746240 33424 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36315 33424 1111 63 0 36252 0
vsize: 145260
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 33815 0 0 0 118956 64 0 0 25 0 1 0 709653343 150011904 33739 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36624 33739 1111 63 0 36561 0
vsize: 146496
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.92 2/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) R 4293 32363 32362 0 -1 0 34126 0 0 0 119956 64 0 0 25 0 1 0 709653343 151277568 34050 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36933 34050 1111 63 0 36870 0
vsize: 147732
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.98 0.92 1/55 4294
Raw data (stat): 4294 (bsolo_lpr_cuts) Z 4293 32363 32362 0 -1 1036 34126 0 0 0 119956 70 0 0 25 0 1 0 709653343 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.08
CPU time (s): 1200.28
CPU user time (s): 1199.57
CPU system time (s): 0.709892
CPU usage (%): 100.017
Max. virtual memory (Kb): 147732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####