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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb
MD5SUM	d116f9238cf2e97b47b1161aa0f7f9ea
Bench Category	optimization, big integers (OPTBIGINT)
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	124714
Biggest coefficient in the objective function	2100440996511744
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	862062472006152900
Number of bits of the sum of numbers in the objective function	60
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	4176904799999651840
Number of bits of the biggest sum of numbers	62
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.31665
Number of variables	244494
Total number of constraints	6084
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	6084
Minimum length of a constraint	10
Maximum length of a constraint	4560
Trace number 41386

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        782416 kB
Buffers:          2120 kB
Cached:         229020 kB
SwapCached:        876 kB
Active:          39996 kB
Inactive:       193152 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        782164 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13396 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:24:46 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 29425 7 1200.2 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.86 0.95 0.90 2/54 14885
Raw data (stat): 14885 (runsolver) R 14884 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909764624 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.88 0.96 0.91 2/54 14885
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 1315 0 0 0 992 5 0 0 25 0 1 0 909764624 15634432 1235 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 1235 1111 63 0 3754 0
vsize: 15268
[startup+20.0016 s]
Raw data (loadavg): 0.90 0.96 0.91 2/54 14885
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 1440 0 0 0 1992 6 0 0 25 0 1 0 909764624 16052224 1360 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1360 1111 63 0 3856 0
vsize: 15676
[startup+30.002 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 14885
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 1577 0 0 0 2992 6 0 0 25 0 1 0 909764624 16621568 1497 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4058 1497 1111 63 0 3995 0
vsize: 16232
[startup+40.0023 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 14885
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 1700 0 0 0 3991 6 0 0 25 0 1 0 909764624 17182720 1620 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4195 1620 1111 63 0 4132 0
vsize: 16780
[startup+50.0031 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 1825 0 0 0 4990 7 0 0 25 0 1 0 909764624 17747968 1745 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4333 1745 1111 63 0 4270 0
vsize: 17332
[startup+60.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 1964 0 0 0 5989 8 0 0 25 0 1 0 909764624 18321408 1884 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4473 1884 1111 63 0 4410 0
vsize: 17892
[startup+70.0038 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 2090 0 0 0 6989 8 0 0 25 0 1 0 909764624 18751488 2010 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4578 2010 1111 63 0 4515 0
vsize: 18312
[startup+80.0047 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 2219 0 0 0 7988 9 0 0 25 0 1 0 909764624 19312640 2139 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4715 2139 1111 63 0 4652 0
vsize: 18860
[startup+90.0041 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 2352 0 0 0 8988 10 0 0 25 0 1 0 909764624 19877888 2272 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4853 2272 1111 63 0 4790 0
vsize: 19412
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 2481 0 0 0 9988 10 0 0 25 0 1 0 909764624 20439040 2401 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4990 2401 1111 63 0 4927 0
vsize: 19960
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 2611 0 0 0 10987 11 0 0 25 0 1 0 909764624 20865024 2531 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5094 2531 1111 63 0 5031 0
vsize: 20376
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 2742 0 0 0 11987 11 0 0 25 0 1 0 909764624 21422080 2662 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5230 2662 1111 63 0 5167 0
vsize: 20920
[startup+130.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 2879 0 0 0 12986 12 0 0 25 0 1 0 909764624 21983232 2799 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5367 2799 1111 63 0 5304 0
vsize: 21468
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 3005 0 0 0 13985 13 0 0 25 0 1 0 909764624 22552576 2925 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5506 2925 1111 63 0 5443 0
vsize: 22024
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 3141 0 0 0 14985 13 0 0 25 0 1 0 909764624 23113728 3061 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5643 3061 1111 63 0 5580 0
vsize: 22572
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 3273 0 0 0 15984 14 0 0 25 0 1 0 909764624 23678976 3193 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5781 3193 1111 63 0 5718 0
vsize: 23124
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 3402 0 0 0 16984 15 0 0 25 0 1 0 909764624 24100864 3322 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5884 3322 1111 63 0 5821 0
vsize: 23536
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 3528 0 0 0 17984 15 0 0 25 0 1 0 909764624 24666112 3448 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6022 3448 1111 63 0 5959 0
vsize: 24088
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 3651 0 0 0 18983 16 0 0 25 0 1 0 909764624 25227264 3571 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6159 3571 1111 63 0 6096 0
vsize: 24636
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 3781 0 0 0 19983 16 0 0 25 0 1 0 909764624 25649152 3701 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 3701 1111 63 0 6199 0
vsize: 25048
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 3913 0 0 0 20983 16 0 0 25 0 1 0 909764624 26218496 3833 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6401 3833 1111 63 0 6338 0
vsize: 25604
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 4050 0 0 0 21983 17 0 0 25 0 1 0 909764624 26796032 3970 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6542 3970 1111 63 0 6479 0
vsize: 26168
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 4189 0 0 0 22983 17 0 0 25 0 1 0 909764624 27365376 4109 4294967295 134512640 134716908 3221224560 3221222788 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6681 4109 1111 63 0 6618 0
vsize: 26724
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 4320 0 0 0 23983 17 0 0 25 0 1 0 909764624 27926528 4240 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 4240 1111 63 0 6755 0
vsize: 27272
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 4457 0 0 0 24983 17 0 0 25 0 1 0 909764624 28491776 4377 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6956 4377 1111 63 0 6893 0
vsize: 27824
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 4580 0 0 0 25982 18 0 0 25 0 1 0 909764624 29052928 4500 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7093 4500 1111 63 0 7030 0
vsize: 28372
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 4714 0 0 0 26981 19 0 0 25 0 1 0 909764624 29483008 4634 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7198 4634 1111 63 0 7135 0
vsize: 28792
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 4844 0 0 0 27981 20 0 0 25 0 1 0 909764624 30044160 4764 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7335 4764 1111 63 0 7272 0
vsize: 29340
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 4984 0 0 0 28980 21 0 0 25 0 1 0 909764624 30605312 4904 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7472 4904 1111 63 0 7409 0
vsize: 29888
[startup+300.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 5120 0 0 0 29980 21 0 0 25 0 1 0 909764624 31170560 5040 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7610 5040 1111 63 0 7547 0
vsize: 30440
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 5250 0 0 0 30979 22 0 0 25 0 1 0 909764624 31731712 5170 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7747 5170 1111 63 0 7684 0
vsize: 30988
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 5383 0 0 0 31979 22 0 0 25 0 1 0 909764624 32301056 5303 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7886 5303 1111 63 0 7823 0
vsize: 31544
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 5520 0 0 0 32978 23 0 0 25 0 1 0 909764624 32862208 5440 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8023 5440 1111 63 0 7960 0
vsize: 32092
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 5660 0 0 0 33978 23 0 0 25 0 1 0 909764624 33427456 5580 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8161 5580 1111 63 0 8098 0
vsize: 32644
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 5797 0 0 0 34978 23 0 0 25 0 1 0 909764624 33988608 5717 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8298 5717 1111 63 0 8235 0
vsize: 33192
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 5935 0 0 0 35977 24 0 0 25 0 1 0 909764624 34557952 5855 4294967295 134512640 134716908 3221224560 3221222848 1077314021 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8437 5855 1111 63 0 8374 0
vsize: 33748
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 6072 0 0 0 36977 24 0 0 25 0 1 0 909764624 35119104 5992 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8574 5992 1111 63 0 8511 0
vsize: 34296
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 6204 0 0 0 37976 25 0 0 25 0 1 0 909764624 35684352 6124 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8712 6124 1111 63 0 8649 0
vsize: 34848
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 6347 0 0 0 38976 25 0 0 25 0 1 0 909764624 36245504 6267 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8849 6267 1111 63 0 8786 0
vsize: 35396
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 6486 0 0 0 39976 26 0 0 25 0 1 0 909764624 36814848 6406 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8988 6406 1111 63 0 8925 0
vsize: 35952
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 6610 0 0 0 40975 27 0 0 25 0 1 0 909764624 37232640 6530 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9090 6530 1111 63 0 9027 0
vsize: 36360
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 6765 0 0 0 41974 27 0 0 25 0 1 0 909764624 37928960 6685 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9260 6685 1111 63 0 9197 0
vsize: 37040
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 6909 0 0 0 42974 28 0 0 25 0 1 0 909764624 38625280 6829 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9430 6829 1111 63 0 9367 0
vsize: 37720
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 7041 0 0 0 43973 29 0 0 25 0 1 0 909764624 39047168 6961 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9533 6961 1111 63 0 9470 0
vsize: 38132
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 7172 0 0 0 44973 29 0 0 25 0 1 0 909764624 39616512 7092 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9672 7092 1111 63 0 9609 0
vsize: 38688
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 7309 0 0 0 45973 30 0 0 25 0 1 0 909764624 40177664 7229 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9809 7229 1111 63 0 9746 0
vsize: 39236
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 7448 0 0 0 46972 30 0 0 25 0 1 0 909764624 40742912 7368 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9947 7368 1111 63 0 9884 0
vsize: 39788
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 7578 0 0 0 47972 30 0 0 25 0 1 0 909764624 41304064 7498 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10084 7498 1111 63 0 10021 0
vsize: 40336
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 7724 0 0 0 48972 31 0 0 25 0 1 0 909764624 41873408 7644 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10223 7644 1111 63 0 10160 0
vsize: 40892
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 7861 0 0 0 49972 31 0 0 25 0 1 0 909764624 42434560 7781 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10360 7781 1111 63 0 10297 0
vsize: 41440
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 7993 0 0 0 50971 32 0 0 25 0 1 0 909764624 42999808 7913 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10498 7913 1111 63 0 10435 0
vsize: 41992
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 8125 0 0 0 51971 32 0 0 25 0 1 0 909764624 43560960 8045 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10635 8045 1111 63 0 10572 0
vsize: 42540
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 8263 0 0 0 52970 33 0 0 25 0 1 0 909764624 44130304 8183 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10774 8183 1111 63 0 10711 0
vsize: 43096
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 8394 0 0 0 53970 33 0 0 25 0 1 0 909764624 44691456 8314 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10911 8314 1111 63 0 10848 0
vsize: 43644
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 8532 0 0 0 54970 34 0 0 25 0 1 0 909764624 45256704 8452 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11049 8452 1111 63 0 10986 0
vsize: 44196
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 8676 0 0 0 55969 35 0 0 25 0 1 0 909764624 45817856 8596 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11186 8596 1111 63 0 11123 0
vsize: 44744
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 8816 0 0 0 56969 35 0 0 25 0 1 0 909764624 46387200 8736 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11325 8736 1111 63 0 11262 0
vsize: 45300
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 8953 0 0 0 57968 36 0 0 25 0 1 0 909764624 46948352 8873 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11462 8873 1111 63 0 11399 0
vsize: 45848
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 9090 0 0 0 58968 36 0 0 25 0 1 0 909764624 47509504 9010 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11599 9010 1111 63 0 11536 0
vsize: 46396
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 9229 0 0 0 59967 37 0 0 25 0 1 0 909764624 48074752 9149 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11737 9149 1111 63 0 11674 0
vsize: 46948
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 9367 0 0 0 60966 38 0 0 25 0 1 0 909764624 48635904 9287 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11874 9287 1111 63 0 11811 0
vsize: 47496
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 9506 0 0 0 61966 39 0 0 25 0 1 0 909764624 49205248 9426 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12013 9426 1111 63 0 11950 0
vsize: 48052
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 9650 0 0 0 62966 39 0 0 25 0 1 0 909764624 49766400 9570 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12150 9570 1111 63 0 12087 0
vsize: 48600
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 9788 0 0 0 63965 40 0 0 25 0 1 0 909764624 50331648 9708 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12288 9708 1111 63 0 12225 0
vsize: 49152
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 9933 0 0 0 64965 41 0 0 25 0 1 0 909764624 50892800 9853 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12425 9853 1111 63 0 12362 0
vsize: 49700
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 10072 0 0 0 65964 41 0 0 25 0 1 0 909764624 51462144 9992 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12564 9992 1111 63 0 12501 0
vsize: 50256
[startup+670.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 10196 0 0 0 66964 42 0 0 25 0 1 0 909764624 52023296 10116 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12701 10116 1111 63 0 12638 0
vsize: 50804
[startup+680.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 10348 0 0 0 67964 42 0 0 25 0 1 0 909764624 52588544 10268 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12839 10268 1111 63 0 12776 0
vsize: 51356
[startup+690.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 10485 0 0 0 68963 43 0 0 25 0 1 0 909764624 53149696 10405 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12976 10405 1111 63 0 12913 0
vsize: 51904
[startup+700.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 10625 0 0 0 69963 43 0 0 25 0 1 0 909764624 53719040 10545 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13115 10545 1111 63 0 13052 0
vsize: 52460
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 10762 0 0 0 70962 44 0 0 25 0 1 0 909764624 54280192 10682 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13252 10682 1111 63 0 13189 0
vsize: 53008
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 10908 0 0 0 71962 44 0 0 25 0 1 0 909764624 54845440 10828 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13390 10828 1111 63 0 13327 0
vsize: 53560
[startup+730.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 11039 0 0 0 72961 45 0 0 25 0 1 0 909764624 55406592 10959 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13527 10959 1111 63 0 13464 0
vsize: 54108
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 11190 0 0 0 73961 46 0 0 25 0 1 0 909764624 56115200 11110 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13700 11110 1111 63 0 13637 0
vsize: 54800
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 11335 0 0 0 74961 46 0 0 25 0 1 0 909764624 56676352 11255 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13837 11255 1111 63 0 13774 0
vsize: 55348
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 11480 0 0 0 75960 46 0 0 25 0 1 0 909764624 57241600 11400 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13975 11400 1111 63 0 13912 0
vsize: 55900
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 11624 0 0 0 76960 47 0 0 25 0 1 0 909764624 57802752 11544 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14112 11544 1111 63 0 14049 0
vsize: 56448
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 11763 0 0 0 77960 47 0 0 25 0 1 0 909764624 58363904 11683 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14249 11683 1111 63 0 14186 0
vsize: 56996
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 11906 0 0 0 78960 47 0 0 25 0 1 0 909764624 58933248 11826 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14388 11826 1111 63 0 14325 0
vsize: 57552
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 12052 0 0 0 79960 47 0 0 25 0 1 0 909764624 59641856 11972 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14561 11972 1111 63 0 14498 0
vsize: 58244
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 12196 0 0 0 80960 47 0 0 25 0 1 0 909764624 60203008 12116 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14698 12116 1111 63 0 14635 0
vsize: 58792
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 12360 0 0 0 81960 48 0 0 25 0 1 0 909764624 61018112 12280 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14897 12280 1111 63 0 14834 0
vsize: 59588
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 12504 0 0 0 82960 48 0 0 25 0 1 0 909764624 61579264 12424 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15034 12424 1111 63 0 14971 0
vsize: 60136
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 12649 0 0 0 83960 49 0 0 25 0 1 0 909764624 62140416 12569 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15171 12569 1111 63 0 15108 0
vsize: 60684
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 12786 0 0 0 84959 49 0 0 25 0 1 0 909764624 62705664 12706 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15309 12706 1111 63 0 15246 0
vsize: 61236
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 12938 0 0 0 85959 49 0 0 25 0 1 0 909764624 63266816 12858 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15446 12858 1111 63 0 15383 0
vsize: 61784
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 13084 0 0 0 86959 49 0 0 25 0 1 0 909764624 63975424 13004 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15619 13004 1111 63 0 15556 0
vsize: 62476
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 13228 0 0 0 87959 50 0 0 25 0 1 0 909764624 64536576 13148 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15756 13148 1111 63 0 15693 0
vsize: 63024
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 13374 0 0 0 88959 50 0 0 25 0 1 0 909764624 65101824 13294 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15894 13294 1111 63 0 15831 0
vsize: 63576
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 13524 0 0 0 89959 51 0 0 25 0 1 0 909764624 65662976 13444 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16031 13444 1111 63 0 15968 0
vsize: 64124
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 13665 0 0 0 90959 51 0 0 25 0 1 0 909764624 66232320 13585 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16170 13585 1111 63 0 16107 0
vsize: 64680
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 13815 0 0 0 91959 51 0 0 25 0 1 0 909764624 66932736 13735 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16341 13735 1111 63 0 16278 0
vsize: 65364
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 13954 0 0 0 92958 52 0 0 25 0 1 0 909764624 67502080 13874 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16480 13874 1111 63 0 16417 0
vsize: 65920
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 14104 0 0 0 93958 52 0 0 25 0 1 0 909764624 68063232 14024 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16617 14024 1111 63 0 16554 0
vsize: 66468
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 14243 0 0 0 94958 52 0 0 25 0 1 0 909764624 68628480 14163 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16755 14163 1111 63 0 16692 0
vsize: 67020
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 14396 0 0 0 95958 52 0 0 25 0 1 0 909764624 69328896 14316 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16926 14316 1111 63 0 16863 0
vsize: 67704
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 14548 0 0 0 96958 53 0 0 25 0 1 0 909764624 69898240 14468 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17065 14468 1111 63 0 17002 0
vsize: 68260
[startup+980.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 14691 0 0 0 97958 53 0 0 25 0 1 0 909764624 70459392 14611 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17202 14611 1111 63 0 17139 0
vsize: 68808
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 14837 0 0 0 98958 53 0 0 25 0 1 0 909764624 71024640 14757 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17340 14757 1111 63 0 17277 0
vsize: 69360
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 14988 0 0 0 99958 53 0 0 25 0 1 0 909764624 71729152 14908 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17512 14908 1111 63 0 17449 0
vsize: 70048
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 15142 0 0 0 100958 53 0 0 25 0 1 0 909764624 72294400 15062 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17650 15062 1111 63 0 17587 0
vsize: 70600
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 15293 0 0 0 101958 54 0 0 25 0 1 0 909764624 72994816 15213 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17821 15213 1111 63 0 17758 0
vsize: 71284
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 15445 0 0 0 102958 54 0 0 25 0 1 0 909764624 73564160 15365 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17960 15365 1111 63 0 17897 0
vsize: 71840
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 15597 0 0 0 103958 54 0 0 25 0 1 0 909764624 74121216 15517 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18096 15517 1111 63 0 18033 0
vsize: 72384
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 15756 0 0 0 104958 54 0 0 25 0 1 0 909764624 74829824 15676 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18269 15676 1111 63 0 18206 0
vsize: 73076
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 15909 0 0 0 105958 54 0 0 25 0 1 0 909764624 75390976 15829 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18406 15829 1111 63 0 18343 0
vsize: 73624
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 16052 0 0 0 106958 55 0 0 25 0 1 0 909764624 76099584 15972 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18579 15972 1111 63 0 18516 0
vsize: 74316
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 16198 0 0 0 107958 55 0 0 25 0 1 0 909764624 76664832 16118 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18717 16118 1111 63 0 18654 0
vsize: 74868
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 16355 0 0 0 108958 55 0 0 25 0 1 0 909764624 77225984 16275 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18854 16275 1111 63 0 18791 0
vsize: 75416
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 16509 0 0 0 109958 56 0 0 25 0 1 0 909764624 77934592 16429 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19027 16429 1111 63 0 18964 0
vsize: 76108
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 16660 0 0 0 110957 56 0 0 25 0 1 0 909764624 78495744 16580 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19164 16580 1111 63 0 19101 0
vsize: 76656
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 16812 0 0 0 111957 56 0 0 25 0 1 0 909764624 79204352 16732 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19337 16732 1111 63 0 19274 0
vsize: 77348
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 16963 0 0 0 112958 56 0 0 25 0 1 0 909764624 79765504 16883 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19474 16883 1111 63 0 19411 0
vsize: 77896
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 17109 0 0 0 113958 56 0 0 25 0 1 0 909764624 80330752 17029 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19612 17029 1111 63 0 19549 0
vsize: 78448
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 17261 0 0 0 114958 57 0 0 25 0 1 0 909764624 81035264 17181 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19784 17181 1111 63 0 19721 0
vsize: 79136
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 17413 0 0 0 115957 57 0 0 25 0 1 0 909764624 81600512 17333 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19922 17333 1111 63 0 19859 0
vsize: 79688
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 17558 0 0 0 116957 58 0 0 25 0 1 0 909764624 82161664 17478 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20059 17478 1111 63 0 19996 0
vsize: 80236
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 17716 0 0 0 117957 58 0 0 25 0 1 0 909764624 82870272 17636 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20232 17636 1111 63 0 20169 0
vsize: 80928
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 17869 0 0 0 118957 58 0 0 25 0 1 0 909764624 83431424 17789 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20369 17789 1111 63 0 20306 0
vsize: 81476
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) R 14884 21152 21151 0 -1 0 18021 0 0 0 119957 59 0 0 25 0 1 0 909764624 84140032 17941 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20542 17941 1111 63 0 20479 0
vsize: 82168
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 14887
Raw data (stat): 14885 (bsolo_lpr_cuts-) Z 14884 21152 21151 0 -1 1036 18021 0 0 0 119957 62 0 0 25 0 1 0 909764624 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.09
CPU time (s): 1200.2
CPU user time (s): 1199.57
CPU system time (s): 0.623905
CPU usage (%): 100.009
Max. virtual memory (Kb): 82168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####