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-n370c.opb
MD5SUM	b99a0e1987692fd9762e75d45288f75a
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	39256355821
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	39256355821
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.97785
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 26999

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-24 18:37:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19151 boxname=wulflinc9 idbench=1474 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  b99a0e1987692fd9762e75d45288f75a  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-n370c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-n370c.opb
IDLAUNCH: 19151
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        561384 kB
Buffers:         14004 kB
Cached:         438108 kB
SwapCached:         88 kB
Active:          54284 kB
Inactive:       400788 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        561132 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6892 kB
Slab:            12432 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:57:35 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 19151 7 1200.32 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.87 0.94 0.90 2/54 8299
Raw data (stat): 8299 (runsolver) R 8298 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774231818 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 1158 0 0 0 994 4 0 0 25 0 1 0 774231818 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+20.0008 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 1405 0 0 0 1993 5 0 0 25 0 1 0 774231818 17178624 1329 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1329 1111 63 0 4131 0
vsize: 16776
[startup+30.006 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 1655 0 0 0 2993 5 0 0 25 0 1 0 774231818 18178048 1579 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4438 1579 1111 63 0 4375 0
vsize: 17752
[startup+40.0066 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 1903 0 0 0 3992 7 0 0 25 0 1 0 774231818 19165184 1827 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 1827 1111 63 0 4616 0
vsize: 18716
[startup+50.007 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 2150 0 0 0 4992 7 0 0 25 0 1 0 774231818 20152320 2074 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2074 1111 63 0 4857 0
vsize: 19680
[startup+60.0068 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 2403 0 0 0 5991 7 0 0 25 0 1 0 774231818 21274624 2327 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 2327 1111 63 0 5131 0
vsize: 20776
[startup+70.0069 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 2651 0 0 0 6991 8 0 0 25 0 1 0 774231818 22261760 2575 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5435 2575 1111 63 0 5372 0
vsize: 21740
[startup+80.0073 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 2898 0 0 0 7991 8 0 0 25 0 1 0 774231818 23240704 2822 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5674 2822 1111 63 0 5611 0
vsize: 22696
[startup+90.0071 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 3146 0 0 0 8991 8 0 0 25 0 1 0 774231818 24227840 3070 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5915 3070 1111 63 0 5852 0
vsize: 23660
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 3393 0 0 0 9991 9 0 0 25 0 1 0 774231818 25214976 3317 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3317 1111 63 0 6093 0
vsize: 24624
[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 3641 0 0 0 10991 9 0 0 25 0 1 0 774231818 26341376 3565 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6431 3565 1111 63 0 6368 0
vsize: 25724
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 3897 0 0 0 11990 10 0 0 25 0 1 0 774231818 27348992 3821 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 3821 1111 63 0 6614 0
vsize: 26708
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 4145 0 0 0 12990 10 0 0 25 0 1 0 774231818 28336128 4069 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6918 4069 1111 63 0 6855 0
vsize: 27672
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 4394 0 0 0 13990 10 0 0 25 0 1 0 774231818 29315072 4318 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4318 1111 63 0 7094 0
vsize: 28628
[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 4647 0 0 0 14989 11 0 0 25 0 1 0 774231818 30441472 4571 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4571 1111 63 0 7369 0
vsize: 29728
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 4902 0 0 0 15989 12 0 0 25 0 1 0 774231818 31428608 4826 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7673 4826 1111 63 0 7610 0
vsize: 30692
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 5151 0 0 0 16989 12 0 0 25 0 1 0 774231818 32415744 5075 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7914 5075 1111 63 0 7851 0
vsize: 31656
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 5400 0 0 0 17988 13 0 0 25 0 1 0 774231818 33542144 5324 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8189 5324 1111 63 0 8126 0
vsize: 32756
[startup+190.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 5654 0 0 0 18988 13 0 0 25 0 1 0 774231818 34529280 5578 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5578 1111 63 0 8367 0
vsize: 33720
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 5909 0 0 0 19988 13 0 0 25 0 1 0 774231818 35516416 5833 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8671 5833 1111 63 0 8608 0
vsize: 34684
[startup+210.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 6163 0 0 0 20988 14 0 0 25 0 1 0 774231818 36642816 6087 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6087 1111 63 0 8883 0
vsize: 35784
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 6416 0 0 0 21987 14 0 0 25 0 1 0 774231818 37625856 6340 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9186 6340 1111 63 0 9123 0
vsize: 36744
[startup+230.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 6676 0 0 0 22987 15 0 0 25 0 1 0 774231818 38760448 6600 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9463 6600 1111 63 0 9400 0
vsize: 37852
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 6937 0 0 0 23986 16 0 0 25 0 1 0 774231818 39886848 6861 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9738 6861 1111 63 0 9675 0
vsize: 38952
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 7192 0 0 0 24986 16 0 0 25 0 1 0 774231818 40878080 7116 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9980 7116 1111 63 0 9917 0
vsize: 39920
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 7448 0 0 0 25986 17 0 0 25 0 1 0 774231818 41861120 7372 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10220 7372 1111 63 0 10157 0
vsize: 40880
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 7703 0 0 0 26985 17 0 0 25 0 1 0 774231818 42987520 7627 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 7627 1111 63 0 10432 0
vsize: 41980
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 7960 0 0 0 27985 18 0 0 25 0 1 0 774231818 43974656 7884 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10736 7884 1111 63 0 10673 0
vsize: 42944
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 8219 0 0 0 28985 18 0 0 25 0 1 0 774231818 45096960 8143 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11010 8143 1111 63 0 10947 0
vsize: 44040
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 8474 0 0 0 29985 19 0 0 25 0 1 0 774231818 46084096 8398 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11251 8398 1111 63 0 11188 0
vsize: 45004
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 8731 0 0 0 30984 19 0 0 25 0 1 0 774231818 47210496 8655 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11526 8655 1111 63 0 11463 0
vsize: 46104
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 8992 0 0 0 31984 20 0 0 25 0 1 0 774231818 48197632 8916 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11767 8916 1111 63 0 11704 0
vsize: 47068
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 9254 0 0 0 32983 21 0 0 25 0 1 0 774231818 49324032 9178 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12042 9178 1111 63 0 11979 0
vsize: 48168
[startup+340.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 9516 0 0 0 33984 21 0 0 25 0 1 0 774231818 50311168 9440 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12283 9440 1111 63 0 12220 0
vsize: 49132
[startup+350.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 9771 0 0 0 34984 22 0 0 25 0 1 0 774231818 51437568 9695 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12558 9695 1111 63 0 12495 0
vsize: 50232
[startup+360.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 10034 0 0 0 35984 22 0 0 25 0 1 0 774231818 52424704 9958 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12799 9958 1111 63 0 12736 0
vsize: 51196
[startup+370.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 10296 0 0 0 36984 23 0 0 25 0 1 0 774231818 53551104 10220 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13074 10220 1111 63 0 13011 0
vsize: 52296
[startup+380.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 10556 0 0 0 37984 23 0 0 25 0 1 0 774231818 54673408 10480 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13348 10480 1111 63 0 13285 0
vsize: 53392
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 10819 0 0 0 38984 23 0 0 25 0 1 0 774231818 55656448 10743 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13588 10743 1111 63 0 13525 0
vsize: 54352
[startup+400.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 11081 0 0 0 39984 24 0 0 25 0 1 0 774231818 56782848 11005 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13863 11005 1111 63 0 13800 0
vsize: 55452
[startup+410.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 11348 0 0 0 40982 25 0 0 25 0 1 0 774231818 57909248 11272 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14138 11272 1111 63 0 14075 0
vsize: 56552
[startup+420.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 11610 0 0 0 41982 26 0 0 25 0 1 0 774231818 58900480 11534 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14380 11534 1111 63 0 14317 0
vsize: 57520
[startup+430.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 11872 0 0 0 42982 26 0 0 25 0 1 0 774231818 60026880 11796 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14655 11796 1111 63 0 14592 0
vsize: 58620
[startup+440.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 12151 0 0 0 43981 27 0 0 25 0 1 0 774231818 61231104 12075 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14949 12075 1111 63 0 14886 0
vsize: 59796
[startup+450.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 12420 0 0 0 44981 27 0 0 25 0 1 0 774231818 62357504 12344 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15224 12344 1111 63 0 15161 0
vsize: 60896
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 12689 0 0 0 45981 28 0 0 25 0 1 0 774231818 63488000 12613 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15500 12613 1111 63 0 15437 0
vsize: 62000
[startup+470.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 12951 0 0 0 46981 28 0 0 25 0 1 0 774231818 64466944 12875 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15739 12875 1111 63 0 15676 0
vsize: 62956
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 13219 0 0 0 47981 29 0 0 25 0 1 0 774231818 65593344 13143 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13143 1111 63 0 15951 0
vsize: 64056
[startup+490.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 13488 0 0 0 48980 29 0 0 25 0 1 0 774231818 66719744 13412 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16289 13412 1111 63 0 16226 0
vsize: 65156
[startup+500.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 13751 0 0 0 49980 30 0 0 25 0 1 0 774231818 67846144 13675 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16564 13675 1111 63 0 16501 0
vsize: 66256
[startup+510.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 14025 0 0 0 50979 31 0 0 25 0 1 0 774231818 68972544 13949 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16839 13949 1111 63 0 16776 0
vsize: 67356
[startup+520.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 14289 0 0 0 51978 32 0 0 25 0 1 0 774231818 69959680 14213 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17080 14213 1111 63 0 17017 0
vsize: 68320
[startup+530.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 14564 0 0 0 52978 33 0 0 25 0 1 0 774231818 71086080 14488 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17355 14488 1111 63 0 17292 0
vsize: 69420
[startup+540.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 14833 0 0 0 53977 34 0 0 25 0 1 0 774231818 72212480 14757 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17630 14757 1111 63 0 17567 0
vsize: 70520
[startup+550.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 15102 0 0 0 54976 34 0 0 25 0 1 0 774231818 73338880 15026 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17905 15026 1111 63 0 17842 0
vsize: 71620
[startup+560.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 15377 0 0 0 55976 35 0 0 25 0 1 0 774231818 74469376 15301 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18181 15301 1111 63 0 18118 0
vsize: 72724
[startup+570.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 15647 0 0 0 56976 35 0 0 25 0 1 0 774231818 75595776 15571 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18456 15571 1111 63 0 18393 0
vsize: 73824
[startup+580.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 15917 0 0 0 57975 36 0 0 25 0 1 0 774231818 76578816 15841 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18696 15841 1111 63 0 18633 0
vsize: 74784
[startup+590.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 16192 0 0 0 58974 37 0 0 25 0 1 0 774231818 77701120 16116 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18970 16116 1111 63 0 18907 0
vsize: 75880
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 16466 0 0 0 59974 38 0 0 25 0 1 0 774231818 78827520 16390 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19245 16390 1111 63 0 19182 0
vsize: 76980
[startup+610.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 16742 0 0 0 60973 39 0 0 25 0 1 0 774231818 79953920 16666 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19520 16666 1111 63 0 19457 0
vsize: 78080
[startup+620.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 17018 0 0 0 61973 39 0 0 25 0 1 0 774231818 81080320 16942 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19795 16942 1111 63 0 19732 0
vsize: 79180
[startup+630.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 17294 0 0 0 62973 40 0 0 25 0 1 0 774231818 82206720 17218 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20070 17218 1111 63 0 20007 0
vsize: 80280
[startup+640.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 17570 0 0 0 63972 40 0 0 25 0 1 0 774231818 83333120 17494 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20345 17494 1111 63 0 20282 0
vsize: 81380
[startup+650.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 17845 0 0 0 64972 41 0 0 25 0 1 0 774231818 84459520 17769 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20620 17769 1111 63 0 20557 0
vsize: 82480
[startup+660.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 18121 0 0 0 65972 41 0 0 25 0 1 0 774231818 85590016 18045 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20896 18045 1111 63 0 20833 0
vsize: 83584
[startup+670.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 18398 0 0 0 66972 42 0 0 25 0 1 0 774231818 86716416 18322 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21171 18322 1111 63 0 21108 0
vsize: 84684
[startup+680.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 18680 0 0 0 67971 42 0 0 25 0 1 0 774231818 87982080 18604 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21480 18604 1111 63 0 21417 0
vsize: 85920
[startup+690.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 18963 0 0 0 68971 43 0 0 25 0 1 0 774231818 89108480 18887 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21755 18887 1111 63 0 21692 0
vsize: 87020
[startup+700.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 19239 0 0 0 69970 44 0 0 25 0 1 0 774231818 90234880 19163 4294967295 134512640 134714508 3221224592 3221221304 1077404036 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22030 19163 1111 63 0 21967 0
vsize: 88120
[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 19521 0 0 0 70969 45 0 0 25 0 1 0 774231818 91361280 19445 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22305 19445 1111 63 0 22242 0
vsize: 89220
[startup+720.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 19804 0 0 0 71969 46 0 0 25 0 1 0 774231818 92491776 19728 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22581 19728 1111 63 0 22518 0
vsize: 90324
[startup+730.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 20081 0 0 0 72969 46 0 0 25 0 1 0 774231818 93618176 20005 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22856 20005 1111 63 0 22793 0
vsize: 91424
[startup+740.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 20370 0 0 0 73969 47 0 0 25 0 1 0 774231818 94883840 20294 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23165 20294 1111 63 0 23102 0
vsize: 92660
[startup+750.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 20646 0 0 0 74968 47 0 0 25 0 1 0 774231818 96010240 20570 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23440 20570 1111 63 0 23377 0
vsize: 93760
[startup+760.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 20935 0 0 0 75968 48 0 0 25 0 1 0 774231818 97136640 20859 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23715 20859 1111 63 0 23652 0
vsize: 94860
[startup+770.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 21218 0 0 0 76967 48 0 0 25 0 1 0 774231818 98263040 21142 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23990 21142 1111 63 0 23927 0
vsize: 95960
[startup+780.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 21508 0 0 0 77967 49 0 0 25 0 1 0 774231818 99532800 21432 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24300 21432 1111 63 0 24237 0
vsize: 97200
[startup+790.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 21791 0 0 0 78967 49 0 0 25 0 1 0 774231818 100659200 21715 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24575 21715 1111 63 0 24512 0
vsize: 98300
[startup+800.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 22079 0 0 0 79967 49 0 0 25 0 1 0 774231818 101777408 22003 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24848 22003 1111 63 0 24785 0
vsize: 99392
[startup+810.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 22369 0 0 0 80967 50 0 0 25 0 1 0 774231818 103051264 22293 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25159 22293 1111 63 0 25096 0
vsize: 100636
[startup+820.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 22658 0 0 0 81967 50 0 0 25 0 1 0 774231818 104169472 22582 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25432 22582 1111 63 0 25369 0
vsize: 101728
[startup+830.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 22940 0 0 0 82966 51 0 0 25 0 1 0 774231818 105295872 22864 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25707 22864 1111 63 0 25644 0
vsize: 102828
[startup+840.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 23261 0 0 0 83965 52 0 0 25 0 1 0 774231818 106926080 23185 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26105 23185 1111 63 0 26042 0
vsize: 104420
[startup+850.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 23550 0 0 0 84965 52 0 0 25 0 1 0 774231818 108052480 23474 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26380 23474 1111 63 0 26317 0
vsize: 105520
[startup+860.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 23847 0 0 0 85965 53 0 0 25 0 1 0 774231818 109318144 23771 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26689 23771 1111 63 0 26626 0
vsize: 106756
[startup+870.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 24136 0 0 0 86964 53 0 0 25 0 1 0 774231818 110444544 24060 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26964 24060 1111 63 0 26901 0
vsize: 107856
[startup+880.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 24427 0 0 0 87964 54 0 0 25 0 1 0 774231818 111710208 24351 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27273 24351 1111 63 0 27210 0
vsize: 109092
[startup+890.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 24716 0 0 0 88963 55 0 0 25 0 1 0 774231818 112840704 24640 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27549 24640 1111 63 0 27486 0
vsize: 110196
[startup+900.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 25006 0 0 0 89963 56 0 0 25 0 1 0 774231818 113967104 24930 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27824 24930 1111 63 0 27761 0
vsize: 111296
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 25302 0 0 0 90962 56 0 0 25 0 1 0 774231818 115232768 25226 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28133 25226 1111 63 0 28070 0
vsize: 112532
[startup+920.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 25598 0 0 0 91962 57 0 0 25 0 1 0 774231818 116498432 25522 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28442 25522 1111 63 0 28379 0
vsize: 113768
[startup+930.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 25895 0 0 0 92961 58 0 0 25 0 1 0 774231818 117624832 25819 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28717 25819 1111 63 0 28654 0
vsize: 114868
[startup+940.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 26191 0 0 0 93960 59 0 0 25 0 1 0 774231818 118894592 26115 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29027 26115 1111 63 0 28964 0
vsize: 116108
[startup+950.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 26488 0 0 0 94960 60 0 0 25 0 1 0 774231818 120020992 26412 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29302 26412 1111 63 0 29239 0
vsize: 117208
[startup+960.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 26784 0 0 0 95959 60 0 0 25 0 1 0 774231818 121286656 26708 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29611 26708 1111 63 0 29548 0
vsize: 118444
[startup+970.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 27080 0 0 0 96959 61 0 0 25 0 1 0 774231818 122556416 27004 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29921 27004 1111 63 0 29858 0
vsize: 119684
[startup+980.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 27378 0 0 0 97958 62 0 0 25 0 1 0 774231818 123682816 27302 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30196 27302 1111 63 0 30133 0
vsize: 120784
[startup+990.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 27682 0 0 0 98958 62 0 0 25 0 1 0 774231818 124948480 27606 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30505 27606 1111 63 0 30442 0
vsize: 122020
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 27986 0 0 0 99957 63 0 0 25 0 1 0 774231818 126222336 27910 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30816 27910 1111 63 0 30753 0
vsize: 123264
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 28288 0 0 0 100956 64 0 0 25 0 1 0 774231818 127488000 28212 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31125 28212 1111 63 0 31062 0
vsize: 124500
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 28592 0 0 0 101956 65 0 0 25 0 1 0 774231818 128606208 28516 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31398 28516 1111 63 0 31335 0
vsize: 125592
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 28895 0 0 0 102955 65 0 0 25 0 1 0 774231818 129880064 28819 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31709 28819 1111 63 0 31646 0
vsize: 126836
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 29197 0 0 0 103955 66 0 0 25 0 1 0 774231818 131145728 29121 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32018 29121 1111 63 0 31955 0
vsize: 128072
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 29502 0 0 0 104955 66 0 0 25 0 1 0 774231818 132415488 29426 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32328 29426 1111 63 0 32265 0
vsize: 129312
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 29804 0 0 0 105954 67 0 0 25 0 1 0 774231818 133681152 29728 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32637 29728 1111 63 0 32574 0
vsize: 130548
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 30108 0 0 0 106954 68 0 0 25 0 1 0 774231818 134807552 30032 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32912 30032 1111 63 0 32849 0
vsize: 131648
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 30411 0 0 0 107953 69 0 0 25 0 1 0 774231818 136077312 30335 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33222 30335 1111 63 0 33159 0
vsize: 132888
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 30722 0 0 0 108953 69 0 0 25 0 1 0 774231818 137342976 30646 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33531 30646 1111 63 0 33468 0
vsize: 134124
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 31025 0 0 0 109952 70 0 0 25 0 1 0 774231818 138608640 30949 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33840 30949 1111 63 0 33777 0
vsize: 135360
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 31335 0 0 0 110952 70 0 0 25 0 1 0 774231818 139874304 31259 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34149 31259 1111 63 0 34086 0
vsize: 136596
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 31638 0 0 0 111951 71 0 0 25 0 1 0 774231818 141144064 31562 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34459 31562 1111 63 0 34396 0
vsize: 137836
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 31954 0 0 0 112951 72 0 0 25 0 1 0 774231818 142409728 31878 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34768 31878 1111 63 0 34705 0
vsize: 139072
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 32259 0 0 0 113950 73 0 0 25 0 1 0 774231818 143679488 32183 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35078 32183 1111 63 0 35015 0
vsize: 140312
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 32568 0 0 0 114950 74 0 0 25 0 1 0 774231818 144945152 32492 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35387 32492 1111 63 0 35324 0
vsize: 141548
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 32879 0 0 0 115949 74 0 0 25 0 1 0 774231818 146210816 32803 4294967295 134512640 134714508 3221224592 3221222820 1077414420 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.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 33195 0 0 0 116948 75 0 0 25 0 1 0 774231818 147476480 33119 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36005 33119 1111 63 0 35942 0
vsize: 144020
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 33507 0 0 0 117948 76 0 0 25 0 1 0 774231818 148746240 33431 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36315 33431 1111 63 0 36252 0
vsize: 145260
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 33816 0 0 0 118948 76 0 0 25 0 1 0 774231818 150011904 33740 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36624 33740 1111 63 0 36561 0
vsize: 146496
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) R 8298 3944 3943 0 -1 0 34133 0 0 0 119947 77 0 0 25 0 1 0 774231818 151277568 34057 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36933 34057 1111 63 0 36870 0
vsize: 147732
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 8299
Raw data (stat): 8299 (bsolo_lpr_cuts) Z 8298 3944 3943 0 -1 1036 34133 0 0 0 119947 83 0 0 25 0 1 0 774231818 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.13
CPU time (s): 1200.32
CPU user time (s): 1199.48
CPU system time (s): 0.836872
CPU usage (%): 100.015
Max. virtual memory (Kb): 147732
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####