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-n3704.opb
MD5SUM	ff4950ed0b09d2cfc714de8611974ec9
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	39088316758
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	39088316758
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.98385
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 41616

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 17:26:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29682 boxname=wulflinc6 idbench=1466 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  ff4950ed0b09d2cfc714de8611974ec9  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3704.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-n3704.opb
IDLAUNCH: 29682
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        898260 kB
Buffers:          8132 kB
Cached:         106912 kB
SwapCached:        896 kB
Active:          36056 kB
Inactive:        80992 kB
HighTotal:      131008 kB
HighFree:        56112 kB
LowTotal:       903652 kB
LowFree:        842148 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4972 kB
Slab:            13496 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 17:47:02 (client local time) WITH STATUS 0 IN 1200.47 SECONDS
stats: 29682 7 1200.47 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 15056
Raw data (stat): 15056 (runsolver) R 15055 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912067220 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.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 1160 0 0 0 993 4 0 0 25 0 1 0 912067220 16052224 1080 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.0013 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 1406 0 0 0 1993 4 0 0 25 0 1 0 912067220 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.0014 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 1657 0 0 0 2992 4 0 0 25 0 1 0 912067220 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.0012 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 1905 0 0 0 3992 5 0 0 25 0 1 0 912067220 19165184 1825 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 2153 0 0 0 4992 5 0 0 25 0 1 0 912067220 20152320 2073 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.0018 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 2406 0 0 0 5992 6 0 0 25 0 1 0 912067220 21274624 2326 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 2654 0 0 0 6992 6 0 0 25 0 1 0 912067220 22261760 2574 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5435 2574 1111 63 0 5372 0
vsize: 21740
[startup+80.0021 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 2907 0 0 0 7992 6 0 0 25 0 1 0 912067220 23240704 2827 4294967295 134512640 134716908 3221224560 3221222788 1077414408 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.0023 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 3155 0 0 0 8992 7 0 0 25 0 1 0 912067220 24227840 3075 4294967295 134512640 134716908 3221224560 3221222788 1077414336 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.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 3409 0 0 0 9992 7 0 0 25 0 1 0 912067220 25354240 3329 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 3657 0 0 0 10992 7 0 0 25 0 1 0 912067220 26341376 3577 4294967295 134512640 134716908 3221224560 3221222788 1077414435 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.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 3919 0 0 0 11992 8 0 0 25 0 1 0 912067220 27488256 3839 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3839 1111 63 0 6648 0
vsize: 26844
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 4174 0 0 0 12992 9 0 0 25 0 1 0 912067220 28475392 4094 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 4423 0 0 0 13991 9 0 0 25 0 1 0 912067220 29462528 4343 4294967295 134512640 134716908 3221224560 3221222788 1077414345 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.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 4677 0 0 0 14991 9 0 0 25 0 1 0 912067220 30584832 4597 4294967295 134512640 134716908 3221224560 3221222788 1077414410 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.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 4931 0 0 0 15991 10 0 0 25 0 1 0 912067220 31567872 4851 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 5187 0 0 0 16991 10 0 0 25 0 1 0 912067220 32555008 5107 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 5443 0 0 0 17991 11 0 0 25 0 1 0 912067220 33681408 5363 4294967295 134512640 134716908 3221224560 3221222788 1077414401 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.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 5697 0 0 0 18991 11 0 0 25 0 1 0 912067220 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.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 5952 0 0 0 19990 12 0 0 25 0 1 0 912067220 35794944 5872 4294967295 134512640 134716908 3221224560 3221222788 1077414410 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.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 6207 0 0 0 20990 13 0 0 25 0 1 0 912067220 36782080 6127 4294967295 134512640 134716908 3221224560 3221222896 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8980 6127 1111 63 0 8917 0
vsize: 35920
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 6472 0 0 0 21990 14 0 0 25 0 1 0 912067220 37920768 6392 4294967295 134512640 134716908 3221224560 3221222788 1077414383 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.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 6732 0 0 0 22990 14 0 0 25 0 1 0 912067220 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.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 6987 0 0 0 23989 15 0 0 25 0 1 0 912067220 40030208 6907 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 7249 0 0 0 24989 15 0 0 25 0 1 0 912067220 41156608 7169 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 7505 0 0 0 25989 15 0 0 25 0 1 0 912067220 42143744 7425 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 7766 0 0 0 26989 16 0 0 25 0 1 0 912067220 43270144 7686 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 8029 0 0 0 27989 16 0 0 25 0 1 0 912067220 44257280 7949 4294967295 134512640 134716908 3221224560 3221223216 134527946 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 8291 0 0 0 28989 17 0 0 25 0 1 0 912067220 45383680 8211 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 8547 0 0 0 29989 18 0 0 25 0 1 0 912067220 46370816 8467 4294967295 134512640 134716908 3221224560 3221222788 1077414433 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.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 8809 0 0 0 30988 19 0 0 25 0 1 0 912067220 47489024 8729 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 9069 0 0 0 31988 19 0 0 25 0 1 0 912067220 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 9332 0 0 0 32988 19 0 0 25 0 1 0 912067220 49602560 9252 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12110 9252 1111 63 0 12047 0
vsize: 48440
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 9594 0 0 0 33988 20 0 0 25 0 1 0 912067220 50733056 9514 4294967295 134512640 134716908 3221224560 3221222788 1077414426 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 9862 0 0 0 34988 20 0 0 25 0 1 0 912067220 51716096 9782 4294967295 134512640 134716908 3221224560 3221223216 134527932 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 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 10125 0 0 0 35988 20 0 0 25 0 1 0 912067220 52842496 10045 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 10387 0 0 0 36988 21 0 0 25 0 1 0 912067220 53968896 10307 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 10650 0 0 0 37988 22 0 0 25 0 1 0 912067220 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.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 10919 0 0 0 38987 22 0 0 25 0 1 0 912067220 56086528 10839 4294967295 134512640 134716908 3221224560 3221222788 1077414401 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 11187 0 0 0 39987 23 0 0 25 0 1 0 912067220 57212928 11107 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 11447 0 0 0 40987 23 0 0 25 0 1 0 912067220 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 11715 0 0 0 41987 24 0 0 25 0 1 0 912067220 59318272 11635 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 12002 0 0 0 42987 24 0 0 25 0 1 0 912067220 60674048 11922 4294967295 134512640 134716908 3221224560 3221223216 134527948 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 12269 0 0 0 43987 25 0 0 25 0 1 0 912067220 61792256 12189 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 12538 0 0 0 44986 25 0 0 25 0 1 0 912067220 62779392 12458 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 12802 0 0 0 45986 26 0 0 25 0 1 0 912067220 63905792 12722 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 12722 1111 63 0 15539 0
vsize: 62408
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 13077 0 0 0 46986 27 0 0 25 0 1 0 912067220 65032192 12997 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 13345 0 0 0 47986 27 0 0 25 0 1 0 912067220 66158592 13265 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 13265 1111 63 0 16089 0
vsize: 64608
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 13615 0 0 0 48986 27 0 0 25 0 1 0 912067220 67284992 13535 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 13890 0 0 0 49986 28 0 0 25 0 1 0 912067220 68411392 13810 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16702 13810 1111 63 0 16639 0
vsize: 66808
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 14160 0 0 0 50986 28 0 0 25 0 1 0 912067220 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 14429 0 0 0 51985 29 0 0 25 0 1 0 912067220 70520832 14349 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 14703 0 0 0 52985 29 0 0 25 0 1 0 912067220 71647232 14623 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 14979 0 0 0 53985 30 0 0 25 0 1 0 912067220 72773632 14899 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 15255 0 0 0 54985 30 0 0 25 0 1 0 912067220 73900032 15175 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 15525 0 0 0 55985 30 0 0 25 0 1 0 912067220 75026432 15445 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 15800 0 0 0 56985 31 0 0 25 0 1 0 912067220 76152832 15720 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 16076 0 0 0 57985 32 0 0 25 0 1 0 912067220 77283328 15996 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 16358 0 0 0 58985 32 0 0 25 0 1 0 912067220 78409728 16278 4294967295 134512640 134716908 3221224560 3221222912 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19143 16278 1111 63 0 19080 0
vsize: 76572
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 16634 0 0 0 59985 33 0 0 25 0 1 0 912067220 79536128 16554 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 16911 0 0 0 60984 33 0 0 25 0 1 0 912067220 80662528 16831 4294967295 134512640 134716908 3221224560 3221222788 1077414351 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 17186 0 0 0 61984 34 0 0 25 0 1 0 912067220 81788928 17106 4294967295 134512640 134716908 3221224560 3221222788 1077414383 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 17469 0 0 0 62984 34 0 0 25 0 1 0 912067220 82915328 17389 4294967295 134512640 134716908 3221224560 3221222788 1077414345 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 17751 0 0 0 63983 35 0 0 25 0 1 0 912067220 84180992 17671 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 18028 0 0 0 64983 36 0 0 25 0 1 0 912067220 85307392 17948 4294967295 134512640 134716908 3221224560 3221223216 134527932 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 18311 0 0 0 65983 36 0 0 25 0 1 0 912067220 86433792 18231 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 18593 0 0 0 66983 37 0 0 25 0 1 0 912067220 87560192 18513 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21377 18513 1111 63 0 21314 0
vsize: 85508
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 18876 0 0 0 67983 37 0 0 25 0 1 0 912067220 88686592 18796 4294967295 134512640 134716908 3221224560 3221222788 1077414395 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 19158 0 0 0 68982 38 0 0 25 0 1 0 912067220 89817088 19078 4294967295 134512640 134716908 3221224560 3221222788 1077414401 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.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 19442 0 0 0 69982 39 0 0 25 0 1 0 912067220 91082752 19362 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22237 19362 1111 63 0 22174 0
vsize: 88948
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 19725 0 0 0 70982 39 0 0 25 0 1 0 912067220 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 20013 0 0 0 71982 39 0 0 25 0 1 0 912067220 93331456 19933 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 20297 0 0 0 72983 39 0 0 25 0 1 0 912067220 94457856 20217 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 20584 0 0 0 73982 40 0 0 25 0 1 0 912067220 95723520 20504 4294967295 134512640 134716908 3221224560 3221222788 1077414435 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 20868 0 0 0 74982 40 0 0 25 0 1 0 912067220 96849920 20788 4294967295 134512640 134716908 3221224560 3221222788 1077414388 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 21157 0 0 0 75982 41 0 0 25 0 1 0 912067220 97976320 21077 4294967295 134512640 134716908 3221224560 3221223216 134527946 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.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 21446 0 0 0 76981 42 0 0 25 0 1 0 912067220 99246080 21366 4294967295 134512640 134716908 3221224560 3221223216 134527946 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 21736 0 0 0 77981 43 0 0 25 0 1 0 912067220 100372480 21656 4294967295 134512640 134716908 3221224560 3221222788 1077414420 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 22025 0 0 0 78981 43 0 0 25 0 1 0 912067220 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 22315 0 0 0 79981 44 0 0 25 0 1 0 912067220 102764544 22235 4294967295 134512640 134716908 3221224560 3221222788 1077414338 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.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 22604 0 0 0 80981 44 0 0 25 0 1 0 912067220 103890944 22524 4294967295 134512640 134716908 3221224560 3221222788 1077414349 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 22893 0 0 0 81980 45 0 0 25 0 1 0 912067220 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.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 23222 0 0 0 82980 45 0 0 25 0 1 0 912067220 106786816 23142 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26071 23142 1111 63 0 26008 0
vsize: 104284
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 23517 0 0 0 83980 46 0 0 25 0 1 0 912067220 107913216 23437 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26346 23437 1111 63 0 26283 0
vsize: 105384
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 23809 0 0 0 84980 47 0 0 25 0 1 0 912067220 109178880 23729 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23729 1111 63 0 26592 0
vsize: 106620
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 24104 0 0 0 85979 47 0 0 25 0 1 0 912067220 110305280 24024 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26930 24024 1111 63 0 26867 0
vsize: 107720
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 24401 0 0 0 86978 48 0 0 25 0 1 0 912067220 111575040 24321 4294967295 134512640 134716908 3221224560 3221223216 134527932 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.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 24697 0 0 0 87978 49 0 0 25 0 1 0 912067220 112701440 24617 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 24617 1111 63 0 27452 0
vsize: 110060
[startup+890.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 24994 0 0 0 88978 49 0 0 25 0 1 0 912067220 113967104 24914 4294967295 134512640 134716908 3221224560 3221223216 134527946 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.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 25291 0 0 0 89978 50 0 0 25 0 1 0 912067220 115232768 25211 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28133 25211 1111 63 0 28070 0
vsize: 112532
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 25587 0 0 0 90978 50 0 0 25 0 1 0 912067220 116359168 25507 4294967295 134512640 134716908 3221224560 3221222788 1077414410 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 25891 0 0 0 91978 51 0 0 25 0 1 0 912067220 117624832 25811 4294967295 134512640 134716908 3221224560 3221223216 134527932 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 26193 0 0 0 92977 52 0 0 25 0 1 0 912067220 118894592 26113 4294967295 134512640 134716908 3221224560 3221222788 1077414433 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 26497 0 0 0 93977 53 0 0 25 0 1 0 912067220 120160256 26417 4294967295 134512640 134716908 3221224560 3221222788 1077414363 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.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 26793 0 0 0 94976 53 0 0 25 0 1 0 912067220 121286656 26713 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29611 26713 1111 63 0 29548 0
vsize: 118444
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 27097 0 0 0 95976 54 0 0 25 0 1 0 912067220 122556416 27017 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29921 27017 1111 63 0 29858 0
vsize: 119684
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 27401 0 0 0 96976 54 0 0 25 0 1 0 912067220 123826176 27321 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30231 27321 1111 63 0 30168 0
vsize: 120924
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 27704 0 0 0 97976 55 0 0 25 0 1 0 912067220 125095936 27624 4294967295 134512640 134716908 3221224560 3221221276 1077191714 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30541 27624 1111 63 0 30478 0
vsize: 122164
[startup+990.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 28008 0 0 0 98975 56 0 0 25 0 1 0 912067220 126222336 27928 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30816 27928 1111 63 0 30753 0
vsize: 123264
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 28311 0 0 0 99975 56 0 0 25 0 1 0 912067220 127488000 28231 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31125 28231 1111 63 0 31062 0
vsize: 124500
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 28616 0 0 0 100975 57 0 0 25 0 1 0 912067220 128753664 28536 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31434 28536 1111 63 0 31371 0
vsize: 125736
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 28924 0 0 0 101974 58 0 0 25 0 1 0 912067220 130019328 28844 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31743 28844 1111 63 0 31680 0
vsize: 126972
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 29228 0 0 0 102975 58 0 0 25 0 1 0 912067220 131289088 29148 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32053 29148 1111 63 0 31990 0
vsize: 128212
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 29532 0 0 0 103975 58 0 0 25 0 1 0 912067220 132554752 29452 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32362 29452 1111 63 0 32299 0
vsize: 129448
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 29841 0 0 0 104974 59 0 0 25 0 1 0 912067220 133824512 29761 4294967295 134512640 134716908 3221224560 3221222788 1077414393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32672 29761 1111 63 0 32609 0
vsize: 130688
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 30151 0 0 0 105974 59 0 0 25 0 1 0 912067220 135090176 30071 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32981 30071 1111 63 0 32918 0
vsize: 131924
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 30454 0 0 0 106974 60 0 0 25 0 1 0 912067220 136216576 30374 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33256 30374 1111 63 0 33193 0
vsize: 133024
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 30771 0 0 0 107974 61 0 0 25 0 1 0 912067220 137621504 30691 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33599 30691 1111 63 0 33536 0
vsize: 134396
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 31075 0 0 0 108974 61 0 0 25 0 1 0 912067220 138747904 30995 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33874 30995 1111 63 0 33811 0
vsize: 135496
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 31392 0 0 0 109974 61 0 0 25 0 1 0 912067220 140156928 31312 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34218 31312 1111 63 0 34155 0
vsize: 136872
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 31702 0 0 0 110974 62 0 0 25 0 1 0 912067220 141422592 31622 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34527 31622 1111 63 0 34464 0
vsize: 138108
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 32012 0 0 0 111974 62 0 0 25 0 1 0 912067220 142688256 31932 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34836 31932 1111 63 0 34773 0
vsize: 139344
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 32329 0 0 0 112974 63 0 0 25 0 1 0 912067220 143958016 32249 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35146 32249 1111 63 0 35083 0
vsize: 140584
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 32645 0 0 0 113973 64 0 0 25 0 1 0 912067220 145223680 32565 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35455 32565 1111 63 0 35392 0
vsize: 141820
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 32957 0 0 0 114973 65 0 0 25 0 1 0 912067220 146489344 32877 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35764 32877 1111 63 0 35701 0
vsize: 143056
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 33274 0 0 0 115972 66 0 0 25 0 1 0 912067220 147759104 33194 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36074 33194 1111 63 0 36011 0
vsize: 144296
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 33592 0 0 0 116972 66 0 0 25 0 1 0 912067220 149024768 33512 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36383 33512 1111 63 0 36320 0
vsize: 145532
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 33902 0 0 0 117972 67 0 0 25 0 1 0 912067220 150298624 33822 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36694 33822 1111 63 0 36631 0
vsize: 146776
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 34220 0 0 0 118971 67 0 0 25 0 1 0 912067220 151703552 34140 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37037 34140 1111 63 0 36974 0
vsize: 148148
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) R 15055 25568 25567 0 -1 0 34543 0 0 0 119971 68 0 0 25 0 1 0 912067220 152973312 34463 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37347 34463 1111 63 0 37284 0
vsize: 149388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15056
Raw data (stat): 15056 (bsolo_lpr_cuts-) Z 15055 25568 25567 0 -1 1036 34543 0 0 0 119971 75 0 0 25 0 1 0 912067220 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.47
CPU user time (s): 1199.72
CPU system time (s): 0.750885
CPU usage (%): 100.03
Max. virtual memory (Kb): 149388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####