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-n3703.opb
MD5SUM	15d69bc05970e4bbd20708cb8fb70185
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	104999
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	39166356584
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	39166356584
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.97585
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 41615

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 17:23:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29681 boxname=wulflinc2 idbench=1465 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  15d69bc05970e4bbd20708cb8fb70185  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n3703.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-n3703.opb
IDLAUNCH: 29681
/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:        877384 kB
Buffers:         15768 kB
Cached:         120220 kB
SwapCached:       1440 kB
Active:          34780 kB
Inactive:       103232 kB
HighTotal:      131008 kB
HighFree:        50288 kB
LowTotal:       903652 kB
LowFree:        827096 kB
SwapTotal:     2097136 kB
SwapFree:      2094656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            13612 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:43:03 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 29681 7 1200.3 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.92 0.97 0.91 1/54 31297
Raw data (stat): 31297 (runsolver) R 31296 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912047919 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 912047919 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1080 1111 63 0 3856 0
vsize: 15676
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 1407 0 0 0 1993 4 0 0 25 0 1 0 912047919 17178624 1327 4294967295 134512640 134716908 3221224560 3221222788 1077414395 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.0016 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 1657 0 0 0 2993 5 0 0 25 0 1 0 912047919 18178048 1577 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 1905 0 0 0 3993 5 0 0 25 0 1 0 912047919 19165184 1825 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.0063 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 2153 0 0 0 4993 6 0 0 25 0 1 0 912047919 20152320 2073 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.0067 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 2406 0 0 0 5993 6 0 0 25 0 1 0 912047919 21274624 2326 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2326 1111 63 0 5131 0
vsize: 20776
[startup+70.0063 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 2660 0 0 0 6992 6 0 0 25 0 1 0 912047919 22261760 2580 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2580 1111 63 0 5372 0
vsize: 21740
[startup+80.0071 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 2907 0 0 0 7992 7 0 0 25 0 1 0 912047919 23240704 2827 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2827 1111 63 0 5611 0
vsize: 22696
[startup+90.0067 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 3161 0 0 0 8992 7 0 0 25 0 1 0 912047919 24367104 3081 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 3081 1111 63 0 5886 0
vsize: 23796
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 3410 0 0 0 9991 8 0 0 25 0 1 0 912047919 25354240 3330 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6190 3330 1111 63 0 6127 0
vsize: 24760
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 3658 0 0 0 10991 8 0 0 25 0 1 0 912047919 26341376 3578 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3578 1111 63 0 6368 0
vsize: 25724
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 3920 0 0 0 11991 8 0 0 25 0 1 0 912047919 27488256 3840 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3840 1111 63 0 6648 0
vsize: 26844
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 4174 0 0 0 12991 9 0 0 25 0 1 0 912047919 28475392 4094 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6952 4094 1111 63 0 6889 0
vsize: 27808
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 4423 0 0 0 13990 10 0 0 25 0 1 0 912047919 29462528 4343 4294967295 134512640 134716908 3221224560 3221222788 1077414370 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 4677 0 0 0 14990 10 0 0 25 0 1 0 912047919 30584832 4597 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 4932 0 0 0 15990 10 0 0 25 0 1 0 912047919 31567872 4852 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 4852 1111 63 0 7644 0
vsize: 30828
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 5187 0 0 0 16990 11 0 0 25 0 1 0 912047919 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.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 5443 0 0 0 17989 11 0 0 25 0 1 0 912047919 33681408 5363 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8223 5363 1111 63 0 8160 0
vsize: 32892
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 5697 0 0 0 18989 12 0 0 25 0 1 0 912047919 34668544 5617 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 5952 0 0 0 19989 13 0 0 25 0 1 0 912047919 35794944 5872 4294967295 134512640 134716908 3221224560 3221222788 1077414435 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 6213 0 0 0 20988 13 0 0 25 0 1 0 912047919 36782080 6133 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6133 1111 63 0 8917 0
vsize: 35920
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 6478 0 0 0 21988 13 0 0 25 0 1 0 912047919 37920768 6398 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9258 6398 1111 63 0 9195 0
vsize: 37032
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 6732 0 0 0 22988 14 0 0 25 0 1 0 912047919 39043072 6652 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 6993 0 0 0 23988 14 0 0 25 0 1 0 912047919 40030208 6913 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6913 1111 63 0 9710 0
vsize: 39092
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 7249 0 0 0 24987 15 0 0 25 0 1 0 912047919 41156608 7169 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7169 1111 63 0 9985 0
vsize: 40192
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 7505 0 0 0 25987 15 0 0 25 0 1 0 912047919 42143744 7425 4294967295 134512640 134716908 3221224560 3221222788 1077414395 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 7766 0 0 0 26987 15 0 0 25 0 1 0 912047919 43270144 7686 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 8030 0 0 0 27987 16 0 0 25 0 1 0 912047919 44257280 7950 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10805 7950 1111 63 0 10742 0
vsize: 43220
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 8291 0 0 0 28987 16 0 0 25 0 1 0 912047919 45383680 8211 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11080 8211 1111 63 0 11017 0
vsize: 44320
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 8553 0 0 0 29986 17 0 0 25 0 1 0 912047919 46370816 8473 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 8473 1111 63 0 11258 0
vsize: 45284
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 8809 0 0 0 30986 17 0 0 25 0 1 0 912047919 47489024 8729 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11594 8729 1111 63 0 11531 0
vsize: 46376
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 9070 0 0 0 31986 17 0 0 25 0 1 0 912047919 48615424 8990 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 8995 1111 63 0 11806 0
vsize: 47476
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 9338 0 0 0 32986 18 0 0 25 0 1 0 912047919 49602560 9258 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12110 9258 1111 63 0 12047 0
vsize: 48440
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 9600 0 0 0 33985 18 0 0 25 0 1 0 912047919 50733056 9520 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12386 9520 1111 63 0 12323 0
vsize: 49544
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 9862 0 0 0 34985 19 0 0 25 0 1 0 912047919 51716096 9782 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 9782 1111 63 0 12563 0
vsize: 50504
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 10126 0 0 0 35985 19 0 0 25 0 1 0 912047919 52842496 10046 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12901 10046 1111 63 0 12838 0
vsize: 51604
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 10387 0 0 0 36985 19 0 0 25 0 1 0 912047919 53968896 10307 4294967295 134512640 134716908 3221224560 3221222788 1077414351 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 10656 0 0 0 37985 20 0 0 25 0 1 0 912047919 54960128 10576 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13418 10576 1111 63 0 13355 0
vsize: 53672
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 10919 0 0 0 38984 20 0 0 25 0 1 0 912047919 56086528 10839 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13693 10839 1111 63 0 13630 0
vsize: 54772
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 11187 0 0 0 39984 21 0 0 25 0 1 0 912047919 57212928 11107 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 11107 1111 63 0 13905 0
vsize: 55872
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 11447 0 0 0 40984 21 0 0 25 0 1 0 912047919 58191872 11367 4294967295 134512640 134716908 3221224560 3221223216 134527932 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 11715 0 0 0 41984 22 0 0 25 0 1 0 912047919 59318272 11635 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11635 1111 63 0 14419 0
vsize: 57928
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 12002 0 0 0 42983 22 0 0 25 0 1 0 912047919 60674048 11922 4294967295 134512640 134716908 3221224560 3221222788 1077414383 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 12269 0 0 0 43983 22 0 0 25 0 1 0 912047919 61792256 12189 4294967295 134512640 134716908 3221224560 3221223256 134533891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15086 12189 1111 63 0 15023 0
vsize: 60344
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 12538 0 0 0 44983 23 0 0 25 0 1 0 912047919 62779392 12458 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15327 12458 1111 63 0 15264 0
vsize: 61308
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 12808 0 0 0 45982 23 0 0 25 0 1 0 912047919 63905792 12728 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 12728 1111 63 0 15539 0
vsize: 62408
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 13077 0 0 0 46982 24 0 0 25 0 1 0 912047919 65032192 12997 4294967295 134512640 134716908 3221224560 3221222788 1077414345 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 13346 0 0 0 47982 24 0 0 25 0 1 0 912047919 66158592 13266 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 13266 1111 63 0 16089 0
vsize: 64608
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 13615 0 0 0 48982 25 0 0 25 0 1 0 912047919 67284992 13535 4294967295 134512640 134716908 3221224560 3221222788 1077414357 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 13891 0 0 0 49982 25 0 0 25 0 1 0 912047919 68411392 13811 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16702 13811 1111 63 0 16639 0
vsize: 66808
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 14160 0 0 0 50982 25 0 0 25 0 1 0 912047919 69398528 14080 4294967295 134512640 134716908 3221224560 3221222788 1077414345 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 14436 0 0 0 51981 26 0 0 25 0 1 0 912047919 70520832 14356 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17217 14356 1111 63 0 17154 0
vsize: 68868
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 14705 0 0 0 52981 26 0 0 25 0 1 0 912047919 71647232 14625 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17492 14625 1111 63 0 17429 0
vsize: 69968
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 14979 0 0 0 53981 27 0 0 25 0 1 0 912047919 72773632 14899 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 15255 0 0 0 54981 27 0 0 25 0 1 0 912047919 73900032 15175 4294967295 134512640 134716908 3221224560 3221222788 1077414349 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 15531 0 0 0 55981 27 0 0 25 0 1 0 912047919 75026432 15451 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18317 15451 1111 63 0 18254 0
vsize: 73268
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 15806 0 0 0 56981 28 0 0 25 0 1 0 912047919 76152832 15726 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18592 15726 1111 63 0 18529 0
vsize: 74368
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 16083 0 0 0 57980 28 0 0 25 0 1 0 912047919 77283328 16003 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18868 16003 1111 63 0 18805 0
vsize: 75472
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 16359 0 0 0 58980 29 0 0 25 0 1 0 912047919 78409728 16279 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19143 16279 1111 63 0 19080 0
vsize: 76572
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 16635 0 0 0 59980 29 0 0 25 0 1 0 912047919 79536128 16555 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19418 16555 1111 63 0 19355 0
vsize: 77672
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 16917 0 0 0 60980 29 0 0 25 0 1 0 912047919 80662528 16837 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19693 16837 1111 63 0 19630 0
vsize: 78772
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 17199 0 0 0 61980 30 0 0 25 0 1 0 912047919 81928192 17119 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20002 17119 1111 63 0 19939 0
vsize: 80008
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 17475 0 0 0 62979 30 0 0 25 0 1 0 912047919 83054592 17395 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 17395 1111 63 0 20214 0
vsize: 81108
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 17752 0 0 0 63979 31 0 0 25 0 1 0 912047919 84180992 17672 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20552 17672 1111 63 0 20489 0
vsize: 82208
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 18035 0 0 0 64979 31 0 0 25 0 1 0 912047919 85307392 17955 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20827 17955 1111 63 0 20764 0
vsize: 83308
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 18318 0 0 0 65978 32 0 0 25 0 1 0 912047919 86433792 18238 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21102 18238 1111 63 0 21039 0
vsize: 84408
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 18599 0 0 0 66978 33 0 0 25 0 1 0 912047919 87560192 18519 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21377 18519 1111 63 0 21314 0
vsize: 85508
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 18883 0 0 0 67978 33 0 0 25 0 1 0 912047919 88686592 18803 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21652 18803 1111 63 0 21589 0
vsize: 86608
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 19165 0 0 0 68977 33 0 0 25 0 1 0 912047919 89956352 19085 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21962 19085 1111 63 0 21899 0
vsize: 87848
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 19448 0 0 0 69977 34 0 0 25 0 1 0 912047919 91082752 19368 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22237 19368 1111 63 0 22174 0
vsize: 88948
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 19738 0 0 0 70976 35 0 0 25 0 1 0 912047919 92209152 19658 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22512 19658 1111 63 0 22449 0
vsize: 90048
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 20020 0 0 0 71976 35 0 0 25 0 1 0 912047919 93331456 19940 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22786 19940 1111 63 0 22723 0
vsize: 91144
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 20304 0 0 0 72976 36 0 0 25 0 1 0 912047919 94601216 20224 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23096 20224 1111 63 0 23033 0
vsize: 92384
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 20593 0 0 0 73975 37 0 0 25 0 1 0 912047919 95723520 20513 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23370 20513 1111 63 0 23307 0
vsize: 93480
[startup+750.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 20881 0 0 0 74975 37 0 0 25 0 1 0 912047919 96849920 20801 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23645 20801 1111 63 0 23582 0
vsize: 94580
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 21164 0 0 0 75974 38 0 0 25 0 1 0 912047919 98119680 21084 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23955 21084 1111 63 0 23892 0
vsize: 95820
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 21453 0 0 0 76974 39 0 0 25 0 1 0 912047919 99246080 21373 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24230 21373 1111 63 0 24167 0
vsize: 96920
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 21743 0 0 0 77974 39 0 0 25 0 1 0 912047919 100372480 21663 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24505 21663 1111 63 0 24442 0
vsize: 98020
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 22032 0 0 0 78974 40 0 0 25 0 1 0 912047919 101638144 21952 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24814 21952 1111 63 0 24751 0
vsize: 99256
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 22322 0 0 0 79974 40 0 0 25 0 1 0 912047919 102764544 22242 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25089 22242 1111 63 0 25026 0
vsize: 100356
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 22611 0 0 0 80973 40 0 0 25 0 1 0 912047919 104030208 22531 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25398 22531 1111 63 0 25335 0
vsize: 101592
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 22906 0 0 0 81973 41 0 0 25 0 1 0 912047919 105160704 22826 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25674 22826 1111 63 0 25611 0
vsize: 102696
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 23229 0 0 0 82973 41 0 0 25 0 1 0 912047919 106786816 23149 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26071 23149 1111 63 0 26008 0
vsize: 104284
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 23518 0 0 0 83973 41 0 0 25 0 1 0 912047919 107913216 23438 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26346 23438 1111 63 0 26283 0
vsize: 105384
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 23815 0 0 0 84972 42 0 0 25 0 1 0 912047919 109178880 23735 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23735 1111 63 0 26592 0
vsize: 106620
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 24111 0 0 0 85972 42 0 0 25 0 1 0 912047919 110305280 24031 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26930 24031 1111 63 0 26867 0
vsize: 107720
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 24401 0 0 0 86972 43 0 0 25 0 1 0 912047919 111575040 24321 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27240 24321 1111 63 0 27177 0
vsize: 108960
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 24698 0 0 0 87971 44 0 0 25 0 1 0 912047919 112701440 24618 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 24618 1111 63 0 27452 0
vsize: 110060
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 24994 0 0 0 88971 44 0 0 25 0 1 0 912047919 113967104 24914 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 25297 0 0 0 89971 45 0 0 25 0 1 0 912047919 115232768 25217 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28133 25217 1111 63 0 28070 0
vsize: 112532
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 25587 0 0 0 90970 45 0 0 25 0 1 0 912047919 116359168 25507 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28408 25507 1111 63 0 28345 0
vsize: 113632
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 25891 0 0 0 91970 46 0 0 25 0 1 0 912047919 117624832 25811 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28717 25811 1111 63 0 28654 0
vsize: 114868
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 26193 0 0 0 92970 47 0 0 25 0 1 0 912047919 118894592 26113 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29027 26113 1111 63 0 28964 0
vsize: 116108
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 26497 0 0 0 93969 47 0 0 25 0 1 0 912047919 120160256 26417 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29336 26417 1111 63 0 29273 0
vsize: 117344
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 26801 0 0 0 94969 48 0 0 25 0 1 0 912047919 121286656 26721 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29611 26721 1111 63 0 29548 0
vsize: 118444
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 27105 0 0 0 95968 49 0 0 25 0 1 0 912047919 122556416 27025 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29921 27025 1111 63 0 29858 0
vsize: 119684
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 27415 0 0 0 96968 49 0 0 25 0 1 0 912047919 123826176 27335 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30231 27335 1111 63 0 30168 0
vsize: 120924
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 27724 0 0 0 97967 50 0 0 25 0 1 0 912047919 125095936 27644 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30541 27644 1111 63 0 30478 0
vsize: 122164
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 28036 0 0 0 98967 51 0 0 25 0 1 0 912047919 126361600 27956 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30850 27956 1111 63 0 30787 0
vsize: 123400
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 28345 0 0 0 99966 51 0 0 25 0 1 0 912047919 127627264 28265 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31159 28265 1111 63 0 31096 0
vsize: 124636
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 28657 0 0 0 100966 52 0 0 25 0 1 0 912047919 128892928 28577 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31468 28577 1111 63 0 31405 0
vsize: 125872
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 28966 0 0 0 101965 53 0 0 25 0 1 0 912047919 130162688 28886 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31778 28886 1111 63 0 31715 0
vsize: 127112
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 29284 0 0 0 102965 53 0 0 25 0 1 0 912047919 131428352 29204 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32087 29204 1111 63 0 32024 0
vsize: 128348
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 29600 0 0 0 103965 53 0 0 25 0 1 0 912047919 132833280 29520 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32430 29520 1111 63 0 32367 0
vsize: 129720
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 29909 0 0 0 104965 54 0 0 25 0 1 0 912047919 134103040 29829 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32740 29829 1111 63 0 32677 0
vsize: 130960
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 30220 0 0 0 105964 55 0 0 25 0 1 0 912047919 135368704 30140 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33049 30140 1111 63 0 32986 0
vsize: 132196
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 30536 0 0 0 106964 55 0 0 25 0 1 0 912047919 136638464 30456 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33359 30456 1111 63 0 33296 0
vsize: 133436
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 30854 0 0 0 107963 56 0 0 25 0 1 0 912047919 137904128 30774 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33668 30774 1111 63 0 33605 0
vsize: 134672
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 31169 0 0 0 108963 56 0 0 25 0 1 0 912047919 139169792 31089 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33977 31089 1111 63 0 33914 0
vsize: 135908
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 31488 0 0 0 109963 57 0 0 25 0 1 0 912047919 140435456 31408 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34286 31408 1111 63 0 34223 0
vsize: 137144
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 31805 0 0 0 110962 58 0 0 25 0 1 0 912047919 141848576 31725 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34631 31725 1111 63 0 34568 0
vsize: 138524
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 32123 0 0 0 111962 59 0 0 25 0 1 0 912047919 143118336 32043 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34941 32043 1111 63 0 34878 0
vsize: 139764
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 32440 0 0 0 112961 60 0 0 25 0 1 0 912047919 144384000 32360 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35250 32360 1111 63 0 35187 0
vsize: 141000
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 32758 0 0 0 113960 60 0 0 25 0 1 0 912047919 145649664 32678 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35559 32678 1111 63 0 35496 0
vsize: 142236
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 33081 0 0 0 114960 61 0 0 25 0 1 0 912047919 147058688 33001 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35903 33001 1111 63 0 35840 0
vsize: 143612
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 33405 0 0 0 115959 62 0 0 25 0 1 0 912047919 148324352 33325 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36212 33325 1111 63 0 36149 0
vsize: 144848
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 33723 0 0 0 116959 62 0 0 25 0 1 0 912047919 149590016 33643 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36521 33643 1111 63 0 36458 0
vsize: 146084
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 34045 0 0 0 117959 63 0 0 25 0 1 0 912047919 150999040 33965 4294967295 134512640 134716908 3221224560 3221223216 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36865 33965 1111 63 0 36802 0
vsize: 147460
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 34370 0 0 0 118958 64 0 0 25 0 1 0 912047919 152264704 34290 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37174 34290 1111 63 0 37111 0
vsize: 148696
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) R 31296 31399 31398 0 -1 0 34693 0 0 0 119958 64 0 0 25 0 1 0 912047919 153530368 34613 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37483 34613 1111 63 0 37420 0
vsize: 149932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 31297
Raw data (stat): 31297 (bsolo_lpr_cuts-) Z 31296 31399 31398 0 -1 1036 34693 0 0 0 119958 71 0 0 25 0 1 0 912047919 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.3
CPU user time (s): 1199.58
CPU system time (s): 0.712891
CPU usage (%): 100.016
Max. virtual memory (Kb): 149932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####