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-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM44b9f0f81a9b533b0f9e0fd187bafc3d
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 198658
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 38727219
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 30720
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 38727219
Number of bits of the biggest sum of numbers26
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark8.39472
Number of variables874498
Total number of constraints113008
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2186
Number of constraints which are nor clauses,nor cardinality constraints110822
Minimum length of a constraint1
Maximum length of a constraint14080

Trace number 40120

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        513260 kB
Buffers:         24840 kB
Cached:         473432 kB
SwapCached:       1392 kB
Active:          91100 kB
Inactive:       409224 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        513008 kB
SwapTotal:     2097136 kB
SwapFree:      2094692 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4984 kB
Slab:            15388 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:06:53 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 28180 7 1200.28 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.97 0.94 0.90 2/54 3609
Raw data (stat): 3609 (runsolver) R 3608 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898149075 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.0003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 2452 0 0 0 990 8 0 0 25 0 1 0 898149075 19861504 2372 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4849 2372 1111 63 0 4786 0
vsize: 19396
[startup+20 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 3660 0 0 0 1987 11 0 0 25 0 1 0 898149075 24936448 3580 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6088 3580 1111 63 0 6025 0
vsize: 24352
[startup+30.0004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 4869 0 0 0 2985 12 0 0 25 0 1 0 898149075 29863936 4789 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7291 4789 1111 63 0 7228 0
vsize: 29164
[startup+40.0004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 6078 0 0 0 3983 15 0 0 25 0 1 0 898149075 34791424 5998 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8494 5998 1111 63 0 8431 0
vsize: 33976
[startup+50.0011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 7288 0 0 0 4981 17 0 0 25 0 1 0 898149075 39723008 7208 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9698 7208 1111 63 0 9635 0
vsize: 38792
[startup+60.0013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 8506 0 0 0 5978 20 0 0 25 0 1 0 898149075 44785664 8426 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10934 8426 1111 63 0 10871 0
vsize: 43736
[startup+70.0005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 9714 0 0 0 6977 21 0 0 25 0 1 0 898149075 49709056 9634 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12136 9634 1111 63 0 12073 0
vsize: 48544
[startup+80.0012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 10929 0 0 0 7975 23 0 0 25 0 1 0 898149075 54636544 10849 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13339 10849 1111 63 0 13276 0
vsize: 53356
[startup+90.0016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 12144 0 0 0 8973 25 0 0 25 0 1 0 898149075 59564032 12064 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14542 12064 1111 63 0 14479 0
vsize: 58168
[startup+100.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 13365 0 0 0 9970 28 0 0 25 0 1 0 898149075 64638976 13285 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15781 13285 1111 63 0 15718 0
vsize: 63124
[startup+110.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 14143 0 0 0 10969 30 0 0 25 0 1 0 898149075 67874816 14063 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16571 14063 1111 63 0 16508 0
vsize: 66284
[startup+120.002 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 14377 0 0 0 11969 30 0 0 25 0 1 0 898149075 68730880 14297 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16780 14297 1111 63 0 16717 0
vsize: 67120
[startup+130.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 14616 0 0 0 12968 31 0 0 25 0 1 0 898149075 69734400 14536 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17025 14536 1111 63 0 16962 0
vsize: 68100
[startup+140.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 14856 0 0 0 13968 32 0 0 25 0 1 0 898149075 70770688 14776 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17278 14776 1111 63 0 17215 0
vsize: 69112
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 15089 0 0 0 14968 32 0 0 25 0 1 0 898149075 71643136 15009 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17491 15009 1111 63 0 17428 0
vsize: 69964
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 15329 0 0 0 15967 33 0 0 25 0 1 0 898149075 72654848 15249 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17738 15249 1111 63 0 17675 0
vsize: 70952
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 15567 0 0 0 16967 33 0 0 25 0 1 0 898149075 73682944 15487 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17989 15487 1111 63 0 17926 0
vsize: 71956
[startup+180.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 15802 0 0 0 17966 34 0 0 25 0 1 0 898149075 74670080 15722 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18230 15722 1111 63 0 18167 0
vsize: 72920
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 16048 0 0 0 18966 34 0 0 25 0 1 0 898149075 75546624 15968 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18444 15968 1111 63 0 18381 0
vsize: 73776
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 16290 0 0 0 19966 35 0 0 25 0 1 0 898149075 76689408 16210 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18723 16210 1111 63 0 18660 0
vsize: 74892
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 16521 0 0 0 20965 36 0 0 25 0 1 0 898149075 77533184 16441 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18929 16441 1111 63 0 18866 0
vsize: 75716
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 16760 0 0 0 21965 36 0 0 25 0 1 0 898149075 78536704 16680 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19174 16680 1111 63 0 19111 0
vsize: 76696
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 17000 0 0 0 22965 36 0 0 25 0 1 0 898149075 79544320 16920 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19420 16920 1111 63 0 19357 0
vsize: 77680
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 17233 0 0 0 23965 37 0 0 25 0 1 0 898149075 80416768 17153 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19633 17153 1111 63 0 19570 0
vsize: 78532
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 17469 0 0 0 24964 37 0 0 25 0 1 0 898149075 81428480 17389 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19880 17389 1111 63 0 19817 0
vsize: 79520
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 17707 0 0 0 25964 38 0 0 25 0 1 0 898149075 82456576 17627 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20131 17627 1111 63 0 20068 0
vsize: 80524
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 17947 0 0 0 26964 38 0 0 25 0 1 0 898149075 83443712 17867 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20372 17867 1111 63 0 20309 0
vsize: 81488
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 18180 0 0 0 27963 39 0 0 25 0 1 0 898149075 84316160 18100 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20585 18100 1111 63 0 20522 0
vsize: 82340
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 18414 0 0 0 28963 39 0 0 25 0 1 0 898149075 85323776 18334 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20831 18334 1111 63 0 20768 0
vsize: 83324
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 18660 0 0 0 29963 40 0 0 25 0 1 0 898149075 86331392 18580 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21077 18580 1111 63 0 21014 0
vsize: 84308
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 18895 0 0 0 30963 40 0 0 25 0 1 0 898149075 87343104 18815 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21324 18815 1111 63 0 21261 0
vsize: 85296
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 19129 0 0 0 31962 41 0 0 25 0 1 0 898149075 88215552 19049 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21537 19049 1111 63 0 21474 0
vsize: 86148
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 19373 0 0 0 32962 41 0 0 25 0 1 0 898149075 89198592 19293 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21777 19293 1111 63 0 21714 0
vsize: 87108
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 19608 0 0 0 33962 41 0 0 25 0 1 0 898149075 90206208 19528 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22023 19528 1111 63 0 21960 0
vsize: 88092
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 19841 0 0 0 34962 42 0 0 25 0 1 0 898149075 91213824 19761 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22269 19761 1111 63 0 22206 0
vsize: 89076
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 20087 0 0 0 35962 42 0 0 25 0 1 0 898149075 92221440 20007 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22515 20007 1111 63 0 22452 0
vsize: 90060
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 20320 0 0 0 36962 42 0 0 25 0 1 0 898149075 93073408 20240 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22723 20240 1111 63 0 22660 0
vsize: 90892
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 20554 0 0 0 37961 43 0 0 25 0 1 0 898149075 94081024 20474 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22969 20474 1111 63 0 22906 0
vsize: 91876
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 20799 0 0 0 38961 43 0 0 25 0 1 0 898149075 95088640 20719 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23215 20719 1111 63 0 23152 0
vsize: 92860
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 21044 0 0 0 39961 44 0 0 25 0 1 0 898149075 96137216 20964 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23471 20964 1111 63 0 23408 0
vsize: 93884
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 21288 0 0 0 40960 44 0 0 25 0 1 0 898149075 97120256 21208 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23711 21208 1111 63 0 23648 0
vsize: 94844
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 21524 0 0 0 41960 45 0 0 25 0 1 0 898149075 98127872 21444 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23957 21444 1111 63 0 23894 0
vsize: 95828
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 21762 0 0 0 42960 45 0 0 25 0 1 0 898149075 99000320 21682 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24170 21682 1111 63 0 24107 0
vsize: 96680
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 22003 0 0 0 43960 46 0 0 25 0 1 0 898149075 99987456 21923 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24411 21923 1111 63 0 24348 0
vsize: 97644
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 22238 0 0 0 44959 46 0 0 25 0 1 0 898149075 101015552 22158 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24662 22158 1111 63 0 24599 0
vsize: 98648
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 22483 0 0 0 45959 47 0 0 25 0 1 0 898149075 102027264 22403 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24909 22403 1111 63 0 24846 0
vsize: 99636
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 22718 0 0 0 46958 47 0 0 25 0 1 0 898149075 103038976 22638 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25156 22638 1111 63 0 25093 0
vsize: 100624
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 22963 0 0 0 47958 48 0 0 25 0 1 0 898149075 103911424 22883 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25369 22883 1111 63 0 25306 0
vsize: 101476
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 23197 0 0 0 48957 49 0 0 25 0 1 0 898149075 104923136 23117 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25616 23117 1111 63 0 25553 0
vsize: 102464
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 23443 0 0 0 49957 49 0 0 25 0 1 0 898149075 105951232 23363 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25867 23363 1111 63 0 25804 0
vsize: 103468
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 23677 0 0 0 50957 50 0 0 25 0 1 0 898149075 106938368 23597 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26108 23597 1111 63 0 26045 0
vsize: 104432
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 23923 0 0 0 51957 50 0 0 25 0 1 0 898149075 107966464 23843 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26359 23843 1111 63 0 26296 0
vsize: 105436
[startup+530.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 24163 0 0 0 52956 51 0 0 25 0 1 0 898149075 108822528 24083 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26568 24083 1111 63 0 26505 0
vsize: 106272
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 24402 0 0 0 53956 51 0 0 25 0 1 0 898149075 109826048 24322 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26813 24322 1111 63 0 26750 0
vsize: 107252
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 24650 0 0 0 54956 52 0 0 25 0 1 0 898149075 110837760 24570 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27060 24570 1111 63 0 26997 0
vsize: 108240
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 24884 0 0 0 55955 52 0 0 25 0 1 0 898149075 111865856 24804 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27311 24804 1111 63 0 27248 0
vsize: 109244
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 25130 0 0 0 56955 52 0 0 25 0 1 0 898149075 112852992 25050 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27552 25050 1111 63 0 27489 0
vsize: 110208
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 25364 0 0 0 57955 53 0 0 25 0 1 0 898149075 113729536 25284 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27766 25284 1111 63 0 27703 0
vsize: 111064
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 25609 0 0 0 58955 53 0 0 25 0 1 0 898149075 114757632 25529 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28017 25529 1111 63 0 27954 0
vsize: 112068
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 25857 0 0 0 59955 54 0 0 25 0 1 0 898149075 115744768 25777 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28258 25777 1111 63 0 28195 0
vsize: 113032
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 26090 0 0 0 60954 54 0 0 25 0 1 0 898149075 116772864 26010 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28509 26010 1111 63 0 28446 0
vsize: 114036
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 26337 0 0 0 61954 55 0 0 25 0 1 0 898149075 117760000 26257 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28750 26257 1111 63 0 28687 0
vsize: 115000
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 26582 0 0 0 62953 55 0 0 25 0 1 0 898149075 118788096 26502 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29001 26502 1111 63 0 28938 0
vsize: 116004
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 26816 0 0 0 63953 56 0 0 25 0 1 0 898149075 119799808 26736 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29248 26736 1111 63 0 29185 0
vsize: 116992
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 27062 0 0 0 64953 56 0 0 25 0 1 0 898149075 120672256 26982 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29461 26982 1111 63 0 29398 0
vsize: 117844
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 27309 0 0 0 65952 57 0 0 25 0 1 0 898149075 121683968 27229 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29708 27229 1111 63 0 29645 0
vsize: 118832
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 27544 0 0 0 66952 57 0 0 25 0 1 0 898149075 122712064 27464 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29959 27464 1111 63 0 29896 0
vsize: 119836
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 27789 0 0 0 67952 58 0 0 25 0 1 0 898149075 123723776 27709 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30206 27709 1111 63 0 30143 0
vsize: 120824
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 28036 0 0 0 68952 58 0 0 25 0 1 0 898149075 124710912 27956 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30447 27956 1111 63 0 30384 0
vsize: 121788
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 28276 0 0 0 69952 59 0 0 25 0 1 0 898149075 125739008 28196 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30698 28196 1111 63 0 30635 0
vsize: 122792
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 28516 0 0 0 70952 59 0 0 25 0 1 0 898149075 126750720 28436 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30945 28436 1111 63 0 30882 0
vsize: 123780
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 28762 0 0 0 71951 60 0 0 25 0 1 0 898149075 127623168 28682 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31158 28682 1111 63 0 31095 0
vsize: 124632
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 29009 0 0 0 72951 60 0 0 25 0 1 0 898149075 128634880 28929 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31405 28929 1111 63 0 31342 0
vsize: 125620
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 29248 0 0 0 73951 61 0 0 25 0 1 0 898149075 129638400 29168 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31650 29168 1111 63 0 31587 0
vsize: 126600
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 29489 0 0 0 74951 61 0 0 25 0 1 0 898149075 130650112 29409 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31897 29409 1111 63 0 31834 0
vsize: 127588
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 29734 0 0 0 75950 62 0 0 25 0 1 0 898149075 131678208 29654 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32148 29654 1111 63 0 32085 0
vsize: 128592
[startup+770.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 29980 0 0 0 76949 62 0 0 25 0 1 0 898149075 132665344 29900 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32389 29900 1111 63 0 32326 0
vsize: 129556
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 30227 0 0 0 77949 63 0 0 25 0 1 0 898149075 133677056 30147 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32636 30147 1111 63 0 32573 0
vsize: 130544
[startup+790.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3609
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 30486 0 0 0 78949 63 0 0 25 0 1 0 898149075 134881280 30406 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32930 30406 1111 63 0 32867 0
vsize: 131720
[startup+800.016 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3662
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 30739 0 0 0 79949 64 0 0 25 0 1 0 898149075 135884800 30659 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33175 30659 1111 63 0 33112 0
vsize: 132700
[startup+810.016 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3662
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 30984 0 0 0 80948 64 0 0 25 0 1 0 898149075 136912896 30904 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33426 30904 1111 63 0 33363 0
vsize: 133704
[startup+820.016 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3662
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 31231 0 0 0 81948 65 0 0 25 0 1 0 898149075 137900032 31151 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33667 31151 1111 63 0 33604 0
vsize: 134668
[startup+830.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3662
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 31476 0 0 0 82948 65 0 0 25 0 1 0 898149075 138928128 31396 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33918 31396 1111 63 0 33855 0
vsize: 135672
[startup+840.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3662
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 31724 0 0 0 83947 66 0 0 25 0 1 0 898149075 139939840 31644 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34165 31644 1111 63 0 34102 0
vsize: 136660
[startup+850.015 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3662
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 31970 0 0 0 84947 66 0 0 25 0 1 0 898149075 140947456 31890 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34411 31890 1111 63 0 34348 0
vsize: 137644
[startup+860.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3662
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 32217 0 0 0 85947 67 0 0 25 0 1 0 898149075 141955072 32137 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34657 32137 1111 63 0 34594 0
vsize: 138628
[startup+870.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 32464 0 0 0 86946 67 0 0 25 0 1 0 898149075 142962688 32384 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34903 32384 1111 63 0 34840 0
vsize: 139612
[startup+880.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 32709 0 0 0 87946 68 0 0 25 0 1 0 898149075 143970304 32629 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35149 32629 1111 63 0 35086 0
vsize: 140596
[startup+890.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 32969 0 0 0 88946 68 0 0 25 0 1 0 898149075 144977920 32889 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35395 32889 1111 63 0 35332 0
vsize: 141580
[startup+900.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 33216 0 0 0 89946 68 0 0 25 0 1 0 898149075 145985536 33136 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35641 33136 1111 63 0 35578 0
vsize: 142564
[startup+910.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 33463 0 0 0 90946 68 0 0 25 0 1 0 898149075 146972672 33383 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35882 33383 1111 63 0 35819 0
vsize: 143528
[startup+920.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 33708 0 0 0 91946 69 0 0 25 0 1 0 898149075 148000768 33628 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36133 33628 1111 63 0 36070 0
vsize: 144532
[startup+930.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 33955 0 0 0 92946 69 0 0 25 0 1 0 898149075 148987904 33875 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36374 33875 1111 63 0 36311 0
vsize: 145496
[startup+940.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 34210 0 0 0 93945 70 0 0 25 0 1 0 898149075 150155264 34130 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36659 34130 1111 63 0 36596 0
vsize: 146636
[startup+950.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 34461 0 0 0 94945 70 0 0 25 0 1 0 898149075 151158784 34381 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36904 34381 1111 63 0 36841 0
vsize: 147616
[startup+960.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 34708 0 0 0 95944 71 0 0 25 0 1 0 898149075 152145920 34628 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37145 34628 1111 63 0 37082 0
vsize: 148580
[startup+970.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 34954 0 0 0 96944 71 0 0 25 0 1 0 898149075 153174016 34874 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37396 34874 1111 63 0 37333 0
vsize: 149584
[startup+980.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 35202 0 0 0 97944 71 0 0 25 0 1 0 898149075 154161152 35122 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37637 35122 1111 63 0 37574 0
vsize: 150548
[startup+990.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 35460 0 0 0 98944 72 0 0 25 0 1 0 898149075 155189248 35380 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37888 35380 1111 63 0 37825 0
vsize: 151552
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 35707 0 0 0 99943 72 0 0 25 0 1 0 898149075 156200960 35627 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38135 35627 1111 63 0 38072 0
vsize: 152540
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 35953 0 0 0 100943 73 0 0 25 0 1 0 898149075 157229056 35873 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38386 35873 1111 63 0 38323 0
vsize: 153544
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 36212 0 0 0 101943 73 0 0 25 0 1 0 898149075 158216192 36132 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38627 36132 1111 63 0 38564 0
vsize: 154508
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 36460 0 0 0 102942 74 0 0 25 0 1 0 898149075 159227904 36380 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38874 36380 1111 63 0 38811 0
vsize: 155496
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 36706 0 0 0 103942 75 0 0 25 0 1 0 898149075 160256000 36626 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39125 36626 1111 63 0 39062 0
vsize: 156500
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 36959 0 0 0 104941 75 0 0 25 0 1 0 898149075 161398784 36879 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39404 36879 1111 63 0 39341 0
vsize: 157616
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 37211 0 0 0 105941 76 0 0 25 0 1 0 898149075 162406400 37131 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39650 37131 1111 63 0 39587 0
vsize: 158600
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 37458 0 0 0 106941 76 0 0 25 0 1 0 898149075 163393536 37378 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39891 37378 1111 63 0 39828 0
vsize: 159564
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 37710 0 0 0 107940 77 0 0 25 0 1 0 898149075 164397056 37630 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40136 37630 1111 63 0 40073 0
vsize: 160544
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 37964 0 0 0 108939 78 0 0 25 0 1 0 898149075 165404672 37884 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40382 37884 1111 63 0 40319 0
vsize: 161528
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3664
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 38211 0 0 0 109939 78 0 0 25 0 1 0 898149075 166416384 38131 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40629 38131 1111 63 0 40566 0
vsize: 162516
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 38468 0 0 0 110939 79 0 0 25 0 1 0 898149075 167575552 38388 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40912 38388 1111 63 0 40849 0
vsize: 163648
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 38717 0 0 0 111939 79 0 0 25 0 1 0 898149075 168591360 38637 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41160 38637 1111 63 0 41097 0
vsize: 164640
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 38968 0 0 0 112939 79 0 0 25 0 1 0 898149075 169619456 38888 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41411 38888 1111 63 0 41348 0
vsize: 165644
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 39222 0 0 0 113938 80 0 0 25 0 1 0 898149075 170631168 39142 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41658 39142 1111 63 0 41595 0
vsize: 166632
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 39468 0 0 0 114938 80 0 0 25 0 1 0 898149075 171659264 39388 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41909 39388 1111 63 0 41846 0
vsize: 167636
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 39727 0 0 0 115938 81 0 0 25 0 1 0 898149075 172646400 39647 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42150 39647 1111 63 0 42087 0
vsize: 168600
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 39975 0 0 0 116937 81 0 0 25 0 1 0 898149075 173674496 39895 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42401 39895 1111 63 0 42338 0
vsize: 169604
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 40234 0 0 0 117937 81 0 0 25 0 1 0 898149075 174661632 40154 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42642 40154 1111 63 0 42579 0
vsize: 170568
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 40481 0 0 0 118937 82 0 0 25 0 1 0 898149075 175804416 40401 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42921 40401 1111 63 0 42858 0
vsize: 171684
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) R 3608 31399 31398 0 -1 0 40739 0 0 0 119937 82 0 0 25 0 1 0 898149075 176812032 40659 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43167 40659 1111 63 0 43104 0
vsize: 172668
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 3666
Raw data (stat): 3609 (bsolo_lpr-v2) Z 3608 31399 31398 0 -1 1036 40739 0 0 0 119937 90 0 0 25 0 1 0 898149075 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.09
CPU time (s): 1200.28
CPU user time (s): 1199.37
CPU system time (s): 0.903862
CPU usage (%): 100.016
Max. virtual memory (Kb): 172668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####