PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 17:15:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29678 boxname=wulflinc3 idbench=1462 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  389a3363aac4cd4681aed244ad9f1688  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3700.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3700.opb
IDLAUNCH: 29678
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        788216 kB
Buffers:          9056 kB
Cached:         217168 kB
SwapCached:        692 kB
Active:          39052 kB
Inactive:       189140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        787964 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            12548 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:35:51 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 29678 7 1200.29 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.94 0.90 1/54 13944
Raw data (stat): 13944 (runsolver) R 13943 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911992401 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 1161 0 0 0 993 4 0 0 25 0 1 0 911992401 16052224 1081 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1081 1111 63 0 3856 0
vsize: 15676
[startup+20.0018 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 1407 0 0 0 1993 5 0 0 25 0 1 0 911992401 17178624 1327 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1327 1111 63 0 4131 0
vsize: 16776
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 1658 0 0 0 2993 5 0 0 25 0 1 0 911992401 18178048 1578 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1578 1111 63 0 4375 0
vsize: 17752
[startup+40.0022 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 1912 0 0 0 3993 5 0 0 25 0 1 0 911992401 19165184 1832 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1832 1111 63 0 4616 0
vsize: 18716
[startup+50.0024 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 2160 0 0 0 4993 6 0 0 25 0 1 0 911992401 20152320 2080 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2080 1111 63 0 4857 0
vsize: 19680
[startup+60.0029 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 2419 0 0 0 5993 6 0 0 25 0 1 0 911992401 21274624 2339 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2339 1111 63 0 5131 0
vsize: 20776
[startup+70.0027 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 2668 0 0 0 6992 6 0 0 25 0 1 0 911992401 22261760 2588 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2588 1111 63 0 5372 0
vsize: 21740
[startup+80.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 2916 0 0 0 7992 7 0 0 25 0 1 0 911992401 23240704 2836 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2836 1111 63 0 5611 0
vsize: 22696
[startup+90.0034 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 3168 0 0 0 8991 8 0 0 25 0 1 0 911992401 24367104 3088 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 3088 1111 63 0 5886 0
vsize: 23796
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 3423 0 0 0 9991 8 0 0 25 0 1 0 911992401 25354240 3343 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3343 1111 63 0 6127 0
vsize: 24760
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 3671 0 0 0 10991 8 0 0 25 0 1 0 911992401 26341376 3591 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3591 1111 63 0 6368 0
vsize: 25724
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 3933 0 0 0 11991 9 0 0 25 0 1 0 911992401 27488256 3853 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3853 1111 63 0 6648 0
vsize: 26844
[startup+130.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 4187 0 0 0 12991 9 0 0 25 0 1 0 911992401 28475392 4107 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4107 1111 63 0 6889 0
vsize: 27808
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 4437 0 0 0 13990 10 0 0 25 0 1 0 911992401 29601792 4357 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7227 4357 1111 63 0 7164 0
vsize: 28908
[startup+150.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 4698 0 0 0 14990 10 0 0 25 0 1 0 911992401 30584832 4618 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4618 1111 63 0 7404 0
vsize: 29868
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 4945 0 0 0 15990 11 0 0 25 0 1 0 911992401 31567872 4865 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4865 1111 63 0 7644 0
vsize: 30828
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 5207 0 0 0 16989 12 0 0 25 0 1 0 911992401 32694272 5127 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7982 5127 1111 63 0 7919 0
vsize: 31928
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 5457 0 0 0 17989 12 0 0 25 0 1 0 911992401 33681408 5377 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 5377 1111 63 0 8160 0
vsize: 32892
[startup+190.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 5717 0 0 0 18988 13 0 0 25 0 1 0 911992401 34811904 5637 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8499 5637 1111 63 0 8436 0
vsize: 33996
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 5972 0 0 0 19988 13 0 0 25 0 1 0 911992401 35794944 5892 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5892 1111 63 0 8676 0
vsize: 34956
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 6227 0 0 0 20987 14 0 0 25 0 1 0 911992401 36921344 6147 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9014 6147 1111 63 0 8951 0
vsize: 36056
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 6498 0 0 0 21987 15 0 0 25 0 1 0 911992401 38064128 6418 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9293 6418 1111 63 0 9230 0
vsize: 37172
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 6754 0 0 0 22987 15 0 0 25 0 1 0 911992401 39043072 6674 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6674 1111 63 0 9469 0
vsize: 38128
[startup+240.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 7014 0 0 0 23986 16 0 0 25 0 1 0 911992401 40169472 6934 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9807 6934 1111 63 0 9744 0
vsize: 39228
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 7271 0 0 0 24986 16 0 0 25 0 1 0 911992401 41156608 7191 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7191 1111 63 0 9985 0
vsize: 40192
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 7532 0 0 0 25986 16 0 0 25 0 1 0 911992401 42283008 7452 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10323 7452 1111 63 0 10260 0
vsize: 41292
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 7793 0 0 0 26985 17 0 0 25 0 1 0 911992401 43270144 7713 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7713 1111 63 0 10501 0
vsize: 42256
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 8057 0 0 0 27986 17 0 0 25 0 1 0 911992401 44396544 7977 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10839 7977 1111 63 0 10776 0
vsize: 43356
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 8318 0 0 0 28985 17 0 0 25 0 1 0 911992401 45522944 8238 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8238 1111 63 0 11051 0
vsize: 44456
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 8580 0 0 0 29985 17 0 0 25 0 1 0 911992401 46510080 8500 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11355 8500 1111 63 0 11292 0
vsize: 45420
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 8843 0 0 0 30985 18 0 0 25 0 1 0 911992401 47636480 8763 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11630 8763 1111 63 0 11567 0
vsize: 46520
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 9103 0 0 0 31985 18 0 0 25 0 1 0 911992401 48615424 9023 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 9023 1111 63 0 11806 0
vsize: 47476
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 9365 0 0 0 32985 19 0 0 25 0 1 0 911992401 49741824 9285 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12144 9285 1111 63 0 12081 0
vsize: 48576
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 9628 0 0 0 33984 19 0 0 25 0 1 0 911992401 50868224 9548 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12419 9548 1111 63 0 12356 0
vsize: 49676
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 9890 0 0 0 34984 20 0 0 25 0 1 0 911992401 51859456 9810 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 9810 1111 63 0 12598 0
vsize: 50644
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 10159 0 0 0 35984 20 0 0 25 0 1 0 911992401 52985856 10079 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12936 10079 1111 63 0 12873 0
vsize: 51744
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 10421 0 0 0 36984 21 0 0 25 0 1 0 911992401 54112256 10341 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13211 10341 1111 63 0 13148 0
vsize: 52844
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 10690 0 0 0 37984 21 0 0 25 0 1 0 911992401 55095296 10610 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13451 10610 1111 63 0 13388 0
vsize: 53804
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 10953 0 0 0 38983 21 0 0 25 0 1 0 911992401 56225792 10873 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13727 10873 1111 63 0 13664 0
vsize: 54908
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 11221 0 0 0 39983 22 0 0 25 0 1 0 911992401 57352192 11141 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14002 11141 1111 63 0 13939 0
vsize: 56008
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 11489 0 0 0 40983 22 0 0 25 0 1 0 911992401 58478592 11409 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14277 11409 1111 63 0 14214 0
vsize: 57108
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 11757 0 0 0 41982 23 0 0 25 0 1 0 911992401 59457536 11677 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14516 11677 1111 63 0 14453 0
vsize: 58064
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 12042 0 0 0 42982 23 0 0 25 0 1 0 911992401 60809216 11962 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14846 11962 1111 63 0 14783 0
vsize: 59384
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 12310 0 0 0 43982 24 0 0 25 0 1 0 911992401 61931520 12230 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15120 12230 1111 63 0 15057 0
vsize: 60480
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 12580 0 0 0 44982 24 0 0 25 0 1 0 911992401 63057920 12500 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15395 12500 1111 63 0 15332 0
vsize: 61580
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 12849 0 0 0 45981 24 0 0 25 0 1 0 911992401 64045056 12769 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15636 12769 1111 63 0 15573 0
vsize: 62544
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 13118 0 0 0 46981 25 0 0 25 0 1 0 911992401 65171456 13038 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15911 13038 1111 63 0 15848 0
vsize: 63644
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 13394 0 0 0 47981 25 0 0 25 0 1 0 911992401 66297856 13314 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16186 13314 1111 63 0 16123 0
vsize: 64744
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 13663 0 0 0 48981 26 0 0 25 0 1 0 911992401 67428352 13583 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16462 13583 1111 63 0 16399 0
vsize: 65848
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 13932 0 0 0 49980 26 0 0 25 0 1 0 911992401 68554752 13852 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16737 13852 1111 63 0 16674 0
vsize: 66948
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 14208 0 0 0 50980 27 0 0 25 0 1 0 911992401 69681152 14128 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17012 14128 1111 63 0 16949 0
vsize: 68048
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 14484 0 0 0 51979 28 0 0 25 0 1 0 911992401 70807552 14404 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17287 14404 1111 63 0 17224 0
vsize: 69148
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 14753 0 0 0 52979 28 0 0 25 0 1 0 911992401 71933952 14673 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17562 14673 1111 63 0 17499 0
vsize: 70248
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 15028 0 0 0 53979 29 0 0 25 0 1 0 911992401 73060352 14948 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17837 14948 1111 63 0 17774 0
vsize: 71348
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 15305 0 0 0 54978 29 0 0 25 0 1 0 911992401 74186752 15225 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18112 15225 1111 63 0 18049 0
vsize: 72448
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 15579 0 0 0 55978 30 0 0 25 0 1 0 911992401 75309056 15499 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18386 15499 1111 63 0 18323 0
vsize: 73544
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 15855 0 0 0 56978 30 0 0 25 0 1 0 911992401 76435456 15775 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18661 15775 1111 63 0 18598 0
vsize: 74644
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 16138 0 0 0 57977 31 0 0 25 0 1 0 911992401 77561856 16058 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18936 16058 1111 63 0 18873 0
vsize: 75744
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 16413 0 0 0 58977 31 0 0 25 0 1 0 911992401 78688256 16333 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19211 16333 1111 63 0 19148 0
vsize: 76844
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 16689 0 0 0 59977 32 0 0 25 0 1 0 911992401 79814656 16609 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19486 16609 1111 63 0 19423 0
vsize: 77944
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 16966 0 0 0 60976 33 0 0 25 0 1 0 911992401 80941056 16886 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19761 16886 1111 63 0 19698 0
vsize: 79044
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 17247 0 0 0 61976 33 0 0 25 0 1 0 911992401 82067456 17167 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20036 17167 1111 63 0 19973 0
vsize: 80144
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 17531 0 0 0 62976 33 0 0 25 0 1 0 911992401 83193856 17451 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20311 17451 1111 63 0 20248 0
vsize: 81244
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 17807 0 0 0 63976 34 0 0 25 0 1 0 911992401 84324352 17727 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20587 17727 1111 63 0 20524 0
vsize: 82348
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 18096 0 0 0 64975 34 0 0 25 0 1 0 911992401 85590016 18016 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20896 18016 1111 63 0 20833 0
vsize: 83584
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 18372 0 0 0 65975 35 0 0 25 0 1 0 911992401 86716416 18292 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21171 18292 1111 63 0 21108 0
vsize: 84684
[startup+670.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 18654 0 0 0 66975 35 0 0 25 0 1 0 911992401 87842816 18574 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21446 18574 1111 63 0 21383 0
vsize: 85784
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 18938 0 0 0 67975 36 0 0 25 0 1 0 911992401 88969216 18858 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21721 18858 1111 63 0 21658 0
vsize: 86884
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 19227 0 0 0 68974 37 0 0 25 0 1 0 911992401 90095616 19147 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21996 19147 1111 63 0 21933 0
vsize: 87984
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 19510 0 0 0 69973 37 0 0 25 0 1 0 911992401 91365376 19430 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22306 19430 1111 63 0 22243 0
vsize: 89224
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 19793 0 0 0 70973 37 0 0 25 0 1 0 911992401 92491776 19713 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22581 19713 1111 63 0 22518 0
vsize: 90324
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 20081 0 0 0 71973 38 0 0 25 0 1 0 911992401 93618176 20001 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22856 20001 1111 63 0 22793 0
vsize: 91424
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 20372 0 0 0 72973 38 0 0 25 0 1 0 911992401 94883840 20292 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23165 20292 1111 63 0 23102 0
vsize: 92660
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 20654 0 0 0 73972 39 0 0 25 0 1 0 911992401 96010240 20574 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23440 20574 1111 63 0 23377 0
vsize: 93760
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 20945 0 0 0 74972 40 0 0 25 0 1 0 911992401 97136640 20865 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23715 20865 1111 63 0 23652 0
vsize: 94860
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 21234 0 0 0 75971 40 0 0 25 0 1 0 911992401 98402304 21154 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24024 21154 1111 63 0 23961 0
vsize: 96096
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 21523 0 0 0 76971 41 0 0 25 0 1 0 911992401 99532800 21443 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24300 21443 1111 63 0 24237 0
vsize: 97200
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 21814 0 0 0 77971 41 0 0 25 0 1 0 911992401 100659200 21734 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24575 21734 1111 63 0 24512 0
vsize: 98300
[startup+790.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 22109 0 0 0 78970 42 0 0 25 0 1 0 911992401 101924864 22029 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24884 22029 1111 63 0 24821 0
vsize: 99536
[startup+800.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 22399 0 0 0 79970 43 0 0 25 0 1 0 911992401 103051264 22319 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25159 22319 1111 63 0 25096 0
vsize: 100636
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 22694 0 0 0 80969 43 0 0 25 0 1 0 911992401 104316928 22614 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25468 22614 1111 63 0 25405 0
vsize: 101872
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 22990 0 0 0 81969 44 0 0 25 0 1 0 911992401 105582592 22910 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25777 22910 1111 63 0 25714 0
vsize: 103108
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 23319 0 0 0 82969 44 0 0 25 0 1 0 911992401 107073536 23239 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26141 23239 1111 63 0 26078 0
vsize: 104564
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 23616 0 0 0 83968 45 0 0 25 0 1 0 911992401 108339200 23536 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26450 23536 1111 63 0 26387 0
vsize: 105800
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 23912 0 0 0 84968 46 0 0 25 0 1 0 911992401 109604864 23832 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26759 23832 1111 63 0 26696 0
vsize: 107036
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 24208 0 0 0 85967 46 0 0 25 0 1 0 911992401 110731264 24128 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27034 24128 1111 63 0 26971 0
vsize: 108136
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 24512 0 0 0 86967 47 0 0 25 0 1 0 911992401 111996928 24432 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27343 24432 1111 63 0 27280 0
vsize: 109372
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 24808 0 0 0 87967 47 0 0 25 0 1 0 911992401 113266688 24728 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27653 24728 1111 63 0 27590 0
vsize: 110612
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 25105 0 0 0 88966 48 0 0 25 0 1 0 911992401 114393088 25025 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27928 25025 1111 63 0 27865 0
vsize: 111712
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 25408 0 0 0 89966 48 0 0 25 0 1 0 911992401 115658752 25328 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28237 25328 1111 63 0 28174 0
vsize: 112948
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 25712 0 0 0 90966 49 0 0 25 0 1 0 911992401 116928512 25632 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28547 25632 1111 63 0 28484 0
vsize: 114188
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 26015 0 0 0 91966 49 0 0 25 0 1 0 911992401 118194176 25935 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28856 25935 1111 63 0 28793 0
vsize: 115424
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 26317 0 0 0 92966 49 0 0 25 0 1 0 911992401 119320576 26237 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29131 26237 1111 63 0 29068 0
vsize: 116524
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 26622 0 0 0 93965 50 0 0 25 0 1 0 911992401 120586240 26542 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29440 26542 1111 63 0 29377 0
vsize: 117760
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 26924 0 0 0 94965 50 0 0 25 0 1 0 911992401 121851904 26844 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29749 26844 1111 63 0 29686 0
vsize: 118996
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 27229 0 0 0 95964 51 0 0 25 0 1 0 911992401 123121664 27149 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30059 27149 1111 63 0 29996 0
vsize: 120236
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 27532 0 0 0 96964 52 0 0 25 0 1 0 911992401 124387328 27452 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30368 27452 1111 63 0 30305 0
vsize: 121472
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 27835 0 0 0 97963 53 0 0 25 0 1 0 911992401 125513728 27755 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30643 27755 1111 63 0 30580 0
vsize: 122572
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 28145 0 0 0 98963 53 0 0 25 0 1 0 911992401 126783488 28065 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30953 28065 1111 63 0 30890 0
vsize: 123812
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 28455 0 0 0 99963 54 0 0 25 0 1 0 911992401 128049152 28375 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31262 28375 1111 63 0 31199 0
vsize: 125048
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 28766 0 0 0 100962 54 0 0 25 0 1 0 911992401 129314816 28686 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31571 28686 1111 63 0 31508 0
vsize: 126284
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 29075 0 0 0 101962 55 0 0 25 0 1 0 911992401 130580480 28995 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31880 28995 1111 63 0 31817 0
vsize: 127520
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 29386 0 0 0 102961 56 0 0 25 0 1 0 911992401 131850240 29306 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32190 29306 1111 63 0 32127 0
vsize: 128760
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 29696 0 0 0 103961 56 0 0 25 0 1 0 911992401 133115904 29616 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32499 29616 1111 63 0 32436 0
vsize: 129996
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 30012 0 0 0 104961 57 0 0 25 0 1 0 911992401 134520832 29932 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32842 29932 1111 63 0 32779 0
vsize: 131368
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 30322 0 0 0 105961 57 0 0 25 0 1 0 911992401 135790592 30242 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33152 30242 1111 63 0 33089 0
vsize: 132608
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 30635 0 0 0 106960 58 0 0 25 0 1 0 911992401 137060352 30555 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33462 30555 1111 63 0 33399 0
vsize: 133848
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 30951 0 0 0 107960 59 0 0 25 0 1 0 911992401 138330112 30871 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33772 30871 1111 63 0 33709 0
vsize: 135088
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 31261 0 0 0 108959 59 0 0 25 0 1 0 911992401 139595776 31181 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34081 31181 1111 63 0 34018 0
vsize: 136324
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 31578 0 0 0 109959 60 0 0 25 0 1 0 911992401 140865536 31498 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34391 31498 1111 63 0 34328 0
vsize: 137564
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 31895 0 0 0 110959 60 0 0 25 0 1 0 911992401 142131200 31815 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34700 31815 1111 63 0 34637 0
vsize: 138800
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 32213 0 0 0 111959 61 0 0 25 0 1 0 911992401 143396864 32133 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35009 32133 1111 63 0 34946 0
vsize: 140036
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 32529 0 0 0 112958 61 0 0 25 0 1 0 911992401 144805888 32449 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35353 32449 1111 63 0 35290 0
vsize: 141412
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 32847 0 0 0 113958 62 0 0 25 0 1 0 911992401 146071552 32767 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35662 32767 1111 63 0 35599 0
vsize: 142648
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 33163 0 0 0 114957 63 0 0 25 0 1 0 911992401 147337216 33083 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35971 33083 1111 63 0 35908 0
vsize: 143884
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 33488 0 0 0 115957 64 0 0 25 0 1 0 911992401 148602880 33408 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36280 33408 1111 63 0 36217 0
vsize: 145120
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 33804 0 0 0 116957 64 0 0 25 0 1 0 911992401 150011904 33724 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36624 33724 1111 63 0 36561 0
vsize: 146496
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 34121 0 0 0 117956 64 0 0 25 0 1 0 911992401 151277568 34041 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36933 34041 1111 63 0 36870 0
vsize: 147732
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 34439 0 0 0 118956 65 0 0 25 0 1 0 911992401 152543232 34359 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37242 34359 1111 63 0 37179 0
vsize: 148968
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) R 13943 20224 20223 0 -1 0 34764 0 0 0 119956 65 0 0 25 0 1 0 911992401 153812992 34684 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37552 34684 1111 63 0 37489 0
vsize: 150208
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13944
Raw data (stat): 13944 (bsolo_lpr_cuts-) Z 13943 20224 20223 0 -1 1036 34764 0 0 0 119956 71 0 0 25 0 1 0 911992401 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.11
CPU time (s): 1200.29
CPU user time (s): 1199.57
CPU system time (s): 0.71989
CPU usage (%): 100.014
Max. virtual memory (Kb): 150208
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####