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-n3709.opb
MD5SUM	40c6760f4e05a9ceb06922f685226f97
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	39144954388
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	39144954388
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	1.00884
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 41621

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        868292 kB
Buffers:         17400 kB
Cached:         127428 kB
SwapCached:       1440 kB
Active:          34784 kB
Inactive:       112120 kB
HighTotal:      131008 kB
HighFree:        43036 kB
LowTotal:       903652 kB
LowFree:        825256 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13764 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:03:15 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 29687 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.84 0.94 0.90 1/54 31389
Raw data (stat): 31389 (runsolver) R 31388 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912169198 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.0011 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 1160 0 0 0 994 3 0 0 25 0 1 0 912169198 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0016 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 1406 0 0 0 1993 4 0 0 25 0 1 0 912169198 17178624 1326 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4194 1326 1111 63 0 4131 0
vsize: 16776
[startup+30.0013 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 1657 0 0 0 2992 4 0 0 25 0 1 0 912169198 18178048 1577 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1577 1111 63 0 4375 0
vsize: 17752
[startup+40.001 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 1905 0 0 0 3992 5 0 0 25 0 1 0 912169198 19165184 1825 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1825 1111 63 0 4616 0
vsize: 18716
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 2153 0 0 0 4992 6 0 0 25 0 1 0 912169198 20152320 2073 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2073 1111 63 0 4857 0
vsize: 19680
[startup+60.0014 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 2405 0 0 0 5991 6 0 0 25 0 1 0 912169198 21274624 2325 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2325 1111 63 0 5131 0
vsize: 20776
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 2653 0 0 0 6992 6 0 0 25 0 1 0 912169198 22261760 2573 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2573 1111 63 0 5372 0
vsize: 21740
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 2901 0 0 0 7991 7 0 0 25 0 1 0 912169198 23240704 2821 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2821 1111 63 0 5611 0
vsize: 22696
[startup+90.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 3155 0 0 0 8991 7 0 0 25 0 1 0 912169198 24227840 3075 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5915 3075 1111 63 0 5852 0
vsize: 23660
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 3409 0 0 0 9991 7 0 0 25 0 1 0 912169198 25354240 3329 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3329 1111 63 0 6127 0
vsize: 24760
[startup+110.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 3657 0 0 0 10991 8 0 0 25 0 1 0 912169198 26341376 3577 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3577 1111 63 0 6368 0
vsize: 25724
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 3913 0 0 0 11990 8 0 0 25 0 1 0 912169198 27348992 3833 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6677 3833 1111 63 0 6614 0
vsize: 26708
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 4167 0 0 0 12990 9 0 0 25 0 1 0 912169198 28475392 4087 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4087 1111 63 0 6889 0
vsize: 27808
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 4423 0 0 0 13990 9 0 0 25 0 1 0 912169198 29462528 4343 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7193 4343 1111 63 0 7130 0
vsize: 28772
[startup+150.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 4677 0 0 0 14989 10 0 0 25 0 1 0 912169198 30584832 4597 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4597 1111 63 0 7404 0
vsize: 29868
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 4931 0 0 0 15989 11 0 0 25 0 1 0 912169198 31567872 4851 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4851 1111 63 0 7644 0
vsize: 30828
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 5187 0 0 0 16989 11 0 0 25 0 1 0 912169198 32555008 5107 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 5107 1111 63 0 7885 0
vsize: 31792
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 5442 0 0 0 17988 12 0 0 25 0 1 0 912169198 33681408 5362 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 5362 1111 63 0 8160 0
vsize: 32892
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 5697 0 0 0 18988 12 0 0 25 0 1 0 912169198 34668544 5617 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 5617 1111 63 0 8401 0
vsize: 33856
[startup+200.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 5952 0 0 0 19988 13 0 0 25 0 1 0 912169198 35794944 5872 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5872 1111 63 0 8676 0
vsize: 34956
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 6206 0 0 0 20988 13 0 0 25 0 1 0 912169198 36782080 6126 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6126 1111 63 0 8917 0
vsize: 35920
[startup+220.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 6472 0 0 0 21988 13 0 0 25 0 1 0 912169198 37920768 6392 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6392 1111 63 0 9195 0
vsize: 37032
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 6732 0 0 0 22988 14 0 0 25 0 1 0 912169198 39043072 6652 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6652 1111 63 0 9469 0
vsize: 38128
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 6987 0 0 0 23987 15 0 0 25 0 1 0 912169198 40030208 6907 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6907 1111 63 0 9710 0
vsize: 39092
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 7243 0 0 0 24986 15 0 0 25 0 1 0 912169198 41017344 7163 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10014 7163 1111 63 0 9951 0
vsize: 40056
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 7505 0 0 0 25986 16 0 0 25 0 1 0 912169198 42143744 7425 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7425 1111 63 0 10226 0
vsize: 41156
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 7766 0 0 0 26986 16 0 0 25 0 1 0 912169198 43270144 7686 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7686 1111 63 0 10501 0
vsize: 42256
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 8029 0 0 0 27986 17 0 0 25 0 1 0 912169198 44257280 7949 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10805 7949 1111 63 0 10742 0
vsize: 43220
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 8284 0 0 0 28985 17 0 0 25 0 1 0 912169198 45383680 8204 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11080 8204 1111 63 0 11017 0
vsize: 44320
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 8547 0 0 0 29985 18 0 0 25 0 1 0 912169198 46370816 8467 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 8467 1111 63 0 11258 0
vsize: 45284
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 8808 0 0 0 30985 18 0 0 25 0 1 0 912169198 47489024 8728 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11594 8728 1111 63 0 11531 0
vsize: 46376
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 9069 0 0 0 31985 18 0 0 25 0 1 0 912169198 48476160 8989 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11835 8989 1111 63 0 11772 0
vsize: 47340
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 9331 0 0 0 32985 18 0 0 25 0 1 0 912169198 49602560 9251 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12110 9251 1111 63 0 12047 0
vsize: 48440
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 9594 0 0 0 33985 19 0 0 25 0 1 0 912169198 50733056 9514 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12386 9514 1111 63 0 12323 0
vsize: 49544
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 9856 0 0 0 34985 19 0 0 25 0 1 0 912169198 51716096 9776 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 9776 1111 63 0 12563 0
vsize: 50504
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 10125 0 0 0 35984 20 0 0 25 0 1 0 912169198 52842496 10045 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12901 10045 1111 63 0 12838 0
vsize: 51604
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 10387 0 0 0 36984 21 0 0 25 0 1 0 912169198 53968896 10307 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13176 10307 1111 63 0 13113 0
vsize: 52704
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 10650 0 0 0 37983 21 0 0 25 0 1 0 912169198 54960128 10570 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13418 10570 1111 63 0 13355 0
vsize: 53672
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 10918 0 0 0 38983 22 0 0 25 0 1 0 912169198 56086528 10838 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13693 10838 1111 63 0 13630 0
vsize: 54772
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 11180 0 0 0 39982 23 0 0 25 0 1 0 912169198 57212928 11100 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 11100 1111 63 0 13905 0
vsize: 55872
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 11447 0 0 0 40982 23 0 0 25 0 1 0 912169198 58191872 11367 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14207 11367 1111 63 0 14144 0
vsize: 56828
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 11709 0 0 0 41982 24 0 0 25 0 1 0 912169198 59318272 11629 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11629 1111 63 0 14419 0
vsize: 57928
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 12002 0 0 0 42981 24 0 0 25 0 1 0 912169198 60674048 11922 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14813 11922 1111 63 0 14750 0
vsize: 59252
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 12263 0 0 0 43981 25 0 0 25 0 1 0 912169198 61652992 12183 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15052 12183 1111 63 0 14989 0
vsize: 60208
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 12532 0 0 0 44981 26 0 0 25 0 1 0 912169198 62779392 12452 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15327 12452 1111 63 0 15264 0
vsize: 61308
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 12801 0 0 0 45980 26 0 0 25 0 1 0 912169198 63905792 12721 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 12721 1111 63 0 15539 0
vsize: 62408
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 13077 0 0 0 46980 26 0 0 25 0 1 0 912169198 65032192 12997 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15877 12997 1111 63 0 15814 0
vsize: 63508
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 13339 0 0 0 47980 27 0 0 25 0 1 0 912169198 66158592 13259 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 13259 1111 63 0 16089 0
vsize: 64608
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 13615 0 0 0 48980 27 0 0 25 0 1 0 912169198 67284992 13535 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16427 13535 1111 63 0 16364 0
vsize: 65708
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 13884 0 0 0 49980 28 0 0 25 0 1 0 912169198 68272128 13804 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16668 13804 1111 63 0 16605 0
vsize: 66672
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 14160 0 0 0 50980 28 0 0 25 0 1 0 912169198 69398528 14080 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16943 14080 1111 63 0 16880 0
vsize: 67772
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 14429 0 0 0 51980 28 0 0 25 0 1 0 912169198 70520832 14349 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17217 14349 1111 63 0 17154 0
vsize: 68868
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 14703 0 0 0 52979 29 0 0 25 0 1 0 912169198 71647232 14623 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17492 14623 1111 63 0 17429 0
vsize: 69968
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 14979 0 0 0 53978 30 0 0 25 0 1 0 912169198 72773632 14899 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 14899 1111 63 0 17704 0
vsize: 71068
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 15255 0 0 0 54978 30 0 0 25 0 1 0 912169198 73900032 15175 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 15175 1111 63 0 17979 0
vsize: 72168
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 15525 0 0 0 55978 30 0 0 25 0 1 0 912169198 75026432 15445 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18317 15445 1111 63 0 18254 0
vsize: 73268
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 15800 0 0 0 56979 30 0 0 25 0 1 0 912169198 76152832 15720 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18592 15720 1111 63 0 18529 0
vsize: 74368
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 16076 0 0 0 57978 31 0 0 25 0 1 0 912169198 77283328 15996 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18868 15996 1111 63 0 18805 0
vsize: 75472
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 16352 0 0 0 58978 31 0 0 25 0 1 0 912169198 78409728 16272 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19143 16272 1111 63 0 19080 0
vsize: 76572
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 16634 0 0 0 59977 32 0 0 25 0 1 0 912169198 79536128 16554 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19418 16554 1111 63 0 19355 0
vsize: 77672
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 16911 0 0 0 60977 33 0 0 25 0 1 0 912169198 80662528 16831 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19693 16831 1111 63 0 19630 0
vsize: 78772
[startup+620.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 17186 0 0 0 61976 33 0 0 25 0 1 0 912169198 81788928 17106 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19968 17106 1111 63 0 19905 0
vsize: 79872
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 17469 0 0 0 62976 34 0 0 25 0 1 0 912169198 82915328 17389 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20243 17389 1111 63 0 20180 0
vsize: 80972
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 17751 0 0 0 63976 35 0 0 25 0 1 0 912169198 84180992 17671 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 17671 1111 63 0 20489 0
vsize: 82208
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 18028 0 0 0 64975 35 0 0 25 0 1 0 912169198 85307392 17948 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20827 17948 1111 63 0 20764 0
vsize: 83308
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 18311 0 0 0 65975 36 0 0 25 0 1 0 912169198 86433792 18231 4294967295 134512640 134716908 3221224560 3221222648 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21102 18231 1111 63 0 21039 0
vsize: 84408
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 18592 0 0 0 66974 37 0 0 25 0 1 0 912169198 87560192 18512 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21377 18512 1111 63 0 21314 0
vsize: 85508
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 18876 0 0 0 67974 37 0 0 25 0 1 0 912169198 88686592 18796 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21652 18796 1111 63 0 21589 0
vsize: 86608
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 19158 0 0 0 68974 38 0 0 25 0 1 0 912169198 89817088 19078 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21928 19078 1111 63 0 21865 0
vsize: 87712
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 19441 0 0 0 69973 39 0 0 25 0 1 0 912169198 91082752 19361 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22237 19361 1111 63 0 22174 0
vsize: 88948
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 19725 0 0 0 70973 39 0 0 25 0 1 0 912169198 92209152 19645 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22512 19645 1111 63 0 22449 0
vsize: 90048
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 20013 0 0 0 71973 39 0 0 25 0 1 0 912169198 93331456 19933 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22786 19933 1111 63 0 22723 0
vsize: 91144
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 20297 0 0 0 72973 40 0 0 25 0 1 0 912169198 94457856 20217 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23061 20217 1111 63 0 22998 0
vsize: 92244
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 20584 0 0 0 73972 40 0 0 25 0 1 0 912169198 95723520 20504 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23370 20504 1111 63 0 23307 0
vsize: 93480
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 20868 0 0 0 74972 41 0 0 25 0 1 0 912169198 96849920 20788 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23645 20788 1111 63 0 23582 0
vsize: 94580
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 21157 0 0 0 75972 41 0 0 25 0 1 0 912169198 97976320 21077 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23920 21077 1111 63 0 23857 0
vsize: 95680
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 21446 0 0 0 76971 42 0 0 25 0 1 0 912169198 99246080 21366 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24230 21366 1111 63 0 24167 0
vsize: 96920
[startup+780.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 21736 0 0 0 77971 42 0 0 25 0 1 0 912169198 100372480 21656 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24505 21656 1111 63 0 24442 0
vsize: 98020
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 22025 0 0 0 78971 42 0 0 25 0 1 0 912169198 101638144 21945 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24814 21945 1111 63 0 24751 0
vsize: 99256
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 22315 0 0 0 79971 43 0 0 25 0 1 0 912169198 102764544 22235 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25089 22235 1111 63 0 25026 0
vsize: 100356
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 22604 0 0 0 80971 43 0 0 25 0 1 0 912169198 103890944 22524 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25364 22524 1111 63 0 25301 0
vsize: 101456
[startup+820.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 22893 0 0 0 81971 44 0 0 25 0 1 0 912169198 105160704 22813 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25674 22813 1111 63 0 25611 0
vsize: 102696
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 23216 0 0 0 82971 44 0 0 25 0 1 0 912169198 106643456 23136 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26036 23136 1111 63 0 25973 0
vsize: 104144
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 23511 0 0 0 83970 45 0 0 25 0 1 0 912169198 107913216 23431 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26346 23431 1111 63 0 26283 0
vsize: 105384
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 23808 0 0 0 84970 45 0 0 25 0 1 0 912169198 109178880 23728 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23728 1111 63 0 26592 0
vsize: 106620
[startup+860.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 24098 0 0 0 85969 46 0 0 25 0 1 0 912169198 110305280 24018 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26930 24018 1111 63 0 26867 0
vsize: 107720
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 24400 0 0 0 86969 46 0 0 25 0 1 0 912169198 111575040 24320 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27240 24320 1111 63 0 27177 0
vsize: 108960
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 24691 0 0 0 87969 46 0 0 25 0 1 0 912169198 112701440 24611 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 24611 1111 63 0 27452 0
vsize: 110060
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 24994 0 0 0 88969 47 0 0 25 0 1 0 912169198 113967104 24914 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24914 1111 63 0 27761 0
vsize: 111296
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 25284 0 0 0 89969 47 0 0 25 0 1 0 912169198 115093504 25204 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28099 25204 1111 63 0 28036 0
vsize: 112396
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 25586 0 0 0 90968 48 0 0 25 0 1 0 912169198 116359168 25506 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28408 25506 1111 63 0 28345 0
vsize: 113632
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 25890 0 0 0 91968 48 0 0 25 0 1 0 912169198 117624832 25810 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28717 25810 1111 63 0 28654 0
vsize: 114868
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 26186 0 0 0 92968 49 0 0 25 0 1 0 912169198 118894592 26106 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29027 26106 1111 63 0 28964 0
vsize: 116108
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 26483 0 0 0 93968 49 0 0 25 0 1 0 912169198 120020992 26403 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29302 26403 1111 63 0 29239 0
vsize: 117208
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 26787 0 0 0 94967 50 0 0 25 0 1 0 912169198 121286656 26707 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29611 26707 1111 63 0 29548 0
vsize: 118444
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 27089 0 0 0 95967 50 0 0 25 0 1 0 912169198 122556416 27009 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29921 27009 1111 63 0 29858 0
vsize: 119684
[startup+970.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 27395 0 0 0 96967 51 0 0 25 0 1 0 912169198 123826176 27315 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30231 27315 1111 63 0 30168 0
vsize: 120924
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 27697 0 0 0 97967 51 0 0 25 0 1 0 912169198 124948480 27617 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30505 27617 1111 63 0 30442 0
vsize: 122020
[startup+990.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 28002 0 0 0 98966 52 0 0 25 0 1 0 912169198 126222336 27922 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30816 27922 1111 63 0 30753 0
vsize: 123264
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31389
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 28304 0 0 0 99966 52 0 0 25 0 1 0 912169198 127488000 28224 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31125 28224 1111 63 0 31062 0
vsize: 124500
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 31390
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 28609 0 0 0 100965 53 0 0 25 0 1 0 912169198 128753664 28529 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31434 28529 1111 63 0 31371 0
vsize: 125736
[startup+1020.04 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 31445
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 28918 0 0 0 101962 56 0 0 25 0 1 0 912169198 130019328 28838 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31743 28838 1111 63 0 31680 0
vsize: 126972
[startup+1030.04 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 31445
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 29215 0 0 0 102961 57 0 0 25 0 1 0 912169198 131145728 29135 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32018 29135 1111 63 0 31955 0
vsize: 128072
[startup+1040.04 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 31445
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 29518 0 0 0 103961 57 0 0 25 0 1 0 912169198 132415488 29438 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32328 29438 1111 63 0 32265 0
vsize: 129312
[startup+1050.05 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 31445
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 29821 0 0 0 104961 57 0 0 25 0 1 0 912169198 133681152 29741 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32637 29741 1111 63 0 32574 0
vsize: 130548
[startup+1060.05 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 31445
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 30130 0 0 0 105960 58 0 0 25 0 1 0 912169198 134950912 30050 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32947 30050 1111 63 0 32884 0
vsize: 131788
[startup+1070.05 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 31445
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 30433 0 0 0 106960 59 0 0 25 0 1 0 912169198 136216576 30353 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33256 30353 1111 63 0 33193 0
vsize: 133024
[startup+1080.05 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 31445
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 30744 0 0 0 107960 59 0 0 25 0 1 0 912169198 137482240 30664 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33565 30664 1111 63 0 33502 0
vsize: 134260
[startup+1090.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 31047 0 0 0 108959 60 0 0 25 0 1 0 912169198 138747904 30967 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33874 30967 1111 63 0 33811 0
vsize: 135496
[startup+1100.05 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 31352 0 0 0 109959 61 0 0 25 0 1 0 912169198 139874304 31272 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34149 31272 1111 63 0 34086 0
vsize: 136596
[startup+1110.05 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 31661 0 0 0 110958 61 0 0 25 0 1 0 912169198 141144064 31581 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34459 31581 1111 63 0 34396 0
vsize: 137836
[startup+1120.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 31970 0 0 0 111959 61 0 0 25 0 1 0 912169198 142409728 31890 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34768 31890 1111 63 0 34705 0
vsize: 139072
[startup+1130.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 32275 0 0 0 112958 62 0 0 25 0 1 0 912169198 143679488 32195 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35078 32195 1111 63 0 35015 0
vsize: 140312
[startup+1140.05 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 32590 0 0 0 113958 62 0 0 25 0 1 0 912169198 144945152 32510 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35387 32510 1111 63 0 35324 0
vsize: 141548
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 32895 0 0 0 114957 63 0 0 25 0 1 0 912169198 146210816 32815 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35696 32815 1111 63 0 35633 0
vsize: 142784
[startup+1160.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 33211 0 0 0 115957 63 0 0 25 0 1 0 912169198 147476480 33131 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36005 33131 1111 63 0 35942 0
vsize: 144020
[startup+1170.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 33522 0 0 0 116957 64 0 0 25 0 1 0 912169198 148746240 33442 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36315 33442 1111 63 0 36252 0
vsize: 145260
[startup+1180.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 33832 0 0 0 117956 65 0 0 25 0 1 0 912169198 150011904 33752 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36624 33752 1111 63 0 36561 0
vsize: 146496
[startup+1190.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 34148 0 0 0 118956 65 0 0 25 0 1 0 912169198 151416832 34068 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36967 34068 1111 63 0 36904 0
vsize: 147868
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) R 31388 31399 31398 0 -1 0 34460 0 0 0 119956 66 0 0 25 0 1 0 912169198 152690688 34380 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37278 34380 1111 63 0 37215 0
vsize: 149112
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 31447
Raw data (stat): 31389 (bsolo_lpr_cuts-) Z 31388 31399 31398 0 -1 1036 34460 0 0 0 119956 72 0 0 25 0 1 0 912169198 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.12
CPU time (s): 1200.29
CPU user time (s): 1199.56
CPU system time (s): 0.725889
CPU usage (%): 100.015
Max. virtual memory (Kb): 149112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####