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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb
MD5SUM0c133df60e56cfadff3d5b0562856855
Bench Categoryoptimization, medium integers (OPTMEDINT)
Has Objective FunctionYES
SatisfiableNO
(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 39009164451
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 39009164451
Number of bits of the biggest sum of numbers36
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.97685
Number of variables105000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint21
Maximum length of a constraint2000

Trace number 40445

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 10:36:20 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28511 boxname=wulflinc3 idbench=1467 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  0c133df60e56cfadff3d5b0562856855  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3705.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-n3705.opb
IDLAUNCH: 28511
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        882312 kB
Buffers:          3452 kB
Cached:         128408 kB
SwapCached:        808 kB
Active:          36952 kB
Inactive:        97024 kB
HighTotal:      131008 kB
HighFree:         2716 kB
LowTotal:       903652 kB
LowFree:        879596 kB
SwapTotal:     2097136 kB
SwapFree:      2095336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            12804 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 10:56:23 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 28511 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.95 0.91 2/54 24831
Raw data (stat): 24831 (runsolver) R 24830 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900954189 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0013 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 1160 0 0 0 994 4 0 0 25 0 1 0 900954189 16052224 1080 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 1407 0 0 0 1993 5 0 0 25 0 1 0 900954189 17178624 1327 4294967295 134512640 134716908 3221224576 3221222804 1077414432 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.0025 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 1657 0 0 0 2993 5 0 0 25 0 1 0 900954189 18178048 1577 4294967295 134512640 134716908 3221224576 3221223232 134527932 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.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 1905 0 0 0 3993 6 0 0 25 0 1 0 900954189 19165184 1825 4294967295 134512640 134716908 3221224576 3221222804 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.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 2153 0 0 0 4993 6 0 0 25 0 1 0 900954189 20152320 2073 4294967295 134512640 134716908 3221224576 3221222804 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.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 2412 0 0 0 5993 6 0 0 25 0 1 0 900954189 21274624 2332 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5194 2332 1111 63 0 5131 0
vsize: 20776
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 2660 0 0 0 6992 7 0 0 25 0 1 0 900954189 22261760 2580 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 2907 0 0 0 7992 7 0 0 25 0 1 0 900954189 23240704 2827 4294967295 134512640 134716908 3221224576 3221222804 1077414435 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.0049 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 3162 0 0 0 8992 8 0 0 25 0 1 0 900954189 24367104 3082 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 3082 1111 63 0 5886 0
vsize: 23796
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 3410 0 0 0 9992 8 0 0 25 0 1 0 900954189 25354240 3330 4294967295 134512640 134716908 3221224576 3221222804 1077414413 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.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 3664 0 0 0 10991 9 0 0 25 0 1 0 900954189 26341376 3584 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6431 3584 1111 63 0 6368 0
vsize: 25724
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 3926 0 0 0 11991 9 0 0 25 0 1 0 900954189 27488256 3846 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6711 3846 1111 63 0 6648 0
vsize: 26844
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 4174 0 0 0 12991 9 0 0 25 0 1 0 900954189 28475392 4094 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 4430 0 0 0 13991 9 0 0 25 0 1 0 900954189 29462528 4350 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7193 4350 1111 63 0 7130 0
vsize: 28772
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 4685 0 0 0 14991 10 0 0 25 0 1 0 900954189 30584832 4605 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7467 4605 1111 63 0 7404 0
vsize: 29868
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 4932 0 0 0 15991 10 0 0 25 0 1 0 900954189 31567872 4852 4294967295 134512640 134716908 3221224576 3221223232 134527946 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.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 5193 0 0 0 16991 11 0 0 25 0 1 0 900954189 32694272 5113 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7982 5113 1111 63 0 7919 0
vsize: 31928
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 5443 0 0 0 17990 12 0 0 25 0 1 0 900954189 33681408 5363 4294967295 134512640 134716908 3221224576 3221222804 1077414435 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.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 5704 0 0 0 18989 12 0 0 25 0 1 0 900954189 34668544 5624 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 5624 1111 63 0 8401 0
vsize: 33856
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 5958 0 0 0 19989 13 0 0 25 0 1 0 900954189 35794944 5878 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8739 5878 1111 63 0 8676 0
vsize: 34956
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 6213 0 0 0 20989 13 0 0 25 0 1 0 900954189 36782080 6133 4294967295 134512640 134716908 3221224576 3221222804 1077414420 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.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 6478 0 0 0 21989 14 0 0 25 0 1 0 900954189 37920768 6398 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 6733 0 0 0 22989 14 0 0 25 0 1 0 900954189 39043072 6653 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9532 6653 1111 63 0 9469 0
vsize: 38128
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 6994 0 0 0 23988 15 0 0 25 0 1 0 900954189 40030208 6914 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9773 6914 1111 63 0 9710 0
vsize: 39092
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 7257 0 0 0 24988 15 0 0 25 0 1 0 900954189 41156608 7177 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10048 7177 1111 63 0 9985 0
vsize: 40192
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 7512 0 0 0 25988 16 0 0 25 0 1 0 900954189 42143744 7432 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 7432 1111 63 0 10226 0
vsize: 41156
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 7773 0 0 0 26987 16 0 0 25 0 1 0 900954189 43270144 7693 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10564 7693 1111 63 0 10501 0
vsize: 42256
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 8030 0 0 0 27987 17 0 0 25 0 1 0 900954189 44257280 7950 4294967295 134512640 134716908 3221224576 3221221292 1077191058 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.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 8291 0 0 0 28986 18 0 0 25 0 1 0 900954189 45383680 8211 4294967295 134512640 134716908 3221224576 3221222804 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.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 8554 0 0 0 29986 18 0 0 25 0 1 0 900954189 46370816 8474 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11321 8474 1111 63 0 11258 0
vsize: 45284
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 8816 0 0 0 30986 19 0 0 25 0 1 0 900954189 47489024 8736 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11594 8736 1111 63 0 11531 0
vsize: 46376
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 9076 0 0 0 31985 19 0 0 25 0 1 0 900954189 48615424 8996 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11869 8996 1111 63 0 11806 0
vsize: 47476
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 9338 0 0 0 32985 20 0 0 25 0 1 0 900954189 49602560 9258 4294967295 134512640 134716908 3221224576 3221222804 1077414426 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.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 9601 0 0 0 33985 20 0 0 25 0 1 0 900954189 50733056 9521 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12386 9521 1111 63 0 12323 0
vsize: 49544
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 9863 0 0 0 34984 21 0 0 25 0 1 0 900954189 51716096 9783 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 9783 1111 63 0 12563 0
vsize: 50504
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 10132 0 0 0 35985 21 0 0 25 0 1 0 900954189 52842496 10052 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12901 10052 1111 63 0 12838 0
vsize: 51604
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 10394 0 0 0 36984 22 0 0 25 0 1 0 900954189 53968896 10314 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13176 10314 1111 63 0 13113 0
vsize: 52704
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 10663 0 0 0 37984 22 0 0 25 0 1 0 900954189 55095296 10583 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13451 10583 1111 63 0 13388 0
vsize: 53804
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 10926 0 0 0 38984 23 0 0 25 0 1 0 900954189 56086528 10846 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13693 10846 1111 63 0 13630 0
vsize: 54772
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 11194 0 0 0 39983 23 0 0 25 0 1 0 900954189 57212928 11114 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13968 11114 1111 63 0 13905 0
vsize: 55872
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 11462 0 0 0 40983 24 0 0 25 0 1 0 900954189 58331136 11382 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14241 11382 1111 63 0 14178 0
vsize: 56964
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 11722 0 0 0 41983 24 0 0 25 0 1 0 900954189 59318272 11642 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14482 11642 1111 63 0 14419 0
vsize: 57928
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 12008 0 0 0 42982 25 0 0 25 0 1 0 900954189 60674048 11928 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14813 11928 1111 63 0 14750 0
vsize: 59252
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 12276 0 0 0 43982 25 0 0 25 0 1 0 900954189 61792256 12196 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15086 12196 1111 63 0 15023 0
vsize: 60344
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 12546 0 0 0 44982 25 0 0 25 0 1 0 900954189 62918656 12466 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15361 12466 1111 63 0 15298 0
vsize: 61444
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 12815 0 0 0 45982 26 0 0 25 0 1 0 900954189 63905792 12735 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 12735 1111 63 0 15539 0
vsize: 62408
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 13084 0 0 0 46982 26 0 0 25 0 1 0 900954189 65032192 13004 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15877 13004 1111 63 0 15814 0
vsize: 63508
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 13353 0 0 0 47982 26 0 0 25 0 1 0 900954189 66158592 13273 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16152 13273 1111 63 0 16089 0
vsize: 64608
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 13628 0 0 0 48982 27 0 0 25 0 1 0 900954189 67284992 13548 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16427 13548 1111 63 0 16364 0
vsize: 65708
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 13898 0 0 0 49982 27 0 0 25 0 1 0 900954189 68411392 13818 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16702 13818 1111 63 0 16639 0
vsize: 66808
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 14167 0 0 0 50981 27 0 0 25 0 1 0 900954189 69537792 14087 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16977 14087 1111 63 0 16914 0
vsize: 67908
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 14443 0 0 0 51981 28 0 0 25 0 1 0 900954189 70664192 14363 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17252 14363 1111 63 0 17189 0
vsize: 69008
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 14718 0 0 0 52981 29 0 0 25 0 1 0 900954189 71794688 14638 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17528 14638 1111 63 0 17465 0
vsize: 70112
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 14986 0 0 0 53980 29 0 0 25 0 1 0 900954189 72773632 14906 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17767 14906 1111 63 0 17704 0
vsize: 71068
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 15262 0 0 0 54980 29 0 0 25 0 1 0 900954189 73900032 15182 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18042 15182 1111 63 0 17979 0
vsize: 72168
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 15538 0 0 0 55980 30 0 0 25 0 1 0 900954189 75026432 15458 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18317 15458 1111 63 0 18254 0
vsize: 73268
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 15813 0 0 0 56980 30 0 0 25 0 1 0 900954189 76152832 15733 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18592 15733 1111 63 0 18529 0
vsize: 74368
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 16089 0 0 0 57979 31 0 0 25 0 1 0 900954189 77283328 16009 4294967295 134512640 134716908 3221224576 3221222808 134534353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18868 16009 1111 63 0 18805 0
vsize: 75472
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 16365 0 0 0 58979 31 0 0 25 0 1 0 900954189 78409728 16285 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19143 16285 1111 63 0 19080 0
vsize: 76572
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 16641 0 0 0 59979 32 0 0 25 0 1 0 900954189 79536128 16561 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19418 16561 1111 63 0 19355 0
vsize: 77672
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 16924 0 0 0 60979 32 0 0 25 0 1 0 900954189 80801792 16844 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19727 16844 1111 63 0 19664 0
vsize: 78908
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 17199 0 0 0 61978 33 0 0 25 0 1 0 900954189 81928192 17119 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 17476 0 0 0 62978 33 0 0 25 0 1 0 900954189 83054592 17396 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20277 17396 1111 63 0 20214 0
vsize: 81108
[startup+640.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 17752 0 0 0 63978 34 0 0 25 0 1 0 900954189 84180992 17672 4294967295 134512640 134716908 3221224576 3221222804 1077414395 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 18041 0 0 0 64978 34 0 0 25 0 1 0 900954189 85307392 17961 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20827 17961 1111 63 0 20764 0
vsize: 83308
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 18318 0 0 0 65977 35 0 0 25 0 1 0 900954189 86433792 18238 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 18599 0 0 0 66977 35 0 0 25 0 1 0 900954189 87560192 18519 4294967295 134512640 134716908 3221224576 3221222804 1077414370 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.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 18883 0 0 0 67976 36 0 0 25 0 1 0 900954189 88686592 18803 4294967295 134512640 134716908 3221224576 3221222804 1077414363 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.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 19165 0 0 0 68976 36 0 0 25 0 1 0 900954189 89956352 19085 4294967295 134512640 134716908 3221224576 3221222804 1077414410 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.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 19448 0 0 0 69975 37 0 0 25 0 1 0 900954189 91082752 19368 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 19731 0 0 0 70975 38 0 0 25 0 1 0 900954189 92209152 19651 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22512 19651 1111 63 0 22449 0
vsize: 90048
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 20013 0 0 0 71975 38 0 0 25 0 1 0 900954189 93331456 19933 4294967295 134512640 134716908 3221224576 3221222804 1077414345 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.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 20304 0 0 0 72974 39 0 0 25 0 1 0 900954189 94601216 20224 4294967295 134512640 134716908 3221224576 3221222804 1077414388 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.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 20591 0 0 0 73974 39 0 0 25 0 1 0 900954189 95723520 20511 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23370 20511 1111 63 0 23307 0
vsize: 93480
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 20874 0 0 0 74973 40 0 0 25 0 1 0 900954189 96849920 20794 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23645 20794 1111 63 0 23582 0
vsize: 94580
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 21157 0 0 0 75973 41 0 0 25 0 1 0 900954189 97976320 21077 4294967295 134512640 134716908 3221224576 3221222804 1077414347 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 21446 0 0 0 76973 41 0 0 25 0 1 0 900954189 99246080 21366 4294967295 134512640 134716908 3221224576 3221222804 1077414338 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 21737 0 0 0 77973 42 0 0 25 0 1 0 900954189 100372480 21657 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24505 21657 1111 63 0 24442 0
vsize: 98020
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 22025 0 0 0 78972 42 0 0 25 0 1 0 900954189 101638144 21945 4294967295 134512640 134716908 3221224576 3221222804 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 22315 0 0 0 79971 43 0 0 25 0 1 0 900954189 102764544 22235 4294967295 134512640 134716908 3221224576 3221223232 134527935 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 22604 0 0 0 80971 44 0 0 25 0 1 0 900954189 103890944 22524 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25364 22524 1111 63 0 25301 0
vsize: 101456
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 22893 0 0 0 81971 44 0 0 25 0 1 0 900954189 105160704 22813 4294967295 134512640 134716908 3221224576 3221222804 1077414401 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.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 23216 0 0 0 82971 45 0 0 25 0 1 0 900954189 106643456 23136 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26036 23136 1111 63 0 25973 0
vsize: 104144
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 23511 0 0 0 83970 45 0 0 25 0 1 0 900954189 107913216 23431 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26346 23431 1111 63 0 26283 0
vsize: 105384
[startup+850.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 23808 0 0 0 84969 46 0 0 25 0 1 0 900954189 109178880 23728 4294967295 134512640 134716908 3221224576 3221222912 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23728 1111 63 0 26592 0
vsize: 106620
[startup+860.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 24097 0 0 0 85969 47 0 0 25 0 1 0 900954189 110305280 24017 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26930 24017 1111 63 0 26867 0
vsize: 107720
[startup+870.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 24394 0 0 0 86968 47 0 0 25 0 1 0 900954189 111575040 24314 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27240 24314 1111 63 0 27177 0
vsize: 108960
[startup+880.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 24690 0 0 0 87968 48 0 0 25 0 1 0 900954189 112701440 24610 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27515 24610 1111 63 0 27452 0
vsize: 110060
[startup+890.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 24981 0 0 0 88967 49 0 0 25 0 1 0 900954189 113967104 24901 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24901 1111 63 0 27761 0
vsize: 111296
[startup+900.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 25284 0 0 0 89967 49 0 0 25 0 1 0 900954189 115093504 25204 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28099 25204 1111 63 0 28036 0
vsize: 112396
[startup+910.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 25579 0 0 0 90967 50 0 0 25 0 1 0 900954189 116359168 25499 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28408 25499 1111 63 0 28345 0
vsize: 113632
[startup+920.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 25877 0 0 0 91967 50 0 0 25 0 1 0 900954189 117624832 25797 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28717 25797 1111 63 0 28654 0
vsize: 114868
[startup+930.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 26179 0 0 0 92966 51 0 0 25 0 1 0 900954189 118751232 26099 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28992 26099 1111 63 0 28929 0
vsize: 115968
[startup+940.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 26483 0 0 0 93965 52 0 0 25 0 1 0 900954189 120020992 26403 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29302 26403 1111 63 0 29239 0
vsize: 117208
[startup+950.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 26780 0 0 0 94965 52 0 0 25 0 1 0 900954189 121286656 26700 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29611 26700 1111 63 0 29548 0
vsize: 118444
[startup+960.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 27082 0 0 0 95965 53 0 0 25 0 1 0 900954189 122556416 27002 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29921 27002 1111 63 0 29858 0
vsize: 119684
[startup+970.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 27386 0 0 0 96964 53 0 0 25 0 1 0 900954189 123682816 27306 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30196 27306 1111 63 0 30133 0
vsize: 120784
[startup+980.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 27690 0 0 0 97964 54 0 0 25 0 1 0 900954189 124948480 27610 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30505 27610 1111 63 0 30442 0
vsize: 122020
[startup+990.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 27995 0 0 0 98964 54 0 0 25 0 1 0 900954189 126222336 27915 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30816 27915 1111 63 0 30753 0
vsize: 123264
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 28304 0 0 0 99963 55 0 0 25 0 1 0 900954189 127488000 28224 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31125 28224 1111 63 0 31062 0
vsize: 124500
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 28608 0 0 0 100963 56 0 0 25 0 1 0 900954189 128753664 28528 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31434 28528 1111 63 0 31371 0
vsize: 125736
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 28911 0 0 0 101962 56 0 0 25 0 1 0 900954189 130019328 28831 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31743 28831 1111 63 0 31680 0
vsize: 126972
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 29215 0 0 0 102962 57 0 0 25 0 1 0 900954189 131145728 29135 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32018 29135 1111 63 0 31955 0
vsize: 128072
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 29525 0 0 0 103962 58 0 0 25 0 1 0 900954189 132415488 29445 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32328 29445 1111 63 0 32265 0
vsize: 129312
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 29834 0 0 0 104962 58 0 0 25 0 1 0 900954189 133681152 29754 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32637 29754 1111 63 0 32574 0
vsize: 130548
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 30138 0 0 0 105961 58 0 0 25 0 1 0 900954189 134950912 30058 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32947 30058 1111 63 0 32884 0
vsize: 131788
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 30447 0 0 0 106961 59 0 0 25 0 1 0 900954189 136216576 30367 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33256 30367 1111 63 0 33193 0
vsize: 133024
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 30758 0 0 0 107961 59 0 0 25 0 1 0 900954189 137482240 30678 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33565 30678 1111 63 0 33502 0
vsize: 134260
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 31074 0 0 0 108961 60 0 0 25 0 1 0 900954189 138747904 30994 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33874 30994 1111 63 0 33811 0
vsize: 135496
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 31379 0 0 0 109960 60 0 0 25 0 1 0 900954189 140017664 31299 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34184 31299 1111 63 0 34121 0
vsize: 136736
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 31694 0 0 0 110960 61 0 0 25 0 1 0 900954189 141283328 31614 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34493 31614 1111 63 0 34430 0
vsize: 137972
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 32005 0 0 0 111959 61 0 0 25 0 1 0 900954189 142548992 31925 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34802 31925 1111 63 0 34739 0
vsize: 139208
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 32316 0 0 0 112959 62 0 0 25 0 1 0 900954189 143814656 32236 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35111 32236 1111 63 0 35048 0
vsize: 140444
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 32631 0 0 0 113958 63 0 0 25 0 1 0 900954189 145223680 32551 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35455 32551 1111 63 0 35392 0
vsize: 141820
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 32949 0 0 0 114957 64 0 0 25 0 1 0 900954189 146489344 32869 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35764 32869 1111 63 0 35701 0
vsize: 143056
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 33265 0 0 0 115957 64 0 0 25 0 1 0 900954189 147759104 33185 4294967295 134512640 134716908 3221224576 3221223232 134527953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36074 33185 1111 63 0 36011 0
vsize: 144296
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 33579 0 0 0 116957 65 0 0 25 0 1 0 900954189 149024768 33499 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36383 33499 1111 63 0 36320 0
vsize: 145532
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 33895 0 0 0 117956 66 0 0 25 0 1 0 900954189 150298624 33815 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36694 33815 1111 63 0 36631 0
vsize: 146776
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 34213 0 0 0 118956 66 0 0 25 0 1 0 900954189 151564288 34133 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37003 34133 1111 63 0 36940 0
vsize: 148012
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) R 24830 20224 20223 0 -1 0 34529 0 0 0 119955 67 0 0 25 0 1 0 900954189 152973312 34449 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37347 34449 1111 63 0 37284 0
vsize: 149388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24831
Raw data (stat): 24831 (bsolo_lpr-v2) Z 24830 20224 20223 0 -1 1036 34529 0 0 0 119955 73 0 0 25 0 1 0 900954189 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.13
CPU time (s): 1200.3
CPU user time (s): 1199.56
CPU system time (s): 0.738887
CPU usage (%): 100.014
Max. virtual memory (Kb): 149388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####